本書是“十三五”江蘇省高等學校重點教材(編號：2019-1-063)。《BR》物聯(lián)網(wǎng)在制造領域的深度滲透和落地應用催生了一種以“物物互聯(lián)、泛在感知”為特征的新型制造技術——制造物聯(lián)網(wǎng)。制造物聯(lián)技術為制造業(yè)生產(chǎn)要素的智能化識別、定位、跟蹤、監(jiān)控和管理提供了很好的解決方案。本書共由四篇構成：第一篇介紹了制造物聯(lián)技術理論基礎

本書是為慶祝中華人民共和國成立70周年而精選的山西國保級古建筑研究綜述性論文合集，共30余篇。內(nèi)容涉及了山西唐、五代、宋遼金、明清各時期中**歷史、科學與藝術價值的國保級古建筑，對每一處古建筑的歷史沿革、研究綜述、保護大事記等方面進行總結(jié)梳理，其中許多論文均為原創(chuàng)性和首次發(fā)表，代表了目前山西省在古建筑保護與研究領域的*

本書在田野調(diào)查基礎上，通過查閱方志、史籍、檔案等資料，從“面—線—點”三個層次調(diào)查陜西傳統(tǒng)城區(qū)的歷史文化資源構成與保存現(xiàn)狀。同時，本書以韓城、麟游、陳爐、米脂、高家堡、波羅、蜀河、石泉、漫川關這9座城鎮(zhèn)為樣本，試圖通過系統(tǒng)的田野調(diào)查從定量層面揭示歷史城鎮(zhèn)的保護情況，進而全面掌握城鎮(zhèn)傳統(tǒng)資源保存現(xiàn)狀，提出具有現(xiàn)實意義的城

隨著現(xiàn)代社會信息化程度的提高，與計算機相關的各種系統(tǒng)故障足以造成巨大的經(jīng)濟損失。機械化的定理證明能夠建立更為嚴格的正確性，從而奠定系統(tǒng)的高可信性。本書闡述機械化定理證明的邏輯基礎和關鍵技術，分析比較各類主流證明助手的設計特點，重點討論在編譯器驗證領域取得的重要研究成果，并以實例詳述驗證編譯器的開發(fā)和實現(xiàn)。

逆合成孔徑雷達是對空天目標進行探測、跟蹤、成像的重要傳感器，可獲取目標的一維、二維甚至三維圖像。隨著先進成像雷達裝備的研制，雷達成像也面臨高載頻、大帶寬、目標遠距離、非合作帶來的一系列挑戰(zhàn)，亟須研究和探索與之相適應的高分辨成像算法和技術。本書重點闡述研究團隊在逆合成孔徑雷達精細化成像與多維度成像方面取得的**研究成果，

本書主要介紹近幾年來作者在系統(tǒng)簽名理論方面的研究成果，內(nèi)容側(cè)重于系統(tǒng)簽名的度量特征，主要探討如何更有效地從系統(tǒng)結(jié)構出發(fā)來計算簽名，以及簽名作為可靠性度量的年齡性質(zhì)等，這些結(jié)果對系統(tǒng)簽名在可靠性中獲得更深入的應用至關重要。此外，本書還介紹了文獻中已有的系統(tǒng)簽名的一些擴展，包括多狀態(tài)系統(tǒng)簽名、多類型系統(tǒng)簽名、概率簽名、耦合

本書針對醫(yī)用納米材料生物效應研究與安全性評價這一內(nèi)涵日益豐富且發(fā)展迅猛的新領域，主要介紹醫(yī)用納米材料的基本信息、發(fā)展現(xiàn)狀和未來前景，闡述納米藥物及納米相關醫(yī)療器械安全性評價的基本概念、主要內(nèi)容和主要挑戰(zhàn)，探討醫(yī)用納米材料安全性評價的必要程序、組織管理和監(jiān)管框架，系統(tǒng)梳理納米生物效應與安全性研究所涉及的檢測方法、藥代動力

作為智能材料的一大類，形狀記憶聚合物由于其可設計性強、材料種類廣泛，在航空航天、生物醫(yī)學等領域有著巨大的潛在應用價值，近年來發(fā)展迅速,已經(jīng)成為研究熱點。本書從形狀記憶聚合物的種類、機理、多功能性、材料的**研究方向等方面作了全面綜述，涵蓋了目前國內(nèi)外研究進展及應用進展；深入探討了形狀記憶的分子設計和機理等基礎理論、測試

本書深入探討高性能齒輪精密數(shù)控加工基礎理論和方法、關鍵技術及制齒裝備。第1章介紹高性能齒輪數(shù)控加工技術、高性能齒輪數(shù)控加工裝備研究現(xiàn)狀及發(fā)展趨勢、面臨的機遇和挑戰(zhàn)。第2章介紹高性能齒輪精密修形計算理論。第3章介紹高性能齒輪加工原理誤差消減方法。第4章介紹數(shù)控制齒機床多源誤差建模方法及補償技術。第5章介紹精密數(shù)控制齒機床

本書為普通高等學校機械類和近機械類專業(yè)技術基礎課教材。全書共10章：第1～5章主要闡述互換性基本概念、尺寸精度、形狀和位置精度、表面粗糙度及測量技術基礎等機械零件的精度設計基礎知識；第6章和第7章主要闡述軸承、鍵、螺紋、圓錐、導軌和齒輪等典型零件的精度設計基礎知識；第8章主要闡述尺寸鏈的基本概念及計算；第9章簡單介紹計

本書針對高分子材料需要添加助劑以增加其功能性和高性能化的要求，設計和制備了系列高分子材料用助劑，系統(tǒng)研究了助劑結(jié)構性能和應用，獲得了良好阻燃、阻隔和力學等性能的功能化高分子復合材料。這為實現(xiàn)高分子材料功能化和高性能化的生產(chǎn)及其應用提供了理論指導與實踐基礎。

后摩爾時代將硅通孔（throughsiliconvia，TSV）技術等先進集成封裝技術作為重要發(fā)展方向。本書系統(tǒng)介紹作者團隊在TSV三維集成方面的研究工作，包括緒論、TSV工藝仿真、TSV工藝、TSV三維互連電學設計、三維集成微系統(tǒng)的熱管理方法、三維集成電學測試技術、TSV轉(zhuǎn)接板技術、TSV三維集成應用、發(fā)展趨勢。為了

本書對化學工業(yè)進行了概述；介紹了天然氣、石油、煤等化學原料的組成和初加工流程，硫酸、硝酸、燒堿、純堿、合成氨、尿素等典型無機化工產(chǎn)品的性質(zhì)、用途和生產(chǎn)工藝流程，以及二甲苯、乙烯、丙烯、丁二烯及主要衍生品等典型有機化工產(chǎn)品的性質(zhì)、用途和生產(chǎn)工藝流程；探討了綠色化學工藝、原子經(jīng)濟性的定義和實現(xiàn)綠色化學工藝的途徑與案例，以及

本書分為兩個主要部分：第一部分是設計引言，講述了鄉(xiāng)村別墅住宅的選址及場地分析、報建、常見別墅建筑風格、抗震與防火設計、庭院設計、施工要點等內(nèi)容；第二部分是近年來一些較為典型的案例分析，介紹了建筑的空間組織、材料運用，包含實景照片、設計圖紙、文字描述等，在分析設計手法的同時，也剖析了施工過程中遇到的難點及解決措施。本書適

本書基于流行穩(wěn)定版Flink1.13進行講解，從Flink數(shù)據(jù)處理思想開始講起，帶領讀者深入理解Flink的基本架構，進而由淺入深結(jié)合具體案例進行講解，詳細剖析了Flink中DataStreamAPI的使用，并對Flink中的時間語義、狀態(tài)、容錯機制等重要概念進行了詳盡的闡釋。同時，本書還對實際開發(fā)過程中常用的Flin

在數(shù)字化時代，公司的業(yè)務都高度依賴信息技術，研發(fā)效能已經(jīng)成為信息科技企業(yè)發(fā)展的核心競爭力。研發(fā)效能在國內(nèi)還處于快速探索期，還有一系列非常重要的概念需要澄清，方法和實踐需要整理，問題和困惑需要解答。本書試圖通過洞悉研發(fā)效能提升的底層邏輯，全方位、系統(tǒng)地介紹研發(fā)效能的全景。我們希望這本書是研發(fā)效能領域的百科全書，能夠涵蓋效

本教程詳細介紹了ZooKeeper+Dubbo3聯(lián)合開發(fā)時的高頻實戰(zhàn)技能，包含ZooKeeper的數(shù)據(jù)模型、Watch觀察者機制、服務器角色、領導選舉、ZAB協(xié)議、ZooKeeper架構、節(jié)點類型、ZooKeeper運用場景、搭建單機和主從環(huán)境、常用的Command命令、ACL授權、配額等高頻使用技術點。在Dubbo3

本書結(jié)合案例介紹了產(chǎn)品經(jīng)理需要用到的各種產(chǎn)品設計方法和思路，幫助讀者將從本書所學到的知識靈活地運用到自己的工作中。本書主要內(nèi)容包括產(chǎn)品原型設計過程中輸入、反饋、輸出等類型控件的使用方法，產(chǎn)品原型的設計方法，通用的產(chǎn)品功能設計方法，通用的產(chǎn)品邏輯，基礎系統(tǒng)產(chǎn)品的設計思路，通用的產(chǎn)品體系，通用的產(chǎn)品設計方法，通用的產(chǎn)品設計

本書全面系統(tǒng)地介紹中文版Maya2016的基本功能及實際運用，內(nèi)容包括Maya的建模、燈光、攝影機、材質(zhì)與紋理、渲染技術、動畫技術、動力學與特效等。本書主要針對零基礎讀者編寫，是入門級讀者快速、全面掌握Maya2016的實用參考書。 本書以課堂案例為主線，通過對各案例實際操作的講解，幫助讀者快速上手，熟悉軟件功能和動

本書以實際應用為寫作目的，圍繞Excel2016軟件展開介紹，內(nèi)容遵循由淺入深、從理論到實踐的原則進行講解。全書共10章，依次介紹了Excel報表的基本操作、數(shù)據(jù)的輸入與編輯、公式與函數(shù)的基本應用、公式與函數(shù)的高級應用、數(shù)據(jù)的分析與處理、數(shù)據(jù)的動態(tài)統(tǒng)計分析、數(shù)據(jù)的圖形化展示、VBA與宏的應用、Excel自動化報表、Ex