离散事件系统间歇性故障的安全诊断
离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.
文件下载
评论信息
其他资源
- ewb multisim 仿真实例电路图全集
- 算法 第4版(中文版扫描版+英文双色版+代码+说明). Robert.Sedgewick.&.Kevin.Wayne. 谢路云 译
- 光学设计ZEMAX玻璃库.zip
- 翁恺c++课件和源代码
- C++实现蓝牙bluetooth通讯功能
- 各类excel甘特图模板
- 天地图改版后的修改以及google无偏移卫星影像（google卫星影像叠加天地图影像注记）.rar
- 雷曼克斯壁虎X3 写频软件
- BC3.1精简版与任哲《嵌入式实时操作系统uc/os-ii原理及应用（第二版）》书中代码
- 本科课程设计-图书管理系统-内含源代码、数据库、UML图、ER图、毕业论文、答辩PPt、开题报告
- Mechanical tolerance stackup and analysis(公差叠加及分析)
- 《固体物理学》黄昆原著，韩汝琦改编
- springboot集成mybatis demo
- WyliodrinSTUDIO：Wyliodrin STUDIO是基于Chrome的IDE，用于IoT和嵌入式Linux中的软件和硬件开发-源码
- T+12.3 存货如何按照自由项导入条形码.pdf
- IntelliJ IDEA: 中文语言包、汉化包、中文包 idea2017.3-3.4版
- xml课程设计（代码）
- C#实现串口通信
- Modeling in Event-B System and Software Engineering pdf书籍和全部ppt
- 图灵书籍(Kafka技术内幕：图文详解Kafka源码设计与实现.pdf+源码)
- 飞行棋回合中·代码.java
- 北航研究生机器学习2013年考试试题
- 车牌训练图1000张,纯手工制作
- 订单管理系统（Java swing poi）
- 红外感应RGB-LED灯色彩控制
- bios人必读spec之acpi4.0
- windows下安装hadoop的依赖库
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明