排序方式: 共有63条查询结果,搜索用时 0 毫秒
61.
62.
高速铁路CTC分界口临时限速系统建模与验证 总被引:2,自引:0,他引:2
临时限速是高速铁路列控系统的重要组部分,CTC行车调度台分界口处的临时限迷信息交互频繁,对实时性的要求也更苛刻.为满足其实时性要求,采用时间自动机理论,结合分界口处临时限速相邻设备间的交互过程,分别建立各设备的时间自动机模型,通过时间自动机的积构建整个交互系统的网络模型,并利用UPPAAL验证工具对模型的功能和性能属性进行形式化验证.验证结果确认了交互过程中系统的安全性和受限活性. 相似文献
63.
采用开关函数对铁路站场网络进行描述,构造出站场网络模型。详细讨论了模型与信号联锁的对应关系,通过开关函数运算,得到一种生成联锁的新方法。结合实例,介绍了有向开关函数实现信号联锁的步骤。 相似文献