【摘 要】
：
该文对基于模型的诊断的全部诊断过程：模型表示、冲突识别、候选产生等,均给出了改进的算法.首先,对于模型的表示,根据部件之间的拓扑结构分成等价的部件树,这样可以减少部件
论文部分内容阅读
该文对基于模型的诊断的全部诊断过程：模型表示、冲突识别、候选产生等,均给出了改进的算法.首先,对于模型的表示,根据部件之间的拓扑结构分成等价的部件树,这样可以减少部件的数量,从而达到提高计算效率的目的.其次,冲突识别采用ENV模型,可以提高识别的效率.再次,对于候选的产生,该文提出了三个改进的算法：用BHS-树、布尔代数公式化简、GA算法等,使得计算效率有很大的提高,使基于模型诊断的实际应用成为可能.最后,该文也对基于模型的诊断在实际系统中的应用给出了二个演示程序：计算碰集算法效率的比较,基于模型诊断的电路系统（从冲突识别到候选产生全过程和探测）.该模型虽然仍有许多不足之处,但是对于基于模型的诊断的理论在实际上的应用会起到一定的推进作用.
其他文献
本文主要讨论了基于Linux的嵌入式系统的研究与开发。文章首先对嵌入式系统进行了简单介绍，在详细分析了系统特点的基础上，结合Linux自身的优点，提出了基于Linux的嵌入式操作系
数字医疗成像设备已经成为现代医疗中不可缺少的诊断器械.如何保证这些数字医疗成像设备所采集的图象可以被有效的管理、保存、使用和清晰的再现,成为现代数字医疗界面临的关
随着移动互联网的发展，越来越多的人使用手机上网。手机APP成为网络服务的主要入口，APP的商业价值得到广告机构的重点关注。对广告主来说，APP下载次数是决定他们最后一次报价的
中文TTS(Text-to-Speech)系统就是把文本文字串或文件通过一定的软硬件转换成连续的语音流输出的系统.文本分析和语音合成是TTS系统两个基本步骤.前者从文本中提取各种韵律控
作者着重研究了时空数据库的几个关键技术问题.具体研究内容包括:时空数据模型、基于对象行为特征的时空拓扑模型、拓扑规则系统、时空方位处理、空间数据索引和分史存储以及
信息检索系统是互联网中最常见的应用之一，例如Web搜索引擎、在线文献检索系统等等。在这些系统中，倒排索引是最常见也最重要的数据结构。倒排索引文件通常比较大，需要耗费大量
工作流系统已经成为人们的日常业务处理中越来越重要的技术，对一个组织来说业务过程的可靠性和一致性是很重要的。但是目前，大多工作流系统产品和原型系统都缺乏事务特性，这是工
近些年，针对流式大数据实时处理，并提供低延时高效率的实时交互式查询的研究已经成为大数据领域的热门研究方向。然而由于流式大数据的计算环境中，存储和计算资源有限，往往无法为
Internet现已成为社会重要的基础信息设施之一,当嵌入式设备配有网络通信接口,并得到相应的TCP/IP协议栈等软件的支持,便可以接入Internet.嵌入式技术和Internet技术的发展为