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

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

本書在田野調(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)實意義的城

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

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

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

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

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

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

現(xiàn)代半導體技術和先進材料研發(fā)的進步，促進薄膜材料和制備技術快速發(fā)展，要求薄膜制備技術和薄膜結構有精細控制，需要了解表面與薄膜方面的基本物理知識。本書著重介紹表面與薄膜相關的基本概念、基本原理，幫助理解掌握薄膜技術的基本知識，為工作和科研打下良好基礎。本書內(nèi)容包括真空物理基礎、表面科學基礎、薄膜物理基礎、薄膜生長技術、薄