检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于模型诊断中计算碰集的方法

仪器仪表学报 2004年第z3期25卷 605-608页

作者：欧阳丹彤欧阳继红程晓春刘杰吉林大学计算机科学与技术学院 Department of Computer Science University of ReadingRG66AYReadingEngland

基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术。人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系。这里论证了极小碰集与本原蕴涵/蕴涵式的关系。提出了碰集计算方法—NEWHS- tree,指出:该算... 详细信息

基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术。人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系。这里论证了极小碰集与本原蕴涵/蕴涵式的关系。提出了碰集计算方法—NEWHS- tree,指出:该算法需要搜索的结点数比Greiner的HS- DAG算法需要搜索的结点数大大减少,而且能够处理多故障诊断问题,而Slagle等学者提出的算法不能处理多故障诊断问题。

关键词：基于模型的诊断碰集本原蕴涵/蕴涵式

一种基于频谱信息并结合碰集和遗传算法的缺陷定位方法

在线全文

学校读者我要写书评

暂无评论

计算机科学 2018年第9期45卷 207-212页

作者：周明泉江国华南京航空航天大学计算机科学与技术学院南京211100

在软件研制过程中,缺陷定位是一个重要的研究课题。但是,实际软件中的缺陷数量无法被预先判定,且已有的单缺陷定位方法不易使用,已有的多缺陷定位方法存在定位效率不高的问题。基于此,文中对多缺陷定位方法GAMFL进行了研究和改进,提出... 详细信息

在软件研制过程中,缺陷定位是一个重要的研究课题。但是,实际软件中的缺陷数量无法被预先判定,且已有的单缺陷定位方法不易使用,已有的多缺陷定位方法存在定位效率不高的问题。基于此,文中对多缺陷定位方法GAMFL进行了研究和改进,提出了基于频谱信息并结合碰集和遗传算法的缺陷定位方法 GAHIT。该方法定义了定位基本块,并用其替代语句进行缺陷定位,缩小了搜索范围;在初始种群的构造过程中,提出了采用求解失败用例执行路径碰集的方法,优化了初始种群的生成,并给出了新的适应度函数的计算方法,提高了算法的整体执行效率;最后针对遗传算法的结果,给出了缺陷检查策略,提高了在最优种群中查找缺陷的准确性。实验结果表明,所提方法能够有效处理缺陷数量未知情况下的定位问题,在单缺陷和多缺陷程序中都有较好的定位效果。

关键词：缺陷定位碰集遗传算法缺陷数量未知

在线全文

学校读者我要写书评

暂无评论

求解极小碰集的ROBDD算法的研究与分析

求解极小碰集的ROBDD算法的研究与分析

作者：艾阳吉林大学

学位级别：硕士

基于模型诊断(Model-based diagnosis)是一种智能推理方法,它的出现是为了弥补传统的故障诊断方法的缺点。基于模型诊断已经应用于通信、航天、燃气轮机监控、交通、电子设备等诸多领域。其基本思想是构建待诊断系统的抽象模型,并观测... 详细信息

基于模型诊断(Model-based diagnosis)是一种智能推理方法,它的出现是为了弥补传统的故障诊断方法的缺点。基于模型诊断已经应用于通信、航天、燃气轮机监控、交通、电子设备等诸多领域。其基本思想是构建待诊断系统的抽象模型,并观测系统的实际行为,当观测行为与系统的预测行为相左时,确认出故障诊断。涉及的四个过程为构建系统模型,冲突鉴别,候选诊断以及诊断。目前MBD的研究重点有以下两种：溯因诊断以及基于一致性诊断,本文中主要讨论的就是基于一致性诊断问题。基于模型诊断中极小碰集的求解问题被证明是NP-complete的。近年来,国内外的研究者不断提出求解碰集的新思想以及优化方法,目的是降低时间的消耗。二元决策图(Binary Decision Diagrams)简称BDD,是于1959年被提出的有根非循环图结构。目前,BDDs在很多领域都有广泛的应用,例如计算机网络、逻辑综合和验证等。Randel在1986年提出BDD中变量顺序对最终生成的BDDs规模有较大的影响的观点。从此以后,很多国内外的研究者针对BDDs变量的顺序排序问题进行了大量并深入的研究。由于最优变量排序问题已经被证明为NP-完全问题,所以目前很多研究者通过对应用领域的研究,设计适当的启发式排序方法,得到较为合理的ROBDD编序方法。适当的编序方法可以缩小BDD的规模,减少BDD算法的运行时间。本文中采用的就是启发式编序相结合的ROBDD求解算法。近年来,已经有国内外学者将OBDDs应用到基于模型诊断问题中,本文也提出运用ROBDDs求解基于模型诊断问题中极小碰集的新思想。把目光聚焦到候选诊断过程(即通过极小冲突集推导出极小碰集的过程)上,提出ROBDD求解极小碰集的方法。这一方法的主要思想为：首先把问题系统构建为析取式方程组的形式,然后根据OBDDs这一数据结构的高压缩性、操作的高效性以及布尔表达式的表示形式等性质,分别应用VCD-Order和FD-Order操作对冲突集簇中的变量进行编序,利用生成的编序序列把冲突集编译成独立ROBDD形式,再进行ROBDDs的与运算,求得系统的碰集。最后进行极小化操作提取极小碰集。本算法不存在类似于某些求解算法由于剪枝而丢失解的现象。因为OBDDs是种高压缩的数据结构,所以占用的空间较少,并且算法容易理解和实现。由于本算法中没有应用随机算法,故可以得到所有的极小碰集,即ROBDD求解算法是完备的。但利用ROBDDs求解碰集需要碰集的极小化操作,才能得到故障系统的极小碰集,这一操作降低了整体算法的效率。我们在本文中提到的两种ROBDDs求解极小碰集的算法,是分别基于变量相关性和基于变量频率来对ROBDDs进行编序约束的。我们通过理论推导,证明了ROBDD方法的有效性以及完备性。通过大量的对比实验,我们可以看到ROBDD算法在随机生成冲突集上有较明显的效率优势。并且通过对基于变量相关性的ROBDD算法和基于频率的ROBDD算法的研究和实验,总结出这两个方法的使用范围。本文提出的两种ROBDDs方法还都有需要改进的地方,以后可以将两种方法相结合提出更为优化的ROBDDs求解碰集的新方法。

关键词：二元决策图启发式编序基于模型的诊断碰集

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

求解极小碰集的遗传算法及其相关算法的研究

求解极小碰集的遗传算法及其相关算法的研究

作者：云帆吉林大学

学位级别：硕士

本文首先简单介绍了基于模型诊断的基本思想、诊断过程及一些诊断引擎和系统的相关知识。然后提出了计算极小碰集的一个新方法—EC-GA方法,并与其他方法进行了实验对比,指出我们方法的优点及适用范围。接下来介绍诊断产生过程中其他用... 详细信息

本文首先简单介绍了基于模型诊断的基本思想、诊断过程及一些诊断引擎和系统的相关知识。然后提出了计算极小碰集的一个新方法—EC-GA方法,并与其他方法进行了实验对比,指出我们方法的优点及适用范围。接下来介绍诊断产生过程中其他用于产生所有极小碰集的改进方法SEHS-GA方法和SEHS-EC方法,以及基于对分HS树,介绍BHSGA-tree,BHSEC-tree,BHSSE-tree三种相关改进方法,并通过与其他方法进行理论和实验比较说明了我们方法的优点及适用情形;本文还针对实例关于对分HS树提出的增量诊断算法进行了改正,并依据测量点顺序选择给出一点改进。

关键词：基于模型的诊断碰集遗传算法等价部件集合枚举树对分二叉树测量选择

基于改进BPSO的最小碰集搜索方法应用研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

山东工业技术 2016年第12期 248-252页

作者：陈忱中国航空综合技术研究所北京100028

本论文在对比分析常用最小碰集搜索方法性能优劣的基础上,提出了一种改进的离散二进制粒子群算法,并给出了该算法应用于最小碰集搜索的基本规则与流程,从最小冲突集集合簇中搜索获得全部最小碰集并做出诊断结论。随后,以卫星电源系统为... 详细信息

本论文在对比分析常用最小碰集搜索方法性能优劣的基础上,提出了一种改进的离散二进制粒子群算法,并给出了该算法应用于最小碰集搜索的基本规则与流程,从最小冲突集集合簇中搜索获得全部最小碰集并做出诊断结论。随后,以卫星电源系统为应用案例,验证了该方法的性能优势、适用性以及工程实用性。

关键词：基于模型诊断冲突集碰集离散二进制粒子群算法

在线全文

学校读者我要写书评

暂无评论

利用集合划分方法加速碰集的计算

黑龙江教育（理论与实践） 2014年第6期 53-54页

作者：金星波张文磊 92493部队88分队

基于模型的诊断对于靶场装设备的保障具有重大的意义,碰集的计算则是基于模型诊断中最为关键的技术,本文通过对碰集计算方法的研究,提出利用集合划分的方法加速对碰集的计算,从理论上保证了本方法的正确性与有效性,能够对大规模的问题... 详细信息

基于模型的诊断对于靶场装设备的保障具有重大的意义,碰集的计算则是基于模型诊断中最为关键的技术,本文通过对碰集计算方法的研究,提出利用集合划分的方法加速对碰集的计算,从理论上保证了本方法的正确性与有效性,能够对大规模的问题集提供有效的方法,具有一定的实用性。而且当问题规模扩大时,具有很好的可扩展性。

关键词：基于模型的诊断划分碰集

在线全文

学校读者我要写书评

暂无评论

基于模型诊断中计算碰集的方法

基于模型诊断中计算碰集的方法

中国仪器仪表学会第六届青年学术会议

作者：欧阳丹彤欧阳继红程晓春刘杰吉林大学计算机科学与技术学院 Department of Computer Science University of Reading RG6 6AY Reading England

基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术。人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系。这里论证了极小碰集与本原蕴涵/蕴涵式的关系。提出了碰集计算方法—NEWHS-tree,指出:该算法... 详细信息

基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术。人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系。这里论证了极小碰集与本原蕴涵/蕴涵式的关系。提出了碰集计算方法—NEWHS-tree,指出:该算法需要搜索的结点数比Greiner的HS-DAG算法需要搜索的结点数大大减少,而且能够处理多故障诊断问题,而Slagle等学者提出的算法不能处理多故障诊断问题。

关键词：基于模型的诊断碰集本原蕴涵/蕴涵式

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于遗传算法和碰集的报刊征订决算

齐齐哈尔师范高等专科学校学报 2007年第1期 109-110页

作者：陈茂国苏州大学计算机科学与技术学院江苏苏州215006

大宗订单的集体用户在报刊征订时应尽可能满足“人多优先、推荐面广、多推优先、少推亦订”的原则,本文以集合中的碰集理论设计出一种报刊征订决策,用遗传算法来实现该决策的计算过程。

关键词：遗传算法碰集报刊征订

在线全文

学校读者我要写书评

暂无评论

多故障的测试序列问题研究

兵工学报 2011年第12期32卷 1518-1523页

作者：王红霞潘红兵叶晓慧海军工程大学电子工程学院湖北武汉430033

针对武器装备发生多故障的实际情况,提出了一种新的多故障的测试序列优化方法。用实例阐明了单故障诊断策略隔离多故障可能会出现错误的结论;通过掩盖故障、碰集与最小集合覆盖的定义建立了故障源间的映射关系,使得可用求解集合覆盖的... 详细信息

针对武器装备发生多故障的实际情况,提出了一种新的多故障的测试序列优化方法。用实例阐明了单故障诊断策略隔离多故障可能会出现错误的结论;通过掩盖故障、碰集与最小集合覆盖的定义建立了故障源间的映射关系,使得可用求解集合覆盖的方法获得所有元件的掩盖故障;通过对单故障诊断策略扩展的方法获得多故障的测试算法,该算法扩展的对象是存在隐藏故障和掩盖故障的叶节点;通过实例计算,并与其他算法进行了对比,验证了算法的有效性。

关键词：人工智能多故障诊断测试序列问题隐藏故障掩盖故障碰集