《復雜環(huán)境運動目標檢測技術及應用》簡要介紹了當前典型的運動目標檢測技術，并根據(jù)其實現(xiàn)原理分析了各種方法的適用范圍和場合；圍繞監(jiān)控設備實際拍攝的圖像序列所存在的光學畸變、環(huán)境光照變化、陰影及攝像頭的運動等復雜條件，對運動目標檢測的若干關鍵技術進行了研究和探討，包括廣角攝像機的成像原理、標定模型和畸變校正方法，靜態(tài)場景中分

徐云峰、史記、徐鐸編著的《弱點挖掘》把弱點挖掘作為信息系統(tǒng)安全戰(zhàn)略的一個重要組成部分，系統(tǒng)地對與信息系統(tǒng)實體有關的威脅、弱點、風險，以及主動防御措施進行具體闡述，包括弱點概述，程序弱點挖掘，操作系統(tǒng)弱點挖掘。數(shù)據(jù)庫、網(wǎng)絡協(xié)議弱點挖掘等方面�！度觞c挖掘》中還分析了信息安全設計和配置等方面的諸多要素，使之形成一個完整的體系

信息安全是目前社會關注的熱點。《實用信息安全技術》由雷敏、王劍峰、李凱佳、楊義先編著，主要內(nèi)容包括實用信息安全技術和常見信息安全工具的使用方法。重點介紹現(xiàn)代密碼學、網(wǎng)絡安全、信息系統(tǒng)安全、數(shù)字內(nèi)容安全和Web安全等方面常見的攻擊技術、工具以及防范措施。《實用信息安全技術》可作為高等院校信息安全和計算機等相關專業(yè)學生的課

本書以當前主流微機技術為背景，全面介紹了計算機各功能子系統(tǒng)的邏輯結構、組成和工作機制。本書分為10章。第1章概述了計算機的基本概念和計算機系統(tǒng)結構、組成與實現(xiàn)的關系，分析了影響系統(tǒng)結構設計的主要因素；第2章以定點加、減、乘、除、移位運算邏輯以及溢出判斷邏輯為重點，深入討論運算器的設計與組織方法；第3章介紹了指令系統(tǒng)及其

《計算機維修技術（第3版）/21世紀高等學校規(guī)劃教材·計算機應用》以目前流行的個人計算機（PC）為對象，分析和討論了x86計算機的系統(tǒng)組成、工作原理、最新技術、性能參數(shù)、故障處理方法等。本版教材在第2版基礎上進行了全面修訂，更新了計算機最新技術方面的內(nèi)容，使教材重點更加突出，更適用于教學需要。全書分為三部分，第一部分（

《形式語義學引論/當代語言學理論叢書》詳細介紹形式語義學的基本內(nèi)容、主要技巧和方法，可供大學語言和語言學專業(yè)的高年級本科學生及碩士、博士生作研習、參考之用。對自然語言分析和處理感興趣的計算機、數(shù)學、哲學、邏輯和人工智能專業(yè)的學生也可從本書中獲得系統(tǒng)的語義學知識。 本書內(nèi)容的取舍并非簡單地照搬一些外文教科書，在章節(jié)安排

《河南省地方標準計算機信息系統(tǒng)(場地)防雷安全檢測技術規(guī)范DB41/T726-2012》由河南省氣象局編著

形式語義學是邏輯與語言交叉研究的產(chǎn)物，是在邏輯框架內(nèi)構建的關于自然語言的語義學。形式語義學根植于邏輯學、哲學、數(shù)學、語言學等好幾個學科，其顯著特征是運用邏輯和數(shù)學的形式化方法去研究自然語言的形成規(guī)律。高蕓編著的《形式語義學研究》介紹了經(jīng)典形式語義學理論的兩個重要代表一一塔斯基真值語義理論和蒙太格語法，描述了動態(tài)語義學理

《計算機組裝與維護技術實訓教程（第2版）/21世紀高等學校計算機基礎實用規(guī)劃教材》從計算機組裝與維護的實訓出發(fā)，結合計算機系統(tǒng)最新發(fā)展動態(tài)，講解了計算機硬件組成、硬件選購和組裝、BIOS設置、硬盤分區(qū)、軟件系統(tǒng)安裝、移動網(wǎng)絡組建、系統(tǒng)安全維護與故障處理、數(shù)據(jù)備份與恢復等技術細節(jié)，虛擬化技術的概念及虛擬機VMWareWo

《計算機硬件檢測維修》以全國技能大賽所用的計算機硬件檢測維修臺為學習平臺，內(nèi)容分五個模塊：認識常用元器件、掌握常用維修工具及維修平臺的使用、認識計算機系統(tǒng)原理、學會檢測維修臺式計算機、學會檢測維修筆記本電腦，并將每個模塊內(nèi)容任務化，以任務教學來達到技能的培養(yǎng)。書中配有大量圖示，操作方法翔盡，可操作性強，同時配有光盤（包