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

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

在信息爆炸的時(shí)代，如何有效地組織與利用海量知識(shí)是一個(gè)亟待解決的問(wèn)題。知識(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)涵與功能。本書(shū)系統(tǒng)地介紹筆者在知識(shí)超圖理論、技術(shù)、平臺(tái)上的研究成果，包括知識(shí)圖譜的

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

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

"本書(shū)為國(guó)家在線精品課程《Java程序設(shè)計(jì)》配套教材，提供電子教案、課件、源代碼、習(xí)題及答案，課程平臺(tái)資源豐富，可供選擇該教材的學(xué)校選課使用，為教師授課和學(xué)生學(xué)習(xí)提供便利。 本書(shū)以通俗易懂的語(yǔ)言介紹Java開(kāi)發(fā)技術(shù)，全書(shū)共有十個(gè)模塊，包括Java開(kāi)發(fā)環(huán)境搭建、Java語(yǔ)言基礎(chǔ)、面向?qū)ο缶幊�、圖像用戶界面、線程、異常、

"隨著國(guó)家對(duì)應(yīng)用型本科和職業(yè)本科教育體系的調(diào)整，相關(guān)院校急需能夠與高層次技術(shù)技能人才培養(yǎng)目標(biāo)相銜接的理實(shí)一體化教材。本教材正是基于這一需求而編寫(xiě)的。在教學(xué)內(nèi)容的組織上，本教材強(qiáng)調(diào)知識(shí)結(jié)構(gòu)的完整性和深刻性；對(duì)于基礎(chǔ)理論和基本概念，進(jìn)行了高度的概括和明確的界定，旨在幫助學(xué)生形成相關(guān)程序設(shè)計(jì)語(yǔ)言的知識(shí)體系。在教學(xué)材料的選擇上

"本書(shū)以Python3為平臺(tái)，系統(tǒng)介紹了Python編程基礎(chǔ)知識(shí)及其應(yīng)用，包括搭建Python編程環(huán)境，基礎(chǔ)語(yǔ)法、流程控制語(yǔ)句、字符串、列表與元組、字典與集合、函數(shù)等應(yīng)用，文件操作，面向?qū)ο缶幊�，異常處理，模塊應(yīng)用方面的內(nèi)容。本書(shū)內(nèi)容從實(shí)際應(yīng)用出發(fā)，內(nèi)容深入淺出，每個(gè)知識(shí)點(diǎn)都配備案例進(jìn)行講解。在組織編排上符合職業(yè)教育教

"本書(shū)系統(tǒng)全面地介紹了基于MySQL的云數(shù)據(jù)庫(kù)應(yīng)用技術(shù)，以華為GaussDB(forMySQL)為實(shí)踐平臺(tái)展開(kāi)詳細(xì)講解。本書(shū)包括4篇：第一篇基礎(chǔ)理論,介紹了數(shù)據(jù)庫(kù)技術(shù)和數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)設(shè)計(jì)的基礎(chǔ)知識(shí)；第二篇云數(shù)據(jù)庫(kù)基礎(chǔ)實(shí)戰(zhàn)，包括云數(shù)據(jù)庫(kù)的環(huán)境構(gòu)建、數(shù)據(jù)庫(kù)表的基本操作、數(shù)據(jù)庫(kù)服務(wù)端和應(yīng)用程序開(kāi)發(fā)與測(cè)試；第三篇系統(tǒng)與運(yùn)維實(shí)戰(zhàn)

"本書(shū)注重實(shí)踐，強(qiáng)調(diào)實(shí)用性，并對(duì)ASP.NETCore框架的理論基礎(chǔ)進(jìn)行了簡(jiǎn)化。本書(shū)通過(guò)真實(shí)的學(xué)生檔案管理系統(tǒng)項(xiàng)目案例，詳細(xì)講解了.NETCore技術(shù)在實(shí)際項(xiàng)目中的應(yīng)用。全書(shū)共11章，系統(tǒng)、全面地介紹了.NETCore的基本概念和基礎(chǔ)知識(shí)、LINQ數(shù)據(jù)模型、EntityFrameworkCore數(shù)據(jù)模型、數(shù)據(jù)驗(yàn)證與注解