本書系統(tǒng)深入地研究了辛幾何理論、哈密頓動力學(xué)的公理化體系，并以四自由度串聯(lián)機器人為例，研究了基于哈密頓動力學(xué)系統(tǒng)的形式化分析與驗證方法的應(yīng)用，為機器人動力學(xué)的安全設(shè)計提供了形式化驗證理論和技術(shù)手段。全書主要內(nèi)容包括：哈密頓模型的幾何基礎(chǔ)——辛流形空間的形式化、哈密頓模型和拉格朗日模型的勒讓德映射關(guān)系的形式化、哈密頓方程

本書系統(tǒng)地介紹了氣體吸附分離工藝與工程所涉及的相關(guān)技術(shù)進(jìn)展，主要包括氣體吸附分離基礎(chǔ)、吸附分離的基本工藝過程、吸附分離裝置的主要設(shè)備、吸附分離裝置的控制系統(tǒng)及儀表、變壓吸附工藝及工程應(yīng)用、變溫吸附工藝與工程應(yīng)用、變壓吸附工藝與其他分離工藝的工程耦合、變壓吸附過程模擬計算、燃料電池用氫氣的制備與純化等內(nèi)容，全面闡述氣體吸

針對油田開發(fā)質(zhì)量評價，本書首先挖掘政策、學(xué)術(shù)、區(qū)域發(fā)展、企業(yè)實踐的高質(zhì)量內(nèi)涵和目標(biāo)及其對油田高質(zhì)量開發(fā)的啟示，結(jié)合油田自身開發(fā)特征和實際開發(fā)現(xiàn)狀，提出油田高質(zhì)量開發(fā)內(nèi)涵和目標(biāo)；其次匯集油企及其他相關(guān)類型企業(yè)的高質(zhì)量評價指標(biāo)，經(jīng)過指標(biāo)分類—指標(biāo)篩選與測驗—優(yōu)化完善等一系列環(huán)節(jié)，構(gòu)建出油田開發(fā)質(zhì)量評價指標(biāo)體系，并在對指標(biāo)賦

作為化學(xué)工程與能源行業(yè)的重要輔助設(shè)計工具，能源化工專業(yè)計算軟件已廣泛應(yīng)用于能源與化工領(lǐng)域的生產(chǎn)、科研與教學(xué)過程。本書主要對化工設(shè)備與工藝系統(tǒng)的計算流體動力學(xué)分析、顆粒流體力學(xué)模擬分析、顆粒力學(xué)分析、分子模擬分析、工藝單元設(shè)備及過程模擬分析、環(huán)境與安全分析和化工項目經(jīng)濟性分析管理常用軟件等進(jìn)行了集中匯總與計算案例介紹。各

伴隨移動互聯(lián)等新興技術(shù)的發(fā)展與應(yīng)用，以移動眾包為代表的交通感知方法愈加豐富，交通信息感知的粒度愈加精細(xì)，為城市交通協(xié)同管控能力提升與技術(shù)變革帶來了新機遇。本書面向眾包環(huán)境，對基于眾包數(shù)據(jù)的城市路網(wǎng)交通態(tài)勢感知與信號控制優(yōu)化的科學(xué)規(guī)律進(jìn)行了細(xì)致研究，沿著交通態(tài)勢感知和信號控制優(yōu)化兩條主線，系統(tǒng)探討了眾包軌跡重構(gòu)、溢流風(fēng)險

本書是一本關(guān)于金屬塑性變形多尺度模擬的學(xué)術(shù)專著，體現(xiàn)了該領(lǐng)域的**研究進(jìn)展。本書以金屬材料的塑性變形為主線，基于宏觀尺度、介觀尺度、微觀尺度、納觀尺度和原子尺度，采用多尺度模擬手段深入闡述了金屬塑性變形的物理本質(zhì)。本書多尺度模擬的內(nèi)容包括金屬塑性變形宏觀有限元模擬、金屬塑性變形晶體塑性有限元模擬、金屬塑性變形動態(tài)再結(jié)晶

本書系統(tǒng)研究了塔里木疊合盆地形成演化歷史，深入剖析了塔中隆起成藏主控因素與油氣分布規(guī)律；自主研發(fā)了大漠腹地WEFOX雙向聚集偏移精準(zhǔn)成像技術(shù)，實現(xiàn)了縫洞體量化雕刻與評價，創(chuàng)建了海相碳酸鹽巖疊合復(fù)合巖溶縫洞體模型；基于凝析氣藏油層物理、有機地化等大數(shù)據(jù)開展多學(xué)科、動靜態(tài)一體化研究，建立了早期成油、晚期氣侵的凝析氣藏模式，

本書為世界衛(wèi)生組織（WHO）煙草實驗室網(wǎng)絡(luò)（TobLabNet）成員編寫的標(biāo)準(zhǔn)操作規(guī)程（SOP）。包括卷煙深度抽吸、煙草制品成分和釋放物分析方法驗證、卷煙主流煙氣中煙草特有亞硝胺的測定、卷煙煙絲中煙堿的測定、卷煙主流煙氣中苯并[a]芘的測定、卷煙煙絲中保潤劑的測定、卷煙煙絲中氨的測定、卷煙主流煙氣中醛類化合物的測定、卷

本書主要講解ROS機器人操作系統(tǒng)的原理與應(yīng)用。全書共9章。第1～6章介紹ROS機器人操作系統(tǒng)的基本概念及操作、節(jié)點編程及開發(fā)、程序調(diào)試與可視化、ROS系統(tǒng)建模與可視化仿真，以及ROS系統(tǒng)的傳感器和執(zhí)行器。第7章講述ROS平臺下的移動機器人自主定位與地圖構(gòu)建。第8章講述移動機器人如何實現(xiàn)目標(biāo)點導(dǎo)航的問題。第9章以實體機器

本書介紹大氣壓介質(zhì)阻擋放電(DBD)表面改性的相關(guān)原理及其應(yīng)用。首先，介紹大氣壓介質(zhì)阻擋放電產(chǎn)生與診斷、放電模式，以及等離子體表面改性原理、方法及表征。其次，具體介紹大氣壓介質(zhì)阻擋放電表面改性引入官能團(tuán)、大氣壓介質(zhì)阻擋放電表面薄膜沉積這兩種改性方法。最后，從工業(yè)應(yīng)用的角度分別介紹大氣壓介質(zhì)阻擋放電在高壓絕緣領(lǐng)域、新能源