教材涵蓋軟件構(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ā)、軟件全

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

作為國家重點(diǎn)研發(fā)計(jì)劃“新型特種陶瓷材料制備關(guān)鍵技術(shù)”的突出成果之一，本書以基于機(jī)械合金化的SiBCN系非晶陶瓷為對(duì)象，在介紹SiBCN系非晶陶瓷制備方法、微觀組織結(jié)構(gòu)特征及力學(xué)、高溫抗氧化性能基礎(chǔ)上，從材料科學(xué)角度系統(tǒng)闡述了機(jī)械合金化的固態(tài)非晶化機(jī)理、等溫析出SiC晶相動(dòng)力學(xué)及高溫?zé)岱�(wěn)定性，高壓燒結(jié)制備完全非晶態(tài)SiB

這本書從磨損的基本概念到不同種類耐磨材料的制備及其性能與應(yīng)用進(jìn)行了系統(tǒng)詳細(xì)的介紹。首先通過對(duì)磨損基本概念和表征方法的深入討論，幫助讀者理解磨損現(xiàn)象及其影響因素；然后介紹了硬質(zhì)相的本征性質(zhì)以及界面特征的計(jì)算方法，通過對(duì)硬質(zhì)相力學(xué)、物理和化學(xué)性質(zhì)的詳細(xì)講解，可以有助于理解硬質(zhì)相如何增強(qiáng)金屬材料的硬度和耐磨性能；緊接著介紹了

本書介紹了異構(gòu)融合時(shí)代的操作系統(tǒng)——openEuler異構(gòu)融合操作系統(tǒng)的架構(gòu)和關(guān)鍵技術(shù)，以及openEuler異構(gòu)融合操作系統(tǒng)在行業(yè)應(yīng)用的實(shí)踐。全書共分為3篇：第1篇介紹openEuler異構(gòu)融合操作系統(tǒng)的起源，共分為3章，內(nèi)容包括體系結(jié)構(gòu)的發(fā)展史，異構(gòu)融合OS的獨(dú)特價(jià)值和挑戰(zhàn)以及openEuler異構(gòu)融合操作系統(tǒng)的架

本書結(jié)合機(jī)械強(qiáng)度學(xué)、機(jī)械設(shè)計(jì)學(xué)、固體力學(xué)與材料強(qiáng)度學(xué)等，從理論方法到試驗(yàn)技術(shù)等方面闡述多軸熱機(jī)疲勞理論與壽命預(yù)測方法。主要內(nèi)容包括：常溫多軸循環(huán)本構(gòu)關(guān)系基礎(chǔ)、常溫多軸低周疲勞理論、多軸熱機(jī)疲勞試驗(yàn)技術(shù)、多軸熱機(jī)疲勞損傷特性、多軸熱機(jī)循環(huán)本構(gòu)關(guān)系、多軸熱機(jī)損傷定量表征方法、多軸熱機(jī)疲勞損傷累積理論、多軸熱機(jī)疲勞壽命預(yù)測方

現(xiàn)代產(chǎn)品設(shè)計(jì)正在向集成化、智能化、自動(dòng)化方向發(fā)展，為此必須提高設(shè)計(jì)專家與計(jì)算機(jī)工具這一人機(jī)交互設(shè)計(jì)系統(tǒng)的智能水平，以設(shè)計(jì)理論為指導(dǎo)，結(jié)合數(shù)據(jù)分析技術(shù)，增強(qiáng)設(shè)計(jì)過程的知識(shí)表達(dá)與處理能力，提高了設(shè)計(jì)問題的求解效率，為機(jī)械創(chuàng)新性設(shè)計(jì)提供了新的動(dòng)力與源泉。本書從數(shù)據(jù)驅(qū)動(dòng)的設(shè)計(jì)依據(jù)、設(shè)計(jì)求解和設(shè)計(jì)驗(yàn)證角度研究產(chǎn)品全生命周期設(shè)計(jì)問

本書基于作者多年的科研經(jīng)歷和電子設(shè)備數(shù)字化系統(tǒng)開發(fā)經(jīng)驗(yàn)，結(jié)合典型電子設(shè)備工程案例，對(duì)數(shù)字孿生系統(tǒng)的相關(guān)技術(shù)進(jìn)行了較為全面的介紹，包括電子設(shè)備的研制特點(diǎn)及應(yīng)用的數(shù)字化技術(shù)，電子設(shè)備數(shù)字樣機(jī)的模型構(gòu)建方法，數(shù)字樣機(jī)的仿真流程與實(shí)現(xiàn)，數(shù)字孿生系統(tǒng)的建模理論與方法，數(shù)字孿生系統(tǒng)的構(gòu)建流程與方法，數(shù)字孿生系統(tǒng)在電子設(shè)備設(shè)計(jì)、制造

本書主要總結(jié)和介紹了PCB生產(chǎn)、測試、應(yīng)用過程中常見的缺陷、失效案例，以及PCB的可靠性測試及其失效的案例。全書共6章：分別介紹了PCB不同表面處理常見的缺陷、失效類型和分析案例；PCB內(nèi)部互連缺陷ICD的分析技術(shù)和案例；PCB板料測試的各種熱分析測試和案例；X射線與超聲波掃描顯微鏡在PCB無損檢測的應(yīng)用；PCB短路與

本教材是教育部根據(jù)《“十四五”國家戰(zhàn)略性新興產(chǎn)業(yè)發(fā)展規(guī)劃》的要求，重點(diǎn)在高端裝備制造等戰(zhàn)略性新興領(lǐng)域開展”十四五”高等教育教材體系建設(shè)工作的背景下組織編著的。面向高端裝備制造領(lǐng)域?qū)ρb備高性能、高可靠、長壽命發(fā)展方向的迫切需求，系統(tǒng)性地介紹了智能診斷與預(yù)測的基本原理、方法與案例，涵蓋了基于深度學(xué)習(xí)的智能診斷、遷移智能診斷