互联网环境下的软件可信度量研究 【工业技术】

本书初步探索了软件可信定量化，介绍了可信计算和软件可信性的相关知识。本书对基于可信度的软件可信度量方法进行了详述。按照软件工程规范和设计理念，完成了软件可信度量评估系统的设计与实现。对该系统进行...

计算机环境的可移植操作系统界面 操作系统标准之一 【工业技术】

水-应力作用膨胀土力学特性与深基坑支护技术 【工业技术】

本书针对我国广泛存在的膨胀类土体，首先通过X射线衍射、扫描电镜、CT试验、力学试验，探讨了膨胀土体的细观结构、力学特性及土水特征曲线演化规律，深入分析了水-应力耦合作用下膨胀性土体的强度特性。在此基础...

康体休闲设施的室内环境与通风 【工业技术】

本书针对康体休闲场所（如桑拿浴室、健身房、游泳馆、保龄球馆等）的特殊性，讲述了康体休闲场所室内环境所存在的问题，给出了通风空调系统设计的参数以及设计方法。结合典型的工程实例，详细地阐述了在康体休闲场所...

黄土地区框架预应力锚杆支护边坡地震作用分析及工程应用 【工业技术】

本书以黄土地区广泛应用的框架预应力锚杆支护边坡为主题，重点阐述了框架预应力锚杆支护边坡体系的地震作用及其在加固边坡工程中的应用。主要从理论方面介绍了框架-预应力锚杆-土体的动力相互作用、框架预应...

基于MATLAB的化学及环境信息可视化技术 【工业技术】

本书以Matlab为工具讲解图形图像技术及在化学中的应用。主要介绍了Matlab中与图形技术相关的一些常用的命令、Matlab中与图像处理技术相关的命令，以及如何表示化学信息特别是高维数据的技术和方法等知识。...

建筑·环境的设计创新 设计研究及实践创新 【工业技术】

本书对“设计研究”这一多元化的领域进行了概述，涉及设计研究计划、在跨学科的设计教育、超越实验室和工作室等内容，揭示了当下正在进行的研究新模式，对建筑行业的创新无疑将起到良好的促进作用。本书适合建筑...

基于虚拟计算环境的内存共享技术 【工业技术】

本书主要借助虚拟计算环境的思想，提出了iVCE/M 的单一服务原则、单一身份原则和指数探测原则，分析了传统的数据条块化技术、I/O并行化技术，提出了内存页帧传输中时间相关的概念；提出了合并冗余页帧以保存更大的...

东北区“北水南调”工程对资源开发、经济发展和生态环境的影响 【工业技术】

煤炭和石油 廉价能源与环境的博弈 【工业技术】

本书中介绍了煤炭和石油的历史，并从细节上介绍了与煤炭和石油相关的技术，包括将煤矿和石油的开采，煤矿加工和石油提炼，以及将这初级能源转化为可用能的方法。书中对煤炭和石油的使用，以及政府与这个最重要的基础...