列车运行安全行为建模与形式化技术研究

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

道路工程经济分析理论与实践

本书全面、系统的介绍了道路交通工程经济的基本理论与实用方法。主要内容包括工程经济评价基本理论与评价方法、道路工程项目的费用估算技术、效益估算技术、工程项目管理经济评价理论与内容、设备租赁、道...

设计学视阈下的中国古代船舶形式研究

管理规制视角下中国参与北极航道安全合作实践研究

北极航道因为北冰洋的加速融化与全线通航的美好愿景，将对世界海运格局及国际安全态势产生巨大影响，其日益国际化的趋势引起各国北极战略的纷纷调整。航运利益是中国最现实、最直接的北极利益，不仅较易实现，而且...

公路棚洞结构形式及应用

本书较详细地介绍了公路棚洞结构设置的必要性、国内外现状、结构型式、分类、适用性、计算方法及设计选型流程等。全书共分为6章，包括棚洞结构型式及分类、棚洞的荷载结构法计算、棚洞的地层结构法计算、棚...

库岸公路破坏形式及加固防护对策

本书主要框架和内容为：库岸公路设计施工的基础资料和基本理论——非饱和土的基本理论及岩土物理力学性质与含水率的关系→库岸公路、桥梁破坏类型、破坏机理及其破坏范围和稳定性计算分析理论方法→库岸公路...

租船运输实务与法律

船舶买卖法律与实务

租船实务与法律 第2版

法律常识与交通安全教育