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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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