逆合成孔徑雷達(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ū)主編是美國(guó)著名腎臟病學(xué)專(zhuān)家。本書(shū)的特點(diǎn)是創(chuàng)新性地以病例和簡(jiǎn)潔問(wèn)答的形式進(jìn)行撰寫(xiě)，其內(nèi)容涵蓋了腎臟病學(xué)幾乎所有領(lǐng)域和常見(jiàn)的臨床情景。結(jié)合文獻(xiàn)復(fù)習(xí)、指南及臨床經(jīng)驗(yàn)對(duì)每個(gè)病例進(jìn)行了詳細(xì)的講解和剖析。近1000個(gè)問(wèn)題和詳細(xì)的答案及分析為從事腎臟病學(xué)領(lǐng)域的科研工作者、臨床醫(yī)師、規(guī)培醫(yī)師及醫(yī)學(xué)生提供了了解腎臟病的更好方式�！禕

本書(shū)聚焦黃河三角洲保護(hù)與持續(xù)利用等重大科技問(wèn)題，系統(tǒng)介紹了黃河三角洲生態(tài)農(nóng)牧場(chǎng)環(huán)境監(jiān)測(cè)關(guān)鍵技術(shù)與裝備，鹽堿地生態(tài)農(nóng)牧場(chǎng)、灘涂生態(tài)農(nóng)牧場(chǎng)、淺海生態(tài)牧場(chǎng)構(gòu)建原理、技術(shù)與模式，生態(tài)農(nóng)牧場(chǎng)特色生物資源產(chǎn)品開(kāi)發(fā)與應(yīng)用，以及生態(tài)農(nóng)牧場(chǎng)空間布局等。

隨著互聯(lián)網(wǎng)的迅速發(fā)展和變革，檔案社會(huì)化媒體已成為記錄人類(lèi)社會(huì)生活變遷的重要載體，并成為大數(shù)據(jù)時(shí)代的焦點(diǎn)。基于國(guó)內(nèi)外檔案社會(huì)化媒體信息現(xiàn)狀分析，研討大數(shù)據(jù)背景下檔案社會(huì)化媒體信息資源的整合，既是檔案信息化建設(shè)中的戰(zhàn)略性步驟，也是有效開(kāi)發(fā)與利用的必然選擇。本書(shū)主要研究了信息化條件下檔案社會(huì)化媒體信息資源的整合機(jī)制，包括對(duì)新

本書(shū)基于自然保護(hù)區(qū)居民可持續(xù)生計(jì)和生態(tài)保護(hù)的需求，通過(guò)理論分析和數(shù)學(xué)建模，構(gòu)建了自然保護(hù)區(qū)居民可持續(xù)生計(jì)的研究框架；利用文獻(xiàn)調(diào)研法，對(duì)生態(tài)保護(hù)和居民可持續(xù)生計(jì)的國(guó)內(nèi)外研究進(jìn)展和理論基礎(chǔ)進(jìn)行了系統(tǒng)歸納和梳理；運(yùn)用博弈分析法，進(jìn)行自然保護(hù)區(qū)生態(tài)保護(hù)與居民生計(jì)的博弈分析；以福建省不同類(lèi)型自然保護(hù)區(qū)為研究案例區(qū)，采用問(wèn)卷調(diào)查法

本書(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ū)是目前國(guó)內(nèi)第一本系統(tǒng)研究中國(guó)古代鑄錢(qián)工藝的專(zhuān)著。從錢(qián)幣的產(chǎn)生、范鑄工藝的應(yīng)用與傳承到鑄錢(qián)工藝自成體系的發(fā)展演進(jìn)，都有專(zhuān)業(yè)的、學(xué)術(shù)的論述與深入的研究。尤其是，本書(shū)深刻闡述了中國(guó)古代鑄錢(qián)工藝的演進(jìn)發(fā)展方向，即盡可能降低成本、提高效率，并就鑄錢(qián)領(lǐng)域的兩大技術(shù)發(fā)明——疊鑄和翻砂工藝作了專(zhuān)門(mén)的論證。此外，本書(shū)還首次將鑄錢(qián)工藝

本書(shū)對(duì)中國(guó)歷史貨幣進(jìn)行了提綱挈領(lǐng)的概括和介紹，對(duì)黃金貨幣、白銀貨幣、紙幣、古錢(qián)鑒定等進(jìn)行了分章闡釋。書(shū)中精選了代表性的中國(guó)錢(qián)幣博物館藏歷史貨幣實(shí)物，并配之以突出貨幣特質(zhì)的高清照片；吸收了**學(xué)術(shù)研究成果，對(duì)歷史貨幣進(jìn)行注解。