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

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

本書是系統(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)搜索策略。再次介紹在簡單、復(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)過程一般具有工藝流程長、加工時(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í)際問題中

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

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

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

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

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