期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到158篇文章
< 1 2 … 8 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
用布尔代数方法计算最小碰集 被引量：38
1
作者 姜云飞 林笠 《计算机学报》 EI CSCD 北大核心 2003年第8期919-924,共6页
在基于模型的诊断中 ,模型一般都是用布尔代数来表示 ,而计算碰集 (hittingsets)则采用HS 树或图 ,这就使得诊断系统采用多种不同的数据结构 ,给编程实现带来了不便 .本文用布尔代数变量表示待诊断系统的部件 ,并给出了用布尔代数直接... 在基于模型的诊断中 ,模型一般都是用布尔代数来表示 ,而计算碰集 (hittingsets)则采用HS 树或图 ,这就使得诊断系统采用多种不同的数据结构 ,给编程实现带来了不便 .本文用布尔代数变量表示待诊断系统的部件 ,并给出了用布尔代数直接计算最小碰集的算法 .数据结构更为简单 ,只需要布尔表达式 ,相当于字符串 ,效率上比其他的一些研究结果也要好 ,同时可克服丢失正确解的问题 。 展开更多
关键词 人工智能 布尔代数方法 计算 最小碰集 模型诊断 最小冲突集
下载PDF
用对分HS-树计算最小碰集 被引量：37
2
作者 姜云飞 林笠 《软件学报》 EI CSCD 北大核心 2002年第12期2267-2274,共8页
在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出... 在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出了用对分HS-树(binary hitting set-树,简称BHS-树)计算最小碰集的方法.这种方法的优点是:(1)产生的树的节点数明显少于HS-树,因而效率较高;(2)解决了因为剪枝而产生的最小碰集丢失的问题;(3)在新增加冲突集时不必完全重新计算,只需在原BHS-树的基础上增加新的分支即可,这种性质对实际诊断问题是特别有用的.对利用BHS-树的算法从理论上进行了分析和论证,并通过实际编写程序进行了检验. 展开更多
关键词 模型诊断 最小冲突集 最小碰集 对分HS-树 人工智能 推理理论
下载PDF
牵引变电站故障的基于模型诊断方法 被引量：28
3
作者 刘志刚 钟炜 +1 位作者 邓云川 曲昌军 《中国电机工程学报》 EI CSCD 北大核心 2010年第34期36-41,共6页
现有牵引变电站所应用的故障诊断系统多是基于专家经验的专家系统,但是基于经验的专家系统不能诊断经验之外的故障,系统的移植和维护也比较困难。提出一种牵引变电站故障的基于模型诊断方法。该方法的系统模型知识在牵引变电站设计阶段... 现有牵引变电站所应用的故障诊断系统多是基于专家经验的专家系统,但是基于经验的专家系统不能诊断经验之外的故障,系统的移植和维护也比较困难。提出一种牵引变电站故障的基于模型诊断方法。该方法的系统模型知识在牵引变电站设计阶段就可获得,通过引用候选最小冲突集概念,将基于模型的诊断方法应用于牵引变电站主要电气设备的故障诊断,可以直接利用量测量来判断故障元件。最后,以一个实际自耦牵引变电站诊断为实例,通过对该系统的建模、编程和实验,取得了良好的效果,验证和讨论了该方法的可行性和有效性。 展开更多
关键词 基于模型诊断 牵引变电站 候选最小冲突集 故障诊断
下载PDF
一种求解极小诊断的遗传模拟退火算法 被引量：22
4
作者 黄杰 陈琳 邹鹏 《软件学报》 EI CSCD 北大核心 2004年第9期1345-1350,共6页
基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问题.尽管人们提出了不少算法,但是各种算法的效率仍然不是十分理想.通过将该问题映射到0/1整数规划问题,提... 基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问题.尽管人们提出了不少算法,但是各种算法的效率仍然不是十分理想.通过将该问题映射到0/1整数规划问题,提出了将遗传算法与模拟退火算法相结合的问题求解思想.在给出遗传模拟退火(genetic simulated anncaling,简称GSA)算法和算法各个参数的同时,对算法的性能和求解精度进行了测试.GSA算法不仅比传统的算法效率有很大的提高,而且在冲突集基数大于35的情况下,较单独使用GA的算法在效率上提高约1/3～1/2.在求解精度上,GSA算法在大多数情况下能够求出98%～100%的极小诊断. 展开更多
关键词 基于模型的诊断 极小诊断 冲突集 击中集 遗传算法 模拟退火
下载PDF
基于模型诊断的研究与新进展 被引量：21
5
作者 欧阳丹彤 欧阳继红 刘大有 《吉林大学自然科学学报》 CAS CSCD 北大核心 2001年第2期38-45,共8页
综述基于模型诊断的基本任务、诊断过程、研究现状及主要研究领域 .通过与传统诊断方法的比较指出基于模型诊断方法的研究意义 .列举一些最近出现的有代表性的诊断系统 ,并指出有待解决的问题 .
关键词 基于模型诊断 征兆 冲突集 智能推理技术 人工智能 基本任务 诊断过程
下载PDF
电网故障最优诊断的查询方法 被引量：22
6
作者 江雪晨 王大志 +1 位作者 宁一 张翠玲 《高电压技术》 EI CAS CSCD 北大核心 2017年第4期1311-1316,共6页
针对传统专家系统在电网故障诊断应用中的局限性,提出一种基于模型诊断的电网故障最优诊断的查询方法。该方法按照基于因果关系的诊断思想,得到预设故障输出对应的预备候选诊断,然后根据故障后的电气信息从匹配的预设故障输出中确定候... 针对传统专家系统在电网故障诊断应用中的局限性,提出一种基于模型诊断的电网故障最优诊断的查询方法。该方法按照基于因果关系的诊断思想,得到预设故障输出对应的预备候选诊断,然后根据故障后的电气信息从匹配的预设故障输出中确定候选诊断,最后,运用贝叶斯理论计算候选诊断的故障概率,并查询最大概率的候选诊断作为电网故障的最优诊断。该方法通过离线获得预备候选诊断,在线确认候选诊断的手段,缩减了诊断的时间,在利用贝叶斯定理处理诊断的不确定性时,将告警信息引入到模型诊断逻辑框架内计算元件的实际故障概率,提高了诊断的准确性。算例分析结果验证了所提方法的有效性和可行性。 展开更多
关键词 基于模型的诊断 电网故障诊断 最优诊断 因果关系 电气信息 告警信息 贝叶斯理论
下载PDF
基于模型诊断中用逻辑数组计算最小碰集 被引量：16
7
作者 林笠 《暨南大学学报（自然科学与医学版）》 CAS CSCD 2002年第1期24-27,共4页
在基于模型诊断中 ,冲突集的最小碰集就是诊断目标 .提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法 .
关键词 逻辑数组 模型诊断 最小冲突集 最小碰集 人工智能 诊断专家系统
下载PDF
配电网线路故障的基于模型诊断方法 被引量：21
8
作者 胡非 刘志刚 +1 位作者 范福强 关龙 《电力系统自动化》 EI CSCD 北大核心 2012年第10期56-60,78,共6页
现有配电网故障诊断系统大多是基于经验的专家系统,但专家系统难以诊断经验之外的故障,而且系统的移植和维护也非常困难。文中将模型诊断(MBD)方法应用于配电网故障诊断。介绍MBD理论的基本概念,给出了一个应用MBD理论的配电网线路故障... 现有配电网故障诊断系统大多是基于经验的专家系统,但专家系统难以诊断经验之外的故障,而且系统的移植和维护也非常困难。文中将模型诊断(MBD)方法应用于配电网故障诊断。介绍MBD理论的基本概念,给出了一个应用MBD理论的配电网线路故障诊断方案。以一个实际配电网为例,对故障诊断系统进行了建模和实验验证,结果表明该应用方案可行、有效。 展开更多
关键词 配电网 故障诊断 专家系统 模型诊断方法
下载PDF
使用SAT求解器产生所有极小冲突部件集 被引量：21
9
作者 赵相福 欧阳丹彤 《电子学报》 EI CAS CSCD 北大核心 2009年第4期804-810,共7页
产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成... 产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%). 展开更多
关键词 基于模型的诊断 冲突集 可满足性 SAT求解器 启发式
下载PDF
利用模型诊断降维的电网故障诊断完全解析方法 被引量：19
10
作者 江雪晨 王大志 +2 位作者 张翠玲 宁一 刘晓琴 《中国电机工程学报》 EI CSCD 北大核心 2016年第23期6371-6378,6602,共8页
现有基于解析模型的电网故障诊断方法为了提高诊断的准确性,考虑了保护和断路器的动作及其告警信息存在的不确定性,增加诊断的难度,并且存在多解或误诊的可能。针对此问题,首先提出一种电网故障诊断的改进完全解析模型,根据各类保护和... 现有基于解析模型的电网故障诊断方法为了提高诊断的准确性,考虑了保护和断路器的动作及其告警信息存在的不确定性,增加诊断的难度,并且存在多解或误诊的可能。针对此问题,首先提出一种电网故障诊断的改进完全解析模型,根据各类保护和断路器不确定事情发生的概率,赋予保护和断路器不同权值,使模型更加合理。通过模型诊断的方法获取候选诊断,由此得到的故障假说可作为解析模型的已知变量,降低模型中待求变量的维度,同时,为了提高模型求解方法的通用性,通过分析保护和断路器的动作状态与告警信息之间的因果关系,提出一种基于关联规则的模型求解方法。最后,通过含有多重不确定事情的电网故障算例验证所提方法的有效性。 展开更多
关键词 电网故障诊断 基于模型诊断 解析模型 候选诊断 关联规则
下载PDF
基于动态极大度的极小碰集求解方法 被引量：17
11
作者 张立明 欧阳丹彤 曾海林 《计算机研究与发展》 EI CSCD 北大核心 2011年第2期209-215,共7页
在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,... 在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好. 展开更多
关键词 基于模型的诊断 极小碰集 SE-Tree 动态极大度 向量交集
下载PDF
基于模型与模糊Petri网融合的高铁牵引变压器故障诊断 被引量：16
12
作者 戴晨曦 刘志刚 +1 位作者 胡轲珽 高松 《电力系统保护与控制》 EI CSCD 北大核心 2016年第11期26-32,共7页
针对基于模型诊断方法(Model-based Diagnosis,MBD)存在的处理不确定性和组件间的关联关系方面的问题,基于互补融合的思想,将模糊Petri网与MBD有机结合在一起,提出了一种高速铁路牵引变压器外部故障和内部故障诊断的新方法。建立牵引变... 针对基于模型诊断方法(Model-based Diagnosis,MBD)存在的处理不确定性和组件间的关联关系方面的问题,基于互补融合的思想,将模糊Petri网与MBD有机结合在一起,提出了一种高速铁路牵引变压器外部故障和内部故障诊断的新方法。建立牵引变压器结构和功能的两层模型,通过离线搜索最小冲突候选集和在线识别最小冲突集,实现牵引变压器的外部故障诊断。对于内部故障的诊断,采用MBD进行牵引变压器故障元件定位,利用模糊Petri网进行区域知识表示,推理实现内部故障类型诊断。以武广高速三相V/x接线牵引变压器故障数据为实例进行分析,诊断结果验证了MBD与模糊Petri网融合的牵引变压器故障诊断方法的可行性和有效性。 展开更多
关键词 基于模型诊断 模糊PETRI网 牵引变压器 故障诊断 高速铁路
下载PDF
基于模型的配电网故障诊断关键问题研究 被引量：16
13
作者 关龙 刘志刚 +1 位作者 徐建芳 王英 《电力系统保护与控制》 EI CSCD 北大核心 2012年第20期145-150,共6页
现有配电网故障诊断方法主要是根据故障后保护装置产生的报警信息,断路器的状态变化信息来推断可能故障位置和类型,属于后验故障诊断方法。基于模型诊断方法(Model-based diagnosis,MBD)则直接利用电压电流等量测量来判断故障元件,可以... 现有配电网故障诊断方法主要是根据故障后保护装置产生的报警信息,断路器的状态变化信息来推断可能故障位置和类型,属于后验故障诊断方法。基于模型诊断方法(Model-based diagnosis,MBD)则直接利用电压电流等量测量来判断故障元件,可以在保护装置和断路器动作前进行故障定位,具有一定的故障预警功能。给出一个完整的基于模型的配电网诊断方案,采用优化的离散二进制粒子群算法(BPSO,Binary Particle Swarm Optimization)求取冲突集的最小碰集,诊断识别过程中以贝叶斯后验概率形式量化了候选诊断的衡量标准,从而降低诊断过程中的不确定度。最后以某10kV配电网为诊断实例,通过实际建模、编程和实验,取得了良好的效果。 展开更多
关键词 配电网故障 基于模型诊断 贝叶斯理论 最小冲突集 诊断候选
下载PDF
基于模型诊断推理的回顾与展望 被引量：13
14
作者 李占山 姜云飞 《计算机科学》 CSCD 北大核心 1998年第6期54-57,31,共5页
诊断推理技术起源于美国,虽然沿用了医学领域中的名称,但其研究内容已远远超出了医学诊断。它在工程、社会和经济等领域有着广泛的应用前景。由于60年代初期航天和军工等高可靠性工程的迫切需要,诊断迅速发展起来成为一门新兴学科。特... 诊断推理技术起源于美国,虽然沿用了医学领域中的名称,但其研究内容已远远超出了医学诊断。它在工程、社会和经济等领域有着广泛的应用前景。由于60年代初期航天和军工等高可靠性工程的迫切需要,诊断迅速发展起来成为一门新兴学科。特别是近十几年来。 展开更多
关键词 人工智能 模型诊断 诊断推理
下载PDF
基于模型的飞机燃油系统故障诊断系统的设计与实现 被引量：14
15
作者 宋东 周建民 王彦文 《测控技术》 CSCD 北大核心 2011年第4期43-46,50,共5页
燃油系统作为飞机不可或缺的功能和保障系统,对飞机的飞行安全有着重大影响。传统故障诊断方法已经不能满足日益复杂的燃油系统诊断和维护需求。基于模型诊断是为了克服传统诊断方法的缺点而兴起的一项新型的智能推理诊断技术。研究了... 燃油系统作为飞机不可或缺的功能和保障系统,对飞机的飞行安全有着重大影响。传统故障诊断方法已经不能满足日益复杂的燃油系统诊断和维护需求。基于模型诊断是为了克服传统诊断方法的缺点而兴起的一项新型的智能推理诊断技术。研究了基于模型的飞机燃油系统故障诊断方法,建立了故障诊断模型,给出了基于模型的燃油系统故障诊断推理策略。设计并实现了基于模型的燃油系统故障诊断系统,并通过诊断实例进行了验证。 展开更多
关键词 基于模型诊断 故障诊断 飞机燃油系统
下载PDF
轧钢过程故障诊断研究现状及发展趋势 被引量：12
16
作者 赵会平 陆宁云 姜斌 《轧钢》 北大核心 2011年第1期48-53,共6页
针对轧钢过程特点,分析了轧制过程的主要故障,将故障划分为控制回路级、设备级和系统级。对轧钢过程故障诊断主要方法进行了归纳和分类,对各类方法的优缺点进行了定性分析,指出了故障诊断技术向智能化、系统化和综合化的发展趋势,以及... 针对轧钢过程特点,分析了轧制过程的主要故障,将故障划分为控制回路级、设备级和系统级。对轧钢过程故障诊断主要方法进行了归纳和分类,对各类方法的优缺点进行了定性分析,指出了故障诊断技术向智能化、系统化和综合化的发展趋势,以及轧钢过程故障诊断将来需要关注的两个研究方向。 展开更多
关键词 轧钢过程 故障诊断 经验诊断 模型诊断 信号诊断 智能诊断
下载PDF
基于模型分层的配电网故障诊断方法 被引量：12
17
作者 王秋杰 金涛 +1 位作者 梅李鹏 刘军 《电力自动化设备》 EI CSCD 北大核心 2020年第1期73-79,共7页
针对配电网故障的基于模型诊断方法在发生多重多相故障时存在诊断速度慢、诊断准确率不高、容错能力低的情况,提出一种适用于配电网故障的基于模型分层诊断方法。在诊断算法上,利用新的适应度函数和特征学习搜索策略来提高诊断速度和诊... 针对配电网故障的基于模型诊断方法在发生多重多相故障时存在诊断速度慢、诊断准确率不高、容错能力低的情况,提出一种适用于配电网故障的基于模型分层诊断方法。在诊断算法上,利用新的适应度函数和特征学习搜索策略来提高诊断速度和诊断准确率。在诊断模型上,利用分层的方法,将单层单次高维度运算转变为2层多次低维度运算,进而再次提高诊断速度、诊断准确率;通过定义等效部件的约束关系式提高第1层诊断的容错能力,利用电压约束和电流约束的冗余关系提高第2层诊断的容错能力。算例表明,与其他模型相比,基于模型分层诊断方法的诊断速度有了较大的提高,诊断准确率始终维持在理想值附近,容错能力明显增强;在大规模配电网故障诊断中,其优势明显。 展开更多
关键词 配电网 故障诊断 基于模型诊断 分层诊断
下载PDF
基于模型诊断的分步求解 被引量：11
18
作者 张学农 姜云飞 +1 位作者 陈蔼祥 张立成 《软件学报》 EI CSCD 北大核心 2008年第3期584-593,共10页
对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正确性、完备性和复杂性进行了证明.实验结果表明,分步求解方法明显提高了包含多个输出的系统的诊断效率.... 对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正确性、完备性和复杂性进行了证明.实验结果表明,分步求解方法明显提高了包含多个输出的系统的诊断效率.与利用变量假定例化值分解诊断问题的方法相比,该算法能提高了效率并且扩大了适用范围. 展开更多
关键词 基于模型的诊断 诊断分解 分步推理
下载PDF
一种新型基于模型的动车组牵引逆变器开路故障诊断方法 被引量：11
19
作者 胡轲珽 刘志刚 +2 位作者 胡冉冉 林双双 高松 《铁道学报》 EI CAS CSCD 北大核心 2018年第2期31-38,共8页
针对CRH3型动车组牵引逆变器绝缘栅双极型晶体管开路问题,提出一种新型基于模型的动车组牵引逆变器开路故障诊断方法。利用键合图对非线性的牵引逆变器进行建模;依据键合图模型,推导出符合能量守恒的系统行为约束方程;基于系统行为约束... 针对CRH3型动车组牵引逆变器绝缘栅双极型晶体管开路问题,提出一种新型基于模型的动车组牵引逆变器开路故障诊断方法。利用键合图对非线性的牵引逆变器进行建模;依据键合图模型,推导出符合能量守恒的系统行为约束方程;基于系统行为约束方程,利用最小二乘法对系统当前行为进行辨识;通过比较系统的实际行为以及预期行为,产生故障识别向量,从而对开路IGBT进行识别和定位。仿真试验表明,本文所提方法能够对单个IGBT开路以及两个IGBT同时开路故障情况进行准确、实时地检测和定位。 展开更多
关键词 基于模型诊断 牵引逆变器 IGBT 键合图模型 最小二乘法
下载PDF
基于模型的诊断中产生所有极小冲突集的新方法 被引量：10
20
作者 赵相福 欧阳丹彤 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2007年第2期413-418,共6页
首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选... 首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式。 展开更多
关键词 计算机应用 基于模型的诊断 冲突集 碰集 集合枚举树
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 8 下一页 到第 页
使用帮助 返回顶部