【摘 要】
：
文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN-Tools仿真工具动态
【机 构】
：
兰州交通大学自动化与电气工程学院,兰州铁路局电务段,兰州交通大学电子与信息工程学院
论文部分内容阅读
文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN-Tools仿真工具动态仿真了CTCS-3级列控系统下的RBC切换模式的行车许可生成过程,观察相邻RBC交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性。为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠。
其他文献
部编版小学语文教材诞生于新一轮教材改革，相比以往教材，部编版教材更看重阅读的力量，强调传统文化的融合。小学阶段是激发学生语文学习兴趣、培养学生自主学习习惯的关键期，在此阶段应立足部编版小学语文教材，从写字、阅读、作文出发，调整教学观念，优化教学方法，营造学习氛围，帮助学生打下良好的语文学习基础。 部编版语文教材于2016年推出，当前，部编版小学语文教材特色及施教策略已经成为社会各界关注的重点。部
随着网络技术的飞速发展，基于网络平台的应用系统逐渐进入各行各业中，带来巨大收益的同时对安全性提出了更高的要求，需要保证访问其资源的用户具有合法的权限。为了适应多系统平
古诗是传统文化的灿烂瑰宝,学生能通过古诗的学习感受传统文化,体悟诗的意境,促进审美感知,培育人文精神。在小学古诗教学中,若教师过于强调反复诵读、背默抄写,忽视了情境的
测量仪器在初中物理教学中出现的频率相当高,正确地使用测量仪器是中学物理测量实验和探究性实验的重要基础。在物理教学中我发现,初二学生由于初学物理,对物理实验器材很好
无线Mesh网（WMN）是一种新型宽带无线接入技术,选择适当的MAC子层规范,根据网络业务特征有效地配置信道资源,可以提高Mesh网的无线资源使用效率以及系统传输性能。而现有的无线M