列车运行安全行为建模与形式化技术研究 【交通运输】

随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...

中国海员 中国海员工作与生活状况研究 【交通运输】

本书主要是中国海员工作与生活状况的研究报告。通过对中国大陆范围内海员群体的研究，旨在展现中国海运业发展和航海教育的概况；分析海员的数量、特征；反映海员的招募、工作与生活等方面的实际情况；揭示海员劳动...

大断面矩形盾构法隧道设计研究与实践 【交通运输】

本书对国内首次实践的大断面矩形盾构法隧道的设计研究与工程实践进行了分析与总结。全书共分为6章，内容包括：矩形盾构法隧道的受力特点、国内外的研究现状；复合管片的抗弯试验及数值计算；高承载力管片接头的力...

填土压实控制土壤密度及水分方法 【交通运输】

按极限状态计算隧道衬砌的方法 【交通运输】

船舶蒸气机分配的改善方法 【交通运输】

道路网络结构的交通安全分析方法 【交通运输】

沥青路面就地热再生技术研究与应用 【交通运输】

本书围绕循环经济、节能减排的主线，详细介绍沥青路面就地热再生技术理论基础，通过大量研究、工程实践总结出石料再用、沥青再生技术；间歇式热辐射加热技术；不打碎骨料的翻松技术、对症下药的技术方案和设备模块...

区域旅游资源与公路网整合规划研究 【交通运输】

本书共分8章，内容包括绪论、基础理论、区域旅游交通调查及需求预测、区域公路网发展规模预测与等级结构确定、区域旅游资源与公路网络整合布局优化模型、区域旅游与公路网络发展适应性评价、区域旅游整合发...

铁路通过能力的加强及其投资分摊计算方法 【交通运输】