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

发布时间：2018-05-28 01:20

  本文选题：不确定观测 + 离散事件系统　； 参考：《软件学报》2017年05期

【摘要】：从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质.其要求系统发生故障后经过有限步的观测可以检测并隔离故障.为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事件序列与系统实际发生的可观测事件序列一致.而在实际应用中,由于感知器的精度、信息传输通道的噪声等原因,所获取的观测往往是不确定的.重点研究观测不确定条件下离散事件系统的可诊断性问题.首先扩展了传统可诊断性的定义,定义了观测不确定条件下的可诊断性;然后,分别给出各类观测不确定条件下的可诊断性判定方法;在更一般的情况下,各类观测不确定可能共同存在,因此,最后给出一般情况下的可诊断性判定方法.
[Abstract]:From the point of view of system diagnosis , it is an important property of discrete event system .
【作者单位】： 广东省委党校信息技术教研部;广西可信软件重点实验室(桂林电子科技大学);贵州省黔南师范学院数学与统计学院;
【基金】：国家自然科学基金(61603152,61463044,61363030) 广西可信软件重点实验室研究课题(KX201604,KX201606,KX201419,KX201330) 贵州省科技厅项目(LH[2014]7421) 广西自然科学基金(2015GXNSFAA139285)~~
【分类号】：TP311

【参考文献】

相关期刊论文 前4条

1 王晓宇;欧阳丹彤;赵相福;;不完备离散事件系统的可诊断性[J];软件学报;2015年06期

2 王晓宇;欧阳丹彤;赵剑;;不完备模型下的离散事件系统诊断方法[J];软件学报;2012年03期

3 赵相福;欧阳丹彤;;离散事件系统基于模型诊断的研究进展[J];计算机科学与探索;2011年02期

4 韩旭;史忠植;林芬;;基于模型诊断的研究进展[J];高技术通讯;2009年05期

【共引文献】

相关期刊论文 前10条

1 成奕东;闻新;王尔申;;Livingstone故障诊断软件的技术特征分析[J];机械工程师;2017年03期

2 文习明;余泉;常亮;王驹;;不确定观测下离散事件系统的可诊断性[J];软件学报;2017年05期

3 佘晓娓;赵相福;;用MDMC-HS-tree方法计算极小碰集[J];浙江师范大学学报(自然科学版);2016年04期

4 童菲;李铁强;马渊;;华为光接口单元故障可诊断度分析[J];信息系统工程;2016年10期

5 陈忱;;基于改进BPSO的最小碰集搜索方法应用研究[J];山东工业技术;2016年12期

6 柴瑞亚;朱怡安;陆伟;史佳龙;;基于扩展窗口的时序不完备诊断方法研究[J];计算机科学;2015年10期

7 王晓宇;欧阳丹彤;赵相福;;不完备离散事件系统的可诊断性[J];软件学报;2015年06期

8 陆伟;张龙妹;朱怡安;;离散事件系统部分可诊断性分析[J];计算机科学;2015年02期

9 王肖;赵相福;;基于模型诊断的候选空间单调性研究[J];计算机集成制造系统;2013年12期

10 陈治佐;刘兴钊;吕高焕;;Livingstone用于航天器推进系统故障诊断[J];太赫兹科学与电子信息学报;2013年05期

【二级参考文献】

相关期刊论文 前10条

1 王晓宇;欧阳丹彤;赵剑;;不完备模型下的离散事件系统诊断方法[J];软件学报;2012年03期

2 陈蔼祥;陈清亮;潘久辉;姜云飞;杨晋吉;;通过诊断图分析的快速诊断算法[J];计算机学报;2009年08期

3 韩旭;史忠植;林芬;;基于模型诊断的研究进展[J];高技术通讯;2009年05期

4 张学农;姜云飞;陈蔼祥;张立成;;基于模型诊断的分步求解[J];软件学报;2008年03期

5 赵相福;欧阳丹彤;;基于模型的诊断中产生所有极小冲突集的新方法[J];吉林大学学报(工学版);2007年02期

6 陈琳;黄杰;龚正虎;;一种求解最小诊断代价的小生境遗传算法[J];计算机学报;2005年12期

7 栾尚敏,戴国忠;利用结构信息的故障诊断方法[J];计算机学报;2005年05期

8 李占山,姜云飞,王涛;基于模型的诊断问题分解及其算法[J];计算机学报;2003年09期

9 陈荣,姜云飞;含约束的基于模型的诊断系统[J];计算机学报;2001年02期

10 ;Optimization　of　Measuring　Points　in　Model-based　Diagnosis[J];Journal of Harbin Institute of Technology;1998年01期

【相似文献】

相关期刊论文 前10条

1 李勇华;实时离散事件系统适定性监控的一个结果[J];控制理论与应用;1993年01期

2 邢清华,刘付显;关于离散事件系统异步仿真中时钟管理机制的理论探讨[J];计算机工程与应用;2001年01期

3 俞新贞,吴澄;离散事件系统的稳定性[J];控制与决策;2001年01期

4 蔡逸凡;李承家;;模糊离散事件系统的性质[J];杭州电子科技大学学报;2009年01期

5 王晓宇;欧阳丹彤;赵相福;冯宇轩;;在离散事件系统中寻找诊断路径的方法[J];吉林大学学报(理学版);2010年03期

6 王晓宇;欧阳丹彤;赵剑;耿雪娜;;基于冲突的离散事件系统诊断方法[J];吉林大学学报(工学版);2013年02期

7 徐心和;一类离散事件系统的模型建立与动态分析[J];东北工学院学报;1987年03期

8 徐心和,于海斌;用于离散事件系统研究的代数方法[J];信息与控制;1990年03期

9 徐心和,于海斌;用于离散事件系统研究的代数方法(三)[J];信息与控制;1990年05期

10 任彦斌;;离散事件系统理论及应用国际研讨会在沈召开[J];自动化学报;1991年05期

相关会议论文 前10条

1 卢建宁;赵光宙;;布尔离散事件系统的监控理论[A];第二十四届中国控制会议论文集（下册）[C];2005年

2 朱列新;郑大钟;;线性离散事件系统频域分析[A];1989年控制理论及其应用年会论文集（中）[C];1989年

3 李勇华;;离散事件系统的一类最优控制问题[A];1993中国控制与决策学术年会论文集[C];1993年

4 唐乾玉;韩曾晋;;随机离散事件系统的优化[A];1995中国控制与决策学术年会论文集[C];1995年

5 陈文德;齐向东;邓述慧;;离散事件系统的周期分析[A];1989年控制理论及其应用年会论文集（中）[C];1989年

6 朱更新;郑大钟;;离散事件系统二元变换方法[A];1991年控制理论及其应用年会论文集（上）[C];1991年

7 唐乾玉;陈翰馥;韩曾晋;;基于扰动分析的随机离散事件系统的优化算法[A];1995年中国控制会议论文集（下）[C];1995年

8 邢清华;刘付显;;关于离散事件系统异步仿真中时钟管理机制的理论探讨[A];1994中国控制与决策学术年会论文集[C];1994年

9 张丰;王众托;;离散事件系统监控的受控序贯决策过程模型[A];1993中国控制与决策学术年会论文集[C];1993年

10 蒋智平;吴智铭;;给定离散事件系统监督器的优化[A];1991年控制理论及其应用年会论文集（上）[C];1991年

相关博士学位论文 前9条

1 冉宁;基于Petri网的离散事件系统的监控器综合与故障检测[D];浙江大学;2017年

2 耿雪娜;离散事件系统的可诊断性问题研究[D];吉林大学;2017年

3 陆飞华;离散事件系统的混合监控理论[D];浙江大学;2009年

4 毕翔;带约束条件的模糊离散事件系统监控理论研究[D];合肥工业大学;2013年

5 赵相福;离散事件系统基于模型诊断的若干问题研究[D];吉林大学;2009年

6 王晓宇;离散事件系统下基于模型诊断方法的若干问题研究[D];吉林大学;2014年

7 陈晓亮;基于Petri网的离散事件系统混或诊断和监督控制研究[D];西安电子科技大学;2014年

8 李旭晖;移动Agent描述与仿真中若干问题的研究[D];武汉大学;2003年

9 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年

相关硕士学位论文 前10条

1 罗敏楠;模糊离散事件系统的诊断[D];陕西师范大学;2010年

2 王雅楠;模糊离散事件系统中的谓词变换及控制不变度[D];太原理工大学;2016年

3 辛珊珊;双子中无自环加权时间事件图的最小周期及其应用[D];河北师范大学;2016年

4 胡芹;基于离散事件系统的云资源动态调度控制[D];广东工业大学;2016年

5 刘清兰;模糊离散事件系统的多故障诊断方法研究[D];华侨大学;2016年

6 陈奇;基于模型的若干故障诊断方法研究与实现[D];浙江师范大学;2016年

7 谢晋;基于Petri网的广义互斥约束转换算法研究[D];浙江大学;2017年

8 刘俊萍;离散事件系统与模糊离散事件系统的可控性及可观测性关系研究[D];陕西师范大学;2008年

9 杨芳;离散事件系统中基于模型诊断的符号化计算[D];吉林大学;2012年

10 王晓宇;针对离散事件系统的基于模型故障诊断改进方法的研究[D];吉林大学;2010年

，

本文编号：1944636