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

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

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

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

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

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

本書是機器視覺理實一體化教學的配套理論教材,主要面向新型工業(yè)化時期智能及高端裝備制造領域，結合新工科復合型專業(yè)技術人才綜合能力培養(yǎng)的教學訴求，并融入作者十余載對機器視覺工程的理論研究及教學經(jīng)驗編寫而成。全書共8章，首先介紹機器視覺與圖像處理的基本概念、發(fā)展歷程及未來趨勢，講解圖像數(shù)字化、編碼與壓縮等基礎技術，為后續(xù)的深

"《算法競賽入門筆記》從參賽者的視角出發(fā)，結合編者豐富的親身競賽經(jīng)驗，系統(tǒng)地介紹算法競賽的關鍵知識點和核心技能�！端惴ǜ傎惾腴T筆記》共13章，內(nèi)容涵蓋賽前準備、基礎算法、STL容器、搜索技巧、動態(tài)規(guī)劃、圖論、數(shù)論、博弈論以及真題解析等重要主題。《算法競賽入門筆記》的獨特之處在于將算法競賽中的實用知識點與競賽題目緊密結合

"隨著科學技術不斷發(fā)展，工業(yè)機器人被廣泛應用于工業(yè)生產(chǎn)中，提高了制造業(yè)智能化程度，由此生產(chǎn)效率也能得到相應提升。本書以智能制造為背景，對機器視覺涉及的關鍵技術進行論述，并探討機器視覺在智能制造裝備中的具體應用。本書包括機器視覺的硬件系統(tǒng)、機器視覺涉及的算法，以及在機器視覺中發(fā)揮重要作用的三維重建技術等內(nèi)容。本書內(nèi)容精煉

"本書是“十四五”職業(yè)教育國家規(guī)劃教材。本書共10章，內(nèi)容包括：信息安全概述、信息安全基本保障技術、認識病毒及其防御技術、網(wǎng)絡攻擊與防御技術、網(wǎng)絡設備安全技術、無線網(wǎng)絡安全技術、網(wǎng)絡操作系統(tǒng)安全技術、數(shù)據(jù)庫安全技術、信息系統(tǒng)安全測評與信息安全風險評估、信息安全法律法規(guī)等。本書可作為高等職業(yè)院校、應用型本科院校信息安全與