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

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

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

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

求极小碰集的遗传算法

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

基于串行最大独立集的连通支配集构造及分析

针对传感器网络最大独立集的构造方法中并行构造算法生成的连通支配集尺寸没有明确的上界且难以确定边界节点的问题,在串行最大独立集构造算法的基础上,提出了基于权重和时序的触发式连通支配集构造算法.仿真结果表明:该算法无需构造生成树,降低了计算时延和通信开销;此外,由于最大独立集节点存在时间上的先后关系,因而使得边界节点的数量显著减少,最终求得的连通支配集存在明确的上界.     

基于模型的故障诊断专家系统测点优选策略

为了解决模型系统的测点有限时所产生的极小诊断的组合爆炸问题,提出了增加系统测点,获取观测信息,从而减少极小诊断的智能方法.首先,采用带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小碰集(即极小诊断).然后,通过故障诊断综合信息量和相关性矩阵的引入,并逐步分解矩阵,找出测点优选策略.最后,利用新增观测信息和极小诊断去除规则,可以自主实现极小诊断的逐步减少,直至唯一的极小诊断的产生,即实现故障定位.实验结果表明,该专家系统程序容易编制,且效率较好,可以满足复杂被诊断对象的快速性和准确性的要求.     

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

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

Tower节点集上的极小次数牛顿基

将关于张量积格点的lower子集上Lagrange插值问题的极小次数牛顿基推广到tower节点子集上. 解决了二元Lagrange插值牛顿基问题, 把tower节点集的概念推广到任意多维情形, 以三维为例给出了相应的Lagrange插值极小次数牛顿基,并给出了计算三维tower节点集合消逝理想的约化Grobner基的快速算法.     

基于CTL的并发系统CSP模型验证

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.     

高泛化能力的变精度粗糙集的决策树算法

现有基于变精度粗糙集模型的决策树生成算法具有如下不足:有些叶子结点上覆盖的实例数太少,导致这些叶子结点的泛化能力太小而没有意义;不能很好地处理不一致的实例集.为解决上述问题,引入属性是否具有决策类这一概念,较好地避免了决策树的过剩生长,使得生成的决策树有较好的泛化能力.给出新的终止条件,即时地终止不一致实例集的生长.在此基础上,给出新的终止条,提出了一种新的基于变精度粗糙集的决策树生成算法.用一实例说明了新算法的效率得到提高.     

基于新的初始化策略计算MVEE的积极集算法

针对计算最小体积闭包椭球(MVEE)的积极集算法中原初始化策略耗时较多的问题,先给出一个基于样本协方差矩阵构造的新初始化策略,然后将该初始化策略应用于秩-2更新算法中,并给出一个计算MVEE改进的积极集算法.数值实验结果表明,基于新的初始化策略的积极集算法能有效提高求解大规模数据集MVEE问题的计算效率.     

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.     

收敛性、闭性与拓扑空间

根据开集定义拓扑空间的知识、闭集的定义以及收敛性的应用知识,分析了用点列的收敛性来定义闭集,从而定义拓扑空间的方式,并将这种方式应用于具体例子,认为可用闭集来定义拓扑空间.     

模糊拟阵闭集的性质

本文首先给出了模糊拟阵闭集的等价定义,找到了模糊拟阵的闭集族和它的导出拟阵的闭集族之间的关系,同时在拟阵的闭集定理和模糊拟阵的闭包公理的基础上得到了模糊闭集定理,进一步由格的定义证明了模糊拟阵的闭集族和它的r水-平集是格.     

关于拓扑空间中一些点集的注记

本文首先给出了拓扑空间中的一个集合为闭集的充要条件,从而进一步得到拓扑空间中的一个集合的闭包和边界集必为闭集并且它的闭包是包含着这个集合的最小的闭集。其次我们知道在一般的度量空间中一个集合的导集必是闭集,但是在一般拓扑空间中此结论不一定成立,所以本文主要给出了在拓扑空间中一个集合的导集为闭集的的充分条件和充分必要条件。     

不可约闭集的余集为有限集的Markov链的吸收概率

一个Markov链的状态空间Ψ可以分解为一系列互不相交的不可约闭集C1，…，Ck，…。及其余集口ΨT。对于ΨT为一个非空有限集的情形。给出了用于计算吸收概率的一些公式，证明了关于首达时的一些很直观的性质。     

~(

赵希顺 《河南师范大学学报(自然科学版)》1993,(2)

Banach空间中闭凸集序列的收敛

对Ｂａｎａｃｈ空间中闭凸集序列收敛性的讨论不仅是研究集值随机过程的基础，而且也是研究最优化和控制论的基础，由于闭凸集序列的收敛形式很多，因而研究各种收敛之间的关系也就有着十分重要的意义，一些文献不同程度地给出了一些收敛之间的关系，但都不系统，也有个别文献比较系统地研究了各种收敛之间的关系，但是在有限维情形下讨论的．此文则是在一般Ｂａｎａｃｈ空间中，比较系统地研究和总结了各种收敛之间的关系，得出了比较完整的结果。     

LF拓扑空间中的广义半连续序同态

提出了LF拓扑空间中强广义闭集、广义弱半闭集、广义正则闭集的概念。利用这些概念及它们之间的关系研究了广义非连续序同态和广义不可约序同态，给出了它们的一些性质及其等价刻画。