形式化方法是指有嚴(yán)格數(shù)學(xué)基礎(chǔ)的軟件和系統(tǒng)開發(fā)方法，支持軟件與系統(tǒng)的規(guī)約、設(shè)計(jì)、驗(yàn)證與演化等活動(dòng)。隨著軟件可信需求的不斷增長(zhǎng)，形式化方法的重要性和關(guān)注度日益提高。本書共12章，第1章概述形式化方法，第2章介紹形式化方法發(fā)展早期的經(jīng)典內(nèi)容，其余部分共分3篇：上篇（第3～5章）為系統(tǒng)建模篇，著重介紹遷移系統(tǒng)、有窮自動(dòng)機(jī)、Pe

本書是一部全面論述計(jì)算機(jī)病毒網(wǎng)絡(luò)傳播動(dòng)力學(xué)行為的專著。全書共6章，首先，從反病毒策略角度出發(fā)，針對(duì)反制措施競(jìng)爭(zhēng)策略提出了一類具有反制措施的SICS模型，從理論上研究了這種新型反病毒策略對(duì)抑制病毒傳播的有效性。接著，提出了兩類具有接種率和感染率的SIRS模型，研究了一般非線性感染率和一般非線性接種率對(duì)計(jì)算機(jī)病毒傳播的影響

本書基于Python3.8和OpenCV4.5編寫，共8章，包括環(huán)境搭建、簡(jiǎn)易調(diào)色畫布、幾何圖像繪制、簡(jiǎn)單的圖像處理、馬賽克、圖像美顏、人臉檢測(cè)、人臉跟蹤。讀者通過(guò)學(xué)習(xí)本書內(nèi)容及運(yùn)行相應(yīng)的仿真程序，可以更加深刻地理解圖像處理的內(nèi)容，并且更加熟練地掌握計(jì)算機(jī)視覺(jué)在不同領(lǐng)域的應(yīng)用。

《視覺(jué)語(yǔ)言交互中的視覺(jué)推理研究》的作者牛玉磊博士于2020年在中國(guó)人民大學(xué)取得博士學(xué)會(huì)，后前往美國(guó)哥倫比亞大學(xué)開展博士后研究工作。本書從知識(shí)建模和知識(shí)推斷兩方面入手，深入研究了視覺(jué)語(yǔ)言交互任務(wù)中的視覺(jué)推理問(wèn)題�！兑曈X(jué)語(yǔ)言交互中的視覺(jué)推理研究》共五章：第1章主要介紹了計(jì)算機(jī)視覺(jué)與自然語(yǔ)言處理交叉領(lǐng)域中交互類問(wèn)題的研究背景

隨著計(jì)算機(jī)網(wǎng)絡(luò)的快速發(fā)展和新興應(yīng)用的不斷涌現(xiàn)，網(wǎng)絡(luò)安全問(wèn)題日益嚴(yán)重。數(shù)字簽名可以用來(lái)鑒別用戶的身份和數(shù)據(jù)的完整性，在信息安全領(lǐng)域發(fā)揮著非常重要的作用。本書詳細(xì)介紹當(dāng)前數(shù)字簽名方案的基礎(chǔ)理論知識(shí)和**應(yīng)用成果�！禕R》本書共13章，內(nèi)容包括數(shù)字簽名概述、數(shù)字簽名的基礎(chǔ)知識(shí)、數(shù)字簽名的應(yīng)用領(lǐng)域、基于身份認(rèn)證的門限群簽名、基

這是一本系統(tǒng)講解人臉識(shí)別和人體姿態(tài)識(shí)別技術(shù)、算法和應(yīng)用的實(shí)戰(zhàn)性著作，是作者團(tuán)隊(duì)多年研究成果和實(shí)踐經(jīng)驗(yàn)的總結(jié)。既有業(yè)界成熟的技術(shù)和算法，又有行業(yè)的新熱點(diǎn)和新趨勢(shì)。通過(guò)本書，讀者將能輕松掌握如下知識(shí)：機(jī)器視覺(jué)的概念以及索引技術(shù)，包括向量空間索引和度量空間索引；人臉識(shí)別技術(shù)，以及人臉檢測(cè)算法、人臉對(duì)齊算法、人臉特征提取算法；

本書按照工作任務(wù)順序展開，專業(yè)知識(shí)與標(biāo)準(zhǔn)規(guī)范相結(jié)合，實(shí)踐經(jīng)驗(yàn)與實(shí)操規(guī)范相結(jié)合，職業(yè)技能與工作任務(wù)相結(jié)合，實(shí)訓(xùn)項(xiàng)目與技能鑒定相結(jié)合，循序漸進(jìn)，層次清晰，圖文并茂，好學(xué)易記。本書依據(jù)中國(guó)電子學(xué)會(huì)發(fā)布的《數(shù)據(jù)中心基礎(chǔ)設(shè)施運(yùn)維與管理職業(yè)技能等級(jí)標(biāo)準(zhǔn)》和考核大綱編寫。本書共12章，涵蓋了數(shù)據(jù)中心概述、數(shù)據(jù)中心基礎(chǔ)設(shè)施典型架構(gòu)及基

本書系統(tǒng)地介紹了信息安全理論與技術(shù)所涉及的數(shù)論、代數(shù)、橢圓曲線等數(shù)學(xué)理論基礎(chǔ)。內(nèi)容包括數(shù)論基礎(chǔ)，涉及整除、同余、次數(shù)與原根、二次剩余和素?cái)?shù)檢驗(yàn)與整數(shù)分解等內(nèi)容；代數(shù)系統(tǒng)，涉及群、環(huán)、域的概念及其應(yīng)用等內(nèi)容；橢圓曲線，涉及橢圓曲線的預(yù)備知識(shí)，橢圓曲線，橢圓曲線上的離散對(duì)數(shù)等內(nèi)容；離散對(duì)數(shù)等。書中每章末都配有適量習(xí)題，以供

本書圍繞圖像場(chǎng)景內(nèi)容理解這個(gè)核心，從圖像場(chǎng)景的語(yǔ)義理解、圖像空間的幾何理解、對(duì)象級(jí)場(chǎng)景解析三個(gè)方面進(jìn)行詳細(xì)闡述。從章節(jié)結(jié)構(gòu)來(lái)說(shuō)，第1章緒論部分概述了圖像場(chǎng)景內(nèi)容理解的背景與意義以及發(fā)展歷程；第2章、第3章的內(nèi)容分別對(duì)應(yīng)場(chǎng)景語(yǔ)義和場(chǎng)景幾何的理解，是從場(chǎng)景級(jí)圖像內(nèi)容理解入手；在第4章轉(zhuǎn)入對(duì)象級(jí)圖像內(nèi)容理解；第5章概述了對(duì)象

本書以當(dāng)前受到廣泛關(guān)注的系統(tǒng)安全性和安全性度量指標(biāo)的重要性測(cè)度（又稱為全局靈敏度）為主要研究對(duì)象，詳細(xì)介紹了系統(tǒng)安全性的相關(guān)理論及系統(tǒng)安全性靈敏度分析方法，重點(diǎn)在于闡述系統(tǒng)安全性理論的最新研究成果，以及對(duì)相關(guān)輸入變量情況下安全性重要性測(cè)度指標(biāo)含義的探討和求解方法的研究。