教材涵蓋軟件構(gòu)造安全等新技術(shù)、供應(yīng)鏈安全、智能化對軟件安全影響等新問題、軟件自動修復(fù)、類型安全語言等新進展。將正向逆向結(jié)合,突出逆向分析方法,從方法論上和漏洞機理的深度剖析上,引發(fā)學(xué)生深度思考,建立系統(tǒng)的軟件安全觀。針對漏洞分析、惡意代碼檢測等內(nèi)容,沿著從理論分析、實驗驗證到技術(shù)實現(xiàn)的主線展開;圍繞軟件安全開發(fā)、軟件全
本書是分布式并行計算的算法設(shè)計和消息傳遞并行編程的入門教程。書中詳細介紹了包括MPI基礎(chǔ)知識、求解線性代數(shù)方程組的共軛梯度法的并行算法實現(xiàn)、并行程序的效率和可擴展性、進程組和通信器操作、求解三對角線性代數(shù)方程組的追趕法、求解偏微分方程的算法并行化方法等相關(guān)內(nèi)容;還分析了并行程序可擴展性差的主要原因,為讀者提供了全面的并
在信息爆炸的時代,如何有效地組織與利用海量知識是一個亟待解決的問題。知識圖譜的出現(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)品使用維護面臨的重要挑戰(zhàn)之一,既會影響產(chǎn)品使用體驗,又會帶來維修保障需求。通過對退化數(shù)據(jù)進行建模分析,量化產(chǎn)品退化過程,掌握產(chǎn)品退化規(guī)律,可以更為準(zhǔn)確地評價產(chǎn)品可靠性水平。本書圍繞退化過程的建模分析,突出個體異質(zhì)性、動態(tài)環(huán)境作用、測量誤差影響等退化數(shù)據(jù)實際特點,采用維納過程進行退化建模與分析,提出了一系列維
"本書為國家在線精品課程《Java程序設(shè)計》配套教材,提供電子教案、課件、源代碼、習(xí)題及答案,課程平臺資源豐富,可供選擇該教材的學(xué)校選課使用,為教師授課和學(xué)生學(xué)習(xí)提供便利。 本書以通俗易懂的語言介紹Java開發(fā)技術(shù),全書共有十個模塊,包括Java開發(fā)環(huán)境搭建、Java語言基礎(chǔ)、面向?qū)ο缶幊獭D像用戶界面、線程、異常、
"隨著國家對應(yīng)用型本科和職業(yè)本科教育體系的調(diào)整,相關(guān)院校急需能夠與高層次技術(shù)技能人才培養(yǎng)目標(biāo)相銜接的理實一體化教材。本教材正是基于這一需求而編寫的。在教學(xué)內(nèi)容的組織上,本教材強調(diào)知識結(jié)構(gòu)的完整性和深刻性;對于基礎(chǔ)理論和基本概念,進行了高度的概括和明確的界定,旨在幫助學(xué)生形成相關(guān)程序設(shè)計語言的知識體系。在教學(xué)材料的選擇上
"本書以Python3為平臺,系統(tǒng)介紹了Python編程基礎(chǔ)知識及其應(yīng)用,包括搭建Python編程環(huán)境,基礎(chǔ)語法、流程控制語句、字符串、列表與元組、字典與集合、函數(shù)等應(yīng)用,文件操作,面向?qū)ο缶幊,異常處理,模塊應(yīng)用方面的內(nèi)容。本書內(nèi)容從實際應(yīng)用出發(fā),內(nèi)容深入淺出,每個知識點都配備案例進行講解。在組織編排上符合職業(yè)教育教
"本書系統(tǒng)全面地介紹了基于MySQL的云數(shù)據(jù)庫應(yīng)用技術(shù),以華為GaussDB(forMySQL)為實踐平臺展開詳細講解。本書包括4篇:第一篇基礎(chǔ)理論,介紹了數(shù)據(jù)庫技術(shù)和數(shù)據(jù)庫應(yīng)用系統(tǒng)設(shè)計的基礎(chǔ)知識;第二篇云數(shù)據(jù)庫基礎(chǔ)實戰(zhàn),包括云數(shù)據(jù)庫的環(huán)境構(gòu)建、數(shù)據(jù)庫表的基本操作、數(shù)據(jù)庫服務(wù)端和應(yīng)用程序開發(fā)與測試;第三篇系統(tǒng)與運維實戰(zhàn)
"本書注重實踐,強調(diào)實用性,并對ASP.NETCore框架的理論基礎(chǔ)進行了簡化。本書通過真實的學(xué)生檔案管理系統(tǒng)項目案例,詳細講解了.NETCore技術(shù)在實際項目中的應(yīng)用。全書共11章,系統(tǒng)、全面地介紹了.NETCore的基本概念和基礎(chǔ)知識、LINQ數(shù)據(jù)模型、EntityFrameworkCore數(shù)據(jù)模型、數(shù)據(jù)驗證與注解