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

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

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

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

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

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

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

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

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

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