川西氣田雷口坡組四段氣藏是世界上第一個潮坪湘碳酸鹽巖大氣田，是繼普光氣田、元壩氣田之后，中石化在國內(nèi)開發(fā)的又一大型酸性氣田。在氣田開發(fā)過程中面臨了諸多新的技術(shù)挑戰(zhàn)，專家團(tuán)隊和技術(shù)人員突破傳統(tǒng)理論束縛與工程技術(shù)瓶頸，堅持地質(zhì)工程一體化，形成系列特色高效開發(fā)技術(shù)，實(shí)現(xiàn)了勘探開發(fā)的新突破，推進(jìn)了氣田的效益開發(fā)。本書緊緊圍繞潮

數(shù)系的擴(kuò)充始終貫穿于數(shù)學(xué)理論的發(fā)展之中. 本書利用交互式定理證明工具Coq,在Morse-Kelley公理化集合論形式化系統(tǒng)下, 給出中國科學(xué)與技術(shù)大學(xué)汪芳庭教授在其《數(shù)學(xué)基礎(chǔ)》中采用算術(shù)超濾分?jǐn)?shù)構(gòu)造實(shí)數(shù)的機(jī)器證明系統(tǒng),包括超濾空間與算術(shù)超濾的基本概念、超濾變換以及用算術(shù)超濾構(gòu)造算術(shù)模型的形式化實(shí)現(xiàn),構(gòu)建了非標(biāo)準(zhǔn)實(shí)數(shù)模

本書內(nèi)容包括：通論；物質(zhì)的基礎(chǔ)物性與分子模擬；過程模擬；過程綜合；過程系統(tǒng)優(yōu)化；信息基礎(chǔ)設(shè)施；企業(yè)經(jīng)營管理；生產(chǎn)運(yùn)行管理；智能化工制造系統(tǒng)；化學(xué)產(chǎn)品工程與分子系統(tǒng)工程；生態(tài)過程系統(tǒng)工程；化工安全；技術(shù)經(jīng)濟(jì)。這些名詞是全國各科研、教學(xué)、生產(chǎn)、經(jīng)營以及新聞出版等部門應(yīng)遵照使用的化工規(guī)范名詞。

本書首先進(jìn)行虛擬現(xiàn)實(shí)和增強(qiáng)現(xiàn)實(shí)簡介，接著以VR/AR智能建模為主線，第一部分介紹基于單張圖片的基于單張圖片的廣義柱形物體三維建模技術(shù)、基于單帳圖像的室內(nèi)場顥三維建模、基于正面圖片的三維人臉快速建模技術(shù)；第二部分闡述基于稀疏柔性傳感器的三維人體重建、三維模型格式轉(zhuǎn)換引擎技術(shù)；第三部分基于中軸變換建模方面，包括動態(tài)網(wǎng)格與稀

本教材以機(jī)器人運(yùn)動規(guī)劃為控制對象，系統(tǒng)的介紹了機(jī)器人控制技術(shù)中微體系結(jié)構(gòu)集成電路的設(shè)計與應(yīng)用知識，包含了國內(nèi)外領(lǐng)先性的技術(shù)理論和實(shí)踐案例，適用于電子信息本科和研究生的機(jī)器人控制和微電子制造領(lǐng)域擴(kuò)展知識和技能培養(yǎng)。主要包括以下部分內(nèi)容：機(jī)器人運(yùn)動學(xué)基礎(chǔ)、機(jī)器人感知系統(tǒng)、機(jī)器人運(yùn)動控制系統(tǒng)、微體系結(jié)構(gòu)集成電路設(shè)計、基于FP

多臂機(jī)序列決策: 策略、性能及應(yīng)用

數(shù)據(jù)是數(shù)智時代的關(guān)鍵生產(chǎn)要素，通過高效有序的跨域流通過程可以實(shí)現(xiàn)其價值釋放。本書圍繞跨域數(shù)據(jù)治理，提出數(shù)據(jù)驅(qū)動的社會化信息系統(tǒng)構(gòu)建理論，梳理總結(jié)形成數(shù)據(jù)資源體系、服務(wù)支撐體系和業(yè)務(wù)應(yīng)用體系的三層體系框架。在此基礎(chǔ)上，介紹跨域數(shù)據(jù)治理的三層體系框架中的關(guān)鍵技術(shù)突破，其中，數(shù)據(jù)資源體系著眼于實(shí)現(xiàn)以數(shù)據(jù)資源對象化為基礎(chǔ)的數(shù)據(jù)

多維不平衡與家庭資產(chǎn)配置--來自風(fēng)險金融資產(chǎn)投資的解釋

先進(jìn)計算光刻

SystemVerilog硬件設(shè)計