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

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

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

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

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

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

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

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

《光電信息專業(yè)實驗教程》是基于光電信息科學(xué)技術(shù)的發(fā)展和電子信息領(lǐng)域?qū)Ω咚刭|(zhì)應(yīng)用型人才的需求，依托光電信息科學(xué)與工程專業(yè)建設(shè)需要編寫的實驗課程教材。本書由兩大部分組成：第一部分為光電信息技術(shù)原理，包括激光原理、光通信原理和光電轉(zhuǎn)換原理，共有10個專業(yè)實驗項目；第二部分為光電信息技術(shù)應(yīng)用，包括光信息處理技術(shù)應(yīng)用、光電探測技

數(shù)據(jù)要素是新型生產(chǎn)要素之一，因其蘊(yùn)含著巨大價值，其重要性被提到了新的高度，但其理論體系尚未完全形成，全生命周期各個環(huán)節(jié)的理論和技術(shù)還在不斷探索中。《BR》本書以數(shù)據(jù)要素知識體系構(gòu)建和數(shù)據(jù)要素價值的發(fā)掘應(yīng)用為主線，從理論和行業(yè)案例兩個方面，對數(shù)據(jù)要素生命周期涉及的基礎(chǔ)理論、概念和方法及數(shù)據(jù)要素驅(qū)動業(yè)務(wù)發(fā)展行業(yè)應(yīng)用案例進(jìn)行