【摘 要】
：
随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础
【基金项目】
：
中央高校基本科研业务费专项资金（No.2017JBM009）
论文部分内容阅读
随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范
其他文献
本文利用壳聚糖（CHT）对镉离子的吸附性能并结合电化学还原法在玻碳电极（GCE）表面制备了还原态镉-壳聚糖（rCd-CHT）有机-无机杂化材料.以K3Fe（CN）6为电化学活性探针对修饰电极的电化学
进入21世纪以来,伴随着经济全球化的进一步发展,电子计算机技术也随之不断进步,推动了计算机辅助设计技术步入新阶段。目前,计算机辅助设计在我国广泛应用,涉及各大行业。因
近年来,我国企业在外汇业务上的重视率和防范意识都有所加强,其原因主要在于整个金融市场的动荡和国际外汇市场的不确定性,在这个大环境的影响之下,掉期交易得到了很多国内乃
目的:了解武汉市不同人群对SARS的认知状况及其影响因素,以指导对SARS及同类的重大公共卫生事件的健康教育.方法:对全市6个不同职业类别人群进行SARS的认知状况及影响因素的
采用EBSD技术对不同退火工艺处理后的冷轧取向硅钢超薄带样品进行研究,分析退火样品的显微组织、织构与磁性能的关系,讨论母材性能对超薄带性能的影响。结果表明:冷轧超薄带
近年来，专业学位研究生教育质量评价主体的研究日渐受到关注和重视。基于文献分析和专业学位研究生教育特点，确定政府、社会、高校和学生是专业学位研究生教育质量评价的共同主
2012年7月11日，国务院总理温家宝主持的国务院常务会议上研究通过了“国家新兴战略性产业发展纲要》，纲要规划了七大新兴战略性产业，其中节能环保产业是七大新兴产业之首。节能
目的对香砂六君子汤加减与三联疗法联合治疗Hp相关性慢性胃炎的临床效果进行探究。方法方便选取在该院接受治疗的120例Hp相关性慢性胃炎患者,入院时间为2016年6月—2017年6月
传统的公共卫生服务支付方式,不仅降低了卫生服务机构从业人员的服务积极性,无法满足广大群众基本卫生服务水平,也导致财政资金使用绩效大大降低。改革公共卫生服务支付方式
本文介绍了浦东～长兴长距离陆岛高程联测实施过程,通过长距离测距三角高程实现了近7km的跨江高程传递,成果达到了二等水准精度要求。