本书通过对模型驱动的自动化软件代码生成策略、气动数据管理框架、气动数据处理流程和气动数据库数据结构进行研究，对气动数据管理系统进行共性分析，建立自动化软件框架的领域模型。第1章绪论分析了代码生成技术和气动管理系统框架现状，第2、3章阐述了现有软件框架和本书使用的设计模式，第4～7章阐述了基础框架和工作流引擎的设计过程，

本书内容包括绪论、流体静力学、基础流体动力学、流体运动学、流体流动的积分分析法、流体流动的微分分析法、量纲分析及相似理论和模型化、管内黏性流动、黏性流体外流、可压缩流体、流体机械。特点为：易学、工程化、故事性、多习题。

能源是人类生存和社会发展进步的重要基石。研究能源的转换与利用系统的性质及特点，进行能量系统分析、模拟和优化，对有效利用能源、解决目前能源短缺问题、降低污染物排放具有十分重要的意义。本书讨论的能量系统分析与优化是以能量传输、转换、存储与利用为主要环节的能量系统的工程决策方法。本书共分为6章，主要包括能量系统分析与优化方法

随着资源需求的日益增大和开采强度的不断增加，煤矿、金属矿相继转入深部开采阶段，但深部复杂地质环境下混凝土结构和材料面临一系列新的问题。深部地层高地应力、高地温、高渗水压、强腐蚀等环境特点严重威胁着混凝土结构的安全。本书是作者团队十余年来围绕深地工程结构混凝土领域开展和取得的研究与实践成果的总结，从理论和技术角度系统介绍

本书汇集了戴金星院士及他的学生多年来在国内外发表的有关天然气烷烃气组分及碳氢同位素成因方面的31篇优秀论文，反映了我国在天然气理论基础研究的最权威成果和最新进展，有丰富的地球化学数据和新观点，是一部资料丰富、内容翔实、具有实用价值的著作。

本书是“材料先进成型与加工技术丛书”之一。本书是作者团队近年来在铸造镁合金领域最新科研成果的总结，涵盖铸造镁合金新材料发展、铸造工艺手段和产品应用等内容。作者团队发展了高性能铸造镁合金材料，提出了铸造合金晶粒细化、熔体氧化物过滤净化、缺陷控制等技术原型，制备了大型复杂铸件并实现了在汽车、航空航天等领域的应用。本书重点介

本书分为4部分18章。第1部分总括性地介绍了热风险评估的理论、方法及实验等，其中，第1章介绍了与化学反应工业实践紧密相关的风险，第2章介绍了理解失控反应所需的基础理论、化学反应热力学及动力学，第3章介绍了热风险的一种系统评估程序，第4章介绍了安全实验室通常采用的量热方法，第5章从热效应及压力效应方面对能量评估问题进行讨

本书以大庆油田三元复合驱矿场试验为背景，结合室内实验研究，比较系统地探讨了自国家“八五”攻关以来复合驱研究中涉及的一些关键问题，包括复合驱体系各组分浓度变化对体系性能的影响、复合驱体系性能随运移距离的变化规律、复合驱提高石油采收率的相关机理、碱对降低界面张力的作用机理、影响采收率的主要因素，并分析了化学复合驱在低渗油藏

本书以推进装备体系数字化转型为出发点，是装备体系仿真领域的前沿之作，旨在为装备体系仿真、智能行为建模、模数驱动工程等领域的教学和科研提供有益参考。全书共分为7章，包括智能装备体系仿真概述、本体元建模技术、领域特定建模技术、模数驱动的智能行为建模技术、动态数据融合的数据同化技术、形式化模型转换技术及综合仿真应用案例等内容

《智能合约安全入门》从环境介绍，Solidity、web3基础和漏洞原理及利用方面，详细地介绍智能合约相关漏洞知识。其中，第一部分介绍了RemixIDE、Metamask以及geth等环境的安装和使用方法；第二部分介绍了solidity语言的基础知识与基本语法，以及web3的使用方法；第三部分重点讲解了智能合约常见漏洞