本書主要介紹近幾年來作者在系統(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)�！禕R》物聯(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ù)還在不斷探索中�！禕R》本書以數(shù)據(jù)要素知識體系構(gòu)建和數(shù)據(jù)要素價值的發(fā)掘應(yīng)用為主線，從理論和行業(yè)案例兩個方面，對數(shù)據(jù)要素生命周期涉及的基礎(chǔ)理論、概念和方法及數(shù)據(jù)要素驅(qū)動業(yè)務(wù)發(fā)展行業(yè)應(yīng)用案例進(jìn)行

針對大尺寸鉬靶材制備難度大、致密度和晶粒尺寸的均勻性難以控制等技術(shù)難點，本書從鉬粉的制備和靶材的熱加工工藝入手，研究了原材料及還原工藝對鉬粉性能的影響和燒結(jié)鉬的熱變形行為，分析了變形溫度、應(yīng)變速率、變形量等對其動態(tài)再結(jié)晶和靜態(tài)再結(jié)晶的影響，確定了鉬靶材的制備工藝，實現(xiàn)了鉬靶材的微觀組織調(diào)控。本書還研究了鉬靶材的原始組織

輻射在半導(dǎo)體器件中電離產(chǎn)生電子-空穴對，長時間輻射劑量累積引起半導(dǎo)體器件電離輻射總劑量效應(yīng)。電離輻射總劑量效應(yīng)是輻射效應(yīng)中最常見的一種，會導(dǎo)致器件性能退化、閾值電壓漂移、遷移率下降、動態(tài)和靜態(tài)電流增加，甚至功能失效，因此在輻射環(huán)境中工作的半導(dǎo)體器件和電子系統(tǒng)必須考慮電離輻射總劑量效應(yīng)問題。本書主要介紹空間輻射環(huán)境與效應(yīng)