嵌入式系统安全 安全与可信软件开发实战方法

本书提供了一个关于安全法则、安全薄弱环节以及相关可用技术的概述。通过对真实的系统漏洞案例和出于安全需要的开发实例的讲解，给出了抵消安全风险的有效技术及建议。领域涉及数据保护协议、新兴的嵌入式系...

河南省土地资源生态安全理论、方法与实践

本书分上、下两篇，上篇为河南省土地资源可持续利用生态安全研究，包括生态安全研究的基本理论与进展、河南省土地资源利用态势、生态安全态势分析和生态安全评价指标体系的构建及动态评价。下篇以南水北调中线...

山区高速公路路侧安全保障理论与方法

在江西省特殊的自然地理、生态等环境背景下，通过对典型山区高速公路交通事故数据资料的统计分析，系统研究环境因素(路段环境、路侧景观、路侧人工障碍物、不良天气)对交通安全的影响，提出相应的交通安全保障理...

水资源安全理论与方法

本书全面系统地阐述了水资源安全理论与方法，内容包括：中国水资源安全形势分析、水资源安全研究动态、水资源问题安全化、水资源安全的基本理论、水资源安全的性态、水资源安全的机理、水资源安全评价、水资源...

咨询分包协议书与联营 联合 协议书应用指南 中英文本

土地资源安全研究的理论与方法

本书较系统地研究了土地资源安全问题。该书提出了土地资源安全的内涵、属性以及理论基础，对土地资源安全问题进行了历史考察并作了态势析评；构建了土地资源的国家生存系统模型；分析了土地资源的人口容量与环境...

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

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

地基强夯加固质量安全监测理论与方法

本书针对强夯地基处理施工过程质量监控方法有限、技术手段落后的现状，本书对强夯施工过程中的质量控制方法展开深入的研究，建立渠基土强夯施工过程中夯点土体加固状态的实时振动监测技术体系、强夯施工完成后...

大坝安全监控正反分析方法与优化调控

本书系统阐述了已建大坝中水荷载问题和在建大坝中温度控制问题的正反分析与优化调控理论、模型和方法，并列举了相应的实例。全书共8章，包括：绪论，大坝变形分析中的水荷载，大坝稳定分析中的水荷载，运行期混凝土......

概率论与数理统计学习辅导与习题全解 华中科大·三版

本书是与华中科技大学数学系编写的《概率论与数理统计》（第三版）配套的辅导书。全书紧扣教材，共分九章：随机事件和概率，随机变量及分布，多维随机变量及分布，数字特征，极限定理，数理统计的基本概念，参数估计......