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

數(shù)系的擴(kuò)充始終貫穿于數(shù)學(xué)理論的發(fā)展之中. 本書利用交互式定理證明工具Coq,在Morse-Kelley公理化集合論形式化系統(tǒng)下, 給出中國(guó)科學(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)營(yíng)管理；生產(chǎn)運(yùn)行管理；智能化工制造系統(tǒng)；化學(xué)產(chǎn)品工程與分子系統(tǒng)工程；生態(tài)過程系統(tǒng)工程；化工安全；技術(shù)經(jīng)濟(jì)。這些名詞是全國(guó)各科研、教學(xué)、生產(chǎn)、經(jīng)營(yíng)以及新聞出版等部門應(yīng)遵照使用的化工規(guī)范名詞。

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

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

山西省考古研究院等在山西太原市晉源區(qū)晉源鎮(zhèn)西街村西的晉陽(yáng)古城進(jìn)行了數(shù)次發(fā)掘，收獲了大量的珍貴文物，以及具有建筑格局有明確紀(jì)年的墓葬，皆跟歷史上古代晉陽(yáng)城有關(guān)，對(duì)晉陽(yáng)城歷史研究具有重要的價(jià)值。此次將與晉陽(yáng)古城有關(guān)的建筑類文物匯集成冊(cè)，有很多墓葬附帶壁畫的，甚至是首次公布太山龍泉寺地宮出土的金銀棺等也都進(jìn)行了詳細(xì)展示，展示

本書分上下冊(cè)，是內(nèi)容分發(fā)網(wǎng)絡(luò)技術(shù)的專著，綜合了呂智慧副教授和他的團(tuán)隊(duì)19年來的研究成果。作者團(tuán)隊(duì)同時(shí)包括學(xué)術(shù)界和工業(yè)界專業(yè)人員。下冊(cè)展開CDN前沿專題技術(shù)闡述，包括面向新媒體的內(nèi)容分發(fā)技術(shù)專題、無線網(wǎng)絡(luò)內(nèi)容分發(fā)技術(shù)專題、動(dòng)態(tài)內(nèi)容加速技術(shù)、應(yīng)用加速技術(shù)、直播技術(shù)、CDN-P2P混合內(nèi)容分發(fā)技術(shù)專題、基于云架構(gòu)的內(nèi)容分發(fā)技

本書是一本適用于高等學(xué)校航空航天工程類專業(yè)本科生的教材，系統(tǒng)闡述了導(dǎo)彈制導(dǎo)控制系統(tǒng)設(shè)計(jì)理論和方法。全書共10章，主要內(nèi)容為導(dǎo)彈的基本概念、系統(tǒng)組成及制導(dǎo)控制技術(shù)的發(fā)展現(xiàn)狀，導(dǎo)彈的數(shù)學(xué)模型，制導(dǎo)系統(tǒng)的基本原理、自尋的制導(dǎo)系統(tǒng)、遙控制導(dǎo)系統(tǒng)、自主制導(dǎo)系統(tǒng)及各自對(duì)應(yīng)的制導(dǎo)律，導(dǎo)彈控制系統(tǒng)的基本原理、控制模型建立、控制特性分析

“中國(guó)軟件工程師調(diào)查”是清華大學(xué)社會(huì)科學(xué)學(xué)院中國(guó)社會(huì)調(diào)查與研究中心與清華大學(xué)社會(huì)學(xué)系的研究團(tuán)隊(duì)受中國(guó)科學(xué)技術(shù)協(xié)會(huì)組織人事部的委托，于2023年針對(duì)我國(guó)軟件行業(yè)相關(guān)從業(yè)者開展的研究課題，旨在深入了解我國(guó)軟件工程師的工作、生活與觀念，以期保障其勞動(dòng)權(quán)利，改善其生活條件。在調(diào)查的基礎(chǔ)上，本書對(duì)軟件工程師群體的工作情況、生活狀

本書以基于電網(wǎng)換相的電流源型直流輸電系統(tǒng)為對(duì)象，闡明了直流輸電系統(tǒng)換相失敗的演變過程和影響因素，以及直流輸電系統(tǒng)換相失敗與控制系統(tǒng)的關(guān)系，給出了直流輸電系統(tǒng)首次和后續(xù)換相失敗臨界電壓的計(jì)算方法以及預(yù)測(cè)方法、首次換相失敗的預(yù)防控制方法、基于自適應(yīng)啟動(dòng)電壓和基于逆變站故障安全域的后續(xù)換相失敗抑制方法、直流輸電系統(tǒng)換相失敗穿