论文部分内容阅读
介绍了轨道电路微机监测系统的通信流程。使用实时系统验证及分析软件UPPAAL对建立的通信模型进行分析、仿真,并对一些特性进行验证。所建立的通信模型能够在轨道电路微机监测系统软件中仿真运行,并能够为软件的开发提供功能及时序规范,确保软件开发的正确性及软件运行时无死锁等故障发生。
基于时间自动机的监测系统通信流程建模分析
【摘 要】
：
介绍了轨道电路微机监测系统的通信流程。使用实时系统验证及分析软件UPPAAL对建立的通信模型进行分析、仿真,并对一些特性进行验证。所建立的通信模型能够在轨道电路微机监
【机 构】
：
国电南瑞科技股份有限公司
【出 处】
：
城市轨道交通研究
【发表日期】
：
2015年2期
其他文献
目的：观察不同浓度组合的前列腺素E2(PGE2)、肿瘤坏死因子α(TNF-2)、白细胞介素1β(IL-1β)对培养骨组织钙代谢的作用。方法：原子吸收分光光度计检测骨组织培养上清液中Ca2+浓
【正】在诸多报刊大军中,行业报纸虽小,但也"五脏俱全"。副刊是报纸的有机组成部分,新闻性也是副刊的重要属性之一。对于行业报纸而言,副刊也要强调新闻性。副刊的新闻性主要
党的十七大把反腐倡廉定位“建设”，并由此成为党的基本建设内容，此举不但具有非凡的现实意义，也具有深远的历史意义。本文就如何正确理解和科学把握反腐倡廉建设，以及如何进一步