【摘 要】
：
离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断
论文部分内容阅读
离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实
其他文献
针对普通Petri网的死锁问题,本文提出了可实现最大可达数的两段式死锁控制策略(deadlockcontrolpolicy,DCP).第1步,该策略求解原网(N0;M0)的基本信标(elementarysiphons,ES)
如今在荧光探针的开发研究中,大部分探针分子仅对单一检测物具有荧光响应,尽管这类单信号的荧光探针对特定检测物有较高的选择性和灵敏度,然而在对构造相似的分子检测中往往难以辨别。为了提高探针分子的检测范围,本论文将利用席夫碱类探针多配位点的特点,设计合成出一类席夫碱探针用于检测金属离子并且通过其配合物进一步检测阴离子或生物硫醇等生物小分子,从而达到对生物分子的多目标检测。第一章:绪论。本章阐述了荧光探针
针对如何在地面机械臂上有效验证空间机械臂控制律的问题, 本文研究空间机械臂和地面机械臂系统间的动力学等效条件和控制相似律. 首先,基于量纲分析研究地面机械臂和空间机
针对用电请求可被延迟响应的设备,首先将调度这些设备的用电请求响应问题建立成随机优化模型.然后利用Lyapunov优化技术设计一种需求响应算法来实时计算设备用电请求何时被响
本文为了抑制气动人工肌肉（PAM）抖振现象,首先利用PID控制律近似代替其数学模型,求得其离散状态方程并代入到离散卡尔曼递推公式中,进而提出基于PID控制参数的卡尔曼PID（Kalman-
本文针对智能体速度不可测下的多智能体系统提出一种基于滑模观测器的有限时间一致性控制算法.为了解决智能体速度不可测所带来的问题,本文采用了一种有限时间滑模观测器来,