數(shù)系的擴(kuò)充始終貫穿于數(shù)學(xué)理論的發(fā)展之中. 本書(shū)利用交互式定理證明工具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ù)模型, 自然包含標(biāo)準(zhǔn)實(shí)數(shù)模型, 并且給出濾子擴(kuò)張?jiān)瓌t和連續(xù)統(tǒng)假設(shè)蘊(yùn)含非主算術(shù)超濾存在的形式化驗(yàn)證. 在我們開(kāi)發(fā)的系統(tǒng)中, 全部定理無(wú)例外地給出Coq的機(jī)器證明代碼, 所有形式
2016年，國(guó)家重點(diǎn)研發(fā)計(jì)劃"煤礦深井建設(shè)與提升基礎(chǔ)理論及關(guān)鍵技術(shù)"獲批，項(xiàng)目緊緊圍繞深部煤礦建井模式及大變形災(zāi)害機(jī)理與控制、深井無(wú)煤柱自成巷采建井布局等關(guān)鍵科學(xué)問(wèn)題，在對(duì)國(guó)內(nèi)外研究現(xiàn)狀深入分析的基礎(chǔ)上，牢牢把握"深部"特色，進(jìn)一步梳理研究?jī)?nèi)容，明確研究亮點(diǎn)，以"深部非均壓建井模式"、"深部N00礦井建設(shè)模式"等原始創(chuàng)新為核心，系統(tǒng)開(kāi)展相關(guān)基礎(chǔ)理論、關(guān)鍵技術(shù)、配套裝備以及工程應(yīng)用研究，擬建立科學(xué)的深部礦井概念和分類方法，揭示建井工程災(zāi)害成因及其力學(xué)機(jī)理，提出深部礦建井大變形災(zāi)害控制對(duì)策，形成無(wú)煤
圖像融合技術(shù)可將多源圖像的互補(bǔ)特征進(jìn)行綜合，以得到更加完整和準(zhǔn)確的場(chǎng)景描述，從而彌補(bǔ)單一傳感器單幅圖像的不足，是一種廣泛應(yīng)用的圖像預(yù)處理技術(shù)，如多攝像頭拍照、微光夜視、醫(yī)學(xué)診斷、遙感等應(yīng)用領(lǐng)域。本書(shū)以多源圖像融合技術(shù)為主要內(nèi)容，在研究圖像尺度分析、遷移學(xué)習(xí)、深度學(xué)習(xí)算法與模型的基礎(chǔ)上，針對(duì)多聚焦圖像融合、多模態(tài)醫(yī)學(xué)圖像融合、紅外與可見(jiàn)光圖像、遙感圖像融合等方面開(kāi)展了深入研究，分別提出了具有針對(duì)性的融合方法，同時(shí)將一些新的技術(shù)和新方法引入到圖像融合領(lǐng)域。
全書(shū)內(nèi)容共分為6 章，內(nèi)容包括新體制下裝備試驗(yàn)的基本概念和發(fā)展趨勢(shì)、裝備試驗(yàn)設(shè)計(jì)與分析評(píng)估的流程，以及試驗(yàn)項(xiàng)目設(shè)計(jì)、試驗(yàn)樣本設(shè)計(jì)、試驗(yàn)數(shù)據(jù)分析、試驗(yàn)數(shù)據(jù)建模、試驗(yàn)結(jié)果評(píng)估等，每一章并提供典型案例。
為實(shí)現(xiàn)對(duì)多種分布式能源的聚合和集成化利用，本書(shū)引入虛擬電廠的基本概念，梳理了國(guó)內(nèi)外典型虛擬電廠的項(xiàng)目經(jīng)驗(yàn)，從虛擬電廠功能分析、優(yōu)化調(diào)度與市場(chǎng)交易三個(gè)維度展開(kāi)，在功能分析中，著重介紹虛擬電廠類型及對(duì)電力系統(tǒng)的影響，在優(yōu)化調(diào)度中，著重提出虛擬電廠多目標(biāo)調(diào)度模型、計(jì)及不確定性和碳排放的隨機(jī)調(diào)度模型，在市場(chǎng)交易中，分別開(kāi)展了虛擬電廠參與中長(zhǎng)期電力市場(chǎng)、日前市場(chǎng)及日內(nèi)-實(shí)時(shí)市場(chǎng)等交易優(yōu)化建模，并基于我國(guó)未開(kāi)展電力現(xiàn)貨市場(chǎng)運(yùn)行地區(qū)的實(shí)際情況，對(duì)虛擬電廠參與輔助服務(wù)市場(chǎng)交易進(jìn)行了建模分析。
本書(shū)從稀疏診斷的角度出發(fā)，針對(duì)現(xiàn)有特征辨識(shí)技術(shù)：匹配濾波策略和智能學(xué)習(xí)策略的不足，介紹了結(jié)構(gòu)化稀疏學(xué)習(xí)診斷理論的基本原理與核心的技術(shù)。通過(guò)從一維結(jié)構(gòu)化稀疏：加權(quán)協(xié)同稀疏結(jié)構(gòu)、非負(fù)有界稀疏結(jié)構(gòu)；過(guò)渡到二維結(jié)構(gòu)化稀疏：非局部協(xié)同稀疏結(jié)構(gòu)、自相似加權(quán)稀疏秩結(jié)構(gòu)、廣義稀疏協(xié)同結(jié)構(gòu)，建立一系列具體的結(jié)構(gòu)化稀疏學(xué)習(xí)診斷模型，實(shí)現(xiàn)了不同問(wèn)題的有效診斷。并結(jié)合風(fēng)電裝備特征辨識(shí)和航空發(fā)動(dòng)機(jī)齒輪轂裂紋診斷兩個(gè)案例證明所闡述的結(jié)構(gòu)稀疏診斷新理論的可行性。
本書(shū)針對(duì)高性能高分子材料的組成、結(jié)構(gòu)與性能特點(diǎn)，結(jié)合表征新設(shè)備和前沿性新技術(shù)和新方法，在傳承經(jīng)典理論及已有相關(guān)書(shū)籍的基礎(chǔ)上突出現(xiàn)代分析測(cè)試技術(shù)方法的特點(diǎn)，從高性能高分子材料的化學(xué)成分組成、結(jié)構(gòu)與性能方面，結(jié)合相關(guān)的分析測(cè)試儀器設(shè)備和典型的高性能塑料、纖維和橡膠材料表征方面的分析測(cè)試數(shù)據(jù)，分章節(jié)進(jìn)行逐條編著。
本書(shū)首先進(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)格與稀疏點(diǎn)云的中軸計(jì)算方法、剛體仿真中基于中軸變換的連續(xù)碰撞檢測(cè)、中軸驅(qū)動(dòng)的三維模型變形模擬及碰撞檢測(cè)方法。力求使讀者盡快掌握現(xiàn)有VR/AR相關(guān)核心智能建模技術(shù)。
本書(shū)為范維澄院士成果文集，范維澄院士主要研究方向?yàn)榛馂?zāi)動(dòng)力學(xué)演化與防治技術(shù)；包括公共安全科技中的監(jiān)測(cè)監(jiān)控、預(yù)測(cè)預(yù)警、人員疏散、應(yīng)急救援的理論與技術(shù)及其綜合集成 。本書(shū)主要收錄范維澄院士學(xué)術(shù)科研領(lǐng)域的相關(guān)研究。全書(shū)共15章，具體劃分兩個(gè)專題：火災(zāi)科學(xué)專題，公共安全專題。范維澄針對(duì)中國(guó)火災(zāi)形勢(shì)嚴(yán)峻和火災(zāi)研究薄弱的現(xiàn)狀，倡導(dǎo)工程熱物理與安全工程的交叉，開(kāi)創(chuàng)了火災(zāi)安全科學(xué)與工程的研究和教育這一重要工程科技領(lǐng)域。提出了創(chuàng)建火災(zāi)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室的整體構(gòu)思和設(shè)計(jì)方案，并主持建設(shè)，使之成為國(guó)際知名的知識(shí)創(chuàng)新
本書(shū)內(nèi)容包括：通論；物質(zhì)的基礎(chǔ)物性與分子模擬；過(guò)程模擬 ；過(guò)程綜合 ；過(guò)程系統(tǒng)優(yōu)化 ；信息基礎(chǔ)設(shè)施；企業(yè)經(jīng)營(yíng)管理；生產(chǎn)運(yùn)行管理；智能化工制造系統(tǒng)；化學(xué)產(chǎn)品工程與分子系統(tǒng)工程；生態(tài)過(guò)程系統(tǒng)工程；化工安全；技術(shù)經(jīng)濟(jì) 。這些名詞是全國(guó)各科研、教學(xué)、生產(chǎn)、經(jīng)營(yíng)以及新聞出版等部門(mén)應(yīng)遵照使用的化工規(guī)范名詞。
新書(shū)資訊 新書(shū)推薦