本書旨在分析國內外操作系統(tǒng)領域的前沿發(fā)展情況，重點闡述近幾年操作系統(tǒng)領域的重要突破和標志性成果，集中展現(xiàn)我國在相關方向的新進展、新特點和新趨勢，為我國科技人員準確把握操作系統(tǒng)領域的發(fā)展態(tài)勢提供參考，為我國制定操作系統(tǒng)方面的發(fā)展戰(zhàn)略提供支撐。本書分為五個部分，對操作系統(tǒng)領域的關鍵概念技術、全球發(fā)展態(tài)勢、我國發(fā)展現(xiàn)狀、我國

隨著計算機網絡的快速發(fā)展和新興應用的不斷涌現(xiàn)，網絡安全問題日益嚴重。數(shù)字簽名可以用來鑒別用戶的身份和數(shù)據(jù)的完整性，在信息安全領域發(fā)揮著非常重要的作用。本書詳細介紹當前數(shù)字簽名方案的基礎理論知識和**應用成果�！禕R》本書共13章，內容包括數(shù)字簽名概述、數(shù)字簽名的基礎知識、數(shù)字簽名的應用領域、基于身份認證的門限群簽名、基

互聯(lián)網在全球范圍內掀起了一場影響人類的深刻變革，推動著人類不斷創(chuàng)造新的世界�；ヂ�(lián)網對社會的影響是全方位的，這決定了我們看待互聯(lián)網的視角也應該是多元的。本書嘗試從多學科視角來梳理互聯(lián)網的性質、特征、功能和效應等，為人們更好地理解所處的互聯(lián)網時代提供基礎素材。

建筑運維作為建筑全生命周期中持續(xù)時間最長的一個環(huán)節(jié)，對BIM（建筑信息模型）有著更為巨大的應用需求和應用價值。本書系統(tǒng)地總結了作者團隊近年來在BIM智慧運維研究、研發(fā)和應用方面的成果，闡述了BIM智慧運維的基本概念、模型機理、關鍵技術、支撐平臺和典型應用。

本書是《科學好好玩：神奇的煤炭》之續(xù)作，借由愛好科學的小學生艾科學的視角，從當前社會關注的溫室效應、全球氣候變暖等熱點事件出發(fā)，用故事的形式講述煤炭的相關科學知識。用故事發(fā)展脈絡與人物對話，把科學知識、科學方法、科學理念嵌入其中，使讀者在潛移默化中掌握科學內容。

土壤-鄄空氣換熱器（EAHE）是將淺層巖土蓄積的冷/熱量搬運至建筑空間并對室內熱環(huán)境進行被動調控的重要技術。本書關注動態(tài)室外熱環(huán)境下EAHE與建筑本體蓄熱的耦合作用，力圖對這一跨時間尺度的非線性問題進行定量描述，以期實現(xiàn)EAHE的集約利用及與建筑本體的高效融合。本書不僅注重利用作者發(fā)展的新方法對蓄熱通風作用下的室內熱環(huán)

本書介紹了整體葉盤數(shù)控砂帶磨削實驗裝置、實驗方法以及實驗方案。同時介紹了整體葉盤砂帶磨削精度一致性評價方法，并且通過實現(xiàn)自動化手段后對砂帶磨削表面完整性精度和砂帶磨削輪廓精度對整體葉盤砂帶磨削精度的一致性進行了綜合分析。本書開展航空發(fā)動機整體葉盤數(shù)控拋光技術研究，實現(xiàn)整體葉盤復雜型面的高效自動化精密拋光。

裝配式綠化擋墻是一種用于邊坡加固的新型擋墻，既可用于開挖路塹邊坡的加固也可用于填筑路堤邊坡的加固。組成該類擋墻的預制塊設計有培土空間和植物生長窗口，從而實現(xiàn)植被綠化功能，在市政邊坡、鐵路公路車站邊坡、景區(qū)邊坡、城市迎賓道路邊坡等的加固中具有獨特優(yōu)勢。裝配式綠化擋墻雖然取得了良好的工程應用，但其設計計算方法尚不成熟，體現(xiàn)

社區(qū)設備設施風險的監(jiān)測監(jiān)控、預測預警與智能防范，是社區(qū)治理的重要內容，也是極具挑戰(zhàn)的前沿科學問題。對社區(qū)水、電、氣、熱等設備設施系統(tǒng)風險進行精準管控能夠為社區(qū)安全保障提供重要的技術支撐。本書共分8章，主要內容包括：社區(qū)水、電、氣、熱、電梯、消防設備設施系統(tǒng)的功能組成、風險監(jiān)測與防范基礎理論、社區(qū)設備設施系統(tǒng)風險辨識、風

本書介紹了作者十余年來在礦井災害多場耦合理論與防控技術方面取得的研究成果。全書共7章，以煤礦通風、瓦斯、火災、粉塵（簡稱一通三防）為研究對象，總結礦井災害防治理論與技術的現(xiàn)狀和進展；梳理礦井災害的種類及其成因；系統(tǒng)闡述礦井災害的多場耦合控制方程、耦合致災機理和災害判別準則；分析瓦斯災害、自燃災害和粉塵災害的多場耦合基本