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

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

不中断交通施工交通组织与安全保障技术探索与实践

本书以京港澳高速公路改扩建工程石安段为依托，进行了不中断施工交通组织研究，首先在区域路网交通特性调查分析的基础上，预测了改扩建施工区交通流量，分析了现有高速公路改扩建工程保通方案，选取并论证了分流车型...

结构调整与技术进步对中国粮食生产的影响研究 基于产量和生产成本角度的考察

本书基于农业经济学和国际贸易学的相关原理，在分析粮食产量目标和竞争力目标之间的关系、阐释两者之间的不完全统一性的基础上，以结构调整和技术进步这两种手段为例，分别从产量和生产成本角度来考察其对中国粮...

变电运行与管理技术 第2版

锦鲤养殖技术与经营管理

物联网安全理论与技术

本书依据物联网三层体系结构，分别从物联网感知层、网络层和应用层三个层面对物联网存在的安全问题进行深入分析。其中感知层安全是本书的重点内容，主要介绍了感知层设备安全与防护、认证技术、密钥管理技术、...

SAP质量管理及其在采购、生产、销售中的应用与开发

本书将以SAP质量管理概念和流程为基础，以实际项目案例为背景，以业务分析，和技术实现为主要内容，附以详细的系统操作步骤，着重其标准性和实用性。本书可以为为企业内部的SAP ERP支持顾问，企业内部的SAP ERP用户，SAP...

资源整合矿井残采区多形态废巷注浆治理与安全回采技术

本书主要内容包括：工程概况、残采区煤层开采条件、残采区巷道掘进围岩控制技术、空巷充填及注浆加固材料、空巷充填系统及充填工艺、冒落空巷注浆加固技术、工业性试验及效果分析。本书可供从事采矿工程等相...

物联网安全 理论与技术

本书全面系统地介绍了物联网安全的基本概念、基础理论和关键技术。结构上分为物联网概述、物联网安全基础、物联网安全的密码理论、物联网感知层安全、物联网网络层安全、物联网应用层安全、物联网安全系统...

网络安全和信息化 2017超值精华本 原 网络运维与管理

《网络安全和信息化》（原《网络运维与管理》）是面向网络技术管理人员的实用性刊物。本书是2016年《网络安全和信息化》各期内容的汇集，按照栏目分类进行汇总，内容详尽使用保留价值高。全书分为基础设施管理、系...