基于模型诊断中用逻辑数组计算最小碰集

在基于模型诊断中 ,冲突集的最小碰集就是诊断目标 .提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法 .     

可用于诊断产生的计算碰集的新方法

提出一种利用与元素相关联的冲突集个数计算碰集的新方法, 并结合带有终止节点的集合枚举树SE tree形式化地表达计算过程, 逐步生成所有的极小碰集. 由于在SE tree中添加了终止节点, 因而能够较大提高搜索效率. 实验结果表明, 该算法程序容易编制, 且效率较好, 对于复杂的被诊断对象系统可以满足实时性.     

基于逻辑的一种诊断方法

基于逻辑的故障诊断方法中一个没有解决好的问题就是如何求得所有极小冲突集。讨论了如何由极小不协调子集求得极小冲突集，然后经出了求所有极小不协调子集的一种方法。对如何应用该算法求得所有的极小冲突集，给出了求诊断的一个过程，最后与相关工作进行了比较。     

基于ENV诊断模型的建立

基于模型的诊断方法的重要步骤之一是冲突集识别，把若干个部件组成一个相对独立的系统，该系统中的部件全部正常工作时可得到一个确定的观测，则称此相对独立的系统为一个环境（ENV），直接对环境模型进行冲突识别，可以快速判断出冲突集，该模型可用于一般的诊断的冲突识别，增加探测的导出冲突集的识别和部件替换维修后冲突的识别。     

基于模型诊断的研究与新进展

综述基于模型诊断的基本任务、诊断过程、研究现状及主要研究领域 .通过与传统诊断方法的比较指出基于模型诊断方法的研究意义 .列举一些最近出现的有代表性的诊断系统 ,并指出有待解决的问题 .     

Deriving all minimal consistency-based diagnosis sets using SAT solvers

In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solvers. Firstly, the model of the system to be diagnosed and all the observations are described with conjunctive normal forms (CNF). Then, all the related clauses in the CNF files to the components other than the considered ones are extracted, to be used for satisfiability checking by SAT solvers. Next, all the minimal consistency-based diagnostic sets are derived by the CSSE-tree or by other similar algorithms. We have implemented four related algorithms, by calling the gold medal SAT solver in SAT07 competition – RSAT. Experimental results show that all the minimal consistency-based diagnostic sets can be quickly computed. Especially our CSSE-tree has the best efficiency for the single- or double-fault diagnosis.     

基于模型诊断的应用

介绍了人工智能领域的一个分支——基于模型的诊断以及基于一致性诊断的基本概念,总结了基于模型诊断的优点和有待改进的地方。     

关于最小生成树问题的注记

在这篇文章中我们得到在图G=(V,E)的生成子图     

基于模型诊断的贝叶斯解释及应用

在基于模型诊断的基础上，建立了贝叶斯模型．该模型首先假设系统的所有状态都是可能发生的，并对系统中的各个元件设定一个先验概率．当系统的观测与预期不符合时，利用最小冲突集的概念得到系统可能的状态．之后根据各个系统状态的对应概率计算出元件发生故障的后验概率，该后验概率本质上是一个边缘概率分布，它在数值上表示了元件发生故障的可能性，确定了故障查找顺序．用一个数字故障电路的实例验证了该方法的有效性，井对其存在的问题进行了讨论．     

基于故障树与案例相结合的故障诊断方法

针对惯性导航等航海装备的复杂性,提出了基于故障树和基于案例的故障诊断方法,分析了2种方法各自的优缺点,最后提出将两者相结合的故障诊断方法,充分发挥各自优势,建立案例库,通过学习机对案例进行解释,依据故障树方法建立规则,由推理机调用相关规则进行故障判断．     

基于粗糙集的传感网络节点故障诊断方法研究

传感网络节点一般分布于环境复杂的区域,当前故障诊断方法诊断精度低,虚警率高,整体性能低。提出一种基于粗糙集的传感网络节点故障诊断方法,给出传感网络结构图,采用粗糙集方法,通过过滤传感网络节点故障数据不关键属性集,得到简化的节点故障属性集,保持了分类能力,提高了运行效率。通过对传感网络故障节点数据进行约简,减少传感网络节点故障数据特征向量维数。建立简化层次各异的传感网络节点故障诊断决策网络,对故障诊断决策规则覆盖度进行分析,求出所有符合既定采集规定的诊断决策规则集,完成新故障状态的处理,实现传感网络节点的故障诊断。实验结果表明,所提方法不仅具有很高的诊断精度,而且虚警率低、整体性能高。     

最小生成树DNA算法

为了改进粘贴模型,提出了用生化实验实现求解割集的计算方法,并基于该方法给出了最小生成树DNA算法.首次将分离实验扩展为基于分离板的分离实验和基于电泳技术的分离实验,所提出的最小生成树DNA算法打破了DNA计算的计算模式——用求解割集的最小边的方法逐步产生最小生成树.用该方法求解割集利用了分离实验运算的高度并行性,最小生成树DNA算法的时间复杂度是线性的,从而降低了算法的时间复杂度.     

On the thinness of non-tangential sets

Let Ω⊄R ^d and ξ∈∂Ω. LetE be any non-tangential subset of Ω. we prove that ifE is internal thin at ξ, then it is minimal thin at any minimal Martin boundary point of Ω. Supported by the National Natural Science Foundation of China Zhang Yiping: born in Dec. 1962. Professor     

枚举图的全部极大独立集的普遍性方法

完整地研究了寻找一个图的全部极大独立集所需要的理论、寻找范围、计算公式和枚举方法，采用有根树描述，以邻接矩阵中任意一行所对应的顶点为根，再以该行中各个非零元素所对应的那些顶点为根，按照文中所述方法生成有根树，这些有根树就描述出图的全部极大独立集，本方法已用计算机程序实现。     

一种识别最小冲突集的实用方法

应用Ｒｅｉｔｅｒ提出的基于第一原理的诊断方法解决连续系统多故障诊断问题的难点是有效地识别最小冲突集合组。文章针对工业过程控制系统的特点,提出一种实用算法。首先根据系统的结构和传感器分布等不变知识,离线识别最小冲突集候选;然后根据测量数据,使用约束悬挂和约束传播技术,在线确定最小冲突集合组。算法是完备的,且大大节省时间资源,便于实时故障诊断     

基于等价关系的Rough集模糊化方法

提出了一种利用等价关系将Rough集进行模糊化的新方法,给出了等价类集的模糊化和Rough集模糊化的定义、性质,讨论了Rough集的交、并、补集模糊化后的运算性质,并给出了证明.     

事故树分析方法在建筑施工模板坍塌中的应用

为了解决模板坍塌事故发生并引起人员伤亡的问题,采用系统安全工程的事故树分析方法,建立了建筑施工模板坍塌引起人员伤亡的事故树图,从最小割集、最小径集、结构重要度三方面,阐述了导致模板坍塌引起人员伤亡的主要原因,找出了事故预防的关键途径。结果表明,事故树分析方法能对导致模板坍塌引起人员伤害事故的各种因素及逻辑关系做出全面的阐述,并为模板坍塌事故的预防以及最大限度地减少人员伤亡,提供了切实可信的参考依据。该成果对建筑模板工程具有一定的参考价值和指导意义。     

相关免疫函数的组合分析法

在密码设计过程中,安全性是设计者首先要考虑的问题之一。前馈网络是一种重要的密钥流生成器。相关免疫函数是Ｓｉｅｇｅｎｔｈａｌｅｒ提出的抗击对前馈网络流密码生成相关攻击的一类函数。本文利用布尔函数的小项和表示法,从组合的角度揭示相关免疫函数的特征。这种组合分析方法对构造相关免疫函数也是一种理想的方法。     

Z—连续偏序集的Z—极小集理论

给出了Ｚ－连续偏序集上Ｚ－极小集的概念及其性质和等价刻划，利用Ｚ－极小集的方法阐述了映射的连续性及保Ｚ－Ｂｅｌｏｗ关系和保Ｚ－极小集之间的联系，并证明了完备格是Ｚ－连续格当且仅当每个元都存在Ｚ－极小集