本書是邊緣計算環(huán)境中工作流系統(tǒng)領(lǐng)域的專著，主要注重工作流技術(shù)的理論與邊緣計算環(huán)境的結(jié)合。本書全面系統(tǒng)的介紹了邊緣計算環(huán)境中工作流系統(tǒng)的相關(guān)理論、設(shè)計與實現(xiàn)，主要包括邊緣計算環(huán)境中的系統(tǒng)架構(gòu)、系統(tǒng)功能、系統(tǒng)服務(wù)質(zhì)量、安全性管理等。

本書采用實踐方法編寫，描述了使用MMMC實現(xiàn)高級ASIC設(shè)計的高級概念和技術(shù)。本書側(cè)重于物理設(shè)計、靜態(tài)時序分析(STA)、形式和物理驗證，書中的腳本基于Cadence?EncounterSystem?，涵蓋數(shù)據(jù)結(jié)構(gòu)、多模式多角點分析、設(shè)計約束、布局規(guī)劃和時序、放置和時間、時鐘樹綜合、最終路線和時間、設(shè)計簽核等主題。 本

本書以互聯(lián)網(wǎng)設(shè)計原理為指南，詳細分析互聯(lián)網(wǎng)協(xié)議第四版（IPv4）和互聯(lián)網(wǎng)協(xié)議第六版（IPv6）數(shù)據(jù)報頭結(jié)構(gòu)和尋址原理，系統(tǒng)介紹新一代過渡技術(shù)中的協(xié)議翻譯和地址映射的技術(shù)思路和適用于不同場景的IPv6過渡技術(shù)實現(xiàn)方案。本書是作者在中國教育和科研計算機網(wǎng)進行IPv6過渡技術(shù)研究時對產(chǎn)生的重要研究成果的系統(tǒng)化總結(jié)。這些成果已

本書主要分為3篇：第一篇，電鏡及電鏡技術(shù)。介紹了常用電鏡的類型、簡單的成像原理和觀察方法，以及常用的陽平制備技術(shù)等內(nèi)容。第二篇，細胞超微結(jié)構(gòu)和超微病理，對細胞膜、細胞核、線粒體、內(nèi)質(zhì)網(wǎng)、高爾基復(fù)合體、溶酶體、微體、細胞骨架等的超微結(jié)構(gòu)和超微病理變化進行了介紹。第三篇，組織的超微結(jié)構(gòu)和超微病理，對造血系統(tǒng)、心血管系統(tǒng)、消

本書主要內(nèi)容包括語義圖像分割相關(guān)理論和具體事項，在介紹語義圖像分割目的和相關(guān)技術(shù)及傳統(tǒng)分割算法的基礎(chǔ)上，講述了從神經(jīng)網(wǎng)絡(luò)到深度學(xué)習的發(fā)展過程，重點介紹了全卷積網(wǎng)絡(luò)，通過采用卷積神經(jīng)網(wǎng)絡(luò)實現(xiàn)了從圖像像素到像素類別的變換；從而進一步介紹了基于全卷積網(wǎng)絡(luò)改進的Unet網(wǎng)絡(luò)，以及兩種基于全卷積網(wǎng)絡(luò)的SegNet網(wǎng)絡(luò)：正常版與貝

本書綜述國際上脈沖功率技術(shù)和相關(guān)研究領(lǐng)域的主要進展，重點討論脈沖功率系統(tǒng)基本概念、組成及其系統(tǒng)應(yīng)用等內(nèi)容。本書共12章，第1~5章概述脈沖功率源系統(tǒng)的基本組成單元；第6、7章論述脈沖功率系統(tǒng)應(yīng)用；第8、9章介紹絕緣介質(zhì)的電擊穿；第10章介紹脈沖電壓和電流測量；第11~12章介紹電磁兼容、電磁干擾及其抑制技術(shù)等內(nèi)容。 本

本書全面介紹使用Verilog進行RTL設(shè)計的ASIC設(shè)計流程和綜合方法。本書共20章，內(nèi)容包括ASIC設(shè)計流程、時序設(shè)計、多時鐘域設(shè)計、低功耗的設(shè)計考慮因素、架構(gòu)和微架構(gòu)設(shè)計、設(shè)計約束和SDC命令、綜合和優(yōu)化技巧、可測試性設(shè)計、時序分析、物理設(shè)計、典型案例等。本書提供了大量的練習題和案例分析，可以幫助讀者更好地理解和

航天器運行所處的宇宙空間環(huán)境中存在大量射線粒子，這些粒子會在航天器電子器件中產(chǎn)生空間輻射效應(yīng)，導(dǎo)致電子系統(tǒng)性能下降、狀態(tài)改變，甚至功能失效，影響航天器使用壽命及在軌可靠運行。航天器功能和性能要求越來越高，高可靠性、高集成度、高性能、低功耗納米電子器件的空間應(yīng)用前景廣闊。納米器件趨于物理極限的材料、工藝和結(jié)構(gòu)特點對空間輻

本書在對圖像降噪方法的研究現(xiàn)狀和經(jīng)典的圖像降噪方法進行回顧總結(jié)的基礎(chǔ)上，分別針對灰度和彩色圖像中不同類型噪聲的特點，主要結(jié)合脈沖耦合神經(jīng)網(wǎng)絡(luò)模型、數(shù)學(xué)形態(tài)學(xué)理論、非線性濾波理論、方差穩(wěn)定變換、模糊集理論等方法，介紹了相應(yīng)的降噪方法的算法原理及結(jié)果。同時還對基于嵌入式系統(tǒng)軟硬件平臺的圖像降噪方法相關(guān)實現(xiàn)進行描述，包括實現(xiàn)

本書是系統(tǒng)論述數(shù)字信號處理技術(shù)的新形態(tài)教材，包含豐富的教學(xué)資源，包括紙質(zhì)圖書、教學(xué)課件、程序代碼、教學(xué)大綱和電子教案等。全書共分為12章：第1章論述信號的概念、分類以及數(shù)字信號處理發(fā)展歷程和主要應(yīng)用等；第2章論述離散時間信號與系統(tǒng)、線性時不變系統(tǒng)和線性常系數(shù)差分方程；第3章論述離散時間傅里葉變換及其性質(zhì)，以及離散時間系