本书旨在分析国内外操作系统领域的前沿发展情况，重点阐述近几年操作系统领域的重要突破和标志性成果，集中展现我国在相关方向的新进展、新特点和新趋势，为我国科技人员准确把握操作系统领域的发展态势提供参考，为我国制定操作系统方面的发展战略提供支撑。本书分为五个部分，对操作系统领域的关键概念技术、全球发展态势、我国发展现状、我国

随着计算机网络的快速发展和新兴应用的不断涌现，网络安全问题日益严重。数字签名可以用来鉴别用户的身份和数据的完整性，在信息安全领域发挥着非常重要的作用。本书详细介绍当前数字签名方案的基础理论知识和**应用成果。《BR》本书共13章，内容包括数字签名概述、数字签名的基础知识、数字签名的应用领域、基于身份认证的门限群签名、基

互联网在全球范围内掀起了一场影响人类的深刻变革，推动着人类不断创造新的世界。互联网对社会的影响是全方位的，这决定了我们看待互联网的视角也应该是多元的。本书尝试从多学科视角来梳理互联网的性质、特征、功能和效应等，为人们更好地理解所处的互联网时代提供基础素材。

本书是《科学好好玩：神奇的煤炭》之续作，借由爱好科学的小学生艾科学的视角，从当前社会关注的温室效应、全球气候变暖等热点事件出发，用故事的形式讲述煤炭的相关科学知识。用故事发展脉络与人物对话，把科学知识、科学方法、科学理念嵌入其中，使读者在潜移默化中掌握科学内容。

土壤-鄄空气换热器（EAHE）是将浅层岩土蓄积的冷/热量搬运至建筑空间并对室内热环境进行被动调控的重要技术。本书关注动态室外热环境下EAHE与建筑本体蓄热的耦合作用，力图对这一跨时间尺度的非线性问题进行定量描述，以期实现EAHE的集约利用及与建筑本体的高效融合。本书不仅注重利用作者发展的新方法对蓄热通风作用下的室内热环

本书介绍了整体叶盘数控砂带磨削实验装置、实验方法以及实验方案。同时介绍了整体叶盘砂带磨削精度一致性评价方法，并且通过实现自动化手段后对砂带磨削表面完整性精度和砂带磨削轮廓精度对整体叶盘砂带磨削精度的一致性进行了综合分析。本书开展航空发动机整体叶盘数控抛光技术研究，实现整体叶盘复杂型面的高效自动化精密抛光。

装配式绿化挡墙是一种用于边坡加固的新型挡墙，既可用于开挖路堑边坡的加固也可用于填筑路堤边坡的加固。组成该类挡墙的预制块设计有培土空间和植物生长窗口，从而实现植被绿化功能，在市政边坡、铁路公路车站边坡、景区边坡、城市迎宾道路边坡等的加固中具有独特优势。装配式绿化挡墙虽然取得了良好的工程应用，但其设计计算方法尚不成熟，体现

社区设备设施风险的监测监控、预测预警与智能防范，是社区治理的重要内容，也是极具挑战的前沿科学问题。对社区水、电、气、热等设备设施系统风险进行精准管控能够为社区安全保障提供重要的技术支撑。本书共分8章，主要内容包括：社区水、电、气、热、电梯、消防设备设施系统的功能组成、风险监测与防范基础理论、社区设备设施系统风险辨识、风

本书介绍了作者十余年来在矿井灾害多场耦合理论与防控技术方面取得的研究成果。全书共7章，以煤矿通风、瓦斯、火灾、粉尘（简称一通三防）为研究对象，总结矿井灾害防治理论与技术的现状和进展；梳理矿井灾害的种类及其成因；系统阐述矿井灾害的多场耦合控制方程、耦合致灾机理和灾害判别准则；分析瓦斯灾害、自燃灾害和粉尘灾害的多场耦合基本

本书详细阐述了焊接钢管节点物理模型试验方法，包括实现空间结构多平面同时加载的试验、试件设计思路及测点布置方案；详细介绍了焊接钢管节点数值仿真模拟方法，包括焊缝体的数学模型、含焊缝的管节点数值模型及数值方法验证；重点给出了多平面管节点热点应力的计算方法，包括多平面相互作用分析、SCF和MIF极值公式及SCF和MIF分布公