改进的最小割集生成算法与联锁系统模型的安全性测试

来源 :计算机应用研究 | 被引量 : 3次 | 上传用户:lqtanj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。
其他文献
研究了CMAQ大气模型在64位Linux操作系统上不同CPU核心数目并行计算模拟耗时以及结果的差异情况。研究结果表明,并行计算能犬幅缩短CMAQ模拟耗时,以16个CPU核心并行处理为性价
目的:观察平哮合剂对支气管哮喘发作期的临床疗效及其对炎性介质和免疫功能的调节作用.方法:对照组用定喘止咳片,治疗组用平哮合剂,观察其临床总疗效,对肺功能改善情况及对Ig
通过比较电子系统建模方法,提出基于多信号模型的可测性建模方法。以典型的电子系统雷达发射机为例,详细介绍可测性建模方法,通过模型得到该系统的故障测试依赖矩阵,为复杂电子系统进行可测性分析提供了条件,同时也为雷达系统故障诊断提供依据。
受大展弦比试验模型和天平结构条件限制,在高速风洞中采用传统结构的片式铰链力矩天平难以实现对操纵舵气动力的精确测量,其主要原因是传统片式铰链力矩天平无阻力测量单元,
小儿反复呼吸道感染(简称复感儿)为临床常见病。其特点是反复发作,病程迁延。严重影响患儿生长发育和身心健康。我科经过多年临床实践在治疗小儿反复呼吸道感染方面积累了丰富的
1实验材料与方法1.1动物 选用Wistar大鼠,雌雄各半,体重28%左右(由黑龙江中医药大学动物实验中心提供)。
为研究飞机在旋转流场下的非定常气动特性,中国空气动力研究与发展中心低速所在Φ5m 立式风洞开展了旋转流场下的振荡动导数试验技术研究。本文推导了在旋转流场下识别组合动
针对高速暂冲式风洞阶梯变速压颤振试验用时长、耗气量大和试验模型有效使用寿命短等缺点,开展了高速暂冲式风洞连续变速压颤振试验技术研究,解决了定Ma数连续变速压流场控制
采用倾斜出口合成射流激励器对NACA633-421三维直机翼进行分离流主动流动控制,天平测力结果表明合成射流可以有效地控制机翼流动分离,提升最大升力系数10.4%,推迟失速迎角4&#
1 仪器、药品与试剂 LC-10A高效液相色谱仪(日本岛津)。紫外检测器(SPD-10A)。DT-100分析天平。清热止咳糖浆共5批号(浙江省中医院制剂室,批号040110,040208,040315,040418。040520)。