本書以明代開封城為研究對象，以《如夢錄》文獻為藍本，通過侯仁之工作法與西方康澤恩城市形態(tài)研究法相結(jié)合，運用GIS技術(shù)手段，復(fù)原出明代開封城的街道系統(tǒng)，官署、寺廟、學(xué)校、王府等主要建筑物，再現(xiàn)明代開封城的平面布局。本書的出版，能顯著推進開封城市歷史地理的研究步伐，同時也是中西方城市歷史地理方法論與新技術(shù)的應(yīng)用結(jié)合。

本書針對巖石崩塌重力地貌過程的力學(xué)描述及其減災(zāi)科技問題進行系統(tǒng)論理，其中危巖斷裂破裂理論、危巖破壞激振動力學(xué)、邊坡地貌演化危巖分析法、落石運動力學(xué)、危巖穩(wěn)定性分析方法等給出了巖石崩塌重力地貌過程完備的力學(xué)描述，實現(xiàn)了崩塌重力地貌全過程力學(xué)刻畫。著眼于巖石崩塌重力地貌過程控制的減災(zāi)需求，從巖石崩塌災(zāi)害常態(tài)治理、應(yīng)急防治、

本書對自由面復(fù)雜水流運動問題，采用帶源項的淺水方程和簡化Navier-Stokes方程進行模擬，建立淺水方程的高精度高分辨率非結(jié)構(gòu)化網(wǎng)格有限體積離散模型，以及三維Navier-Stokes方程的動壓結(jié)構(gòu)化分層網(wǎng)格的半隱式有限差分離散模型。

貴州茂蘭國家級自然保護區(qū)是典型的喀斯特石山生境保護區(qū)，是聯(lián)合國人與生物圈和自然遺產(chǎn)雙命名的保護區(qū)，具有很高的特殊性。本書以圖文并茂的形式，在開展保護區(qū)哺乳動物調(diào)查的基礎(chǔ)上，系統(tǒng)總結(jié)和介紹貴州茂蘭國家級自然保護區(qū)的哺乳動物資源情況，對了解喀斯特石山環(huán)境的哺乳動物的區(qū)系和分布有重要的幫助。

結(jié)構(gòu)證明論研究形式系統(tǒng)中證明的結(jié)構(gòu).本書介紹經(jīng)典邏輯和直覺主義邏輯的自然演繹和矢列演算,它們是結(jié)構(gòu)證明論的基礎(chǔ)理論.甘岑式矢列演算的基本定理是切割消除.運用證明論研究方法,通過分析證明的結(jié)構(gòu)可以得到一些邏輯性質(zhì),如子公式性質(zhì)、可判定性、插值性質(zhì)等等.本書還介紹了經(jīng)典模態(tài)命題邏輯以及一些代數(shù)邏輯的結(jié)構(gòu)證明論.

基于城市空間溢出理論，構(gòu)建了城鎮(zhèn)的"資源環(huán)境基礎(chǔ)"的概念，來研究城鎮(zhèn)為滿足自身生存和發(fā)展的需要，以直接、間接和誘發(fā)的形式對城鎮(zhèn)本身、及城鎮(zhèn)以外的土地、淡水和能源等資源環(huán)境要素的占用情況。并以陜西省為例，對古代關(guān)中地區(qū)的城市發(fā)展歷史，及新中國成立以來陜西省的城市化進程、資源環(huán)境基礎(chǔ)、城市化與資源環(huán)境的作用關(guān)系進行定量分析

本書介紹了高吸水性樹脂的的含義、分類及發(fā)展歷史；探討了高吸水性樹脂的結(jié)構(gòu)特點、主要性能、吸水機理等基礎(chǔ)理論；重點研究了合成高吸水性樹脂的反應(yīng)原理、不同種類高吸水性樹脂的合成方法、結(jié)構(gòu)表征及吸水率的測量方法及標(biāo)準(zhǔn)化條件；綜述了高吸水性樹脂作為土壤保水劑在農(nóng)業(yè)中的應(yīng)用，包括土壤保水劑的發(fā)展、特性、吸水機理和保水特水性能、在

在故障診斷中，粗糙集方法對新故障實例的泛化性能不僅與現(xiàn)有故障實例集上的經(jīng)驗風(fēng)險有關(guān)，而且與粗糙集方法自身的復(fù)雜度密切相關(guān)，常規(guī)粗糙集方法由于只關(guān)注前者，因此，通常情況下難以保證對新故障實例具有可靠的泛化性能。通過將機器學(xué)習(xí)領(lǐng)域中廣泛采用的控制機器學(xué)習(xí)方法泛化性能的基本理論--結(jié)構(gòu)風(fēng)險最小化原則引入到粗糙集方法中，提出了

本書總結(jié)了科技部科技基礎(chǔ)性工作專項"中國湖泊水質(zhì)、水量和生物資源調(diào)查"、"中國沼澤濕地資源及其主要生態(tài)環(huán)境效益綜合調(diào)查"、"中國湖泊沉積物底質(zhì)調(diào)查"以及國家"水專項"中"河流水環(huán)境綜合整治技術(shù)研究與綜合示范主題"魚類學(xué)方面的科研成果。由6章26節(jié)組成，涉及東北―內(nèi)蒙古高原地區(qū)的64片湖泊沼澤、21片河流沼澤和7片沼澤濕

本書在總結(jié)目前國內(nèi)外該研究方向發(fā)展現(xiàn)狀的基礎(chǔ)上，結(jié)合其他人工智能方法的先進思想和理論，以一種新的體系，系統(tǒng)、全面地介紹各種群智能算法的理論、計算方法及其應(yīng)用，更重要的是為群體智能算法的應(yīng)用提供新的思路和方法。本書第一部分系統(tǒng)論述群體智能的產(chǎn)生，基本方法以及最新的理論和應(yīng)用現(xiàn)狀。本書第二部分重點介紹進化計算中的遺傳算法，

全套叢書規(guī)劃為十卷本，每一卷獨立成冊，圍繞一個學(xué)科展開。在每冊中，每一個章一個主題，每一節(jié)一部科幻作品（主要為科幻影視和科幻小說），每一節(jié)大體上分為三部分："科幻作品簡介"、"科學(xué)內(nèi)容透析"、"科學(xué)奇聞異事"。兼顧科學(xué)性與趣味性。主要選題包括：航空航天卷、心理學(xué)卷、地學(xué)卷、海洋學(xué)卷、生物科學(xué)卷、人體科學(xué)卷、軍事科學(xué)卷、

本書基于語義知識庫，以語義語法學(xué)理論和"句法-語義"接口理論為指導(dǎo)，以"詞匯單位－角色轉(zhuǎn)化－范疇排序－句法實現(xiàn)－語用制約－語義變化"為思路，以現(xiàn)代漢語三種不同價類動詞的典型義場為研究群案，考察了詞匯單位的角色實現(xiàn)機制、角色范疇的排序機制、角色范疇的句法實現(xiàn)機制等。

從推拿學(xué)和人體解剖學(xué)的內(nèi)涵出發(fā)，將課程整體架構(gòu)分為總論、頭部、頸部、胸部、腹部、脊柱區(qū)、上肢和下肢八章。其中，總論包括緒論、適宜推拿治療的十四經(jīng)經(jīng)穴、經(jīng)外奇穴及推拿特定穴的解剖組織結(jié)構(gòu)等內(nèi)容，其余各章均包括各個分部的概述、局部解剖綱要、具體解剖結(jié)構(gòu)和解剖操作、推拿診斷與治療的解剖學(xué)要點等內(nèi)容。

本書主要涵蓋專家系統(tǒng)、模糊控制、神經(jīng)網(wǎng)絡(luò)、進化計算四個經(jīng)典的智能控制模塊，以及各常見的典型智能優(yōu)化算法的基本理論及計算機仿真實現(xiàn)、工程實現(xiàn)及其實際應(yīng)用等，各智能控制模塊都分別詳細闡述了其發(fā)展歷史、核心思想基本含義、算法的Matlab軟件仿真實現(xiàn)、半實物仿真試驗驗證、電力系統(tǒng)工程實際應(yīng)用研究等五個方面。編寫體例基本一致，

本書總結(jié)了作者團隊十余年在腦機交互范式及其原型系統(tǒng)研究上的成果。書中提出了P300超立方體編碼、序列運動想象范式、觸覺通道范式、移動目標(biāo)選擇范式等創(chuàng)新性腦機交互方式方法。這些方法解決了諸如運動想象模式拓展、視覺通道刺激優(yōu)化、復(fù)雜電磁環(huán)境腦機交互技術(shù)等目前領(lǐng)域內(nèi)難題，推動了腦機接口技術(shù)的實用化進程�；�于這些方法，成功實現(xiàn)

高溫氧化是高溫氧化領(lǐng)域中最重要且最基本的一種腐蝕方式。隨著現(xiàn)代科學(xué)技術(shù)的快速發(fā)展，對金屬材料高溫服役性能的要求也越來越高，不僅要有良好的機械性能，同時還要具有較高的抗高溫氧化能力。實際上金屬的高溫氧化是一極其復(fù)雜的過程，影響這一過程的因素很多，因此，迫切需要搞清材料高溫腐蝕的一些基本理論，尋找和探索新材料及防護措施，以

隨著我國公路建設(shè)和城市道路建設(shè)的快速發(fā)展，道路里程持續(xù)增加，我國道路工程已經(jīng)進入建、養(yǎng)并重時期，在持續(xù)進行新建道路工程建設(shè)的同時，道路工程的養(yǎng)護維修、道路使用品質(zhì)的評價、道路安全、道路景觀、道路工程材料的循環(huán)利用、新的道路設(shè)計方法等逐漸成為道路工程專業(yè)的核心內(nèi)容。為使研究生熟悉道路工程領(lǐng)域的發(fā)展方向，了解新的道路工程技

研究表明，非政府組織的存在，可以在一定程度上彌補市場失靈和政府失靈。在國外社會責(zé)任建設(shè)的過程中，非政府組織已經(jīng)發(fā)揮了重要作用。由于中國的現(xiàn)實情況與國外有較大差異，在中國經(jīng)濟和社會環(huán)境中，非政府組織是否依然能有效的影響企業(yè)社會責(zé)任行為，促進我國企業(yè)社會責(zé)任建設(shè)，還有待理論和實證的研究檢驗。國內(nèi)外的差異主要表現(xiàn)在：國外的非

本書是針對電氣工程及其自動化專業(yè)基礎(chǔ)課程教學(xué)需要編寫的教材，其內(nèi)容經(jīng)過精選，既保持了學(xué)科的完整性，又反映了該領(lǐng)域內(nèi)的最新技術(shù)成果，更注意適應(yīng)教學(xué)的需求。本書內(nèi)容包括功率半導(dǎo)體器件及其驅(qū)動與保護、可控整流與有源逆變、直流-直流變換（斬波）、直流-交流逆變電路、PWM逆變及整流、交流調(diào)壓與調(diào)功、交流-交流變頻、諧振軟開關(guān)技

本書主要從三個層面對西周金文字形書體展開研究。一是借用考古類型學(xué)“先分類、后斷代”基本原理，參照殷墟甲骨文分類分組的成功經(jīng)驗，對西周金文字形書體演變規(guī)律進行探索，試圖在理論方法上有所突破，提出“金文字體類型學(xué)”。二是結(jié)合商周金文字形書體自身特點，依據(jù)標(biāo)準(zhǔn)器銘的文字形態(tài)、書體特征，在字形上，重點選取一批在某個歷史階段出現(xiàn)