离散事件系统的可诊断性问题研究
[Abstract]:In 2015, Alpha beat the European go champion and artificial intelligence became a hot topic. With the progress of human society, artificial intelligence has gradually become an important field in our life. More and more intelligent devices are applied to the actual production and life for the development of the society. However, once a device breaks down, it may cause incalculable losses and disasters. Fault diagnosis is an important branch of artificial intelligence. Model-based diagnosis is one of the widely used fault diagnosis methods. This method inferences the diagnosis results of the system by comparing the structure of the system with the behavior model and the actual behavior with the expected behavior. In recent years, more and more scholars have paid more and more attention to the fault diagnosis of discrete event systems. The main contributions of this paper are as follows: first of all, The problem of fault diagnosis in discrete event system is solved by rough set theory. The discrete event system is represented by information system and decision system. The sufficient and necessary conditions for the diagnosis of discrete event systems are proposed. Based on the properties of rough set theory and without changing the diagnosability of the systems, an algorithm for minimizing observable events is proposed. The method of probabilistic logic is used to diagnose the stochastic discrete event system. The logic diagnostics is put forward. The A- diagnosability and AA- diagnosability of the stochastic discrete event system are determined by logic diagnostics and resolution principle. In this paper, a fault diagnosis method for distributed stochastic discrete event systems is proposed, and a synchronous random diagnoser is proposed to describe the necessary and sufficient conditions for A- diagnosability of distributed stochastic discrete event systems. The main innovations of this paper are as follows: using rough set theory to solve the fault diagnosis problem of discrete event system effectively improves the diagnosis efficiency and improves the algorithm of judging diagnosability in stochastic discrete event system by using probabilistic logic method. The diagnosis of distributed stochastic discrete event systems is studied for the first time.
【学位授予单位】:吉林大学
【学位级别】:博士
【学位授予年份】:2017
【分类号】:TP18;TP277
【相似文献】
相关期刊论文 前10条
1 徐心和,于海斌;用于离散事件系统研究的代数方法(二)[J];信息与控制;1990年04期
2 李勇华;实时离散事件系统适定性监控的一个结果[J];控制理论与应用;1993年01期
3 邢清华,刘付显;关于离散事件系统异步仿真中时钟管理机制的理论探讨[J];计算机工程与应用;2001年01期
4 俞新贞,吴澄;离散事件系统的稳定性[J];控制与决策;2001年01期
5 蔡逸凡;李承家;;模糊离散事件系统的性质[J];杭州电子科技大学学报;2009年01期
6 王晓宇;欧阳丹彤;赵相福;冯宇轩;;在离散事件系统中寻找诊断路径的方法[J];吉林大学学报(理学版);2010年03期
7 王晓宇;欧阳丹彤;赵剑;耿雪娜;;基于冲突的离散事件系统诊断方法[J];吉林大学学报(工学版);2013年02期
8 徐心和;一类离散事件系统的模型建立与动态分析[J];东北工学院学报;1987年03期
9 徐心和,于海斌;用于离散事件系统研究的代数方法[J];信息与控制;1990年03期
10 徐心和,于海斌;用于离散事件系统研究的代数方法(三)[J];信息与控制;1990年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年
,本文编号:2290108
本文链接:https://www.wllwen.com/kejilunwen/zidonghuakongzhilunwen/2290108.html