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

《多維計算機導論課程教與學的研究與實證》以“計算機科學導論”課程為主要研究對象，從不同角度對該課程的教學進行研究與實證。首先，從計算機科學的學科特性出發(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）的配套習題輔導，旨在為學習者學習C語言程序設(shè)計課程提供指導和幫助。本書以C語言程序設(shè)計的基本思想和方法為主線，以培養(yǎng)學習者的邏輯思維能力、程序設(shè)計能力和自主學習能力為導向，以強化和鞏固程序設(shè)計的綜合能力和基本素養(yǎng)為目標。本書共分四章，包括章節(jié)練習、教材習題解

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

遺傳算法由于其在解決非線性、大空間、全局尋優(yōu)、組合優(yōu)化等復雜問題方面所具有的獨特優(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)其專注

本書由一線講師和設(shè)計師傾力編寫，深入挖掘PhotoshopCS6的核心工具、命令與功能，幫助讀者在短時間內(nèi)迅速掌握PhotoshopCS6的應(yīng)用方法與技巧，并將其運用到實際操作中。全書分為4個部分：第一部分是Photoshop入門和基本操作；第二部分是Photoshop核心功能，如選區(qū)與填色、繪畫與圖像修飾、調(diào)色、照片

《Scratch3.0少兒人工智能編程指南》第1章介紹Scratch，以及它能夠?qū)崿F(xiàn)的內(nèi)容；然后引出第2章Scratch3.0的界面知識與操作方法，介紹Scratch3.0的一些基本操作；接著在第3~6章以案例形式介紹了Scratch3.0在動畫制作、游戲設(shè)計、數(shù)學編程、硬件編程4個方面的實現(xiàn)方法和步驟；第7章介紹Sc

本書共11章，以RedHatEnterpriseLinux6.9（簡稱RHEL6.9）為例，分別介紹了Linux操作系統(tǒng)基礎(chǔ)、Linux圖形化界面、Linux常用Shell命令、管理用戶和用戶組、文件系統(tǒng)及磁盤管理、系統(tǒng)與進程管理、軟件包管理、Linux應(yīng)用軟件、網(wǎng)絡(luò)配置、Linux遠程管理、Linux安全設(shè)置及日志管

本書共19章，全面講解了Cinema4DR18的使用方法并配以對應(yīng)的案例操作，介紹了在工作中常用的建模、材質(zhì)、燈光、渲染、粒子、毛發(fā)、布料、動畫、運動圖形、效果器和Xpresso等方面的知識，同時介紹了與AfterEffects軟件結(jié)合使用、UV貼圖拆分案例和OC外置渲染器的知識。知識全面，覆蓋性強，案例舉一反三。

《新編中文版PhotoshopCS6入門與提高（第2版）》是一本講解PhotoshopCS6基本功能及運用的書。 《新編中文版PhotoshopCS6入門與提高（第2版）》共分為12課，除了對PhotoshopCS6中的功能進行由淺入深的講解外，還為每個重要功能安排了操作練習。每個練習都有詳細的制作流程，圖文并茂，一目

《新編中文版Maya2016入門與提高》是一本介紹中文版Maya2016重要功能及實際運用的書。 《新編中文版Maya2016入門與提高》共分為9課，全面、細致地講解了Maya的重要應(yīng)用技術(shù)。通過學習本書，讀者能夠在較短時間內(nèi)掌握Maya的建模、燈光、材質(zhì)、渲染、動畫、動力學和流體等方面的技術(shù)。 《新編中文版Maya2

內(nèi)容提要 這是一本全面介紹IllustratorCS6應(yīng)用技巧的書，從軟件基本應(yīng)用講起，配合大量實訓練習，詳細介紹了IllustratorCS6的功能和特性。全書共計14章，以循序漸進的方法講解Illustrator的基本操作，顏色及圖案填充，圖形的選擇，變換與變形，畫筆工具與符號藝術(shù)，修剪、混合與封套扭曲，文字，圖

本書基于Blynk物聯(lián)網(wǎng)平臺，通過項目實踐的方式引導讀者制作物聯(lián)網(wǎng)項目。全書包括 準備篇、基礎(chǔ)項目實踐篇、中級項目實踐篇、高級項目實踐篇和附錄五部分內(nèi)容。 本書先介紹物聯(lián)網(wǎng)的一些概念，并在認識物聯(lián)網(wǎng)開發(fā)板的基礎(chǔ)上介紹搭建物聯(lián)網(wǎng)開發(fā)環(huán) 境的方法；接著通過實現(xiàn)遠程控制臺燈、定時風扇等初級項目，引導讀者利用手機與硬件完成互相

本書對近年來涌現(xiàn)出的各種主流分布式技術(shù)做了簡要介紹和全面梳理。本書將分布式系統(tǒng)中涉及的技術(shù)分為前端構(gòu)造技術(shù)、分布式中間件技術(shù)和分布式存儲技術(shù)三大類，對每類技術(shù)都詳細介紹了其原理、設(shè)計思想和架構(gòu)，以及相關(guān)應(yīng)用場景。此外，本書還總結(jié)了分布式系統(tǒng)的構(gòu)建思想，并分別對業(yè)界幾個非常成功的大型分布式系統(tǒng)（谷歌搜索系統(tǒng)、淘寶網(wǎng)電商平