检索结果-南通市图书馆

基于模型的诊断中产生所有极小冲突集的新方法

在线全文

学校读者我要写书评

暂无评论

吉林大学学报（工学版） 2007年第2期37卷 413-418页

作者：赵相福欧阳丹彤吉林大学计算机科学与技术学院

首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选... 详细信息

首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式。

关键词：计算机应用基于模型的诊断冲突集碰集集合枚举树

基于冲突集的区间调度问题性质分析和算法设计

在线全文

学校读者我要写书评

暂无评论

基于冲突集的区间调度问题性质分析和算法设计

第三十届中国控制会议

作者：全雄文王力南开大学自动化系中国民航大学航空自动化学院

区间调度问题是指将一系列固定起止时间的工件分配给机器进行加工的调度问题。这类问题在现实社会中是普遍存在的,例如学校排课问题、机组人员排班问题、机场航班的停机位分配问题以及网络带宽的销售问题等。本文针对这类大规模区间调... 详细信息

区间调度问题是指将一系列固定起止时间的工件分配给机器进行加工的调度问题。这类问题在现实社会中是普遍存在的,例如学校排课问题、机组人员排班问题、机场航班的停机位分配问题以及网络带宽的销售问题等。本文针对这类大规模区间调度问题基于冲突集的思想对调度方案从有限制的排列乘积的角度进行了建模。给出了该类问题的解空间、结构、性质以及所有解的表示方法,并据此设计了动态规划算法和启发式算法,得到了较好的结果。

关键词：区间调度冲突集动态规划

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

使用SAT求解器产生所有极小冲突部件集

电子学报 2009年第4期37卷 804-810页

作者：赵相福欧阳丹彤吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成... 详细信息

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

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

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

在线全文

学校读者我要写书评

暂无评论

导弹与航天运载技术 2005年第1期 50-54页

作者：徐亨成张建国苏多空军第一航空学院信阳464000 北京航空航天大学北京100083

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

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

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

在线全文

学校读者我要写书评

暂无评论

基于多信号流图与分支定界算法的故障诊断

北京航空航天大学学报 2016年第1期42卷 180-186页

作者：梁爽于劲松唐荻音姜杨北京航空航天大学自动化科学与电气工程学院北京100083 先进航空发动机协同创新中心北京100083

针对实时在线故障诊断问题,提出了一种基于多信号流图和分支定界算法的故障诊断方法。通过建立多信号流图模型生成相关矩阵作为诊断知识,进而由相关矩阵以及观测向量产生冲突集,使最小诊断集的求解过程映射为整数规划问题;采用分支定界... 详细信息

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

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

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

在线全文

学校读者我要写书评

暂无评论

电子学报 2022年第11期50卷 2722-2729页

作者：赵相福黄森童向荣欧阳丹彤张立明章星林烟台大学计算机与控制工程学院山东烟台264005 浙江师范大学计算机系浙江金华321000 吉林大学计算机科学与技术学院吉林长春130012

基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

基于DPSO最小碰集算法的掩盖故障识别

系统工程与电子技术 2009年第4期31卷 997-1000,F0003页

作者：蒋荣华田书林龙兵电子科技大学自动化学院四川成都610054

针对可测性分析中掩盖故障识别的难点,提出一种掩盖故障存在性的判定及计算其冲突集方法;并将离散粒子群算法(discrete binary particle swarm optimization,DPSO)用于求解冲突集的最小碰集,实现掩盖故障最小碰集的求解;为克服DPSO易陷... 详细信息

针对可测性分析中掩盖故障识别的难点,提出一种掩盖故障存在性的判定及计算其冲突集方法;并将离散粒子群算法(discrete binary particle swarm optimization,DPSO)用于求解冲突集的最小碰集,实现掩盖故障最小碰集的求解;为克服DPSO易陷入局部最优的缺点,还比较了惯性权重对DPSO算法性能的影响。实例验证表明:与求解掩盖故障的其他方法相比,惯性权重线性变化的DPSO算法不仅提高了算法效率,而且避免了其他算法求解时容易出现"计算爆炸"的问题,尤其适合于识别大型复杂系统的掩盖故障。

关键词：掩盖故障隐藏故障冲突集最小碰集离散粒子群算法惯性权重

在线全文

学校读者我要写书评

暂无评论

基于矩阵计算极小碰集的启发式算法

吉林大学学报（工学版） 2013年第1期43卷 106-110页

作者：欧阳丹彤耿雪娜郭劲松王晓宇吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可... 详细信息

提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可以产生而且仅产生所有的极小碰集。实验结果表明该算法有较高的计算效率。

关键词：人工智能基于模型诊断冲突集极小碰集启发式算法

在线全文

学校读者我要写书评

暂无评论

WSNs中数据融合树的时隙分配算法

传感技术学报 2018年第8期31卷 1282-1286页

作者：臧景才王自力郑鑫青海广播电视大学继续教育学院青海西宁810000 驻马店职业技术学院信息工程系河南驻马店463000 黄淮学院信息工程学院河南驻马店463000

周期工作DC(Duty-Cycling)技术,即周期地开/关通信和感测能力,能够有效降低传感节点的活动时间,进而延长无线传感网络寿命。然而,此技术给数据融合提出了挑战。为此,提出免碰撞的数据融合树的时隙分配算法CF-DGSS(CollisionFree Data Ag... 详细信息

周期工作DC(Duty-Cycling)技术,即周期地开/关通信和感测能力,能够有效降低传感节点的活动时间,进而延长无线传感网络寿命。然而,此技术给数据融合提出了挑战。为此,提出免碰撞的数据融合树的时隙分配算法CF-DGSS(CollisionFree Data Aggregation Slots Scheduling Algorithm for Duty-Cycled Wireless Sensor Networks),进而解决基于DC的WSNs的数据融合时隙分配问题。为了解决碰撞问题,CF-DGSS算法给每个节点构建冲突集。每个节点在融合时隙分配过程中,保存自己的冲突集。在分配时隙时,传感节点应当确保与冲突集内节点的数据融合不干扰。仿真结果表明,与其他的分配算法相比,提出的CF-DGSS算法具有低的融合时延。

关键词：无线传感网树数据融合时隙分配冲突集