數(shù)系的擴充始終貫穿于數(shù)學理論的發(fā)展之中. 本書利用交互式定理證明工具Coq,在Morse-Kelley公理化集合論形式化系統(tǒng)下, 給出中國科學與技術(shù)大學汪芳庭教授在其《數(shù)學基礎(chǔ)》中采用算術(shù)超濾分數(shù)構(gòu)造實數(shù)的機器證明系統(tǒng),包括超濾空間與算術(shù)超濾的基本概念、超濾變換以及用算術(shù)超濾構(gòu)造算術(shù)模型的形式化實現(xiàn),構(gòu)建了非標準實數(shù)模
本書在闡明叢枝菌根基本理論、研究方法等方面知識的基礎(chǔ)上，重點介紹我們團隊20多年來荒漠植物叢枝菌根研究成果，包括我國荒漠植物資源和生態(tài)分布、荒漠植物叢枝菌根共生體特征和變化規(guī)律、叢枝菌根真菌群落組成和生態(tài)分布、叢枝菌根真菌生長發(fā)育條件、荒漠環(huán)境叢枝菌根生態(tài)適應(yīng)性、人工接種叢枝菌根真菌對荒漠植物生長和抗旱性的影響、叢枝菌
本書重點圍繞氣候變化與農(nóng)業(yè)物候關(guān)系研究，從地理學視角，首次較為系統(tǒng)地揭示了一定歷史觀測期內(nèi)中國九種作物（小麥、玉米、水稻、大豆、棉花、高粱、谷子、油菜、花生）的物候變化趨勢，明晰了作物物候?qū)﹃P(guān)鍵氣候因子變化的敏感性差異及其時空分異規(guī)律，量化區(qū)分了氣候變化和人為管理措施對作物物候變化的影響，系統(tǒng)評價了氣候變化和人為管理措
自己的觀點和一些新的見解。本書還根據(jù)官方公開發(fā)表的統(tǒng)計數(shù)據(jù)，估算了國家層面和分省份、分行業(yè)的資本存量歷史數(shù)據(jù)，初步構(gòu)建了我國資本存量的數(shù)據(jù)庫，并利用實際統(tǒng)計數(shù)據(jù)開展了資本存量數(shù)據(jù)應(yīng)用的研究，其中關(guān)于我國全要素生產(chǎn)率的測度以及各省全要素生產(chǎn)率的測度與比較研究具有重要的理論和現(xiàn)實意義。通過這些研究，不僅系統(tǒng)地總結(jié)了一套比較
該書主要介紹了超嗜熱微生物的系統(tǒng)分類及其極端生境，總結(jié)了所有超嗜熱微生物的生長代謝條件，并提出了從多種極端嗜熱環(huán)境中發(fā)現(xiàn)、分離、鑒定超嗜熱菌的基本程序；從細胞膜、核酸、蛋白質(zhì)等分子結(jié)構(gòu)上分析了超嗜熱微生物的高溫適應(yīng)機制，并歸納了超嗜熱酶的生化特征和催化功能，并探討了超嗜熱酶工程制備的方法及應(yīng)用前景；此外，該書還重點介紹
本書從地理信息科學視角出發(fā)，利用地理學思維和計算機技術(shù)，深入探討生態(tài)文明模式的調(diào)查、分類與應(yīng)用，為實現(xiàn)美麗中國的愿景提供理論和實踐支持。本書系統(tǒng)總結(jié)了國內(nèi)外生態(tài)文明模式調(diào)查的現(xiàn)狀、問題與發(fā)展趨勢，提出了美麗中國生態(tài)文明模式的概念與分類，設(shè)計了美麗中國生態(tài)文明模式調(diào)查與挖掘的創(chuàng)新思路與方法，闡述了中國生態(tài)文明模式數(shù)據(jù)庫建
《北方民族考古》是由中國人民大學北方民族考古研究所、中國人民大學歷史學院考古文博系主辦的集刊，迄今已出版十五輯。本輯內(nèi)容包括考古新發(fā)現(xiàn)、研究與探索、北域擷英、碑銘考釋四個欄目，收錄論文22篇，以中國北方地區(qū)的考古學探索為重心，也包括一些重要境外考古發(fā)現(xiàn)的個案研究，在一定程度上反映了學術(shù)界在北方民族考古研究方面的前沿動向
宏觀的、復雜的地理現(xiàn)象背后，存在簡單、根本、微觀的地理基本元素，這些微觀離散單元通過不同的結(jié)構(gòu)方式組合和聚集，涌現(xiàn)出我們觀察到的地理現(xiàn)象。因此，若需真正理解地理現(xiàn)象規(guī)律，必須探索微觀層面基本元素的組成、結(jié)構(gòu)特征和相互作用機制，進而理解宏觀現(xiàn)象的演化機制問題。隨著移動定位、無線通信等技術(shù)的快速發(fā)展，我們能夠獲得海量的可以
本書主要介紹船體結(jié)構(gòu)振動與噪聲控制方面的有關(guān)知識，包含結(jié)構(gòu)動力學基礎(chǔ)理論及背景知識的介紹。 本書按內(nèi)容可分為三大部分，第一部分為動力學基礎(chǔ)理論，該部分系統(tǒng)地介紹了線性系統(tǒng)的振動基本理論，第二部分為為動力學進階理論部分，分別介紹結(jié)構(gòu)波動學、結(jié)構(gòu)動塑性理論，第三部分為振動、噪聲控制和實踐應(yīng)用部分，對船體結(jié)構(gòu)振動與噪聲控制理
本書介紹X射線物理學基礎(chǔ)、X射線衍射方向和衍射強度、多晶體X射線衍射分析等基本理論知識，在此基礎(chǔ)上介紹當前科學研究中經(jīng)常使用的各種X射線技術(shù)，包括利用X射線衍射技術(shù)分析材料的物相、殘余應(yīng)力、晶粒尺寸、位錯密度、織構(gòu)等，以及利用X射線光電子能譜分析材料表面元素種類、含量。此外，本書還介紹了近年來基于電子計算機斷層掃描技術(shù)
