【摘 要】
：
正在建设的时速300 km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性和安全性的主要因素之一.基于时间自动机理论
论文部分内容阅读
正在建设的时速300 km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性和安全性的主要因素之一.基于时间自动机理论对车地交互流程进行建模与验证具有重要意义.首先将车地交互流程分为4个典型的子流程：任务启动流程、正常行车流程、RBC切换流程和任务结束流程,然后针对这些子流程建立无线闭塞中心（RBC）、车载设备（ATP）和铁路专用移动通信网（GSM-R）的时间自动机网络模型,最后利用时间自动机模型验证工具UPPAAL进行仿真分析,验证了CTC
其他文献
人的幸福问题是马克思伦理精神的主旨。马克思把实现人的幸福追求目标置于生活世界之中,从而为人的幸福之路寻求一条真正可靠的、现实的路径。
“两少一宽”属于民族刑事政策，具有权力滥用的弊端，控制其滥用是现代法治的重要使命。实际上，控制“两少一宽”的法治路径，以法治为核心主体，以规则为法治载体，以价值为控制精髓，以
结合《中华人民共和国著作权法》,从高校教材著作权的主体等方面,分析了高校教材侵权的主要表现及原因,提出保护高校教材版权的具体措施。
上世纪80-90年代,是香港电影发展的鼎盛时期,特殊的社会背景、经济和文化的蓬勃、宽松的政治环境等因素构筑了香港百花齐放的电影市场发展图景。80年代开始,电影大规模转向商
以绞股蓝为原料，采用微波超声双辅助提取皂苷。在单因素试验的基础上，采用响应面分析法优化提取工艺，建立二次多项数学模型。结果表明，绞股蓝皂苷微波超声双辅助提取的最优工艺参
为建立合理的基坑工程监测变形控制基准值,以天津站枢纽超深基坑为研究对象,根据基坑特点与环境控制要求,参照现行相关规范和规程,采用工程类比法和基于监测数据分析,提出了
能源植物开发利用是应对能源问题和全球变化的有效途径之一,准确的资源潜力及时空分布信息是资源规划和相关科学研究的重要基础。本文提出了耦合地理信息系统(GIS)空间分析与
茅台学院是新建应用型民办高校,围绕酿酒产业办学。根据学科专业规划需求,我们通盘考虑本科实验教学需求,做出科学规划、合理布局,依靠茅台集团强有力支持,提出以提高大学生
本文利用＂中国地震科学台阵探测——南北地震带北段＂项目在内蒙古阿拉善西部及甘肃西北部地区布设的80个流动宽频带地震仪及16个固定台站，于2013年10月—2015年6月所记录的787个
转向节的形状和结构非常复杂,是汽车传动系统中十分重要的零部件之一。随着汽车轻量化的发展,传统的铁制转向节逐渐被铝合金转向节代替,其主要功能是承受车体前部载荷,确保汽车稳定行驶。转向节在汽车行驶过程中受到路面、约束等多种载荷反复冲击,载荷随着工况不断变化,由于转向节内部缺陷可能会有裂纹产生,严重则可能发生断裂,必须对转向节的结构强度和疲劳寿命进行分析。因此,转向节试验对转向节的强度分析极为重要。本文