检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种有界Petri网的可诊断性验证方法

河北大学学报（自然科学版） 2022年第1期42卷 8-15页

作者：郝真鸣李承旺张超岩冉宁河北大学电子信息工程学院河北保定071002 河北大学物联网智能技术研究中心河北保定071002 河北大学节能技术研发中心河北保定071002

离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出... 详细信息

离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断性.最后通过例子详细说明可诊断性验证算法的计算过程.

关键词：离散事件系统 Petri网故障诊断可诊断性

在线全文

学校读者我要写书评

暂无评论

不确定观测下离散事件系统的可诊断性

软件学报 2017年第5期28卷 1091-1106页

作者：文习明余泉常亮王驹广东省委党校信息技术教研部广东广州510053 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 贵州省黔南师范学院数学与统计学院贵州都匀558000

从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质.其要求系统发生故障后经过有限步的观测可以检测并隔离故障.为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事件序列与系统实际发生的可观测事... 详细信息

从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质.其要求系统发生故障后经过有限步的观测可以检测并隔离故障.为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事件序列与系统实际发生的可观测事件序列一致.而在实际应用中,由于感知器的精度、信息传输通道的噪声等原因,所获取的观测往往是不确定的.重点研究观测不确定条件下离散事件系统的可诊断性问题.首先扩展了传统可诊断性的定义,定义了观测不确定条件下的可诊断性;然后,分别给出各类观测不确定条件下的可诊断性判定方法;在更一般的情况下,各类观测不确定可能共同存在,因此,最后给出一般情况下的可诊断性判定方法.

关键词：不确定观测离散事件系统可诊断性

在线全文

学校读者我要写书评

暂无评论

分布式离散事件系统的可诊断性判定策略

吉林大学学报（工学版） 2015年第5期45卷 1541-1549页

作者：王晓宇欧阳丹彤迟晋进韩正服吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学网络中心长春130012

为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不... 详细信息

为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不参与同步。定量讨论了分布式系统的可诊断性,用同步操作及同步成本作为参数,分析了分布式系统结构对可诊断性的影响。

关键词：人工智能可诊断性分布式离散事件系统同步

在线全文

学校读者我要写书评

暂无评论

面向质量控制的制造系统可诊断性分析

机械工程学报 2006年第5期42卷 149-154页

作者：杜世昌奚立峰潘尔顺上海交通大学机械与动力工程学院上海200030

针对目前以产品质量控制为目标的制造系统可诊断性和局部可诊断系统的诊断能力研究较少的现状,在构建制造系统状态空间模型的基础上,提出了一套新的制造系统可诊断性分析方法,推导出系统具有可诊断性的充分必要条件,对于局部可诊断系统... 详细信息

针对目前以产品质量控制为目标的制造系统可诊断性和局部可诊断系统的诊断能力研究较少的现状,在构建制造系统状态空间模型的基础上,提出了一套新的制造系统可诊断性分析方法,推导出系统具有可诊断性的充分必要条件,对于局部可诊断系统,建立了可诊断能力评价指数。通过具体的装配实例,针对不同的系统配置, 验证了该分析方法和评价指数的有效性和可行性。该方法为制造系统的可诊断性度量、系统优化配置和在线故障诊断等提供了理论分析依据。

关键词：质量控制多阶段制造系统可诊断性故障诊断

在线全文

学校读者我要写书评

暂无评论

不完备离散事件系统的可诊断性

软件学报 2015年第6期26卷 1373-1385页

作者：王晓宇欧阳丹彤赵相福吉林大学计算机科学与技术学院吉林长春130012 重庆理工大学会计学院重庆400050 浙江师范大学数理信息学院浙江金华321004

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模... 详细信息

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.

关键词：不完备模型离散事件系统基于模型诊断可诊断性

在线全文

学校读者我要写书评

暂无评论

基于诊断器的可诊断性增量测试方法

吉林大学学报（工学版） 2015年第1期45卷 222-228页

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

在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前... 详细信息

在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前状态剪枝。提出增量算法,并证明该算法的正确性。实验验证增量可诊断性算法的效率,并实验研究了增量窗口大小对增量可诊断性判定效率的影响。

关键词：人工智能基于模型诊断可诊断性增量方法

在线全文

学校读者我要写书评

暂无评论

基于DG的航天器部件可诊断性测点配置方法

系统工程与电子技术 2014年第10期36卷 2013-2017页

作者：刘睿周军李鑫刘莹莹西北工业大学精确制导与控制研究所陕西西安710072

以故障可诊断性,即可检测性和可分离性为目标进行测点配置方法研究。针对航天器部件测点较多,传统基于有向图(directed graph,DG)的方法在偶图绘制非常复杂且容易出错的情况,引入关联矩阵描述处理可诊断性测点配置方法,关联矩阵方法便... 详细信息

以故障可诊断性,即可检测性和可分离性为目标进行测点配置方法研究。针对航天器部件测点较多,传统基于有向图(directed graph,DG)的方法在偶图绘制非常复杂且容易出错的情况,引入关联矩阵描述处理可诊断性测点配置方法,关联矩阵方法便于应用计算机编程,且在节点较多时便于扩展。在基于DG可诊断性测点配置方法思路的基础上,对应了关联矩阵与DG二者之间的转化关系,并以动量轮为例进行基于可诊断性的测点配置。结果表明该方法对卫星部件级测点配置具有实用价值。

关键词：可诊断性可观测性可分离性测点配置有向图关联矩阵

面向多工位制造系统可诊断性的传感器布置优化

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2007年第12期13卷 2441-2445页

作者：孙继文奚立峰杜世昌上海交通大学机械与动力工程学院上海200240

为获得足够和有效的测量信息,提高系统的可诊断性,应采用合适的测量策略并对传感器布置进行优化。为此,提出了量化描述系统可诊断性的三个测度(可检测性/可分离性/可预测性),并将多工位制造系统测量信息处理分为工位间传递和工位内检测... 详细信息

为获得足够和有效的测量信息,提高系统的可诊断性,应采用合适的测量策略并对传感器布置进行优化。为此,提出了量化描述系统可诊断性的三个测度(可检测性/可分离性/可预测性),并将多工位制造系统测量信息处理分为工位间传递和工位内检测。在保障可诊断性的前提下,提出了传感器布置优化方法,降低了测量费用和诊断时间。通过具体加工实例,验证了该方法的正确性和有效性,为传感器布置优化提供了新的理论依据和实践参考。

关键词：传感器布置可诊断性偏差诊断分布式测量

在线全文

学校读者我要写书评

暂无评论

基于符号模型检测的SDG模型可诊断性验证

系统工程与电子技术 2011年第2期33卷 390-394页

作者：宁宁张骏高向阳薛静西北工业大学自动化学院陕西西安710072

由于定量信息和非线性因果关系的丢失,符号有向图(signed directed graph,SDG)模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描... 详细信息

由于定量信息和非线性因果关系的丢失,符号有向图(signed directed graph,SDG)模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型验证器(symbolic model verifier,SMV)模型;其次利用SDG的深层知识,构造了可诊断性函数,设定了可诊断性上下文,给出了可诊断性定义。然后,构造了SDG耦合孪生SMV模型,定义了可诊断性的计算树时态逻辑公式,提出了验证算法SDGD_CSMV。最后,通过一个实例验证了可诊断性的判定和算法的有效性。

关键词：有向图形学可诊断性符号模型检测符号有向图模型