论文部分内容阅读
基于时间自动机理论，在UPPAAL~种目前最先进的实时系统建模分析验证工具中，对RBc系统消息收发进行分析、建模及验证。最终对gBC系统控车消息收发流程的特性进行验证，对于保证RBc系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。
利用时间自动机理论探讨客专RBC控车流程
【摘 要】
：
基于时间自动机理论，在UPPAAL~种目前最先进的实时系统建模分析验证工具中，对RBc系统消息收发进行分析、建模及验证。最终对gBC系统控车消息收发流程的特性进行验证，对于保证RBc
【机 构】
：
中铁第一勘察设计院集团有限公司
【出 处】
：
铁路通信信号工程技术
【发表日期】
：
2010年1期
其他文献
箱形结构焊接大量地应用于建筑钢结构中，尤其是高层建筑钢结构中，但其内部的隔板焊接是在制造过程中所遇到的一个最大的困难。本文详细地介绍了一种电渣焊接方法的具体过程和所
调制器是有线电视前端系统中不可缺少的关键设备，分析了C6MP—DK调制器电路的工作原理，提出了几项关键指标调整的做法。
介绍呼叫中心系统的结构和组成各部分设备的用途，以及呼叫中心应用系统的主要功能和在广电网络的实际应用，为广电网络呼叫中心的建设和管理提供参考。
对因巴基斯坦改造项目站内最短区段长度不满足机车信号译码时间要求而导致机车信号掉码的情况进行分析,并提出合理解决方案。
传输干扰率指标是GSM-R网络服务质量评估的一个重要指标,用传输干扰时间和传输恢复时间来衡量。其描述GSM-R系统的传输干扰水平,同时描述GSM-R网络误码性能对列控信息传输的