CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

市域(郊)铁路规划建设标准探讨

近年来,国家政府部门先后出台多个鼓励发展市域(郊)铁路的政策文件。通过解读相关政策文件精神,梳 理总结多个市域(郊)铁路规范标准的异同及特点,结合自身规划设计实践,提出市域(郊)铁路在定义内涵、线路规 划、技术标准、客流效益、运营模式和运输组织等方面的一些技术观点。力求采用经济、适用、高效的技术标准 和建设方案,提供公交化服务,降低建设和运营成本,提高线路的经济效益,促进市域(郊)铁路在我国的长期可 持续发展。     

欧盟城市轨道交通装备检验检测与认证制度分析

介绍了轨道交通装备检验检测与认证的定义和功能。依据欧盟指令2008/57/EC,简述了欧洲铁路互通性技术法规体系,介绍了标准规范建立的过程。基于法规要求从互操作性部件和子系统两个方面分析了轨道交通装备的认证方法和程序。对国外第三方检测认证机构在轨道交通领域内的服务内容和运作要求进行了归纳,阐述了第三方检测与认证制度对我国轨道交通装备发展的意义。     

重庆山区农村公路建设技术指标采用探讨

通过对重庆山区的农村公路实地调查、结合重庆地区地形、地质、以及经济状况,对重庆地区山区农村公路建设技术指标的采用进行探讨,并提出技术指标的采用应遵循的原则.     

支撑钢框架设计公式的讨论

本文按二阶弹塑性分析钢框架的结果,对中国及美国现行钢结构规范的钢框架承载力进行比较。指出上述规范关于钢框架的承载力的计算是安全且偏于保守的。其保守性来自规范公式未计入结构内力塑性重分布。     

空铁联运-高速铁路引入机场设计问题探讨

铁路和民航均是我国综合运输体系的重要组成部分,针对高速铁路引入机场在设计中需要注意的问题进行全面分析和总结,从国内高速铁路引入机场的现状、需遵循的原则、民航规范规定的要求、线路敷设方式、设计需开展的专题以及线路方案、站场布置形式等方面进行阐述。研究结论为:高速铁路引入机场宜采用地下线形式,区间隧道应尽量避免穿越机场跑道,车站布置应根据运输组织模式和车流特点选择合适的站型,并实现与航站楼间的无缝衔接,设计要充分重视民用机场的相关规范、规定,重视高速铁路引入机场后,对机场电磁环境、微振动环境等的影响,保证机场安全、正常运行。     

融合通信系统在海事管理中的应用研究

通信技术在我国海事管理工作中一直发挥着不可替代的作用,但是随着移动通信技术的迅速发展,过去单一、相互独立的通信方式越来越不能满足当前海事日常办公、安全监管及应急指挥的综合需求。该文针对海事管理各类业务通信方式缺乏整合的弊病,结合海事管理工作实际,提出建设海事融合通信系统,将各类音视频、即时通信、视频监控及视频会议等通信方式有机融合,从而有效提升办公、监管效率,并实现应急过程中的统一指挥、多层联动及高效协同。     

阿尔及利亚东西高速公路路线设计规范研读

就ICTAAL-1985中关于路线平、纵、横等方面的技术标准要求做简要阐述和归总．并与我国公路路线设计规范中的一些技术指标进行对比,可为工程技术人员提供一定的参考和借鉴。     

新型城市轨道交通技术

截至2010年年底,我国城市轨道交通运营总里程约为1 400km,"十二五"期间将提高到3 500 km.对城市轨道交通技术的研究能够支撑整个行业发展,实现重大装备核心技术突破,降低建设和运营成本.从政策建议、指南及应用,城市轨道交通规划理论和技术,国家及行业标准,基于通信的列车运行控制系统(CBTC)及应用,中低速磁...     

基于SI000D规范的通用装备IETM创作新模式研究

建立基于成熟规范S1000D的通用装备IETM创作,是装备维修保障信息化对技术手册数字化提出的必然要求。在分析建立基于S1000D的IETM创作必要性的基础上,以S1000D为创作标准,分析了S1000D下IETM创作的新模式,并结合开发的创作平台系统验证了子系统的功能,取得了良好的效果。