基于Petri网局部性的极大冲突集枚举算法 被引量：3

1

作者 潘理 郑红 +1 位作者 刘显明 杨勃 《电子学报》 EI CAS CSCD 北大核心 2016年第8期1858-1863,共6页

冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动... 冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O(m2n),m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O(n2).极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考. 展开更多

关键词 PETRI网 冲突集问题 NP(Non-deterministic Polynomial)完全性 极大冲突集枚举算法

在线阅读 下载PDF 职称材料

结合问题特征利用SE-Tree反向深度求解冲突集的方法 被引量：5

2

作者 欧阳丹彤 刘伯文 +1 位作者 周建华 张立明 《电子学报》 EI CAS CSCD 北大核心 2017年第5期1175-1181,共7页

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

关键词 基于模型诊断 冲突集 布尔约束可满足 集合枚举树

在线阅读 下载PDF 职称材料

一种识别最小冲突集的实用方法 被引量：7

3

作者 方敏 《合肥工业大学学报（自然科学版）》 CAS CSCD 1999年第1期39-43,共5页

应用Ｒｅｉｔｅｒ提出的基于第一原理的诊断方法解决连续系统多故障诊断问题的难点是有效地识别最小冲突集合组。文章针对工业过程控制系统的特点，提出一种实用算法。首先根据系统的结构和传感器分布等不变知识，离线识别最小冲突集候... 应用Ｒｅｉｔｅｒ提出的基于第一原理的诊断方法解决连续系统多故障诊断问题的难点是有效地识别最小冲突集合组。文章针对工业过程控制系统的特点，提出一种实用算法。首先根据系统的结构和传感器分布等不变知识，离线识别最小冲突集候选；然后根据测量数据，使用约束悬挂和约束传播技术，在线确定最小冲突集合组。算法是完备的，且大大节省时间资源。 展开更多

关键词 故障诊断 工业过程控制 最小冲突集 控制系统

在线阅读 下载PDF 职称材料

使用SAT求解器产生所有极小冲突部件集 被引量：21

4

作者 赵相福 欧阳丹彤 《电子学报》 EI CAS CSCD 北大核心 2009年第4期804-810,共7页

产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成... 产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%). 展开更多

关键词 基于模型的诊断 冲突集 可满足性 SAT求解器 启发式

在线阅读 下载PDF 职称材料

基于冲突指派集求解作业排序问题的深度优先搜索方法

5

作者 张选平 李越 徐青川 《陕西科技大学学报（自然科学版）》 1997年第3期85-90,共6页

通过研究作业排序问题的特点，引入冲突指派集的概念，提出了基于冲突指派集的深度优先搜索方法，缩小了搜索范围，提高了搜索效率．

关键词 作业排序 深度优先搜索 冲突指派集

在线阅读 下载PDF 职称材料

递归建立HS-树计算最小碰集 被引量：9

6

作者 林笠 《微电子学与计算机》 CSCD 北大核心 2002年第2期7-10,共4页

在基于模型的诊断中,广泛地使用冲突集来计算最小碰集的算法诊断。现有的HS-树,HST-树,BHS-树等算法普遍存在实现的困难。文章提出用递归算法建立平衡的二叉HS-树(Recursivehittingset-树,简记为RHS-树)计算最小碰集的方法,在空间复杂... 在基于模型的诊断中,广泛地使用冲突集来计算最小碰集的算法诊断。现有的HS-树,HST-树,BHS-树等算法普遍存在实现的困难。文章提出用递归算法建立平衡的二叉HS-树(Recursivehittingset-树,简记为RHS-树)计算最小碰集的方法,在空间复杂性与时间复杂性上能够满足大多数诊断系统中的要求。 展开更多

关键词 模型诊断 最小冲突集 最小碰集 RHS-树 HS-树 算法 人工智能

在线阅读 下载PDF 职称材料

面向冲突诊断推理在空间电源系统故障诊断中的应用

7

作者 徐亨成 张建国 苏多 《导弹与航天运载技术》 北大核心 2005年第1期50-54,共5页

在总结分析空间电源系统故障特点的基础上,结合Reiter基于第一原理的故障诊断一般理论,建立了适用于空间电源故障诊断的推理算法。结果表明,该算法能够很好地诊断出电源系统电路的单点故障、多重故障及单传感器故障,具有较高的诊断推理... 在总结分析空间电源系统故障特点的基础上,结合Reiter基于第一原理的故障诊断一般理论,建立了适用于空间电源故障诊断的推理算法。结果表明,该算法能够很好地诊断出电源系统电路的单点故障、多重故障及单传感器故障,具有较高的诊断推理速度和准确性。 展开更多

关键词 故障诊断 电源系统 层级结构 冲突集

在线阅读 下载PDF 职称材料

基于集合递推运算的最小hitting集算法 被引量：2

8

作者 傅绍文 董健康 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2004年第8期1084-1086,共3页

提出一种最小hitting集算法,以满足基于模型故障诊断中诊断解的计算.采用集合递推运算计算了最小hitting集合,并证明了该算法可得到最小冲突集合组的全部最小hitting集合.实验表明,该算法程序容易编制、运算迅速快,可以明显地提高诊断效... 提出一种最小hitting集算法,以满足基于模型故障诊断中诊断解的计算.采用集合递推运算计算了最小hitting集合,并证明了该算法可得到最小冲突集合组的全部最小hitting集合.实验表明,该算法程序容易编制、运算迅速快,可以明显地提高诊断效率,对于复杂的被诊断对象系统可以满足实时性要求. 展开更多

关键词 故障诊断 模型诊断 最小冲突集 最小hitting集 集合递推运算

在线阅读 下载PDF 职称材料

基于模型诊断的集合逻辑运算法计算最小碰集 被引量：1

9

作者 朱亚雄 李星新 +2 位作者 郝建平 李智猛 项波 《火力与指挥控制》 CSCD 北大核心 2016年第8期109-112,117,共5页

在基于模型的故障诊断仿真系统的诊断流程中,由最小冲突集计算最小碰集是整个流程中的关键步骤。针对现有计算最小碰集方法中存在的缺陷,提出了运用集合逻辑运算法计算最小碰集,将冲突集表示为集合的逻辑"与"、逻辑"或&q... 在基于模型的故障诊断仿真系统的诊断流程中,由最小冲突集计算最小碰集是整个流程中的关键步骤。针对现有计算最小碰集方法中存在的缺陷,提出了运用集合逻辑运算法计算最小碰集,将冲突集表示为集合的逻辑"与"、逻辑"或"运算,通过其运算法则进行运算简化,可得到全部的最小碰集。该方法具有简单有效、数据结构简单、计算简便快捷和易于程序实现等优点。最后通过实例计算,验证了该算法的正确性、简单性和高效性。 展开更多

关键词 基于模型诊断 最小碰集 最小冲突集 集合逻辑运算

在线阅读 下载PDF 职称材料

IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

10

作者 赵相福 黄森 +3 位作者 童向荣 欧阳丹彤 张立明 章星林 《电子学报》 EI CAS CSCD 北大核心 2022年第11期2722-2729,共8页

基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分... 基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分支增量产生右分支极小碰集提供了理论基础;另外,在自底向上增量归并元素的过程中,结合局部独立覆盖策略可以直接增量产生所有的极小碰集,从而避免非极小碰集和相同极小碰集的冗余产生.理论上,右分支解集可由左分支解集增量方法产生,避免了碰集中大量元素的重复计算.大量实验结果表明:本文提出的算法比之前的布尔算法及相关改进算法都具有显著的效率提升,最高可达约5倍. 展开更多

关键词 基于模型诊断 诊断推理 极小碰集 布尔算法 冲突集 增量方法

在线阅读 下载PDF 职称材料

CIMHS:基于优化增量策略求解极小碰集的方法 被引量：1

11

作者 魏霞 赵相福 黄森 《电子学报》 EI CAS CSCD 北大核心 2023年第5期1334-1340,共7页

在基于模型的诊断推理过程中,极小碰集求解效率是决定诊断快慢的关键一步.本文在原有极小冲突集合簇与极小碰集簇的基础上,充分考虑它们与新增冲突集中元素的关系,提出一种新型的优化增量策略.在原有极小冲突集簇中,首先通过启发式策略... 在基于模型的诊断推理过程中,极小碰集求解效率是决定诊断快慢的关键一步.本文在原有极小冲突集合簇与极小碰集簇的基础上,充分考虑它们与新增冲突集中元素的关系,提出一种新型的优化增量策略.在原有极小冲突集簇中,首先通过启发式策略抽取部分集合进行极小化,从而大幅度缩短求解时间;然后通过优化的增量策略快速补全并更新解集,进而提高整体求解效率.为进一步提高算法的效率,提出按冲突集的势从小到大增量排序,利用新型优化的增量策略依次递归计算,并最终求得原始问题集合簇所有解集的全增量算法CIMHS(Complete Increment Minimal Hitting Set).实验结果表明,在许多情形下,CIMHS算法较其他经典的极小碰集求解算法,可减少1至3个数量级的运行时间. 展开更多

关键词 基于模型诊断 极小冲突集 极小碰集 增量策略 启发式策略 全增量

在线阅读 下载PDF 职称材料

武装无人机袭击对全球冲突的影响 被引量：1

12

作者 侯娜 潘婧 于艳丽 《国防科技》 2023年第3期111-120,共10页

近年来,大量国家和非国家行为体通过部署武装无人机进行各类军事行动,武装无人机的扩散对国际安全产生越来越严重的影响。根据乌普萨拉冲突数据项目-地理参考事件数据集提供的数据,2001─2021年,全球共发生1983起武装无人机冲突,造成近... 近年来,大量国家和非国家行为体通过部署武装无人机进行各类军事行动,武装无人机的扩散对国际安全产生越来越严重的影响。根据乌普萨拉冲突数据项目-地理参考事件数据集提供的数据,2001─2021年,全球共发生1983起武装无人机冲突,造成近1.5万人死亡,其中美国参与1466起并导致超过1.1万人死亡。因此,研究全球武装无人机袭击历史与现状、美国军用武装无人机政策与使用情况及2001─2021年全球武装无人机袭击造成的死亡数据具有重要的现实意义。全球武装无人机袭击通过影响非对称作战方式、非国家行为体的参与及作战规则,其袭击分布的范围将可能不断扩大,从而对全球冲突造成更为严重的安全后果。 展开更多

关键词 武装无人机 全球冲突 乌普萨拉冲突数据集 反恐战争

在线阅读 下载PDF 职称材料

基于多信号流图与分支定界算法的故障诊断 被引量：10

13

作者 梁爽 于劲松 +1 位作者 唐荻音 姜杨 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第1期180-186,共7页

针对实时在线故障诊断问题,提出了一种基于多信号流图和分支定界算法的故障诊断方法。通过建立多信号流图模型生成相关矩阵作为诊断知识,进而由相关矩阵以及观测向量产生冲突集,使最小诊断集的求解过程映射为整数规划问题;采用分支定界... 针对实时在线故障诊断问题,提出了一种基于多信号流图和分支定界算法的故障诊断方法。通过建立多信号流图模型生成相关矩阵作为诊断知识,进而由相关矩阵以及观测向量产生冲突集,使最小诊断集的求解过程映射为整数规划问题;采用分支定界算法,通过对冲突集的分支、定界以及剪支得到故障诊断的最优解,从而避免了穷举问题造成的搜索"爆炸"。以某型机载燃油系统为对象对本文提出的算法进行了验证。结果表明:本文算法与常用的多信号流图诊断推理算法TEAMS-RT相比,算法速度相当,故障定位精度更高,很好地涵盖单故障以及多故障组合,可以胜任大规模复杂系统的故障诊断。 展开更多

关键词 多信号流图 冲突集 整数规划 分支定界算法 故障诊断

在线阅读 下载PDF 职称材料

基于模型诊断的贝叶斯解释及应用 被引量：9

14

作者 邓勇 施文康 陈良州 《上海交通大学学报》 EI CAS CSCD 北大核心 2003年第1期5-8,共4页

在基于模型诊断的基础上 ,建立了贝叶斯模型 .该模型首先假设系统的所有状态都是可能发生的 ,并对系统中的各个元件设定一个先验概率 .当系统的观测与预期不符合时 ,利用最小冲突集的概念得到系统可能的状态 .之后根据各个系统状态的对... 在基于模型诊断的基础上 ,建立了贝叶斯模型 .该模型首先假设系统的所有状态都是可能发生的 ,并对系统中的各个元件设定一个先验概率 .当系统的观测与预期不符合时 ,利用最小冲突集的概念得到系统可能的状态 .之后根据各个系统状态的对应概率计算出元件发生故障的后验概率 ,该后验概率本质上是一个边缘概率分布 ,它在数值上表示了元件发生故障的可能性 ,确定了故障查找顺序 .用一个数字故障电路的实例验证了该方法的有效性 。 展开更多

关键词 模型诊断 贝叶斯理论 最小冲突集 故障诊断 故障定位 人工智能 知识工程

在线阅读 下载PDF 职称材料

基于模型的故障诊断在空间电源系统中的应用研究

15

作者 徐亨成 张建国 《电光与控制》 北大核心 2006年第1期90-93,98,共5页

空间电源系统工作时间长、运行环境特殊,在执行任务期间不可避免发生故障。为保障任务完成,需建立起空间电源系统在线故障诊断系统,实现在线故障检测、诊断和修复(FDIR),防止故障传播和灾难性事故发生。在分析空间电源系统电路结构和故... 空间电源系统工作时间长、运行环境特殊,在执行任务期间不可避免发生故障。为保障任务完成,需建立起空间电源系统在线故障诊断系统,实现在线故障检测、诊断和修复(FDIR),防止故障传播和灾难性事故发生。在分析空间电源系统电路结构和故障特征基础上,建立起基于模型在线故障诊断系统。通过分析和论证,该诊断系统能够很好的诊断出空间电源系统电路的单点故障、多重故障及单传感器故障,并具有较好的诊断推理速度和较高的准确性。 展开更多

关键词 故障诊断 电源系统 基于模型 冲突集

在线阅读 下载PDF 职称材料