6502电气集中电路-[第11讲] 选岔电路之网络1,2线.mp4
https://space.bilibili.com/392058500/channel/seriesdetail?sid=453141
2022-01-10 09:04:40
285.05MB
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术，对于验证系统的正确性，具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法，采用基于项重写系统原理的Maude工具语言，对铁路联锁系统的站场进行形式化建模，通过其语法和语义定义各类约束和离散事件，构架联锁系统属性和行为。在模型建立的基础上，对联锁站场的静态属性和安全属性进行形式化模型验证。结果表明，基于项重写系统的模型检测方法可以较好地应用于实际联锁系统软件的开发，对开发安全苛求系统和模型检测方法的实际应用提供借鉴。
2021-12-15 19:58:09
524KB
1
为保证铁路联锁模型的安全性，在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法，动态地描述铁路联锁系统的安全性需求，并根据Petri网安全需求模型的可达标志图，提出一种能自动生成最小割集的算法。根据算法生成的最小割集，设计了一个联锁安全检测器，用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真，仿真结果表明联锁安全检测器能够保证模型的安全性。
2021-12-15 19:56:22
757KB
1
因轨道交通信号系统计算机联锁采集接口电路的
单接点采集方法不能解决混线干扰，故对联锁中涉及安全的
继电器采集接口电路采用双接点采集，并比较单接点采集方
法和双接点采集方法的安全性。研究结果表明，双接点采集
方法可以防止因混线干扰引起的联锁误判。
2021-11-27 15:07:59
190KB
1