本書(shū)主要介紹Petri網(wǎng)的元展這一用于并發(fā)系統(tǒng)模型檢測(cè)的方法，利用元展檢測(cè)并發(fā)系統(tǒng)健壯性、兼容性與死鎖，并利用元展檢測(cè)能夠表達(dá)更多的并發(fā)系統(tǒng)設(shè)計(jì)需求的計(jì)算樹(shù)邏輯，同時(shí)還探討了健壯性、兼容性、死鎖等判定問(wèn)題的復(fù)雜度。全書(shū)共10章，具有嚴(yán)格的形式化定義、豐富的示例與圖文解釋、嚴(yán)謹(jǐn)?shù)亩ɡ砑捌渥C明，以及清晰的算法描述。

紋理信息是圖像的重要特征之一，而局部紋理模式是一類重要且有效的紋理特征提取方法，可以廣泛應(yīng)用于圖像識(shí)別與分類、目標(biāo)跟蹤、圖像檢索等實(shí)際工程任務(wù)，具有重要的科學(xué)意義和實(shí)用價(jià)值。本書(shū)重點(diǎn)研究局部紋理模式，并在此基礎(chǔ)上，提出一系列算法。

本套書(shū)旨在闡釋理解材料電子性質(zhì)所需要的基本概念和數(shù)學(xué)方法，全書(shū)分為上、下兩冊(cè)。本書(shū)為上冊(cè)，分三個(gè)部分：第一部分為材料科學(xué)與工程及材料性質(zhì)的簡(jiǎn)介；第二部分為物質(zhì)及其運(yùn)動(dòng)和材料中的物質(zhì)結(jié)構(gòu)，該部分說(shuō)明了更廣泛的關(guān)于物質(zhì)結(jié)構(gòu)的概念，是理解電子性質(zhì)的前提；第三部分為電子結(jié)構(gòu)的基本問(wèn)題和各種系統(tǒng)中的電子結(jié)構(gòu)，是理解材料中電子性質(zhì)

本書(shū)較為詳盡地介紹了作者及國(guó)內(nèi)外同行多年來(lái)在高層建筑火災(zāi)動(dòng)力學(xué)方面的研究成果，內(nèi)容主要包括高層建筑火災(zāi)危險(xiǎn)性及發(fā)展特性，高層建筑火災(zāi)的模型實(shí)驗(yàn)和數(shù)值模擬研究方法，煙囪效應(yīng)驅(qū)動(dòng)下樓梯間及相連空間火災(zāi)發(fā)展特性，湍流混合驅(qū)動(dòng)下豎向空間煙氣流動(dòng)特性，多開(kāi)口樓梯間內(nèi)中性面位置，外界風(fēng)對(duì)豎井相連空間火災(zāi)特性的影響，以及高層建筑外立

大規(guī)模多輸入多輸出（multiple-inputmultiple-output，MIMO）無(wú)線通信能夠顯著地提升系統(tǒng)頻譜和功率效率，是近年來(lái)無(wú)線移動(dòng)通信領(lǐng)域最為活躍的研究方向。本書(shū)系統(tǒng)討論大規(guī)模MIMO無(wú)線通信理論與技術(shù)，主要包括大規(guī)模MIMO信道模型、大規(guī)模MIMO信道狀態(tài)信息獲取、大規(guī)模MIMO上下行數(shù)據(jù)傳輸、大規(guī)

圍繞復(fù)雜地質(zhì)環(huán)境下高巖質(zhì)邊坡安全控制問(wèn)題，根據(jù)巖質(zhì)邊坡失穩(wěn)破壞模式，本書(shū)將坡體結(jié)構(gòu)劃分為碎裂結(jié)構(gòu)以及結(jié)構(gòu)面控制型。綜合運(yùn)用巖體力學(xué)、彈塑性力學(xué)、斷裂力學(xué)以及分形理論等多學(xué)科理論，遵循“地質(zhì)概化、理論建模、試驗(yàn)驗(yàn)證、數(shù)值模擬、工程應(yīng)用”的研究路線，依托我國(guó)露天礦、路塹以及庫(kù)區(qū)高陡邊坡工程，開(kāi)展復(fù)雜地質(zhì)環(huán)境下巖質(zhì)邊坡破壞機(jī)

SiC功率器件是電能變換的核心，是下一代電氣裝備的基礎(chǔ)，在消費(fèi)電子、智能電網(wǎng)、電氣化交通、國(guó)防軍工等領(lǐng)域，具有不可替代的作用。SiC功率器件的性能表征、封裝測(cè)試和系統(tǒng)集成，具有重要的研究?jī)r(jià)值和應(yīng)用前景。圍繞SiC功率器件的基礎(chǔ)研究和前沿應(yīng)用，本書(shū)系統(tǒng)介紹了SiC功率器件的研究現(xiàn)狀與發(fā)展趨勢(shì)，分析了器件的電-熱性能表征方

先驅(qū)體聚合物衍生陶瓷材料的研究已有四十余年的歷史，先驅(qū)體轉(zhuǎn)化技術(shù)已成為高性能陶瓷纖維及陶瓷基復(fù)合材料的主流制備技術(shù)。先驅(qū)體聚合物是先驅(qū)體轉(zhuǎn)化技術(shù)的源頭和根本，其中，聚碳硅烷是最早發(fā)展起來(lái)的碳化硅陶瓷先驅(qū)體，因碳化硅陶瓷纖維和碳化硅陶瓷基復(fù)合材料的重要應(yīng)用價(jià)值而受到重視，其合成、結(jié)構(gòu)與性能也受到國(guó)內(nèi)外科研工作者的廣泛關(guān)注

本書(shū)以改善嚴(yán)寒地區(qū)城市住區(qū)微氣候、提高住區(qū)環(huán)境的熱舒適性為目標(biāo)，為城市規(guī)劃、建筑設(shè)計(jì)及景觀設(shè)計(jì)提供科學(xué)依據(jù)。通過(guò)對(duì)嚴(yán)寒地區(qū)典型城市—哈爾濱的住區(qū)進(jìn)行現(xiàn)狀調(diào)查與實(shí)測(cè)，歸納梳理了嚴(yán)寒地區(qū)城市住區(qū)空間形態(tài)要素、建筑布局以及綠化與水體配置等特征，系統(tǒng)分析了住區(qū)街道形態(tài)與微氣候、住區(qū)建筑布局與微氣候、住區(qū)綠化配置與微氣候、住區(qū)水

本書(shū)是作者十余年在電液伺服系統(tǒng)研究上的總結(jié)。首先，介紹了電液伺服系統(tǒng)的組成、國(guó)內(nèi)外發(fā)展現(xiàn)狀、優(yōu)缺點(diǎn)等；接著，闡述了電液伺服關(guān)鍵基礎(chǔ)元件——電液伺服轉(zhuǎn)閥的設(shè)計(jì)，分析了電液伺服系統(tǒng)的組成，給出了液壓元件及典型系統(tǒng)的數(shù)學(xué)建模方法；然后，引入了MATLAB、AMESim和CFD等仿真工具，詮釋了典型電液伺服系統(tǒng)的仿真過(guò)程和結(jié)論