本書按照預(yù)備知識(shí)、基礎(chǔ)、進(jìn)階、一階模態(tài)邏輯共分為四個(gè)部分。第一部分為讀者準(zhǔn)備了集合論、命題邏輯和一階邏輯的基礎(chǔ)知識(shí)。第二、三部分分別介紹了命題模態(tài)邏輯的形式語義、公理系統(tǒng)、表列系統(tǒng)和模態(tài)語義，以及模態(tài)邏輯的不變性理論、可定義性理論及有窮模型理論。第四部分介紹了簡單一階模態(tài)邏輯和復(fù)雜一階模態(tài)邏輯。書中有大量的例子和練習(xí)，

鈉離子電池是繼鋰離子電池之后**應(yīng)用前景的二次電池技術(shù)之一，掌握鈉離子電池涉及的理論知識(shí)和關(guān)鍵科學(xué)問題對(duì)基礎(chǔ)研究和應(yīng)用推廣具有重要意義。本書介紹了鈉離子電池的發(fā)展歷史、工作原理、性能特點(diǎn)和基本概念，探討了正極材料、負(fù)極材料、液體電解質(zhì)、固體電解質(zhì)和非活性材料的制備方法、理化性質(zhì)及對(duì)鈉離子電池性能的影響，梳理了先進(jìn)表征技

作為范式的傳統(tǒng)標(biāo)簽，殖民研究是歐洲的，區(qū)域研究是美國的，地域研究是日本的，區(qū)域國別研究則是中國的。在全球?qū)W科發(fā)展脈絡(luò)的大背景下，本書探討了區(qū)域與國別的概念、區(qū)域研究的譜系，以及“區(qū)域與國別之間”的維度。結(jié)合東南亞研究與華僑華人研究，本書從學(xué)科方法論與個(gè)案專題研究兩大層面，系統(tǒng)考察了區(qū)域與國別究竟是為什么暨到底是什么等當(dāng)

本書的主要特色是將清代視為一個(gè)完整的生命演化周期，對(duì)這一時(shí)段內(nèi)華北平原社會(huì)生態(tài)系統(tǒng)人地關(guān)系的變化進(jìn)行完整復(fù)原，并基于對(duì)演化過程的定量描述，在時(shí)間序列上識(shí)別出不同的生命演化階段。同時(shí)，將氣候變化與水旱災(zāi)害作為關(guān)鍵參考變量引入社會(huì)生態(tài)系統(tǒng)演化過程，與糧食安全、人口遷徙、社會(huì)動(dòng)亂等不同方面建立聯(lián)系，分析其影響程度及時(shí)空差異，

《宋史研究論叢》是已故著名歷史學(xué)家漆俠先生創(chuàng)辦的教育部省屬高校人文社會(huì)科學(xué)重點(diǎn)研究基地——河北大學(xué)宋史研究中心主辦的一份學(xué)術(shù)論文集刊。本集刊注重學(xué)術(shù)研究中的“新材料、新方法、新觀點(diǎn)”，主要刊發(fā)宋史領(lǐng)域?qū)W術(shù)論文，兼及遼夏金元史。此為第27輯，收錄34篇學(xué)術(shù)專論，分為宋金元經(jīng)濟(jì)史研究、宋代政治史研究、宋代社會(huì)史研究、宋代社

本書通過對(duì)先秦文化典籍中的治水神話史料進(jìn)行分析與總結(jié)，以治水大法“洪范九疇”為主要研究對(duì)象，將治水神話、宗廟祭祀、宗法制度、文教之功、政教大法連綴起來探討上古時(shí)期洪水神話的學(xué)術(shù)主題，并對(duì)其進(jìn)行綜合性學(xué)術(shù)研究，重新審視治水神話背后的理性精神和神話與政治教化之間的關(guān)系，探討東西方文明的起源與洪水神話的關(guān)聯(lián)，論述上古時(shí)期人類

進(jìn)藏高速公路和鐵路橋梁沿線不僅自然環(huán)境條件惡劣，地質(zhì)構(gòu)造條件也十分復(fù)雜，災(zāi)害種類繁多，規(guī)模巨大，災(zāi)害線路密度大，發(fā)生頻次也高。本書結(jié)合川藏鐵路、川藏高速公路等國家重大在建或擬建工程，開展了橋梁結(jié)構(gòu)安全所面臨的災(zāi)害環(huán)境調(diào)查研究，詳細(xì)梳理了川藏公路沿線地形地貌特征，分析了川藏公路、鐵路沿線地質(zhì)災(zāi)害、地震、風(fēng)災(zāi)害等災(zāi)害的時(shí)空

本書基于多尺度變分漸近法(1)最大化選擇RSE的靈活性；(2)確定隨機(jī)RSE有效屬性的界限；(3)從RSE得到波紋板和編織復(fù)合材料梁板的等效剛度；(4)建立擴(kuò)展相對(duì)自由度的殼單元，分析薄壁RSE結(jié)構(gòu)。該方法既能夠考慮細(xì)觀結(jié)構(gòu)特征對(duì)宏觀性能的影響，又能夠在結(jié)構(gòu)分析中獲得宏觀應(yīng)力、應(yīng)變場(chǎng)的同時(shí)，獲得細(xì)觀應(yīng)力、應(yīng)變場(chǎng)，為復(fù)合

本書在高原山地人居環(huán)境，包括環(huán)高原湖泊人居環(huán)境分析研究基礎(chǔ)上，突破傳統(tǒng)城鄉(xiāng)規(guī)劃的研究方法，結(jié)合景觀格局指數(shù)分析等量化分析手段，系統(tǒng)研究高原山地人居環(huán)境的空間格局特征、**高原山地特性的垂直梯度特征。并提出適合高原山地的人居環(huán)境評(píng)價(jià)體系，以及適應(yīng)性的高原山地人居環(huán)境保護(hù)與建設(shè)策略。本書為特殊地域的人居環(huán)境建設(shè)提供了融合傳

本書提出決策學(xué)研究對(duì)象是社會(huì)主體的籌謀。其邏輯前提是社會(huì)主體目的，將決策者決策學(xué)升華為社會(huì)主體整體決策學(xué)。據(jù)此，本書修訂決策概念、重構(gòu)決策系統(tǒng)，引申決策主體和客體；推演決策內(nèi)容與形式，進(jìn)而修訂決策程序；通過矯正決策實(shí)施概念，歸納實(shí)施程序，發(fā)現(xiàn)“分協(xié)”的作用，發(fā)現(xiàn)目的籌謀存在“決策的決策”現(xiàn)象，引入廣義決策概念，凝練其過