本書共分6章，分別是緒論；命題邏輯、謂詞邏輯、集合論、代數(shù)系統(tǒng)和圖論。主要內(nèi)容離散量與離散數(shù)學、命題公式演算、命題邏輯的推理理論、歸結(jié)演繹推理、謂詞公式的解釋、謂詞公式演算、自然演繹推理、集合運算、集合計數(shù)等。

本教材初步分成四部分，第一部分多媒體信息隱藏，介紹圖像、音頻和視頻等多媒體格式中的典型信息隱藏方法。第二部分與第一部分相輔相成，針對第一部分中的經(jīng)典信息隱藏方法展開分析。第三部分是數(shù)字水印和數(shù)字指紋，主要針對版權(quán)保護、身份認證等實際應用，介紹目前比較流行的水印算法和指紋算法的實現(xiàn)過程。第四部分對應數(shù)字媒體取證技術，主要

本書內(nèi)容包括：生產(chǎn)運作管理基礎；生產(chǎn)運作系統(tǒng)的設計；生產(chǎn)運作系統(tǒng)的運行；生產(chǎn)運作系統(tǒng)的維護與改善；企業(yè)運營模擬實訓等。

本書系統(tǒng)介紹電磁環(huán)境對設備、材料及生物體等產(chǎn)生的效應、作用機理及防護方法等。

本書首先介紹了常見的平面光流計算方法：基于變分的光流計算方法、基于局部鄰域約束的光流計算方法、基于匹配的光流計算方法、基于能量的光流場計算方法、基于相位的光流場計算方法、基于張量的光流場計算方法等，其次，本書介紹了光流在無人機導航中的應用：基于直線光流場的飛行器姿態(tài)估計、基于稀疏光流場的地面特征提取技術、稀疏直線光流場

針對航天微推力器研制和開發(fā)中，對微推力和微沖量測量與誤差分析方法的迫切需求，在跟蹤、消化、吸收和總結(jié)國內(nèi)外相關研究成果基礎上，本書作者結(jié)合多年的科研和教學實踐經(jīng)驗，研究并提出了微推力和微沖量測量與誤差分析方法。

本書主要對船舶管路智能布局優(yōu)化設計問題進行研究，探索智能優(yōu)化算法在船舶管路布局中的應用。本書內(nèi)容如下：介紹相關概念和國內(nèi)外相關技術的研究現(xiàn)狀；介紹船舶管路智能布局優(yōu)化設計數(shù)學建模研究，包括布局空間環(huán)境模型、方向指導機制、約束條件和目標函數(shù)；介紹基于遺傳算法的船舶管路布局優(yōu)化設計；介紹基于蟻群優(yōu)化算法的船舶管路布局優(yōu)化設

本書共分4章，第1章討論了各種電池材料的合成及其物理化學性質(zhì)的測試和評價；第2章是多種動力電池的制作與電池的安全性和電化學性能等的研究與分析；第3章以動力電池的應用實例為主討論了電池和BMS及充放電部件之間的關系和控制等，也包括了對2008年北京奧運會核心區(qū)進行了24小時服務的五十輛公交車用電池能源系統(tǒng)運行情況的分析；

本書全面系統(tǒng)地講述了電動汽車電磁兼容的理論、方法及其應用。本書涉及的電磁兼容相關理論、數(shù)值計算方法是成熟的，仿真軟件也是工程上最常用的，其目的是幫助使用本書的讀者容易掌握書中的內(nèi)容，并能應用于工程實踐中。

本書作者在大量的工程實踐基礎上，針對嚴重危及隧道工程施工和運營安全的巖溶涌水、突泥等地質(zhì)災害問題，分析指出巖溶及地下水的準確預報或探測是解決問題的關鍵。在此基礎上，以隧道開挖揭露的巖溶形態(tài)和巖溶地下水為研究對象，深入開展巖溶含水介質(zhì)特性及其作用機理研究。通過現(xiàn)場監(jiān)測、理論分析和室內(nèi)模擬實驗等手段，將巖溶地下水動力學、水

本書主要介紹了煤矸石及格賓網(wǎng)材料的工程特性、煤矸石與格賓網(wǎng)界面摩擦特性、煤矸石動態(tài)淋溶對地下水的影響、煤矸石溶液在地下水系統(tǒng)中運移的數(shù)值模擬、加筋煤矸石堤邊坡穩(wěn)定性分析等。

本書是以雷曉燕教授為學科帶頭人帶領的課題組二十余年來關于軌道動力學理論與應用研究成果的系統(tǒng)總結(jié)。研究內(nèi)容屬現(xiàn)代鐵路軌道動力學理論中的前沿問題，涉及車輛－軌道耦合系統(tǒng)動力學理論、模型、算法與工程應用。

實行最嚴格水資源管理制度，是應對我國峻形勢保實行最嚴格水資源管理制度，是應對我國峻形勢保障經(jīng)濟社會可持續(xù)發(fā)展的重大舉措。當前，在流域?qū)用鎸嵭凶顕栏袼�資源管理制度面臨的主要技術問題是：（1）如何考慮不同的水文豐枯條件，將多年平均總量、效率與限制納污指標落實到具體的年度實施計劃并考慮季節(jié)變化的影響；2）如何優(yōu)化布置、加強監(jiān)

本書嘗試收集整理世界各海域畸形波發(fā)生的實例，盡量使用簡單的語言對畸形波的數(shù)值計算模型進行介紹，對畸形波的實驗室畸形波可控制物理生成方法和技術進行較為詳細的說明，同時提供實地島礁實驗室畸形波生產(chǎn)研究實例。

本書介紹了水電工程擾動區(qū)植被生態(tài)修復技術，主要闡述了水電工程施工對區(qū)域環(huán)境的影響及植被生態(tài)修復理論、植被生態(tài)修復技術研究進展等。書以以向家壩水電工程為研究對象，全面系統(tǒng)地介紹了水電工程擾動區(qū)植被生態(tài)修復的程序；立地條件調(diào)查、生態(tài)修復規(guī)劃、物種篩選與配置、生境構(gòu)筑模式及生態(tài)修復植被群落與土壤化學生物特征監(jiān)測與評價。

本書以廈漳泉城市群為典型案例，對其空間總體特征進行剖解，將焦點投向同城化和主體功能區(qū)實施影響下的城市群空間發(fā)展要素，探討這一背景下廈漳泉城市群空間重構(gòu)導向、模式及實現(xiàn)路徑，構(gòu)建科學合理的城市群空間格局。

本書內(nèi)容包括：RPC的制備原理及配比；RPC的靜力學性能；鋼纖維RPC的黏結(jié)機理；RPC的斷裂韜性及表征方法；RPC的尺寸效應；RPC的動態(tài)力學性能等。

本書較為系統(tǒng)地論述了巖溶的類型、發(fā)育的條件、作用、形態(tài)、規(guī)律及深巖溶等問題；介紹了巖溶地質(zhì)勘察技術及遇到的相關問題；論述了土洞、溶洞等的巖溶穩(wěn)定問題、巖溶地基承載力確定以及巖溶地基處理等方面內(nèi)容；分析了溶洞頂板和樁基作用，討論了不同模型下溶洞頂板安全厚度理論計算公式；研究了上部結(jié)構(gòu)、基礎、地基三者的共同作用。對巖溶地質(zhì)

本書系統(tǒng)研究了深部洞室分區(qū)破裂的產(chǎn)生條件與影響因素，建立了基于應變梯度的分區(qū)破裂力學模型和能量損傷破壞準則，發(fā)展了分區(qū)破裂數(shù)值分析方法，闡明了分區(qū)破裂的力學成因與破壞機制。提出了地下洞室初始地應力場反演方法，建立了大型地下廠房洞室群施工期圍巖力學參數(shù)的動態(tài)反演與分析方法。通過三維地質(zhì)力學模型試驗探索了超深埋碳酸鹽巖油藏

本書給出了根據(jù)最小耗能原理建立巖石破壞理論的技術路徑和方法，并在巖石可視為各向同性、線彈性且抗拉、壓強度不等材料的條件下具體導出了巖石的破壞準則。