本書(shū)圍繞網(wǎng)絡(luò)空間主動(dòng)防御介紹了各種信息安全主動(dòng)防護(hù)技術(shù)的原理、方法和應(yīng)用，包括監(jiān)測(cè)預(yù)警、應(yīng)急響應(yīng)、安全評(píng)估、數(shù)據(jù)保護(hù)等傳統(tǒng)信息安全技術(shù)的“主動(dòng)化”新進(jìn)展和新應(yīng)用，并涵蓋了移動(dòng)目標(biāo)防御、網(wǎng)絡(luò)攻擊追蹤溯源等近年提出的新概念和新技術(shù)。

本書(shū)為“基于系統(tǒng)能力培養(yǎng)的計(jì)算機(jī)專(zhuān)業(yè)課程建設(shè)研究”項(xiàng)目規(guī)劃教材，根據(jù)北京航空航天大學(xué)對(duì)計(jì)算機(jī)專(zhuān)業(yè)系統(tǒng)能力培養(yǎng)十二年改革成果編寫(xiě)而成。本課程的教學(xué)目標(biāo)為：開(kāi)發(fā)一個(gè)具有數(shù)十條指令規(guī)模且通過(guò)嚴(yán)格測(cè)試的功能型CPU。本書(shū)根據(jù)設(shè)計(jì)一臺(tái)計(jì)算機(jī)的教學(xué)要求，重新梳理了課程體系，涉及傳統(tǒng)意義上的數(shù)字邏輯、匯編語(yǔ)言和計(jì)算機(jī)組成3門(mén)課程的相

本書(shū)介紹了一種新的系統(tǒng)建模、分析與綜合的數(shù)學(xué)方法——邏輯動(dòng)態(tài)系統(tǒng)代數(shù)狀態(tài)空間法。該方法是在矩陣的半張量積的基礎(chǔ)上發(fā)展而來(lái)的，在使用矩陣處理復(fù)雜的泛邏輯系統(tǒng)方面具有很大優(yōu)勢(shì)。全書(shū)共9章，第1~4章介紹邏輯動(dòng)態(tài)系統(tǒng)代數(shù)狀態(tài)空間法；第5~8章為其各種應(yīng)用，包括有限自動(dòng)機(jī)的動(dòng)態(tài)建模、性能分析、控制技術(shù)，合成有限自動(dòng)機(jī)的建模與控

本書(shū)介紹了信息安全數(shù)學(xué)的基礎(chǔ)內(nèi)容,包括初等數(shù)論、抽象代數(shù)、橢圓曲線論等，全書(shū)選材合理、難度適中、層次分明、內(nèi)容系統(tǒng),書(shū)中以大量例題深入淺出地闡述信息安全數(shù)學(xué)基礎(chǔ)各分支的基本概念、基本理論與基本方法,注重將抽象的理論與算法和實(shí)踐相結(jié)合，并強(qiáng)調(diào)理論在信息安全特別是密碼學(xué)中的具體應(yīng)用實(shí)例。本書(shū)語(yǔ)言通俗易懂，容易自學(xué)。本書(shū)可作

優(yōu)化理論研究一直是一個(gè)非常活躍的研究領(lǐng)域。它所研究的問(wèn)題是在眾多方案中尋求方案。人們關(guān)于優(yōu)化問(wèn)題的研究工作，隨著歷史的發(fā)展不斷深入，對(duì)人類(lèi)的發(fā)展起到了重要的推動(dòng)作用。但是，任何科學(xué)的進(jìn)步都受到歷史條件的限制，直到20世紀(jì)中葉，由于高速數(shù)字計(jì)算機(jī)應(yīng)用日益廣泛，使得優(yōu)化技術(shù)不僅成為迫切需要，而且有了求解的有力工具。因此，優(yōu)

本書(shū)采用大量圖片，通過(guò)詳細(xì)的分步講解，以直觀、易懂的方式展現(xiàn)了7個(gè)數(shù)據(jù)結(jié)構(gòu)和26個(gè)基礎(chǔ)算法的基本原理。第1章介紹了鏈表、數(shù)組、棧等7個(gè)數(shù)據(jù)結(jié)構(gòu)；從第2章到第7章，分別介紹了和排序、查找、圖論、安全、聚類(lèi)等相關(guān)的26個(gè)基礎(chǔ)算法，內(nèi)容涉及冒泡排序、二分查找、廣度優(yōu)先搜索、哈希函數(shù)、迪菲-赫爾曼密鑰交換、k-means算法等

本書(shū)是《算法設(shè)計(jì)與分析（第4版）》配套輔助教材。本書(shū)將結(jié)合原教材的內(nèi)容，進(jìn)一步討論和講解原教材中的重點(diǎn)和難點(diǎn)，問(wèn)題分析，求解思路和方法，為讀者深刻體會(huì)問(wèn)題求解的核心思想提供幫助。由于原教材的內(nèi)容有一定的深度和難度，讀者在學(xué)習(xí)和解答習(xí)題過(guò)程中會(huì)遇到一定的困難，因此本書(shū)選擇了原教材的一些典型的習(xí)題和難題，給出詳細(xì)的解答和分

內(nèi)容提要 本書(shū)全面詳細(xì)地介紹個(gè)人計(jì)算機(jī)的網(wǎng)絡(luò)安全反黑技術(shù)，并穿插講解關(guān)于手機(jī)安全使用的部分內(nèi)容，每節(jié)從案例分析總結(jié)引入，講解了大量實(shí)用工具的操作及安全防范知識(shí)。 本書(shū)從認(rèn)識(shí)黑客與信息安全開(kāi)始講起，進(jìn)而詳細(xì)介紹了系統(tǒng)的安裝/配置與修復(fù)、系統(tǒng)防火墻與WindowsDenfender、組策略、系統(tǒng)和數(shù)據(jù)的備份與還原、端口掃描

叢書(shū)簡(jiǎn)介：西方語(yǔ)言學(xué)視野是精選國(guó)外已經(jīng)出版的經(jīng)典語(yǔ)言學(xué)圖書(shū)，前面添加國(guó)內(nèi)學(xué)者撰寫(xiě)的中文導(dǎo)讀進(jìn)行影印出版的系列圖書(shū)，適合國(guó)內(nèi)語(yǔ)言學(xué)領(lǐng)域的研究者和學(xué)習(xí)者閱讀參考。 本書(shū)簡(jiǎn)介：作為一本形式語(yǔ)義學(xué)教科書(shū)，《形式語(yǔ)義學(xué)的要素》著重呈現(xiàn)該領(lǐng)域研究的兩個(gè)要素：一是形式分析的對(duì)象蘊(yùn)涵（entailment）推理這一語(yǔ)義直覺(jué)。全書(shū)討論

本書(shū)立足于計(jì)算機(jī)視覺(jué)特征檢測(cè)這一基礎(chǔ)技術(shù)問(wèn)題，介紹了特征點(diǎn)、線和區(qū)域的檢測(cè)方法，并給出具體的檢測(cè)應(yīng)用實(shí)例，旨在為相關(guān)技術(shù)人員提供特征檢測(cè)及應(yīng)用方面的新研究進(jìn)展，促進(jìn)特征檢測(cè)技術(shù)在社會(huì)經(jīng)濟(jì)生活領(lǐng)域的應(yīng)用和發(fā)展。本書(shū)內(nèi)容分為兩部分：特征檢測(cè)方法和特征檢測(cè)技術(shù)應(yīng)用。在特征檢測(cè)方法方面，第2章介紹特征點(diǎn)檢測(cè)方法，第3~5章介紹