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

公路棚洞结构形式及应用

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

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

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

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

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