为测试系统诊断设计并构造规则库和推理机

目前ＶＬＳＩ测试系统日趋复杂，要快速，精确地对它们进行诊断，不得不求助于专家系统，专家知识和解释专家知识并控制诊断进程的机制是专家系统的两大要素，它们又分别被称为规则库和推理机，针对这两大要素，本文阐述以下两方面的问题：（１）设计规则库的结构，（２）设计并构造用于ＶＬＳＩ测试系统诊断的推理机。     

STEP标准数据库实现方式的研究

本文介绍ＳＴＥＰ标准的一种数据库实现方式，它基于作者自主开发的面向对象数据库管理系统－ＯＳＣＡＲ系统。文章从系统环境、数据类型、映射规则、操作、一致性、语言联编等六个方面概要阐述了ＳＴＥＰ标准数据库实现方式，并说明了它和ＳＴＥＰ中性文件、ＳＤＡＩ两种实现方式的关系。     

采用标准数据接口SDAI的CAD／CAM系统集成

如何将ＳＴＥＰ的方法和规范应用于系统开发是解决计算机集成制造系统（ＣＩＭＳ）开发的关键问题之一。集成化ＣＡＤ／ＣＡＭ系统是ＣＩＭＳ的核心，实现将ＣＡＤ的工程设计功能和ＣＡＭ的制造功能的结合。本文讨论通过ＳＴＥＰ的标准数据接口ＳＤＡＩ实现系统集成的集成方法，采用ＳＴＥＰ的数据交换、建模思想，实现了一个产品模型为核心的ＣＡＤ、ＣＡＭ集成系统－ＧＨＣＡＤ（高化ＣＡＤ）。     

SDL支撑系统

ＳＤＬ是一种主要用于对电信系统性能制定确切的功能规格和描述的国际标准语言．本文描述了以ＣＣＩＴＴＳＤＬ’８８为标准，基于图形核心系统（ＧＫＳ）设计实现的ＳＤＬ支撑系统（３Ｓ），包括ＳＤＬ的图形方式（ＳＤＬ／ＧＲ）的文档录入和编辑工作、对录入的ＳＤＬ／ＧＲ文档进行正确性检查和将ＳＤＬ／ＧＲ文本翻译到文字短语方式表达的ＳＤＬ／ＰＲ文本等几部分．此工作的完成对于使用图形方式描述计算机系统，然后翻译到高级语言提供了可能．     

知识获取系统NDKAS的研究与应用

知识获取系统ＮＤＫＡＳ的研究与应用潘金贵，陈彬，陈晶，陈世福（南京大学计算机科学系南京２１０００８）ＴＨＥＲＥＳＥＡＲＣＨＡＮＤＡＰＰＬＩＣＡＴＩＯＮＯＮＴＨＥＫＮＯＷＬＥＤＧＥＡＣＱＵＩＳＩＴＩＯＮＳＹＳＴＥＭ－ＮＤＫＡＳ￥ＰａｎＪｉｎｇｕｉ；Ｃｈ...     

GHCAD：一个产品模型为基础的CAD／CAM集成系统

ＳＴＥＰ是关于产品数据表达和交换的国际标准，如何将ＳＴＥＰ的方法和规范应用于系统开发是解决计算机集成制造系统（ＣＩＭＳ）开发的关键问题之一。集成化ＣＡＤ／ＣＡＭ系统是ＣＩＭＳ的核心，实现将ＣＡＤ的工程设计功能和ＣＡＭ的制造功能的结合。本文介绍一个产品模型为基础的ＣＡＤ／ＣＡＭ集成系统－ＧＨＣＡＤ。系统采用ＳＴＥＰ的数据交换、建模思想，以产品模型为核心，通过ＳＴＥＰ的标准数据接口ＳＤＡＩ实现了系统的集成。     

面向agent的程序设计语言:DL-1

为适应协作分布式问题求解（ＣＤＰＳ）研究和应用的需要，我们研制了面向ａｇｅｎｔ的程序设计语言：ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ主要用于显式地描述ＣＤＰＳ系统的行政管理结构。ＤＬ－１／ａｇｅｎｔ主要用于描述ＣＤＰＳ系统的ａｇｅｎｔ，并允许用户在描述ａｇｅｎｔ的同时，描述ＣＤＰＳ系统的问题求解结构。     

KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

一类并行多步Runge－Kutta预校算法

一类并行多步Ｒｕｎｇｅ－Ｋｕｔｔａ预校算法李寿佛，甘四清（湘潭大学数学系）ＡＣＬＡＳＳＯＦＰＡＲＡＬＬＥＬＭＵＬＴＩＳＴＥＰＲＵＮＧＥ－ＫＵＴＴＡＰＲＥＤＩＣＴＯＲ－ＣＯＲＲＥＣＴＯＲＡＬＧＯＲＩＴＨＭＳ￥ＬｉＳｈｏｕ－ｆｏ；ＧａｎＳｉ－ｑｉｎｇ（Ｄ...     

O—RDBMS与RDBMS完整性控制技术的比较

本文主要论述了Ｏ－ＲＤＢＭＳ中完整性控制技术的特点及其具体实现方法,并将与典型ＲＤＢＭＳ的完整性技术进行了比较,以ＩＬＬＵＳＴＲＡ系统与ＯＲＡＣＬＥ系统为例作具体作说明。     

基于案例和规则融合的民用客机故障诊断系统设计

目前很多工程应用中的飞机故障诊断方法,只考虑单一的基于案例或基于规则的诊断方法,故障诊断的效率有待提高。本文针对民用客机地面运营支持系统的特点和要求,将案例和规则融合的推理机制引入到飞机故障诊断系统的设计中。该方法采用规则推理为前导、案例推理后置补充的结合方式,最大化地利用飞机故障隔离手册知识和从维修记录中提取的案例知识,从而提高首次故障隔离效率、降低无效排故时间。以民用客机某系统的典型故障为例,阐述了该推理机制在故障诊断中的应用。通过历史飞行数据试验,验证了提出的基于案例与规则融合诊断方法的有效性,以此为基础设计的故障诊断方案可为航空公司构建更完善的专家系统提供参考。     

基于数据库的燃煤锅炉事故诊断专家系统的设计与实现

采用MS SQL Server7．0设计知识库，Visual Basic 6．0编程实现了燃煤锅炉事故诊断专家系统。本系统知识表示采用了基于概率逻辑的产生式规则形式，并用数据库的方法存储管理知识库。推理机采用规则值的方法，并应用主观Bayes理论建立了不确定性推理模型。实现了一种较为理想的不精确推理。     

可重构知识管理系统中案例与规则的集成推理方法

传统上的知识管理工具往往在设计时就固定了知识结构,这样的系统不但缺乏通用性,而且也限制了知识检索与推理的效率。介绍一个基于本体的可重构知识管理系统,知识作为本体概念的对象实例,利用本体模型的可定制性,解决了以往知识类型不能扩展的问题。详细阐述了结合案例推理与规则推理的集成推理方法,通过规则学习算法支持了规则库的动态扩充与调整,并将本体类的语义关系应用于推理方法,进一步提高了推理的效率。最后介绍了该系统在某飞机设计研究院的应用情况和今后的研究方向。     

基于语义Web的常用软件领域知识发现系统研究

当前,在语义Web中,基于OWL的知识表示、知识推理成为了研究和应用的热点.给出了常用软件本体的设计方法、规则定义和谓词扩展,并介绍了常用软件领域知识发现系统的总体模型.     

基于规则获取的Petri网诊断模型设计

通过旋转机械故障诊断规则的获取分析,讨论了利用诊断规则设计Petri网诊断模型的方法.该模型的设计建立在简化的样本集基础上,可有效降低Petri网的复杂程度,避免Petri网在复杂系统建模时出现的组合爆炸问题;针对诊断规则的形式,定义并提出将诊断规则转换为标准基本规则序列,便于模型的程序化设计;同时诊断规则的获取可以有效推广故障诊断范围,使其不仅仅局限于样本集,并能消除样本集中存在的不一致问题带来的影响.通过示例证明了这种方法的可行性与有效性,并给出了相关算法.     

专家系统在机械手故障诊断中的应用

本文介绍一个用于煤饼装箱机械手电气故障的专家诊断系统.专家诊断系统与机械手控制系统通过信号联络线同步运行,能够实时、在线地检测和诊断步进电机的驱动电路.专家诊断系统以单片机8031为核心,执行汇编语言程序,采用产生式规则建立知识库,用广度优先搜索法进行向后推理,运用并行推理方式提高搜索速度.样机运行结果表明,专家诊断系统达到了设计要求.     

面向远程诊断的AI-ESTATE智能诊断系统研究动态

通过封装服务、规范标准服务,AI-EATATE为诊断系统的客户端和应用对象的扩展、测试与诊断的分离提供了条件,使其更适合远程控制的诊断系统的构建。论文分析了武器装备远程故障诊断对知识重用与共享、软件互操作的需求,提出了面向远程诊断的AI-ESTTAE智能诊断系统构建的方法;研究了AI-ESTATE智能诊断系统的基本结构和框架,讨论了AI-ESTATE在发展过程中其服务的变化对开放、远程智能诊断系统构建的影响;最新的AI-ESTATE标准规范的服务更加强了对诊断过程的控制和效果评估,论文采用状态图的方式分析了最新的AI-ESTTAE服务在远程故障诊断过程的作用,为符合AI-ESTATE标准的远程故障诊断系统的开发提供了方法。     

面向对象的压铸模专家系统的开发研究

本文探讨了用面向对象方法开发专家系统的实现意义,并将此方法贯穿于整个压铸模设计专家系统的开发中,文中详细地介绍了此专家系统的总体结构、对象管理器、领域知识库等的设计以及数据库和知识结合的实现方法。