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

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

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

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

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

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

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

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

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

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

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

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

英国职业教育对高职机械类课程教学改革的启示

通过对英国约维尔学院职业教育课程开发的培训学习,了解了英国职业教育的特点。结合本院的实际情况,对课程教学改革提出一些建议:课程教学过程中渗透学生自我管理能力的培养;采用多样化的课程评价方式;发展和深化校企合作;丰富和发展教学资源,优化教学项目。     

阿联酋沙迦雷亚方块码头施工工艺及英中标准对比

介绍了阿联酋沙迦雷亚码头改造项目所执行的英国施工标准,并与中国施工标准进行了比较,说明了英国施工标准的要求和特点,并阐述了为达到该标准所采用的施工工艺.对于境外的方块码头施工提供参考.     

T型混凝土压弯构件设计的中英规范对比

从设计理念、公式推导及裂缝对比等方面,对JTS 151—2011《水运工程混凝土结构设计规范》和BS 8110—1997Structural Use of Concrete中英混凝土规范中的T型压弯构件进行对比,经过实例验证得到一些有益结论,供涉外工程参考。     

静探技术在尼罗河地质勘察中的应用

通过介绍静探技术的研究理论,比较了国内外常用的单、双桥探头的优缺点。依照英国场地勘察实施规范,利用静探技术对尼罗河覆盖层进行勘察,并结合钻探信息,验证了静探勘察所得地层信息的准确性,为设计提供了可靠的地质资料。