最小冲突集

作品数：12被引量：108H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：林笠姜云飞关龙刘志刚胡非更多>>
相关机构：暨南大学西南交通大学合肥工业大学中山大学更多>>
相关期刊：《微电子学与计算机》《计算机学报》《四川电力技术》《哈尔滨工业大学学报》更多>>
相关基金：国家自然科学基金广东省自然科学基金中央高校基本科研业务费专项资金教育部“新世纪优秀人才支持计划”更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型诊断的集合逻辑运算法计算最小碰集被引量：1
《火力与指挥控制》2016年第8期109-112,117,共5页朱亚雄 李星新 郝建平 李智猛 项波 
军队预先研究基金资助项目(51327020201)
在基于模型的故障诊断仿真系统的诊断流程中,由最小冲突集计算最小碰集是整个流程中的关键步骤。针对现有计算最小碰集方法中存在的缺陷,提出了运用集合逻辑运算法计算最小碰集,将冲突集表示为集合的逻辑"与"、逻辑"或"运算,通过其运算...
关键词：基于模型诊断 最小碰集 最小冲突集 集合逻辑运算 
基于模型诊断在配电网故障诊断中的应用研究被引量：1
《四川电力技术》2014年第4期86-91,共6页胡非 贺攀 干磊 肖锋 黄双双 柯明猛 
提出了一个将MBD(基于模型诊断)理论应用于配电网故障诊断的方案,以一个实际配电网为例,构建了该配电网内主要设备的统一模型的基础上,给出了该配电网的系统模型描述,并结合该配电网的一组故障观测数据,对该配电网内发生的故障做故障诊...
关键词：基于模型诊断 配电网 最小碰集 最小冲突集 故障诊断 
离散二进制粒子群算法在基于模型配电网故障诊断中的应用被引量：22
《电力自动化设备》2013年第9期89-93,共5页关龙 刘志刚 何士玉 杨红梅 
国家自然科学基金资助项目(51007074);教育部新世纪优秀人才支持计划项目(NECT-08-0825);中央高校基本科研业务费专项资金资助项目(SWJTU11CX14;SWJTU09-ZT10)~~
提出一种基于模型的配电网故障诊断方案,该方案首先根据配电网原理模型的仿真数据和实际观测值存在的差异得到极小冲突集,然后由离散二进制粒子群优化算法推出可能的故障元件和故障形式,最后由贝叶斯方法确定概率最高的诊断结论。通过...
关键词：配电 模型 离散二进制粒子群算法 最小冲突集 故障诊断 
基于模型的配电网故障诊断关键问题研究被引量：16
《电力系统保护与控制》2012年第20期145-150,共6页关龙 刘志刚 徐建芳 王英 
国家自然科学基金项目(U1134205;51007074);教育部新世纪优秀人才支持计划项目(NECT-08-0825);中央高校基本科研业务费专项资金资助项目(SWJTU11CX141)~~
现有配电网故障诊断方法主要是根据故障后保护装置产生的报警信息,断路器的状态变化信息来推断可能故障位置和类型,属于后验故障诊断方法。基于模型诊断方法(Model-based diagnosis,MBD)则直接利用电压电流等量测量来判断故障元件,可以...
关键词：配电网故障 基于模型诊断 贝叶斯理论 最小冲突集 诊断候选 
冲突网络驱动的反向迭代创新设计过程模型被引量：1
《机械设计与研究》2007年第5期16-18,47,共4页马力辉 檀润华 
国家自然基金(No.50675059);河北省自然基金(No.F2006000092)资助项目
提出了一种冲突网络驱动下的反向迭代产品创新设计过程模型。通过产品需求分析和TRIZ进化理论建立产品的理想解(IFR)集合,确定对应于IFR的最小冲突集合C,之后运用TRIZ的问题解决工具解决C中的冲突及新衍生的冲突,反复迭代的结果可以获...
关键词：冲突网络 TRIZ IFR 最小冲突集 设计过程模型 
基于集合递推运算的最小hitting集算法被引量：2
《哈尔滨工业大学学报》2004年第8期1084-1086,共3页傅绍文 董健康 
中国民航总局科技基金资助项目(2002703).
提出一种最小hitting集算法,以满足基于模型故障诊断中诊断解的计算.采用集合递推运算计算了最小hitting集合,并证明了该算法可得到最小冲突集合组的全部最小hitting集合.实验表明,该算法程序容易编制、运算迅速快,可以明显地提高诊断效...
关键词：故障诊断 模型诊断 最小冲突集 最小hitting集 集合递推运算 
用布尔代数方法计算最小碰集被引量：38
《计算机学报》2003年第8期919-924,共6页姜云飞 林笠 
国家自然科学基金 (60 173 0 3 9;60 2 0 3 0 15 );国家教育部博士点基金(2 0 0 10 5 5 80 0 6);广东省自然科学基金 (0 11162 );教育部科学技术研究重点项目;广州市科技计划项目资助
在基于模型的诊断中 ,模型一般都是用布尔代数来表示 ,而计算碰集 (hittingsets)则采用HS 树或图 ,这就使得诊断系统采用多种不同的数据结构 ,给编程实现带来了不便 .本文用布尔代数变量表示待诊断系统的部件 ,并给出了用布尔代数直接...
关键词：人工智能 布尔代数方法 计算 最小碰集 模型诊断 最小冲突集 
基于模型诊断的贝叶斯解释及应用被引量：9
《上海交通大学学报》2003年第1期5-8,共4页邓勇 施文康 陈良州 
在基于模型诊断的基础上 ,建立了贝叶斯模型 .该模型首先假设系统的所有状态都是可能发生的 ,并对系统中的各个元件设定一个先验概率 .当系统的观测与预期不符合时 ,利用最小冲突集的概念得到系统可能的状态 .之后根据各个系统状态的对...
关键词：模型诊断 贝叶斯理论 最小冲突集 故障诊断 故障定位 人工智能 知识工程 
用对分HS-树计算最小碰集被引量：37
《软件学报》2002年第12期2267-2274,共8页姜云飞 林笠 
国家自然科学基金资助项目(69873047;60173039);广东省自然科学基金资助项目(980260)
在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出...
关键词：模型诊断 最小冲突集 最小碰集 对分HS-树 人工智能 推理理论 
基于模型诊断中用逻辑数组计算最小碰集被引量：16
《暨南大学学报（自然科学与医学版）》2002年第1期24-27,共4页林笠 
广东省自然科学基金资助项目 (0 1116 2 )
在基于模型诊断中 ,冲突集的最小碰集就是诊断目标 .提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法 .
关键词：逻辑数组 模型诊断 最小冲突集 最小碰集 人工智能 诊断专家系统 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部