引進(jìn)自德國斯普林格(Springer)出版社。本書簡要而全面地概述了計算機(jī)與互聯(lián)網(wǎng)安全。第一章給出了一個平緩的概述和20個安全設(shè)計原則，接下來的10章為理解計算機(jī)和互聯(lián)網(wǎng)安全提供了一個框架。這些原則是50多年來在軟件和系統(tǒng)設(shè)計中反復(fù)出現(xiàn)的安全相關(guān)錯誤模式的概念對應(yīng)，對基本操作系統(tǒng)和網(wǎng)絡(luò)概念的認(rèn)知大有裨益。本書提供了相關(guān)

本書內(nèi)容循序漸進(jìn)，緊扣時代熱點(diǎn)，通過9個精心設(shè)計的項目，由淺入深地引導(dǎo)讀者從基礎(chǔ)理論到實際應(yīng)用，逐步掌握計算機(jī)視覺領(lǐng)域的關(guān)鍵技術(shù)。書中每個項目都是獨(dú)立的學(xué)習(xí)單元，項目涵蓋了卷積入門、圖像分類、目標(biāo)檢測、圖像分割、目標(biāo)跟蹤、人臉識別、風(fēng)格遷移、CV大模型以及模型部署等多個應(yīng)用領(lǐng)域。同時，各個項目實踐中皆融入了新時代中國特

本書以“新工科”為背景，以“實用、夠用”為度，以應(yīng)用為目標(biāo)，將Python語言引入數(shù)學(xué)教學(xué)，將教學(xué)重點(diǎn)從傳統(tǒng)數(shù)學(xué)的理論教育轉(zhuǎn)移到數(shù)學(xué)知識的使用方面，體現(xiàn)職教特色。將傳統(tǒng)數(shù)學(xué)實驗通用的Matblab語言更換為python語言，借助python開源、免費(fèi)、易學(xué)的優(yōu)勢，在高職院校更具有可行性。本書以“案例導(dǎo)讀”使學(xué)生認(rèn)識數(shù)學(xué)

本書分為兩部分：計算機(jī)視覺實踐內(nèi)容和實踐參考代碼及解析，內(nèi)容涵蓋計算機(jī)視覺實踐基礎(chǔ)、實踐軟件環(huán)境安裝及圖像顯示、濾波處理與層次特征表達(dá)、圖像特征提取與可視化顯示、圖像特征對應(yīng)與對齊、二值圖像的特征計算、圖像分割、語義分割、紋理特征計算、攝像機(jī)模型參數(shù)恢復(fù)、光流計算、三維重建技術(shù)、傳統(tǒng)目標(biāo)識別技術(shù)、傳統(tǒng)目標(biāo)跟蹤技術(shù)、智能

本書整合了計算機(jī)視覺的經(jīng)典算法與現(xiàn)代智能視覺技術(shù)，全面系統(tǒng)地介紹了計算機(jī)視覺的理論知識，并深入探討了從傳統(tǒng)算法到深度學(xué)習(xí)的演進(jìn)過程。書中內(nèi)容廣泛，涵蓋了以下核心主題：計算機(jī)視覺的基本概念及其技術(shù)基礎(chǔ)、人類視覺感知與圖像特征的多層表達(dá)、圖像特征提取、二值圖像處理、區(qū)域分割技術(shù)、紋理特征分析、視覺成像模型構(gòu)建、光流計算方法

本書系統(tǒng)介紹了各種可判定的一階理論及其在自動軟件和硬件驗證、定理證明與編譯器優(yōu)化等場景中的具體應(yīng)用，涵蓋了可滿足性(SAT)求解器和可滿足性模理論(SMT)求解器的核心技術(shù)，以及命題邏輯、線性算術(shù)和位向量等多種建模語言。作者通過大量實際案例展示了如何將復(fù)雜的計算問題轉(zhuǎn)化為形式化的邏輯問題，并借助高效的判定過程進(jìn)行求解。

本書從科學(xué)數(shù)據(jù)中心的異構(gòu)性和動態(tài)性方面入手，系統(tǒng)分析了科學(xué)數(shù)據(jù)中心運(yùn)行機(jī)理，提出了一套耦合異構(gòu)性和動態(tài)性的評價指標(biāo)體系，建立并完善了針對各類場景下的評價模型，形成了系統(tǒng)的評價方法框架，同時開展了應(yīng)用研究，以期為復(fù)雜場景下的科學(xué)數(shù)據(jù)中心評價提供借鑒和參考。

本書是《計算機(jī)系統(tǒng)導(dǎo)論》教材的教學(xué)指導(dǎo)用書，主要對每個章節(jié)的教學(xué)目標(biāo)和內(nèi)容安排、主要內(nèi)容提要、基本術(shù)語解釋、常見問題解答等給出系統(tǒng)性的說明和描述，并在此基礎(chǔ)上提供大量的單項選擇練習(xí)題及答案、分析應(yīng)用題及分析解答，其中涉及計算機(jī)系統(tǒng)概述、高級語言程序、數(shù)據(jù)的機(jī)器級表示、數(shù)據(jù)的基本運(yùn)算、指令集體系結(jié)構(gòu)、程序的機(jī)器級表示、程

"本書面向應(yīng)用型本科、職教本科或其他入門者，以基礎(chǔ)常用算法詳解為主線，介紹計算機(jī)視覺要用到的圖像基礎(chǔ)知識，包含圖像定義、顏色空間、圖像卷積原理等，還介紹直方圖均衡化、圖像濾波、圖像形態(tài)學(xué)圖像預(yù)處理方法。介紹圖像幾何變換的知識。介紹常用的圖形特征檢測方法，包含邊緣檢測、USAN算子、哈里斯角點(diǎn)檢測、霍夫變換、輪廓提取。介

本書介紹了視覺目標(biāo)跟蹤的基本概念、基本方法、發(fā)展現(xiàn)狀，重點(diǎn)介紹了一些基于稀疏表示的目標(biāo)跟蹤方法以及基于深度學(xué)習(xí)的目標(biāo)跟蹤方法。本書共6章，第1章介紹了視頻目標(biāo)跟蹤的相關(guān)概念、發(fā)展現(xiàn)狀及面臨的挑戰(zhàn)；第2章介紹了基于多模態(tài)特征的視頻目標(biāo)跟蹤方法；第3章介紹了基于加權(quán)稀疏表示的目標(biāo)跟蹤方法；第4章介紹了基于多模態(tài)加權(quán)稀疏表示