岑可法院士長(zhǎng)期從事能源高效清潔利用領(lǐng)域的教學(xué)和研究工作。本文集共分三篇，分別選錄了岑可法院士自20世紀(jì)60年代以來在各學(xué)術(shù)期刊公開發(fā)表的論文、出版的著作及學(xué)術(shù)報(bào)告的代表性作品。內(nèi)容涉及化石燃料的能源高效清潔利用、廢棄物能源化處置新技術(shù)、生物質(zhì)能利用技術(shù)、潔凈煤燃燒高效裂解及氣化技術(shù)、能源利用過程中多種污染物協(xié)同脫除技術(shù)

教材涵蓋軟件構(gòu)造安全等新技術(shù)、供應(yīng)鏈安全、智能化對(duì)軟件安全影響等新問題、軟件自動(dòng)修復(fù)、類型安全語言等新進(jìn)展。將正向逆向結(jié)合，突出逆向分析方法，從方法論上和漏洞機(jī)理的深度剖析上，引發(fā)學(xué)生深度思考，建立系統(tǒng)的軟件安全觀。針對(duì)漏洞分析、惡意代碼檢測(cè)等內(nèi)容，沿著從理論分析、實(shí)驗(yàn)驗(yàn)證到技術(shù)實(shí)現(xiàn)的主線展開；圍繞軟件安全開發(fā)、軟件全

本書重點(diǎn)圍繞邊緣計(jì)算中的資源調(diào)度機(jī)制，從資源管理、計(jì)算卸載策略以及服務(wù)部署方法等方面進(jìn)行研究，形成融調(diào)度框架、調(diào)度策略、卸載策略、部署策略于一體的較完備的邊緣計(jì)算服務(wù)資源調(diào)度內(nèi)容體系。首先，從服務(wù)請(qǐng)求的規(guī)范化管理和資源的隨機(jī)應(yīng)用調(diào)度兩方面提出資源管理方案，實(shí)現(xiàn)虛擬機(jī)資源的管理和預(yù)先調(diào)度，加強(qiáng)資源的動(dòng)態(tài)性以及自適應(yīng)性管理

本書主要圍繞在現(xiàn)代制造業(yè)中如何充分利用人工智能、物聯(lián)網(wǎng)、群體智能、先進(jìn)計(jì)算技術(shù)等，賦能賦智制造企業(yè)中人、機(jī)、物，以及如何構(gòu)建群智制造智慧空間等問題展開，以“機(jī)理-方法-系統(tǒng)-應(yīng)用”為主線組織內(nèi)容，針對(duì)現(xiàn)代制造場(chǎng)景下智慧空間增強(qiáng)構(gòu)建、群智控制分布優(yōu)化、群智制造協(xié)同共享等關(guān)鍵問題詳細(xì)闡述若干解決方案，并結(jié)合企業(yè)典型案例進(jìn)行

在《中華人民共和國(guó)國(guó)民經(jīng)濟(jì)和社會(huì)發(fā)展第十四個(gè)五年規(guī)劃和2035年遠(yuǎn)景目標(biāo)綱要》的政策指導(dǎo)下，本書聚焦新型儲(chǔ)能材料的介紹及性能表征，共5章，分別為儲(chǔ)能材料概述、儲(chǔ)電材料、儲(chǔ)熱材料、儲(chǔ)光材料、儲(chǔ)能材料表征與測(cè)試技術(shù)。

本書是分布式并行計(jì)算的算法設(shè)計(jì)和消息傳遞并行編程的入門教程。書中詳細(xì)介紹了包括MPI基礎(chǔ)知識(shí)、求解線性代數(shù)方程組的共軛梯度法的并行算法實(shí)現(xiàn)、并行程序的效率和可擴(kuò)展性、進(jìn)程組和通信器操作、求解三對(duì)角線性代數(shù)方程組的追趕法、求解偏微分方程的算法并行化方法等相關(guān)內(nèi)容；還分析了并行程序可擴(kuò)展性差的主要原因，為讀者提供了全面的并

本書主要討論微波電子學(xué)基本原理以及相對(duì)應(yīng)發(fā)展的器件工作機(jī)理和相關(guān)設(shè)計(jì)技術(shù)（包括速調(diào)管、行波管和回旋管），同時(shí)簡(jiǎn)要介紹器件向短毫米波和太赫茲頻段的發(fā)展情況。通過研究電子在直流電磁場(chǎng)作用下的產(chǎn)生、運(yùn)動(dòng)、成形、控制，以及其在真空中與部分特殊高頻電路（諧振腔、慢波和快波結(jié)構(gòu)等）中電磁場(chǎng)相互作用，將電子的直流能量轉(zhuǎn)換為微波能量（

本書是系統(tǒng)介紹群體機(jī)器人協(xié)同概念、方法、算法及應(yīng)用的綜合性專業(yè)書籍。首先介紹群體機(jī)器人協(xié)同的基本概念、特點(diǎn)及其發(fā)展歷程。其次詳細(xì)介紹群體機(jī)器人協(xié)同算法，尤其是群體機(jī)器人多目標(biāo)搜索問題，作者針對(duì)該問題提出多種高效的群體機(jī)器人多目標(biāo)搜索策略，包含基于規(guī)則的多目標(biāo)搜索策略和基于學(xué)習(xí)的多目標(biāo)搜索策略。再次介紹在簡(jiǎn)單、復(fù)雜、復(fù)合

隨著人工智能技術(shù)的發(fā)展，智能無人系統(tǒng)成為其中一個(gè)重要的研究領(lǐng)域。本書全面介紹智能無人系統(tǒng)的基本概念、主要類型、基礎(chǔ)理論、關(guān)鍵技術(shù)以及主要應(yīng)用。具體包括：智能無人系統(tǒng)的由來、智能無人系統(tǒng)感知、智能無人系統(tǒng)控制與決策、智能無人系統(tǒng)智能技術(shù)、空中智能無人系統(tǒng)、空間智能無人系統(tǒng)、地面智能無人系統(tǒng)、水中智能無人系統(tǒng)、醫(yī)用智能無人

復(fù)雜生產(chǎn)過程一般具有工藝流程長(zhǎng)、加工時(shí)間波動(dòng)大、物流結(jié)構(gòu)復(fù)雜等特點(diǎn)。本書重點(diǎn)考慮加工時(shí)間或運(yùn)輸時(shí)間不確定數(shù)據(jù)驅(qū)動(dòng)的分布式魯棒優(yōu)化調(diào)度問題的建模與求解方法，建立基于不同類型分布函數(shù)集或者機(jī)會(huì)約束的分布魯棒優(yōu)化模型，提出模型的等價(jià)轉(zhuǎn)化理論及多種智能求解方法。本書闡述的分布魯棒優(yōu)化模型與智能算法在鋼鐵生產(chǎn)與物流調(diào)度實(shí)際問題中