《貴州大數(shù)據(jù)發(fā)展與建設(shè)》首先系統(tǒng)介紹貴州省和貴安新區(qū)大數(shù)據(jù)發(fā)展和建設(shè)的理論與技術(shù)基礎(chǔ)，然后結(jié)合貴州實(shí)際，深入闡述貴州省和貴安新區(qū)大數(shù)據(jù)發(fā)展的典型案例，*后對貴州省大數(shù)據(jù)發(fā)展進(jìn)行總結(jié)與展望。

《信息中心網(wǎng)絡(luò)關(guān)鍵理論與技術(shù)》在歸納分析國內(nèi)外信息中心網(wǎng)絡(luò)相關(guān)科研成果的基礎(chǔ)上，研究信息中心網(wǎng)絡(luò)的名字査找、緩存、路由及擁塞控制等問題，主要內(nèi)容包括：名字快速査找方法，提出基于名字拆分的査找策略，旨在提高名字査找效率；網(wǎng)絡(luò)內(nèi)容緩存策略，提出基于請求內(nèi)容關(guān)聯(lián)性的預(yù)緩存策略、路由器緩存準(zhǔn)人策略、基于節(jié)點(diǎn)利用比的緩存策略、基

Java是一門優(yōu)秀的純面向?qū)ο笳Z言�！睹嫦�?qū)ο蟪绦蛟O(shè)計(jì)Java》從Java的基本概念入手，循序漸進(jìn)地介紹Java語言程序設(shè)計(jì)基礎(chǔ)、面向?qū)ο蟪绦蛟O(shè)計(jì)、圖形用戶界面設(shè)計(jì)、異常處理、多線程設(shè)計(jì)、圖形圖像處理及Applet小程序設(shè)計(jì)等。在講解過程中，始終強(qiáng)調(diào)以面向?qū)ο蟮乃枷雭矸治鰡栴}與解決問題�！睹嫦�?qū)ο蟪绦蛟O(shè)計(jì)Java》案例

《安全協(xié)議實(shí)施安全性自動(dòng)化分析與驗(yàn)證》系統(tǒng)介紹安全協(xié)議實(shí)施安全性自動(dòng)化分析與驗(yàn)證的基本理論和關(guān)鍵技術(shù)及**成果。主要內(nèi)容包括安全協(xié)議實(shí)施安全性分析與驗(yàn)證的國內(nèi)外發(fā)展現(xiàn)狀、一階定理證明器ProVerif及應(yīng)用、自動(dòng)化安全協(xié)議證明器CryptoVerif及應(yīng)用、基于計(jì)算模型自動(dòng)化抽取安全協(xié)議Blanchet演算實(shí)施模型、安

《多維計(jì)算機(jī)導(dǎo)論課程教與學(xué)的研究與實(shí)證》以“計(jì)算機(jī)科學(xué)導(dǎo)論”課程為主要研究對象，從不同角度對該課程的教學(xué)進(jìn)行研究與實(shí)證。首先，從計(jì)算機(jī)科學(xué)的學(xué)科特性出發(fā)，在ACT-R、SOAR、ECIP、粒計(jì)算認(rèn)知模型基礎(chǔ)上提出實(shí)踐環(huán)節(jié)的認(rèn)知模型，以此重組課程內(nèi)容并優(yōu)化計(jì)算機(jī)系列課程；確定開放學(xué)習(xí)的含義及原則，研發(fā)開放學(xué)習(xí)平臺；建模課

軟件可信性度量評估與增強(qiáng)規(guī)范是目前計(jì)算機(jī)科學(xué)與軟件工程的一個(gè)重要研究領(lǐng)域，其研究成果對可信軟件開發(fā)等方向有重大的理論價(jià)值和實(shí)際意義�！盾浖�可信性度量評估與增強(qiáng)規(guī)范》融入了作者及其研究團(tuán)隊(duì)近十年來承擔(dān)完成國家重要研發(fā)任務(wù)的研究與應(yīng)用成果，深入系統(tǒng)地論述了軟件可信性層次化度量模型構(gòu)建、分級評估體系設(shè)計(jì)以及增強(qiáng)規(guī)范制定等**

本書主要介紹認(rèn)證與密鑰協(xié)商協(xié)議的設(shè)計(jì)方法以及協(xié)議中所涉及的相關(guān)知識。針對若干應(yīng)用環(huán)境，例如VoIP網(wǎng)絡(luò)、電子醫(yī)療健康網(wǎng)絡(luò)、智能電網(wǎng)等應(yīng)用環(huán)境，本文詳細(xì)闡述了認(rèn)證與密鑰協(xié)商協(xié)議設(shè)計(jì)的思想，具體的設(shè)計(jì)步驟。此外，對提出協(xié)議的安全性采用不同方法進(jìn)行了詳細(xì)的分析和證明，并對提出協(xié)議的性能進(jìn)行了實(shí)驗(yàn)對比分析。 本書針對不同應(yīng)用

《物聯(lián)網(wǎng)標(biāo)識技術(shù)及應(yīng)用》系統(tǒng)研究傳感器網(wǎng)絡(luò)標(biāo)識技術(shù)及其應(yīng)用。《物聯(lián)網(wǎng)標(biāo)識技術(shù)及應(yīng)用》共9章：第1章在介紹物聯(lián)網(wǎng)標(biāo)識的基礎(chǔ)上，闡述傳感器網(wǎng)絡(luò)標(biāo)識技術(shù)的發(fā)展歷史、現(xiàn)狀及未來發(fā)展趨勢；第2～6章闡述傳感器網(wǎng)絡(luò)標(biāo)識符編碼技術(shù)、傳感器網(wǎng)絡(luò)標(biāo)識符解析技術(shù)、傳感器網(wǎng)絡(luò)傳感節(jié)點(diǎn)標(biāo)識符管理技術(shù)、傳感器網(wǎng)絡(luò)標(biāo)識符解析一致性測試技術(shù)，其中第

本書是《網(wǎng)絡(luò)空間安全：C語言程序設(shè)計(jì)》（科學(xué)出版社，2018）的配套習(xí)題輔導(dǎo)，旨在為學(xué)習(xí)者學(xué)習(xí)C語言程序設(shè)計(jì)課程提供指導(dǎo)和幫助。本書以C語言程序設(shè)計(jì)的基本思想和方法為主線，以培養(yǎng)學(xué)習(xí)者的邏輯思維能力、程序設(shè)計(jì)能力和自主學(xué)習(xí)能力為導(dǎo)向，以強(qiáng)化和鞏固程序設(shè)計(jì)的綜合能力和基本素養(yǎng)為目標(biāo)。本書共分四章，包括章節(jié)練習(xí)、教材習(xí)題解

隨著計(jì)算技術(shù)的飛速發(fā)展，人共智能似乎在頃刻之間就悄悄地來到我們身邊，一時(shí)間我們的周圍到處舞動(dòng)著人工智能，令人眼花繚亂。從手機(jī)到3D打印，從谷歌眼鏡到全息投影，就連美圖APP一鍵整容都要依靠人工智能；而且，人工智能的快速發(fā)展超越人類的想象，一時(shí)間，人機(jī)交互、無人駕駛、虛擬現(xiàn)實(shí)等智能設(shè)備扎堆出現(xiàn)，智能機(jī)器人頻頻亮相。

本書共分6章。第1章介紹數(shù)據(jù)挖掘技術(shù)的發(fā)展背景與用途，Weka簡介和示例數(shù)據(jù)集介紹；第2章介紹數(shù)據(jù)挖掘的對象，即數(shù)據(jù)的基本概念，包括樣本與實(shí)例，數(shù)據(jù)類型，以及weka使用的ARFF格式文件；第3章介紹分類算法，首先介紹分類方法的一般化評價(jià)指標(biāo)，然后依次介紹決策樹方法（包括ID3算法，C4.5算法，帶嫁接功能的C4.5算

估計(jì)算法作為數(shù)據(jù)融合技術(shù)的重要組成部分，其性能評估對于圖像融合、目標(biāo)識別、目標(biāo)跟蹤等具有重要的理論和現(xiàn)實(shí)意義。本書圍繞估計(jì)算法性能評估的理論與算法進(jìn)行了深入研究，從不同角度對估計(jì)算法進(jìn)行評估，闡述幾種綜合、全面、具有互補(bǔ)性的度量方法，以更好地豐富和完善估計(jì)技術(shù)的性能評估理論。

TensorFlow大名鼎鼎，現(xiàn)在已經(jīng)更新了10多個(gè)版本，隨著版本的更新其接口和功能也越來越強(qiáng)大。尤其是TensorFlow的高階API接口，集成了很多算法和網(wǎng)絡(luò)模型，可以達(dá)到所用即所得的地步。但是由于各種原因，我們往往很少去了解如何使用這些高級API來進(jìn)行編程，解決自己的問題。因此本書旨在能夠以編程實(shí)踐為入手，按照實(shí)

本書系統(tǒng)地介紹了由作者提出的非線性系統(tǒng)的信息融合估計(jì)新方法、新理論及應(yīng)用。本書主要介紹了幾種非線性系統(tǒng)的估計(jì)方法，并從優(yōu)缺點(diǎn)、適用范圍、算法精度、復(fù)雜度等方面進(jìn)行性能分析。為了提高單個(gè)傳感器的估計(jì)精度，提出了非線性系統(tǒng)的多傳感器信息融合方法——加權(quán)觀測融合方法，該方法有效地解決了非線性系統(tǒng)的融合問題。

本書是一本利用Python技術(shù)，結(jié)合人工智能、神經(jīng)網(wǎng)絡(luò)和機(jī)器學(xué)習(xí)、遺傳算法等互聯(lián)網(wǎng)技術(shù)進(jìn)行相應(yīng)行業(yè)模型開發(fā)的技術(shù)圖書。本書第1～4章主要講解了利用Python軟件分析模型開發(fā)的入門知識，包括開發(fā)工具的使用、測試技術(shù)難點(diǎn)等內(nèi)容；第5～7章主要講解了利用人工智能中的神經(jīng)網(wǎng)絡(luò)技術(shù)進(jìn)行技術(shù)研發(fā)，利用數(shù)據(jù)挖掘技術(shù)完善行業(yè)技術(shù)模型

在國家政策的支持下，2018年以來我國網(wǎng)絡(luò)可信身份服務(wù)業(yè)發(fā)展迅猛，規(guī)模持續(xù)增加、結(jié)構(gòu)更趨合理、企業(yè)成長迅速、技術(shù)逐漸成熟。本書系統(tǒng)分析了國內(nèi)外相關(guān)做法和經(jīng)驗(yàn)，具體闡述了我國網(wǎng)絡(luò)可信身份服務(wù)業(yè)發(fā)展現(xiàn)狀、特點(diǎn)和問題，明晰了網(wǎng)絡(luò)可信身份戰(zhàn)略的實(shí)施路徑。本書分為綜合篇、國際篇、技術(shù)和標(biāo)準(zhǔn)篇、產(chǎn)業(yè)和應(yīng)用篇、行業(yè)實(shí)踐篇、展望篇，共

《中國互聯(lián)網(wǎng)發(fā)展報(bào)告2019》客觀、忠實(shí)地記錄了2018年以來中國互聯(lián)網(wǎng)行業(yè)的發(fā)展?fàn)顩r，對中國互聯(lián)網(wǎng)發(fā)展環(huán)境、資源、重點(diǎn)業(yè)務(wù)和應(yīng)用、主要細(xì)分行業(yè)和重點(diǎn)領(lǐng)域的發(fā)展?fàn)顩r進(jìn)行了總結(jié)、分析和研究，既有宏觀分析和綜述，也有專項(xiàng)研究。本書內(nèi)容豐富、重點(diǎn)突出、數(shù)據(jù)翔實(shí)、圖文并茂，對互聯(lián)網(wǎng)相關(guān)從業(yè)者具有重要的參考價(jià)值。

系統(tǒng)介紹分散控制系統(tǒng)（DCS）和現(xiàn)場總線控制系統(tǒng)（FCS）的應(yīng)用及工程設(shè)計(jì)

人工智能與機(jī)器人創(chuàng)意設(shè)計(jì)賽為大學(xué)生提供一個(gè)創(chuàng)新創(chuàng)意展示平臺，旨在培養(yǎng)和鍛煉學(xué)生的自主學(xué)習(xí)能力、創(chuàng)新能力、工程實(shí)踐能力、團(tuán)隊(duì)合作能力等四個(gè)能力，為培養(yǎng)新一代卓越工程師提供平臺。該項(xiàng)比賽鼓勵(lì)新思路、新理論、新技術(shù)在機(jī)器人設(shè)計(jì)和人工智能應(yīng)用中的探索與創(chuàng)新，鼓勵(lì)學(xué)生進(jìn)行自己動(dòng)手設(shè)計(jì)制作人工智能與機(jī)器人系統(tǒng)，提交論文到競賽組委會

遺傳算法由于其在解決非線性、大空間、全局尋優(yōu)、組合優(yōu)化等復(fù)雜問題方面所具有的獨(dú)特優(yōu)勢，得到了國內(nèi)外學(xué)者的廣泛關(guān)注，并在電子、通信、計(jì)算機(jī)、自動(dòng)化、信號處理和模式識別等眾多領(lǐng)域得到了成功的應(yīng)用。本書首先介紹遺傳算法的概念、理論、主要應(yīng)用方向、算法流程和關(guān)鍵參數(shù)，并給出具體的MATLAB仿真實(shí)例；然后介紹直線陣列、平面陣列