利用时间自动机理论探讨客专RBC控车流程

来源 :铁路通信信号工程技术 | 被引量 : 0次 | 上传用户:yyll2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于时间自动机理论,在UPPAAL~种目前最先进的实时系统建模分析验证工具中,对RBc系统消息收发进行分析、建模及验证。最终对gBC系统控车消息收发流程的特性进行验证,对于保证RBc系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。
其他文献
7月24日上午,国家广电总局副局长张海涛分别向无锡、南京广电集团负责人授牌,命名无锡市与南京市为全国有线数字电视示范城市。
箱形结构焊接大量地应用于建筑钢结构中,尤其是高层建筑钢结构中,但其内部的隔板焊接是在制造过程中所遇到的一个最大的困难。本文详细地介绍了一种电渣焊接方法的具体过程和所
调制器是有线电视前端系统中不可缺少的关键设备,分析了C6MP—DK调制器电路的工作原理,提出了几项关键指标调整的做法。
介绍呼叫中心系统的结构和组成各部分设备的用途,以及呼叫中心应用系统的主要功能和在广电网络的实际应用,为广电网络呼叫中心的建设和管理提供参考。
对因巴基斯坦改造项目站内最短区段长度不满足机车信号译码时间要求而导致机车信号掉码的情况进行分析,并提出合理解决方案。
<正> 医院股票投资是医院对外投资的一种重要投资方式。它是指医院在不影响自身医疗服务活动正常开展的前提下,将其闲置的资产用以购买其他企业或股份制医院发行的股票作为投
<正> 在社会主义市场经济体制条件下,疾病控制领域公益性、福利性特点突出,疾病流行对社会影响后果严重,市场交换的局限较大,这些特点决定了政府在其中特殊而重要的地位与作
传输干扰率指标是GSM-R网络服务质量评估的一个重要指标,用传输干扰时间和传输恢复时间来衡量。其描述GSM-R系统的传输干扰水平,同时描述GSM-R网络误码性能对列控信息传输的
<正> 市场经济体制下,各级公立医疗机构同样面临着生存与发展的问题。如何利用有限的卫生资源,低耗费、高质量地为患者提供医疗服务,并获取较好的医院收益,使医院能够持续发
发展改革委、国家广电总局近日联合下发通知,要求各地全面梳理涉及有线电视服务的收费项目,对涉及用户申请办理开通、移机、停机、复机、过户等手续的不合理收费项目要予以取消