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

本書重點(diǎn)圍繞邊緣計(jì)算中的資源調(diào)度機(jī)制，從資源管理、計(jì)算卸載策略以及服務(wù)部署方法等方面進(jìn)行研究，形成融調(diào)度框架、調(diào)度策略、卸載策略、部署策略于一體的較完備的邊緣計(jì)算服務(wù)資源調(diào)度內(nèi)容體系。首先，從服務(wù)請求的規(guī)范化管理和資源的隨機(jī)應(yīng)用調(diào)度兩方面提出資源管理方案，實(shí)現(xiàn)虛擬機(jī)資源的管理和預(yù)先調(diào)度，加強(qiáng)資源的動(dòng)態(tài)性以及自適應(yīng)性管理

“小溪（鄞江）”問題曾是寧波古代城市發(fā)展史上最為著名也最為復(fù)雜的歷史公案。根據(jù)南宋以來部分志書記載，宋時(shí)小溪鎮(zhèn)（今寧波市海曙區(qū)鄞江鎮(zhèn)一帶）曾在東晉隆安四年（400年）或五年（401年）至五代后梁開平三年（909年）相繼或同時(shí)設(shè)置過句章縣治、鄞州州治、縣縣治和明州州治及其下轄附廓縣縣治。但這一說法歷來爭議不斷，難有定論。

本書主要圍繞在現(xiàn)代制造業(yè)中如何充分利用人工智能、物聯(lián)網(wǎng)、群體智能、先進(jìn)計(jì)算技術(shù)等，賦能賦智制造企業(yè)中人、機(jī)、物，以及如何構(gòu)建群智制造智慧空間等問題展開，以“機(jī)理-方法-系統(tǒng)-應(yīng)用”為主線組織內(nèi)容，針對現(xiàn)代制造場景下智慧空間增強(qiáng)構(gòu)建、群智控制分布優(yōu)化、群智制造協(xié)同共享等關(guān)鍵問題詳細(xì)闡述若干解決方案，并結(jié)合企業(yè)典型案例進(jìn)行

能源經(jīng)濟(jì)學(xué)是一門涉及能源科學(xué)、管理科學(xué)、經(jīng)濟(jì)學(xué)、系統(tǒng)工程等多領(lǐng)域的交叉學(xué)科，能源經(jīng)濟(jì)問題研究在“碳達(dá)峰、碳中和”時(shí)代愈發(fā)成為人們關(guān)注的焦點(diǎn)。本書從發(fā)展歷程、基本思想、模型構(gòu)建及應(yīng)用案例等方面，系統(tǒng)介紹了能源經(jīng)濟(jì)分析的主流方法工具，內(nèi)容涵蓋計(jì)量經(jīng)濟(jì)、博弈分析、分解分析、邊界分析和仿真建模。本書整體安排力求系統(tǒng)性和實(shí)用性相

本書系統(tǒng)介紹了與腫瘤熱療相關(guān)的定向能量技術(shù)及其在腫瘤熱療中的臨床應(yīng)用。本書與現(xiàn)有腫瘤熱療專業(yè)書籍的不同之處在于，從專業(yè)角度對腫瘤熱療技術(shù)特征、基礎(chǔ)研究和臨床應(yīng)用的前沿知識進(jìn)行了全面闡述。本書主要內(nèi)容分為三篇，第一篇為定向能量技術(shù)，包括熱療技術(shù)的特點(diǎn)、目前在腫瘤中應(yīng)用的進(jìn)展和特征；第二篇為熱療技術(shù)的臨床應(yīng)用，全面闡述了其

本書從車聯(lián)網(wǎng)技術(shù)的發(fā)展趨勢及應(yīng)用特點(diǎn)出發(fā)，結(jié)合不同實(shí)際應(yīng)用場景，全面展示面向移動(dòng)邊緣計(jì)算的車聯(lián)網(wǎng)關(guān)鍵技術(shù)。全書共9章，首先，詳細(xì)介紹面向移動(dòng)邊緣計(jì)算的車聯(lián)網(wǎng)的背景、主要應(yīng)用場景及架構(gòu)。然后，分析基于移動(dòng)邊緣計(jì)算的車聯(lián)網(wǎng)系統(tǒng)的構(gòu)成與當(dāng)前面臨的主要問題�；�于這些問題，對車聯(lián)網(wǎng)中基于移動(dòng)邊緣計(jì)算的計(jì)算卸載、任務(wù)調(diào)度、移動(dòng)性管

在《中華人民共和國國民經(jīng)濟(jì)和社會發(fā)展第十四個(gè)五年規(guī)劃和2035年遠(yuǎn)景目標(biāo)綱要》的政策指導(dǎo)下，本書聚焦新型儲能材料的介紹及性能表征，共5章，分別為儲能材料概述、儲電材料、儲熱材料、儲光材料、儲能材料表征與測試技術(shù)。

本書是作者《高速鐵路軌道動(dòng)力學(xué)-模型、算法與應(yīng)用》專著的姊妹篇，重點(diǎn)論述了若干典型的高速鐵路車輛-軌道耦合系統(tǒng)動(dòng)力學(xué)模型與程序設(shè)計(jì)，內(nèi)容包括：軌道不平順功率譜及數(shù)值模擬、軌道結(jié)構(gòu)動(dòng)力分析的傅里葉變換法與程序、軌道單元模型與軌道結(jié)構(gòu)動(dòng)力有限元方程、車輛垂向振動(dòng)模型及動(dòng)力學(xué)方程、車輛-軌道非線性耦合系統(tǒng)動(dòng)力分析的交叉迭代算

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

本書主要討論微波電子學(xué)基本原理以及相對應(yīng)發(fā)展的器件工作機(jī)理和相關(guān)設(shè)計(jì)技術(shù)（包括速調(diào)管、行波管和回旋管），同時(shí)簡要介紹器件向短毫米波和太赫茲頻段的發(fā)展情況。通過研究電子在直流電磁場作用下的產(chǎn)生、運(yùn)動(dòng)、成形、控制，以及其在真空中與部分特殊高頻電路（諧振腔、慢波和快波結(jié)構(gòu)等）中電磁場相互作用，將電子的直流能量轉(zhuǎn)換為微波能量（

本書匯總了在半群代數(shù)結(jié)構(gòu)研究中發(fā)展出來的雙序集理論和系統(tǒng)采用的范疇論方法。作者希望能為半群與范疇的結(jié)構(gòu)、分類及相互關(guān)系的研究提供一些思路和范例，供年輕學(xué)者進(jìn)一步研究參考。前八章是作者所著《半群的雙序集理論》（科學(xué)出版社2003年9月出版）一書的修改和補(bǔ)充:改正了若干錯(cuò)漏，增補(bǔ)了一些新習(xí)題，有利于讀者更好地掌握雙序集及相

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

本書是從雞場廢棄物種類特點(diǎn)和利用思路、能源化、肥料化、飼料化利用技術(shù)以及資源化利用過程和產(chǎn)品的安全性評估等方面進(jìn)行的一次系統(tǒng)總結(jié)和全面梳理。書中大部分內(nèi)容是課題實(shí)施團(tuán)隊(duì)的最新研究成果，包括高負(fù)荷厭氧消化失穩(wěn)預(yù)警控制、沼氣生物脫硫、雞糞堆肥過程的促腐-保氮-抑臭、羽毛微生物降解產(chǎn)寡肽、雞糞沼液生產(chǎn)單細(xì)胞蛋白、死淘雞生產(chǎn)氨

本書針對三江源草地與濕地生態(tài)功能區(qū)、祁連山冰川與水源涵養(yǎng)生態(tài)功能區(qū)、青海湖流域生物多樣性生態(tài)功能區(qū)、柴達(dá)木盆地荒漠生態(tài)功能區(qū)和河湟谷地農(nóng)業(yè)供給生態(tài)功能區(qū)五大功能區(qū)，系統(tǒng)篩選上述區(qū)域近20年已實(shí)施的生態(tài)保護(hù)、修復(fù)和建設(shè)項(xiàng)目工程及關(guān)鍵技術(shù)；基于各功能區(qū)生態(tài)系統(tǒng)服務(wù)價(jià)值評估數(shù)據(jù)，評估各功能區(qū)已實(shí)施的生態(tài)保護(hù)、修復(fù)和建設(shè)工程的

在我國深入推進(jìn)農(nóng)村脫貧攻堅(jiān)成果鞏固提升同鄉(xiāng)村振興有效銜接和未來相對貧困治理的時(shí)空背景下，本書對學(xué)界金融反貧困相關(guān)理論進(jìn)行了系統(tǒng)梳理，建立了農(nóng)村反貧困金融制度的理論框架，考察了國外農(nóng)村反貧困金融制度建設(shè)的基本經(jīng)驗(yàn)，探究了我國農(nóng)村反貧困金融制度變遷特征，檢驗(yàn)了我國精準(zhǔn)扶貧時(shí)期農(nóng)村反貧困金融制度的有效性，據(jù)此探索了基于未來相

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

本書全面梳理了2022年度博物館發(fā)展的主要脈絡(luò)，回顧博物館事業(yè)發(fā)展取得的顯著成就，總結(jié)發(fā)展中存在的問題，對于探索新時(shí)期博物館事業(yè)的發(fā)展戰(zhàn)略具有十分重要的意義。全書分為全國博物館事業(yè)年度綜合報(bào)告、年度數(shù)據(jù)分析和年度重要事件三大部分，用大量的統(tǒng)計(jì)數(shù)據(jù)，系統(tǒng)地分析中國博物館的藏品規(guī)模與結(jié)構(gòu)、中國博物館的學(xué)術(shù)研究、中國博物館的

世界古代超級工程歷史年代時(shí)間軸圖以“千里江山圖”為設(shè)計(jì)理念。在6000多年的歷史中，100項(xiàng)超級工程“山水相連”，讓人目不睱接。這是描繪人類歷史的美麗圖景，這是講述人類文明的“千里江山圖”。

《數(shù)字文化產(chǎn)業(yè)研究》由同濟(jì)大學(xué)人文學(xué)院創(chuàng)辦，是國內(nèi)第一本聚焦數(shù)字文化產(chǎn)業(yè)前沿研究的學(xué)術(shù)輯刊。本輯刊以文化創(chuàng)意與科技創(chuàng)新深度融合的研究為選題方向，運(yùn)用文化產(chǎn)業(yè)學(xué)、管理學(xué)、信息科學(xué)等多學(xué)科理論與方法，聚焦人工智能、區(qū)塊鏈、元宇宙等新一代信息技術(shù)在文化創(chuàng)意產(chǎn)業(yè)領(lǐng)域的創(chuàng)新應(yīng)用研究。本輯聚焦數(shù)字文化產(chǎn)業(yè)全球第三次浪潮，設(shè)置數(shù)字文