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

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

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

隨著人工智能技術(shù)的發(fā)展，智能無人系統(tǒng)成為其中一個重要的研究領(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)過程一般具有工藝流程長、加工時間波動大、物流結(jié)構(gòu)復(fù)雜等特點。本書重點考慮加工時間或運輸時間不確定數(shù)據(jù)驅(qū)動的分布式魯棒優(yōu)化調(diào)度問題的建模與求解方法，建立基于不同類型分布函數(shù)集或者機會約束的分布魯棒優(yōu)化模型，提出模型的等價轉(zhuǎn)化理論及多種智能求解方法。本書闡述的分布魯棒優(yōu)化模型與智能算法在鋼鐵生產(chǎn)與物流調(diào)度實際問題中

在信息爆炸的時代，如何有效地組織與利用海量知識是一個亟待解決的問題。知識圖譜的出現(xiàn)為知識的表示、存儲、推理和應(yīng)用提供了一種新范式，而知識超圖是知識圖譜的拓展，融合了層次化表示、超邊結(jié)構(gòu)、時間節(jié)點、事理節(jié)點等概念，可以顯著地擴充知識圖譜的內(nèi)涵與功能。本書系統(tǒng)地介紹筆者在知識超圖理論、技術(shù)、平臺上的研究成果，包括知識圖譜的

本書全面闡述機器視覺基礎(chǔ)理論和廣泛應(yīng)用，系統(tǒng)性地涵蓋了機器視覺基本原理、關(guān)鍵概念和應(yīng)用方法，為初學(xué)者和專業(yè)人士提供了豐富的知識。本書主要內(nèi)容包括圖像處理基礎(chǔ)、機器學(xué)習(xí)和深度學(xué)習(xí)在視覺中的應(yīng)用、幾何視覺和3D點云處理，為深入理解機器視覺打下基礎(chǔ)。此外，本書探討了機器視覺在工業(yè)和醫(yī)療等領(lǐng)域的應(yīng)用，旨在將理論知識應(yīng)用于實際項

人工智能是新一輪科技革命和產(chǎn)業(yè)變革的重要驅(qū)動力，是新質(zhì)生產(chǎn)力的突出代表。融合了人工智能等新興技術(shù)的數(shù)字經(jīng)濟已成為引領(lǐng)經(jīng)濟社會發(fā)展的重要力量。本書梳理了陳曉紅院士團隊近年來在人工智能與數(shù)字經(jīng)濟領(lǐng)域的部分學(xué)術(shù)論文與理論文章，由理論研究、技術(shù)創(chuàng)新、經(jīng)濟發(fā)展、社會治理四篇組成，包括數(shù)字經(jīng)濟理論體系、兩型工程管理理論與實踐體系、

性能退化是產(chǎn)品使用維護面臨的重要挑戰(zhàn)之一，既會影響產(chǎn)品使用體驗，又會帶來維修保障需求。通過對退化數(shù)據(jù)進行建模分析，量化產(chǎn)品退化過程，掌握產(chǎn)品退化規(guī)律，可以更為準(zhǔn)確地評價產(chǎn)品可靠性水平。本書圍繞退化過程的建模分析，突出個體異質(zhì)性、動態(tài)環(huán)境作用、測量誤差影響等退化數(shù)據(jù)實際特點，采用維納過程進行退化建模與分析，提出了一系列維

本書詳細(xì)闡述了深海智能探測與自主采樣機器人的兩層分離式主體結(jié)構(gòu)總體設(shè)計、關(guān)鍵配套部件及應(yīng)用系統(tǒng)的創(chuàng)新設(shè)計。本書建立了海底熱液異常源信息智能搜索的強化學(xué)習(xí)模型，提出了機器學(xué)習(xí)系列高效求解算法，提高了深海探測與采樣機器人的搜索效率與準(zhǔn)確性；建立了深海探測與采樣機器人實時跟蹤控制的強化學(xué)習(xí)模型，提出了深度學(xué)習(xí)系列高效求解方法