首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 640 毫秒

1.  递归建立HS-树计算最小碰集  被引次数:5
   林笠《微电子学与计算机》,2002年第19卷第2期
   在基于模型的诊断中,广泛地使用冲突集来计算最小碰集的算法诊断。现有的HS-树,HST-树,BHS-树等算法普遍存在实现的困难。文章提出用递归算法建立平衡的二叉HS-树(Recursive hitting set-树,简记为RHS-树)计算最小碰集的方法,在空间复杂性与时间复杂性上能够满足大多数诊断系统中的要求。    

2.  用布尔代数方法计算最小碰集  被引次数:8
   姜云飞  林笠《计算机学报》,2003年第26卷第8期
   在基于模型的诊断中,模型一般都是用布尔代数来表示,而计算碰集(hitting sets)则采用HS-树或图,这就使得诊断系统采用多种不同的数据结构,给编程实现带来了不便.本文用布尔代数变量表示待诊断系统的部件,并给出了用布尔代数直接计算最小碰集的算法.数据结构更为简单,只需要布尔表达式,相当于字符串,效率上比其他的一些研究结果也要好,同时可克服丢失正确解的问题,具有通用性.    

3.  基于故障行为的模型诊断方法  被引次数:1
   张立明  欧阳丹彤  赵相福《计算机集成制造系统》,2008年第14卷第9期
   提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断.该方法不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用基于假设的真值维护系统时的组合爆炸而引起的NP-完全问题.在集合枚举树中添加了终止节点,从而避免了非极小诊断的产生,且不会因剪枝而丢失正确的解.实验结果表明,该算法程序容易编制,且效率较好,可以满足复杂的被诊断对象的实时性要求.    

4.  结合问题特征利用SE-Tree反向深度求解冲突集的方法  
   欧阳丹彤  刘伯文  周建华  张立明《电子学报》,2017年第45卷第5期
   基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索求解冲突集的方法.针对CSISE-Tree方法求解时占用内存空间与元件总数指数级相关的缺点,构建反向深度搜索方法减小求解时所占用内存空间;针对CSISE-Tree方法不能对部分非极小的冲突集进行剪枝的问题,给出对非冲突集和更多非极小的冲突集进行剪枝的方法,有效减少了求解时调用SAT(Boolean SATisfiability problem)求解器的次数;实验结果表明,与CSISE-Tree方法相比,本文提出的方法求解效率有明显的提升,并避免了求解时的内存爆炸问题.    

5.  一种基于模型的配电网故障诊断搜索算法  被引次数:1
   胡 非  刘志刚  何士玉  杨红梅《电力自动化设备》,2013年第33卷第1期
   提出用二进制编码逻辑运算求解最小碰集的算法,该算法将求解最小碰集问题映射到0/1整数规划问题,即首先对系统进行建模仿真,得到最小冲突集簇,然后求出系统的所有候选碰集,对系统中每个元件进行二进制编码,最后采用自底向上的搜索方法,进行搜索确认,在确认的过程中,使用二进制代码的逻辑"或"运算。将该算法分别从最小冲突集数和最小冲突集簇中所含的总元件数这两方面与其他的最小碰集算法进行比较。实验结果表明,这2种因素对二进制编码算法的时间效率影响较小。最后,以一个实际配电网诊断为例,将所得的最小冲突集簇分别用该算法和其他的最小碰集算法计算,计算结果更加充分地说明了该算法的优越性。    

6.  用CHS-tree基于集合势的方法计算极小碰集  
   《计算机集成制造系统》,2014年第2期
   在基于模型的故障诊断理论中,为了根据所有冲突部件集计算全体极小碰集,提出基于集合势的方法,每次选择当前集合簇中势最小的集合进行扩展,并借助集合簇中元素出现的频率作为辅助判断,不断将大问题逐渐分解成子问题,然后依次求出不包含该扩展集合中各元素的集合簇的所有极小碰集。实验结果表明,CHStree方法生成树的过程较简单,能产生较少的节点,比经典的碰集树方法、二分法和集合枚举法等具有更高的求解效率。在某些情况下,其效率也高于当前效率最高的Boolean方法。    

7.  在基于模型诊断中计算最小碰集算法  被引次数:3
   林笠《计算机应用研究》,2002年第19卷第9期
   介绍了基于模型诊断中的计算碰集的算法 ,并分析比较了各算法的效率和计算结果。其中的逻辑型数组算法、递归算法、BHS 树算法、布尔代数算法、GA算法均是笔者近年来研究的结果。    

8.  基于动态极大度的极小碰集求解方法  被引次数:1
   张立明  欧阳丹彤  曾海林《计算机研究与发展》,2011年第48卷第2期
   在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好.    

9.  基于模型诊断中计算碰集的方法  被引次数:1
   欧阳丹彤  欧阳继红  程晓春  刘杰《仪器仪表学报》,2004年第25卷第Z3期
   基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术.人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系.这里论证了极小碰集与本原蕴涵/蕴涵式的关系.提出了碰集计算方法-NEWHS-tree,指出该算法需要搜索的结点数比Greiner的HS-DAG算法需要搜索的结点数大大减少,而且能够处理多故障诊断问题,而Slagle等学者提出的算法不能处理多故障诊断问题.    

10.  基于最小碰集的多故障诊断算法研究  
   王子玲  许爱强《兵工学报》,2010年第31卷第3期
   目前存在的测试性分析和故障诊断工具基本都是基于单故障假设,不适用于复杂系统。针对这一问题,研究了多故障假设下的序贯测试算法。提出了利用分类HS-树(CHS-树)计算最小碰集(MHS)的算法;以多故障状态集的MHS作为故障状态,生成最优单故障测试策略;以决策树中各叶节点的MHS为判断依据来决定下一步要执行的测试,最终生成多故障诊断策略。最后给出案例分析,结果表明:计算MHS的算法能够提高诊断策略的生成效率;诊断策略能够有效隔离多故障问题。    

11.  利用CSP求解极小碰集的方法  
   王艺源  欧阳丹彤  张立明  张永刚《计算机研究与发展》,2015年第3期
   基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用。在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心问题之一。提出一种将极小碰集问题转换为约束满足问题的方法,该方法调用成熟的CSP求解器进行求解,扩展了约束可满足问题的应用领域。首次提出hard‐冲突集和sof t‐冲突集的概念,并给出利用所提的方法分别求解具有一些特征的极小碰集:小于固定长度、不含特定元素及包含hard‐冲突集和sof t‐冲突集。实验结果表明,提出的方法易于实现、扩展性强,对于特定类型极小碰集问题的求解效率较高。    

12.  一种非反馈结构的故障定位算法  
   于百胜  黄文虎《哈尔滨工业大学学报》,2000年第32卷第2期
   最小冲突集合的产生是模型诊断中最关键的计算步骤,而广义约束传播技术是最有效产生最小冲突集合的方法之一.使用测点元件影响集的概念,对广义约束传播技术进行了改进,提出了一种非反馈结构的故障定位算法,此算法可提高诊断的效率.    

13.  极小碰集求解中候选解极小性判定方法  
   刘思光  欧阳丹彤  张立明《软件学报》,2018年第29卷第12期
   极小碰集问题是人工智能中的重要问题,应用广泛.碰集极小性判定,作为极小碰集求解过程中的关键步骤,效率的高低会对极小碰集求解算法的耗时产生直接影响.现有的极小碰集求解算法主要使用子集检测方法进行碰集极小性判定.针对子集检测方法在极小碰集簇规模较大时效率较低的问题,提出了基于元素独立覆盖度检测的碰集极小性判定方法——ICC方法,剥离了碰集极小性判定耗时与极小碰集簇大小的相关性;通过深入分析增量求解过程中非极小碰集的产生原因,给出了ICC方法的增量判定形式ⅡCC方法,使其可以尽早发现并丢弃非极小候选解,为使用其增量极小碰集求解算法带来额外的剪枝效果,进一步提升算法的效率.实验结果表明:该方法易于实现,可扩展性强,对于当前效率较高的Boolean算法,使用ⅡCC方法后,算法可求解问题的规模和整体效率均有明显提升,效率提升最高达4个数量级以上.    

14.  一种求解最小故障集的集合运算推理方法  
   于百胜 黄文虎《振动工程学报》,1998年第11卷第4期
   在基于模型的诊断推理中,诊断是分两步进行的,一是与领域有关的冲突识别,二是与领域无关的候选产生。本文定义了测点元件影响集的概念,提出了由测点元件影响集与测点的二值测量结果直接求解最小故障集合的方法。该方法与现有模型诊断方法完全不同,诊断只需一步完成。    

15.  一种基于MMEPA的决策树构造方法  
   卜亚杰 胡朝举 董娜 王少华《数字社区&智能家居》,2007年第3期
   决策树是一种有效的数据分类方法,它的构造方法很多。在这里,提出一种基于MMEPA(改进的最小熵原理方法)的决策树构造方法,并通过一个实例对其进行说明,用此方法提取分类规则,构造决策树模型。最后,对噪声剪枝等问题提出了解决思路。    

16.  一种基于MMEPA的决策树构造方法  
   卜亚杰  胡朝举  董娜  王少华《数字社区&智能家居》,2007年第1卷第5期
   决策树是一种有效的数据分类方法,它的构造方法很多。在这里,提出一种基于MMEPA(改进的最小熵原理方法)的决策树构造方法,并通过一个实例对其进行说明,用此方法提取分类规则,构造决策树模型。最后,对噪声剪枝等问题提出了解决思路。    

17.  模型故障诊断中对广义约束传播技术的改进  
   于百胜  黄文虎  姜兴渭《信息与控制》,1998年第27卷第2期
   在模型故障诊断中,不管采用那一种诊断方式,均首先需要根据测量结果和领域知识产生出最小冲突集合,广义约束传播技术是最有效的产生最小冲突集合的方法之一.本文使用测点元件影响集的概念,对广义约束传播技术进行了改进,改进后的广义约束传播技术可提高诊断的效率.    

18.  基于RST的决策树生成与剪枝方法  被引次数:1
   王名扬  卫金茂  伊卫国《计算机工程与科学》,2005年第27卷第10期
   基于粗糙集理论构建决策树的过程中,通过计算各条件属性相对某分类的边界,选取边界最小的属性作为当前分支的节点,但此方法在多值分类情况下不能直接应用。为此,本文利用明确区的概念作为选取属性的标准,对各候选条件属性,选取相对于整个结果属性的明确区最大的属性作为当前分支的节点。并且基于明确区的概念,提出了一种新的对决策树进行剪枝的方法,通过一个实例说明该剪枝方法是简洁有效的。    

19.  基于粗糙集理论的决策树分类方法  被引次数:1
   邹瑞芝  罗可  曾正良《计算机工程与科学》,2009年第31卷第10期
   决策树是数据挖掘中常用的分类方法。本文提出了基于粗糙集的决策树方法,利用粗糙集近似精确度来选择决策树的根节点,分支由分类产生。该方法计算简单,易于理解。本文还提出用悲观剪枝法简化决策树,提高决策树的预测与分类能力。实例说明了本文方法均简单有效。    

20.  基于专家系统的离合器制动器故障诊断  
   李猛  曹春平  孙宇《锻压技术》,2017年第12期
   为了提高离合器制动器故障诊断的效率,针对离合器制动器故障的特点,设计了一种基于故障树分析和二元决策图的专家系统结构,提出了一种基于专家系统的离合器制动器故障诊断方法.首先利用鱼骨图分析离合器制动器的故障原因,建立故障树;其次利用二元决策图对故障树进行定性分析,获取诊断专家知识,并用产生式规则表示知识,建立故障诊断知识库;随后利用二元决策图对故障树进行定量分析,求解最小割集的重要度,确定规则优先级,从而解决规则冲突问题,提高故障诊断的效率;最后开发了离合器制动器故障诊断专家系统的原型系统,结果证明了该方法的有效性和可行性.    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号