本书共8章。第1章为概述，介绍了本书的研究背景与意义、国内外的研究现状及主要研究内容和篇章结构。第2章介绍基于系统建模语言（SysML）的列控系统形式化建模方法，该方法运用构造型扩展机制设计了面向系统需求和面向列控系统混成特性的统一建模语言（UML）概要文件。其中：面向需求的概要文件对SysML需求图中的需求约束以及模块定义图中的属性和操作进行扩展；面向混成特性的HUML概要文件对数据类型、类、约束、表达式和状态机进行扩展，以满足混成自动机模型的建模需要。第3章介绍基于PSL的列控系统需求规范形式化建模与验证方法，运用迭代的方式查找规范中潜在的缺陷，以提高需求规范的质量。第4章介绍基于混成自动机模型的系统安全分析方法、首先，针对含有未知控制参数的混成自动机模型进行分析，根据列车具体的控制需求和目标得到未知控制参数的可行解或约束范围。其次，为了解决非线性混成自动机模型的安全性验证问题，运用时间有界的可达性分析方法，研究时间有界情况下列车的在线安全验证算法，有效降低传统形式化方法验证的难度。第5章介绍基于概率混成自动机模型的列车运行安全监控方法，用于在线评估列车当前运行状态下的量化安全级别，达到对列车运行状态安全监控及对危险状态及时预警的目的。第6章介绍基于参数马尔可夫（Markov）模型的系统可靠性在线评估方法，运用分层迭代分析方法近似估算系统瞬态可靠性指标，以提高系统可靠性指标的计算速度。同时，在考虑不完全覆盖故障的情况下，研究运用马尔可夫（Markov）模型分析动态故障树可靠性的方法。第7章介绍基于稀疏最小二乘支持向量机（LSSVM）及集成分类回归树的列车智能驾驶方法，运用稀疏优化算法对列车驾驶数据集进行预处理，然后运用集成分类回归树算法训练处理后的驾驶数据集。在保证驾驶曲线的节能、运行时间、模式切换次数等指标的条件下，稀疏算法将有效提高训练数据的稀疏度和乘坐舒适度。第8章介绍基于混成自动机（HA）及集成分类回归树算法的多列车安全智能驾驶方法，在单列车智能驾驶的基础上，通过混成自动机与智能学习算法相结合的方式，实现一种多列车安全智能驾驶策略，以保证多列车之间的安全运行间隔。

本书主要介绍了与智能汽车相关的知识。全书内容共分六章，分别介绍了智能汽车关键技术中令车迷比较感兴趣而又相对难懂的内容，以图文并茂的形式，做深入浅出的介绍。内容涵盖智能汽车的基础知识、驾驶辅助系统知识、摄像机知识、传感器知识、车载网络与通信知识、导航定位知识和自动驾驶的前瞻技术相关知识等。本书内容深入浅出、通俗易懂、系统实用，适合广大车迷和汽车爱好者以及对智能汽车知识感兴趣的读者阅读和参考。

本书聚焦纯电动汽车的动力性、经济性，尤其是对续航和能耗问题的解决过程中使用的工具、方法、改善措施等进行了深入探讨。作者在参考30篇行业标准的基础上，紧紧围绕动力性经济性测评技术这一主题，从能耗分析工具、测试工况、道路阻力测量、电驱动系统与整车匹配、动力蓄电池测评等几个方面整理了其在合众新能源汽车有限公司工作期间撰写的45篇论文及研究报告，对每篇论文及报告的重点与应用价值进行提炼和总结。本书主要面向在新能源汽车行业的整车厂、动力系统制造商、汽车设计公司中从事车辆动力性经济性相关工作的工程技术人员，以及高校汽车相关专业的研究人员和学生等。

本书主要介绍高原环境下混凝土制备、硬化及耐久性机理，包括青藏高原气候特点、高原混凝土常见病害、高原低气压下混凝土引气特征、高原低湿度下混凝土硬化性能、高原复杂环境下混凝土的开裂机制、负温下混凝土硬化与防冻、高原大体积混凝土温控、高原混凝土泵送技术。本书可提供相关科研人员及在校师生参考阅读。

本书按照液货船、散货船、集装箱、客船及滚装船、工程船、海洋工程等进行分类，收录了2017 — 2021 年中国设计或建造的 162 型船舶及海洋工程装备，绝大部分船型技术含量高，制造难度大，代表了我国造船业的最高水平。其中，有些产品达到了同类产品的国际先进水平。本书数据翔实，介绍详细，内容丰富，展现出造船界科技工作者为实现我国船舶工业“科技自立自强”战略目标所做的努力，是从事船型开发设计和建造工程技术人员的重要参考资料，也是展示我国造船工业科技水平和实力的窗口。

本书按照2022 年4 月1 日开始实施的交通运输部、 公安部联合下发的 《机动车驾驶培训教学与考试大纲》 （交运发 〔2022〕 36 号）， 公安部新修订的 《机动车驾驶证申领和使用规定》 （公安部令第162 号），《道路交通安全违法行为记分管理办法》 （公安部令第163 号）， 以及2022 年5 月1 日实施的 《机动车登记规定》 （公安部令第164 号） 等相关规定编写而成， 是一本机动车驾驶理论学习和考试指导用书。本书以大量生动、 形象的图片和简明达意的文字， 系统地介绍了汽车驾驶人考取驾照需掌握的基本知识和操作技能。 本书将知识点与考题融为一体， 有助于读者在理解的基础上进一步加深记忆。 书中突出学习汽车驾驶的要点和难点， 读者可通过学习本书， 快速掌握汽车驾驶的方法， 从而顺利通过汽车驾照考试， 轻松拿到驾驶证。本书特别适合首s次申请小型汽车 （C1/C2/C3/C4/C5） 驾驶证的考生学习使用， 对其他类别的考驾人员也有一定参考价值， 还可供有一定驾驶经验的驾驶人参考或作为汽车驾驶培训学校的教材。

随着移动互联网、大数据、区块链、云计算、人工智能等前沿技术的发展，交通呈现科技化、智能化、数据化等特点。无论是交通基础设施，还是交通技术、交通规划、交通发展，离不开科技的融入与推动。在我国交通强国战略的推动下，交通运输领域的科技应用、科技融合越来越紧密，因此向大众普及交通强国科技知识的读本很有必要。本书围绕近年来我国交通科技发展取得的成果与突破、新技术发展趋势及其对交通的影响、我国交通科技中长期发展的方向与重点、国外交通科技的发展状况及我国交通科技如何与国际接轨等方面，对交通科技的发展进行了详细的介绍，让更多人了解交通科技的发展。本书适合交通运输领域的从业者、管理者、相关创业者及对交通科技感兴趣的读者阅读。

本书是已出版科普口袋书《普通国省道公路日常养护图册》的姊妹篇，从一线养护人员的工作需求出发，以图文并茂的形式分类介绍高速公路日常养护工作要点，并配套现场养护工作的案例视频，以口袋书的形式装帧设计，好看好用，便携便查。本书具体内容包括基本作业要求、日常巡查、经常检查、其他巡查、日常保洁、日常维护、路基日常维修、路面日常维护、桥梁涵洞日常维修、隧道日常维修、交通安全设施日常维修、绿化日常养护、沿线房建设施日常养护等内容。

本书主要论述了水上溢油事故及危害、水上溢油应急能力及决策流程、应急决策支持系统总体框架、多属性决策支持数据库的构建以及典型决策支持与调度指挥平台研发等内容。本书适合从事水上溢油事故应急处置的海事、港口、航运、救助打捞、科研院校以及其他相关单位的从业人员和科研人员阅读及参考。

本书以广东省重点领域研发计划项目“ 重大跨海通道全寿命周期安全保障关键技术”为依托，首先介绍了正交异性钢桥面板疲劳问题研究基础理论与分析方法，结合疲劳模型试验研究了高疲劳抗力正交异性钢桥面板细节和合理设计参数;然后基于深中通道车辆特征进行了疲劳寿命可靠度评估论证，重点介绍了高疲劳抗力正交异性钢桥面板关键制造技术（特别是U 肋与顶板全熔透焊接）及验收标准，并补充了正交异性钢桥板抗疲劳韧性提升技术;最后介绍了前述抗疲劳理论、试验、设计、施工成套关键技术在深中通道项目的应用情况。本书可作为桥梁设计、施工、科研和建设管理人员参考用书。