本書是分數(shù)階系統(tǒng)與高階邏輯形式化驗證的基礎(chǔ)理論研究著作。分數(shù)階系統(tǒng)是建立在分數(shù)階微積分方程理論上實際系統(tǒng)的數(shù)學(xué)模型。分數(shù)階微積分方程是擴展傳統(tǒng)微積分學(xué)的一種直接方式，即允許微積分方程中對函數(shù)的階次選擇分數(shù)，而不僅是現(xiàn)有的整數(shù)。分數(shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個新的數(shù)學(xué)工具，它的廣泛應(yīng)用也表明了實際系統(tǒng)動態(tài)過程本質(zhì)上是

光學(xué)影像三維重建是數(shù)字化還原真實世界的重要手段，廣泛應(yīng)用于城市規(guī)劃設(shè)計、虛擬現(xiàn)實、數(shù)字孿生等眾多領(lǐng)域，長期是攝影測量和計算視覺領(lǐng)域的研究熱點。本書系統(tǒng)地論述利用光學(xué)影像進行三維表面重建的理論與方法，從立體視覺和明暗恢復(fù)形狀兩個角度出發(fā)，重點介紹聯(lián)合幾何與輻射成像模型的三維表面重建、基于影像輻射模型的三維表面優(yōu)化和顧及結(jié)

本書從全國湖泊和典型湖泊兩個尺度，聚焦水資源、水環(huán)境和水生態(tài)科學(xué)，深入剖析和科學(xué)診斷湖泊生態(tài)環(huán)境狀況和發(fā)展趨勢，提出湖泊流域生態(tài)環(huán)境保護、治理、修復(fù)和管理的對策與建議，以期為國家相關(guān)政策制定和生態(tài)文明建設(shè)提供參考。

本書是以油畫的藝術(shù)形式展示自46億年前地球誕生的太古宙開始直至全新世各地史時期陸地植物景觀的畫冊。作為古植物學(xué)研究者的畫作者，希望能將科學(xué)和藝術(shù)結(jié)合，去展現(xiàn)那遙遠、寧靜、深邃的史前植物世界的斑斕景色。畫作主要依據(jù)我國各個地史時期豐富的化石資料，綜合古生物學(xué)家的重要典型研究成果，以油畫的形式復(fù)原了各地史時期陸地植物景觀3

《海岱考古》是山東省文物考古研究院主編的關(guān)于海岱地區(qū)考古學(xué)文化研究的集資料性與學(xué)術(shù)性為一體的系列考古學(xué)文集。此叢書集中發(fā)表了山東省文物調(diào)查和考古發(fā)掘的簡報與報告，有重點地刊載了本地區(qū)考古學(xué)研究的論文。

本書針對大規(guī)模水風(fēng)光互補系統(tǒng)的功率預(yù)報、調(diào)度運行及容量配置問題，系統(tǒng)介紹流域水風(fēng)光多能互補調(diào)度的理論和方法。從實時、短期、中長期及全生命周期等多時間尺度，提出適用于水風(fēng)光互補系統(tǒng)的成套技術(shù)和解決方案。主要內(nèi)容包括：水風(fēng)光互補系統(tǒng)功率聯(lián)合預(yù)報；水風(fēng)光互補系統(tǒng)短期經(jīng)濟運行；水風(fēng)光互補系統(tǒng)中長期聯(lián)合優(yōu)化調(diào)度；基于能源互補性的

本書根據(jù)編者多年來講授大學(xué)數(shù)學(xué)課程的講義編寫而成，分上、下兩冊。上冊內(nèi)容為函數(shù)極限與連續(xù)、一元函數(shù)的導(dǎo)數(shù)和微分、一元函數(shù)微分學(xué)的應(yīng)用、一元函數(shù)的積分學(xué)、定積分的應(yīng)用、微分方程、常數(shù)項級數(shù)，共七章；下冊內(nèi)容為行列式、矩陣及其運算、矩陣的初等變換與線性方程組、向量組的線性相關(guān)性、方陣的特征值與對角化、概率論的基本概念、隨機

本書重點圍繞新疆地區(qū)的氣候變化特點及其風(fēng)險、影響與脆弱性、適應(yīng)與減緩進行全方位、系統(tǒng)性評估，突出新疆地區(qū)氣候變化及其影響的區(qū)域性、獨特性，認識氣候變化對新疆可持續(xù)發(fā)展帶來的機遇與挑戰(zhàn)。本書客觀全面反映新疆氣候變化研究方面取得的**成果，系統(tǒng)分析與綜合評估氣候變化對新疆可持續(xù)發(fā)展影響的關(guān)鍵科學(xué)問題，凝練出具有前瞻性和戰(zhàn)略

本書由美國內(nèi)華達大學(xué)醫(yī)學(xué)院奧文茨博士聯(lián)合39位知名的結(jié)直腸外科專家共同執(zhí)筆，全面系統(tǒng)地闡述了達芬奇機器人Xi平臺在右半結(jié)腸切除術(shù)、左半結(jié)腸切除術(shù)、全結(jié)腸切除術(shù)、腹會陰聯(lián)合切除術(shù)等術(shù)式中的操作要點和技巧，系統(tǒng)介紹了經(jīng)肛門全直腸系膜切除術(shù)（TaTME）等前沿技術(shù)的操作步驟。書中既詳細解析了機器人手術(shù)系統(tǒng)在各種術(shù)式中的操作流

本書針對三峽工程建設(shè)和運行對三峽水庫、長江中下游干流、洞庭湖和鄱陽湖水生態(tài)環(huán)境的影響，分析不同影響區(qū)水文水質(zhì)演變趨勢及其與三峽工程建設(shè)和運行的影響關(guān)系；揭示三峽水庫支流富營養(yǎng)化及水華發(fā)生、長江中下游干流“四大家魚”產(chǎn)卵繁殖、洞庭湖和鄱陽湖濕地演變、越冬候鳥種類及棲息地等變化趨勢，及其與三峽工程建設(shè)運行和中小洪水調(diào)度的響

本書聚焦防洪調(diào)度的眾多問題，構(gòu)建不同典型洪水分類匹配準則，提出基于洪水分類的差異化攔蓄方式，形成洪水分類匹配準則及調(diào)度策略導(dǎo)則庫，并提出面向防洪保護對象的水庫群優(yōu)化防洪調(diào)度方式，完善長江中游水庫群配合三峽水庫的聯(lián)合防洪調(diào)度方案。本書在構(gòu)建水庫群汛期運行水位動態(tài)控制方法的基礎(chǔ)上，提出主汛期和汛期末段溪洛渡、向家壩配合三峽

海洋環(huán)境再分析是利用數(shù)據(jù)同化技術(shù)將海洋歷史觀測資料與動力模式相結(jié)合，再現(xiàn)過去海洋狀態(tài)場的時空連續(xù)變化，是國際業(yè)務(wù)化海洋學(xué)的前沿領(lǐng)域。本書綜合分析國內(nèi)外海洋環(huán)境再分析的研究進展，對全球海洋環(huán)境再分析中海洋觀測資料、動力模式、數(shù)據(jù)同化、系統(tǒng)綜合集成、產(chǎn)品制作、檢驗評估、解釋應(yīng)用、可視化等關(guān)鍵技術(shù)進行詳細介紹，為我國海洋環(huán)境

本書以四川盆地龍馬溪組頁巖氣藏為研究對象，采用試驗、理論和數(shù)值分析方法等，從微納尺度、巖心尺度及工程尺度等全面論述了頁巖氣微觀運移、介質(zhì)孔隙中滲流模型和水力裂縫分叉擴展效應(yīng)等內(nèi)容。本書共7章，對有機質(zhì)分子吸附機理、雙重介質(zhì)滲流數(shù)學(xué)模型、儲層SRV區(qū)域滲流數(shù)學(xué)模型、真三軸水力壓裂試驗及多裂縫壓裂數(shù)值模擬等方面進行了研究。

云陽舊縣坪遺址位于云陽縣城西南15千米的雙江鎮(zhèn)，面積約100萬平方米。發(fā)現(xiàn)有夯土城墻、城門、道路、建筑、衙署、排水溝渠等城市基礎(chǔ)設(shè)施以及冶鑄作坊、制陶區(qū)等生產(chǎn)遺跡，出土墨書木牘、印章、封泥等大量遺物，其中“漢巴郡朐忍令景云碑”最為有名。該遺址被確認為漢朐忍縣故址。

從事超聲檢查工作的醫(yī)師必須要正確掌握基本超聲檢查方法、掃查技術(shù)和技巧。本書分13章，主要介紹了掌握超聲檢查技術(shù)之前須知、頸部動脈超聲檢查、甲狀腺超聲檢查、乳房超聲檢查、上腹部超聲檢查要點、膽囊超聲檢查、肝臟超聲檢查、胰腺超聲檢查、脾臟超聲檢查等。既有影像圖，又有解剖圖，實用性強，操作簡單，非常適合從事臨床超聲工作的專業(yè)

大數(shù)據(jù)技術(shù)的創(chuàng)新為構(gòu)建交易平臺，打破時空限制，實現(xiàn)市場大范圍的非面對面交易提供了基礎(chǔ)條件，破解建設(shè)統(tǒng)一市場面臨的信息傳遞難題。在此基礎(chǔ)上，高效的物流市場建設(shè)還需要解決交易中面臨的信息不對稱問題，而滿足說真話約束的交易機制設(shè)計是解決這類問題的交易成本比較低的交易方式。本書針對物流市場大量存在的信息不對稱交易問題和較大規(guī)模

本書系統(tǒng)地介紹了國內(nèi)外有關(guān)金屬鈾氫化腐蝕的研究概況與前沿進展，主要內(nèi)容包括：金屬鈾氫化腐蝕概述、金屬鈾氫化腐蝕的物理基礎(chǔ)、鈾氫化反應(yīng)熱力學(xué)和動力學(xué)行為、鈾表面氧化層和材料學(xué)因素對氫化腐蝕的影響，及相關(guān)的理論分析等內(nèi)容。內(nèi)容覆蓋了對金屬鈾氫化腐鈾有顯著影響的各因素，也包含了對國內(nèi)外本領(lǐng)域工作的**進展介紹。

本書從電解錳渣來源、性質(zhì)及危害出發(fā)，分析了國內(nèi)外電解錳渣無害化處理和資源化利用技術(shù)現(xiàn)狀，介紹了電解錳渣堆存過程中錳和氨氮的遷移轉(zhuǎn)化規(guī)律，闡明了電動力修復(fù)電解錳渣中錳和氨氮機理，揭示了磷鎂基、鈣基堿性物料和碳酸鹽穩(wěn)定固化電解錳渣機理，形成了電解錳渣無害化和穩(wěn)定化技術(shù)。

鳶烏賊是我國南海的重要經(jīng)濟頭足類之一，是燈光罩網(wǎng)漁船的主要捕撈對象。開展鳶烏賊漁業(yè)生物學(xué)的基礎(chǔ)研究，有助于該資源的可持續(xù)開發(fā)和科學(xué)管理。本書共6章：第1章為緒論，對鳶烏賊漁業(yè)生物學(xué)研究現(xiàn)狀進行了總結(jié)；第2章為南海鳶烏賊角質(zhì)顎外部形態(tài)變化特性及其與個體關(guān)系；第3章為南海鳶烏賊角質(zhì)顎微結(jié)構(gòu)與微量元素分析；第4章為南海鳶烏賊

在新時代鄉(xiāng)村振興背景下，鄉(xiāng)村旅游發(fā)展是推動美麗鄉(xiāng)村建設(shè)的重要抓手，是促進農(nóng)村現(xiàn)代化的重要手段；美麗鄉(xiāng)村建設(shè)能夠助力鄉(xiāng)村旅游全面發(fā)展與轉(zhuǎn)型升級，更好地滿足消費者需求。二者具有先天性的內(nèi)在聯(lián)系。但在理論與實踐中，當前對二者相互關(guān)系的認識還處于探索階段。本書從鄉(xiāng)村旅游發(fā)展與美麗鄉(xiāng)村建設(shè)角度對鄉(xiāng)村振興戰(zhàn)略行動的響應(yīng)，相互內(nèi)在聯(lián)