冲突集

作品数：40被引量：187H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：欧阳丹彤林笠赵相福张立明姜云飞更多>>
相关机构：吉林大学暨南大学北京航空航天大学西南交通大学更多>>
相关期刊：《科技资讯》《计算机工程与设计》《四川电力技术》《北京航空航天大学学报》更多>>
相关基金：国家自然科学基金教育部“新世纪优秀人才支持计划”广东省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法
《电子学报》2022年第11期2722-2729,共8页赵相福 黄森 童向荣 欧阳丹彤 张立明 章星林 
国家自然科学基金面上项目(No.61972360,No.62076108,No.62072392)。
基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分...
关键词：基于模型诊断 诊断推理 极小碰集 布尔算法 冲突集 增量方法 
基于动态聚类的有限状态机多错误诊断被引量：3
《北京工业大学学报》2021年第6期607-615,共9页崔玲 张建标 
国家自然科学基金资助项目(61501007)。
为了解决多错误诊断时枚举数量过大的问题,提出一种基于动态聚类分析的方法.首先,按照是否具有相同的初始症状冲突集对失败用例进行聚类,并计算初始症状冲突集及其转换的可疑度;然后,按照可疑度的大小枚举可能发生错误的转换组合,在枚...
关键词：多错误诊断 动态聚类 初始症状 冲突集 错误诊断集 诊断效率 
基于矩阵运算的极小碰集求解方法被引量：1
《计算机工程与设计》2020年第9期2538-2542,共5页陈旭琳 赵相福 褚鹏 陈中育 
国家自然科学基金项目(61972360);浙江省自然科学基金项目(LY16F020004)。
根据冲突集簇计算极小碰集是基于模型诊断的关键步骤,提出一种基于矩阵运算求解极小碰集的方法,在考虑集合之间联系的基础上,通过构造矩阵体现极小碰集的特性,找出所有的极小碰集。从理论上分析利用矩阵求解极小碰集的算法,通过实例进...
关键词：故障诊断 基于模型的诊断 矩阵 冲突集 极小碰集 
WSNs中数据融合树的时隙分配算法被引量：1
《传感技术学报》2018年第8期1282-1286,共5页臧景才 王自力 郑鑫 
国家自然科学基金项目(61540055)
周期工作DC(Duty-Cycling)技术,即周期地开/关通信和感测能力,能够有效降低传感节点的活动时间,进而延长无线传感网络寿命。然而,此技术给数据融合提出了挑战。为此,提出免碰撞的数据融合树的时隙分配算法CF-DGSS(CollisionFree Data Ag...
关键词：无线传感网 树 数据融合 时隙分配 冲突集 
结合问题特征利用SE-Tree反向深度求解冲突集的方法被引量：5
《电子学报》2017年第5期1175-1181,共7页欧阳丹彤 刘伯文 周建华 张立明 
国家自然科学基金(No.61133011;No.61402196;No.61272208;No.61003101;No.61170092);吉林省科技发展计划项目基金(No.20140520067JH);浙江省自然科学基金(No.LY16F020004)
基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索...
关键词：基于模型诊断 冲突集 布尔约束可满足 集合枚举树 
基于模型诊断的集合逻辑运算法计算最小碰集被引量：1
《火力与指挥控制》2016年第8期109-112,117,共5页朱亚雄 李星新 郝建平 李智猛 项波 
军队预先研究基金资助项目(51327020201)
在基于模型的故障诊断仿真系统的诊断流程中,由最小冲突集计算最小碰集是整个流程中的关键步骤。针对现有计算最小碰集方法中存在的缺陷,提出了运用集合逻辑运算法计算最小碰集,将冲突集表示为集合的逻辑"与"、逻辑"或"运算,通过其运算...
关键词：基于模型诊断 最小碰集 最小冲突集 集合逻辑运算 
基于Petri网局部性的极大冲突集枚举算法被引量：3
《电子学报》2016年第8期1858-1863,共6页潘理 郑红 刘显明 杨勃 
国家自然科学基金(No.61473118);湖南省教育厅科学研究重点项目(No.15A079);湖南省科技计划项目(No.2014GK3026);江西省电力公司科技项目(No.5218351400A1)
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动...
关键词：PETRI网 冲突集问题 NP(Non-deterministic Polynomial)完全性 极大冲突集枚举算法 
基于改进BPSO的最小碰集搜索方法应用研究
《山东工业技术》2016年第12期248-252,共5页陈忱 
本论文在对比分析常用最小碰集搜索方法性能优劣的基础上,提出了一种改进的离散二进制粒子群算法,并给出了该算法应用于最小碰集搜索的基本规则与流程,从最小冲突集集合簇中搜索获得全部最小碰集并做出诊断结论。随后,以卫星电源系统为...
关键词：基于模型诊断 冲突集 碰集 离散二进制粒子群算法 
基于多信号流图与分支定界算法的故障诊断被引量：10
《北京航空航天大学学报》2016年第1期180-186,共7页梁爽 于劲松 唐荻音 姜杨 
针对实时在线故障诊断问题,提出了一种基于多信号流图和分支定界算法的故障诊断方法。通过建立多信号流图模型生成相关矩阵作为诊断知识,进而由相关矩阵以及观测向量产生冲突集,使最小诊断集的求解过程映射为整数规划问题;采用分支定界...
关键词：多信号流图 冲突集 整数规划 分支定界算法 故障诊断 
读者来信
《现代舰船》2015年第9期17-17,共1页
2015年4A预告：黑海的秘密。“我舰奉命撞击你舰”是个漂亮的故事，情节紧凑，冲突集中，唯一的缺点是它是假的，而1988年发生在黑海那惊心动魄的一幕，远比我们想象的更加复杂。本文内容很精彩。你知道“阿斯洛克”反潜火箭口径的段子么？
关键词：读者来信 反潜火箭 冲突集 黑海 口径 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部