用MDMC-HS-tree方法计算极小碰集

产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小势的MDMC-HS-tree方法.每次选择势最小的集合进行扩展,以便减小树的宽度;并删减包含势最小集合中度最大元素的集合,不断将大问题化简为小问题.实验结果表明:本算法能够产生所有极小碰集,且在计算大规模碰集时产生相对较少的节点,为实际设备故障诊断提供较可行的方法.     

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

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

基于模糊最小集的试卷诊断模型

利用模糊最小集方法 ,提出了一种考试试卷诊断模型 .该模型首先确定诊断参数向量对应症状的最大可能分布 ,再由界限值决定症状集 ;最后利用诊断逻辑识别 .     

一种策略冲突的消解方法

利用非单调逻辑编程技术,Chomicki等人提出了一种策略冲突消解方法.虽然该方法具有高效、可靠和良好的封装性等优点,但是它的应用域却受到限制.在Chomicki方法的基础上,首先定义了组合冲突,它比一般策略冲突涵义更广.其次,为消解该类冲突引入了一个优化解—最大行动接受集,并给出与之互补的最小行动取消集的重要特性.最后,利用基于稳定模型语义的权约束规则编程技术,建立消解组合冲突的逻辑程序.由于该程序始终拥有稳定模型,所以总是能够根据它的模型获得优化解.     

基于模型的局域网诊断系统

基于模型诊断的HS—DAG算法，提出一个网络通信模型的诊断系统，当局域网出现故障时，能够根据观察结果判断故障出现的位置，不会因为剪枝而丢掉部分最小碰集，提高了故障诊断效率。     

基于模糊最小集的试卷诊断模型

利用模糊最小集方法，提出了一种考试试卷诊断模型。该模型首先确定诊断参数向量对应症状的最大可能分布，再由界限值决定症状集；最后利用诊断逻辑识别。     

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

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

En中的开集不存在最小凸生成集

对于紧凸集，文献[1]中有定理：S为E^n中的紧凸集，则S是其轮廓的凸包，即对于E^n中的紧凸集，其轮廓就是其最小凸生成集．本文证明了E^n中的开集一定不存在最小凸生成集。     

关于良序集的必要充分条件定理

定义1 如果一个线序集的任何非空子集都有最小元,则称这个线序集为良序集。本文用较少的概念与定理证明两个关于良序集的必要充分条件定理。定理1 线序集A为良序集的必要充分条件是A的任何非空真子集都有最小元。     

有限域上向量子集中的陪集及最小陪集覆盖

在有限域上多元非线性方程的解集可以是任意向量集，在该向量集所属的空间上如果找到最小数量的陪集，并覆盖该向量集，那么用这组陪集来线性化该方程成为了可能。文章提出了在多元非线性方程的解集中算出陪集的算法以及最小陪集覆盖的算法，并给出了独立试验的结果。     

求极小碰集的遗传算法

采用改进的遗传算法求解极小碰集问题。在标准遗传算法的基础上,引入了精英策略以提高算法的搜索效率;在进化过程中加入了极小化操作,使得得到的结果都是极小碰集。同时通过实例,验证了极小化操作的有效性。最后,将此算法与其他求极小碰集的算法进行了比较。     

A method of combining SE-tree to compute all minimal hitting sets

In model-based diagnosis, the candidate diagnostic results are generally characterized by all minimal hitting sets for the collection of all conflict sets. In this paper, a new method is proposed to judge a hitting set by the number of conflict sets corresponding to components, and the computing procedure is formalized by combining revised SE-tree (set enumeration tree) with closed nodes to generate all minimal hitting sets. Results show that because closed nodes are added into SE-tree, the search efficiency is highly improved. Furthermore, the proposed method is easy to be understood and implemented. Compared with other effective algorithms with completeness in some experimental tests, the diagnosis efficiency of our proposed method is higher, particularly for single- and double-fault diagnosis.     

基于逻辑的一种诊断方法

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

Domain上的扩张定理

对定向极小集进行了进一步的研究，给出了Domain中保定向极小集映射与保定向并和《映射之间的等价刻画及其有关的性质，在此基础上得到了关于保定向极小集映射的两个相应的扩张定理。     

两不动点构造一个分布混沌系统

通过两个不动点构造了一个极值分布混沌系统,只包含两个极小集,即由两个不动点分别构成的两个极小集,并且存在不可数的且只包含其中一个不动点的极值分布混沌集。     

一类逆极限序的极小集

通过公理Ａ＊研究了公理Ａ自覆盖映射的逆极限序的极小集，证明了其拓朴维数为零。     

有限极小集

本文讨论了完备格上有限极小集和可分子生成的格的性质,证明了可分子生成的格范畴与Sober拓扑空间范畴的反范畴的等价性;在此基础上给出了完全分配格的一族刻划.     

图的k-支配集与Grbner基求解

对于具有n个顶点的简单连通图G,首先证明了求解G的所有支配集等价于求解一个多元多项式方程组的所有0-1解; 其次,对于任一正整数k相似文献   

关于Morse极小集的一个注记

证明单边Morse极小集不恰为由不合形如词BBb1的两个符号序列组成的集（其中B=b1b2...bn），并指出这两个集之间的关系．