本書對化學(xué)工業(yè)進行了概述；介紹了天然氣、石油、煤等化學(xué)原料的組成和初加工流程，硫酸、硝酸、燒堿、純堿、合成氨、尿素等典型無機化工產(chǎn)品的性質(zhì)、用途和生產(chǎn)工藝流程，以及二甲苯、乙烯、丙烯、丁二烯及主要衍生品等典型有機化工產(chǎn)品的性質(zhì)、用途和生產(chǎn)工藝流程；探討了綠色化學(xué)工藝、原子經(jīng)濟性的定義和實現(xiàn)綠色化學(xué)工藝的途徑與案例，以及

后摩爾時代將硅通孔（throughsiliconvia，TSV）技術(shù)等先進集成封裝技術(shù)作為重要發(fā)展方向。本書系統(tǒng)介紹作者團隊在TSV三維集成方面的研究工作，包括緒論、TSV工藝仿真、TSV工藝、TSV三維互連電學(xué)設(shè)計、三維集成微系統(tǒng)的熱管理方法、三維集成電學(xué)測試技術(shù)、TSV轉(zhuǎn)接板技術(shù)、TSV三維集成應(yīng)用、發(fā)展趨勢。為了

本書針對高分子材料需要添加助劑以增加其功能性和高性能化的要求，設(shè)計和制備了系列高分子材料用助劑，系統(tǒng)研究了助劑結(jié)構(gòu)性能和應(yīng)用，獲得了良好阻燃、阻隔和力學(xué)等性能的功能化高分子復(fù)合材料。這為實現(xiàn)高分子材料功能化和高性能化的生產(chǎn)及其應(yīng)用提供了理論指導(dǎo)與實踐基礎(chǔ)。

本書為普通高等學(xué)校機械類和近機械類專業(yè)技術(shù)基礎(chǔ)課教材。全書共10章：第1～5章主要闡述互換性基本概念、尺寸精度、形狀和位置精度、表面粗糙度及測量技術(shù)基礎(chǔ)等機械零件的精度設(shè)計基礎(chǔ)知識；第6章和第7章主要闡述軸承、鍵、螺紋、圓錐、導(dǎo)軌和齒輪等典型零件的精度設(shè)計基礎(chǔ)知識；第8章主要闡述尺寸鏈的基本概念及計算；第9章簡單介紹計

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

本書針對醫(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)重要。此外，本書還介紹了文獻中已有的系統(tǒng)簽名的一些擴展，包括多狀態(tài)系統(tǒng)簽名、多類型系統(tǒng)簽名、概率簽名、耦合

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

隨著現(xiàn)代社會信息化程度的提高，與計算機相關(guān)的各種系統(tǒng)故障足以造成巨大的經(jīng)濟損失。機械化的定理證明能夠建立更為嚴格的正確性，從而奠定系統(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)實意義的城