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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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