基于模型的列车运行控制系统设计与验证方法

本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...

地铁工程勘察设计技术及管理人员培训教材 地铁工程勘察设计质量安全管理与技术

本书分勘察和设计两篇。勘察篇主要内容：勘察工作基本要求，勘察手段与方法，勘察纲要与报告，勘察后续服务。设计篇主要内容：设计主要工作内容，设计阶段的安全风险管理，地铁主要风险工程的设计技术、风险监控与施......

公路小桥涵设计流量计算公式和参数值的验证办法草案

2011年公路隧道安全设计与运营管理暨水下隧道建设技术国际会议论文集

本论文集是为2011年3月在厦门召开的“2011年公路隧道安全设计与运营管理暨水下建设技术国际会议”而出版的论文集。该论文集共收录论文62篇，内容涉及公路隧道的研究与设计、长大公路隧道运营管理、通风、照...

高海拔地区高速公路技术指标与安全设计

本书以青藏高原地区特殊地理位置和低压环境条件为立足点，充分考虑在低压缺氧环境中车辆综合性能衰减和长期积雪冰冻中行车稳定性剧降，同时易引发驾驶员的高原反应和疲劳驾驶等因素，全面系统的介绍了高原低压缺...

民用建筑电气设计规范实施指南

列车运行控制系统安全性设计技术

本书为“十二五”重点出版规划项目之一。本书依据IEC61508、EN50126、EN50128、EN50129等国际安全标准，结合轨道交通（铁路、城市轨道交通、高速磁浮）信号系统故障安全技术的发展趋势，针对列车运行控制系统的安...

桥梁设计新技术及安全性能评价

本书分为四个部分，分别为第一部分：HRB500钢筋在桥梁工程中的应用研究；第二部分：空心板梁桥设计新方法研究；第三部分：预应力梁的破坏机理研究；第四部分：高墩简支变连续梁桥抗震性能研究。本书可为建筑和桥梁设计......

道路安全之设计与管理

加油站安全管理与安全技术