隨著現(xiàn)代社會信息化程度的提高，與計算機相關(guān)的各種系統(tǒng)故障足以造成巨大的經(jīng)濟損失。機械化的定理證明能夠建立更為嚴(yán)格的正確性，從而奠定系統(tǒng)的高可信性。本書闡述機械化定理證明的邏輯基礎(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)的保護情況，進而全面掌握城鎮(zhèn)傳統(tǒng)資源保存現(xiàn)狀，提出具有現(xiàn)實意義的城

本書是為慶祝中華人民共和國成立70周年而精選的山西國保級古建筑研究綜述性論文合集，共30余篇。內(nèi)容涉及了山西唐、五代、宋遼金、明清各時期中**歷史、科學(xué)與藝術(shù)價值的國保級古建筑，對每一處古建筑的歷史沿革、研究綜述、保護大事記等方面進行總結(jié)梳理，其中許多論文均為原創(chuàng)性和首次發(fā)表，代表了目前山西省在古建筑保護與研究領(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)要素之一，因其蘊含著巨大價值，其重要性被提到了新的高度，但其理論體系尚未完全形成，全生命周期各個環(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)用案例進行

針對大尺寸鉬靶材制備難度大、致密度和晶粒尺寸的均勻性難以控制等技術(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)

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

本書共收錄古建筑研究領(lǐng)域的研究論文22篇，分為文物建筑研究、文化遺產(chǎn)保護、建筑考古三個板塊。其中文物建筑研究部分9篇，文化遺產(chǎn)保護部分10篇，建筑考古部分3篇。這些論文涉及古塔、木構(gòu)建筑、古建筑壁畫、建筑史考證、古建筑復(fù)原研究、古建筑預(yù)防性保護研究、古建筑修繕工程監(jiān)理，以及名人故居保護研究和古建筑的勘察等內(nèi)容，資料翔實