《信息中心網(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ù)緩存策略、路由器緩存準人策略、基于節(jié)點利用比的緩存策略、基

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

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

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

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

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

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

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

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

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

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

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

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

本書是一本利用Python技術(shù)，結(jié)合人工智能、神經(jīng)網(wǎng)絡(luò)和機器學習、遺傳算法等互聯(lián)網(wǎng)技術(shù)進行相應(yīng)行業(yè)模型開發(fā)的技術(shù)圖書。本書第1～4章主要講解了利用Python軟件分析模型開發(fā)的入門知識，包括開發(fā)工具的使用、測試技術(shù)難點等內(nèi)容；第5～7章主要講解了利用人工智能中的神經(jīng)網(wǎng)絡(luò)技術(shù)進行技術(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)驗，具體闡述了我國網(wǎng)絡(luò)可信身份服務(wù)業(yè)發(fā)展現(xiàn)狀、特點和問題，明晰了網(wǎng)絡(luò)可信身份戰(zhàn)略的實施路徑。本書分為綜合篇、國際篇、技術(shù)和標準篇、產(chǎn)業(yè)和應(yīng)用篇、行業(yè)實踐篇、展望篇，共

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

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

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

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

本書分為12個單元，通過科學、合理的結(jié)構(gòu)，以親切的筆調(diào)、活潑的對話介紹了Python編程的相關(guān)知識。用有趣的例子，借助可愛的漫畫生動形象地介紹了包括變量、輸入輸出語句、循環(huán)語句、列表、對象等編程的基本概念。學習本書的內(nèi)容，可以幫助孩子掌握計算機的思維方式，而書中可視化和以游戲為主的例子可以激發(fā)孩子的學習興趣，培養(yǎng)其專注