刻画基于模型的中心诊断*

虽然对基于模型的诊断存在一系列不同的逻辑定义,但所幸的是存在一个统一的抽象定义,它概括了以往的不同定义.在该定义基础上提出了基于模型的中心诊断的概念.通过刻画基于模型的中心诊断过程,论证了基于模型的中心诊断与本原蕴含/蕴含式的直接关系,从而将其理论结果与ATMS(assumption-based truth maintenance system)这类算法联系起来.进一步指出,对基于一致性中心诊断的刻画仅仅是文中所给出的刻画的一个特殊情形.     

基于模型诊断推理的回顾与展望

诊断推理技术起源于美国,虽然沿用了医学领域中的名称,但其研究内容已远远超出了医学诊断。它在工程、社会和经济等领域有着广泛的应用前景。由于60年代初期航天和军工等高可靠性工程的迫切需要,诊断迅速发展起来成为一门新兴学科。特别是近十几年来,由于一些关键性现代化设备出现重大     

面向对象程序设计语言EIFFEL的程序正确性验证工具

本文简单介绍了国家八五科研重点攻关项目＜＜实用自动工具集的开发＞＞的专题＜＜自动验证工具＞＞的理论基础和开发成果。     

新一代决策支持系统

决策支持系统(DSS)是在管理信息系统(MIS)的基础上发展起来的,这一概念始于七十年代初,由于它是提高企业竞争力、生产力以及决定经营成败的重要工具,所以发展很快,在国外,已广为各级决策人员所采用,在国内,也引起了各方面的关注.开发DSS需要有一个框架,早期的DSS是在MIS基础上,增加了一些规范模型(如运筹学模型、经济计量模型等)而成.1980年,Sprague提出了基于两库(数据库和模型库)的DSS结构,产生了很大影响;最近几年,人工智能技术逐步应用于DSS,产生了智能化的DSS,1985年R.K.Belew提出的“可演进的DSS”就是一个典型代表,他在Sprague框架的基础上,增加了文本库和规则库.本文将对Sprague框架及Be1ew框架作简单介绍,并结合我们在MIS及DSS方面的实践,讨论基于五库(文本库、数据库、方法库、模型库、知识库)的DSS结构,以及设计和实现中的一些问题.     

基于一致性的最小正常诊断及其应用

本文给出了基于一致性的最小正常诊断的概念，并将它与基于一致性的最小反常诊断加以区别。证明了若将系统描述限制在故障理论或在故障理论中扩展有限的正常行为知识，那么使用最小正常诊断能够刻画基于一致性的诊断空间，即最小正常诊断假设成立。本文还指出：使用最小正常诊断可以缩小只针对正常行为模型的最小反常诊断所产生的诊断空间，帮助我们找到真正的故障。文中最后还指出了最小正常诊断所适合的诊断任务及诊断领域。     

与替换和集合运算有关的错误*

指出在使用归结方法的自动推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有关的几个错误,并予以分析和改正.     

对基于模型诊断测试理论的修正与扩充

虽然McIlraith和Reiter对基于模型诊断的测试进行了阐述,但他们的工作限定条件过于严格.该文放宽了相关测试定理的限定条件,给出了修正后的相关测试定理及其证明.作为对McIlraith工作的推广,对鉴别诊断原理的测试条件进行了扩充,提高了鉴别测试的适应性.