当前位置：首页 > 名称
大约有5,000项符合查询结果项。（搜索耗时：0.0217秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
列车运行安全行为建模与形式化技术研究
陈永，胡晓辉著2017 年出版269 页ISBN：9787113225797随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
-
车用安全通信 协议、安全及隐私
（意）卢卡·戴尔格罗斯（LucaDelgrossi），（美）张涛著；鲁光泉，田大新，王云鹏译2015 年出版374 页ISBN：9787568200929本书重点论述车辆安全通信协议，安全，隐私等前沿问题。全书共涉及22章节，研究领域主要是将人的因素集成到车载系统上来增强汽车的安全性。本书为增强驾驶员注意力以及防止道路事故提供了新的方法，使用传感器和无...
-
-
-
-
铁路轨道工程施工安全与案例分析
黄守刚主编2011 年出版134 页ISBN：9787113130466本书共分为五章，包括铺轨基地安全、工程运输与轨料存放安全、有砟轨道施工安全、无砟轨道施工安全、道岔铺设安全等内容。
-
地铁工程施工安全与案例分析
黄守刚主编；秦凯，梁爱国，张金柱，康拥政副主编2011 年出版108 页ISBN：9787113130305本书共分为六章，包括概述、施工准备阶段安全、盾构施工安全、盾构隧道施工风险与规避对策、明挖车站（区间）施工安全、辅助工程施工等内容。...
-
铁路路基工程施工安全与案例分析
黄守刚主编2011 年出版108 页ISBN：9787113130251本书共分为五章，包括铁路路基工程施工、软土地基处理施工安全技术、路堑施工安全、路堤施工安全技术、支挡防护及防排水工程等内容。
-
-
