本書共6章。第1章介紹新一代互聯(lián)網(wǎng)研究概況，由當(dāng)前互聯(lián)網(wǎng)技術(shù)面臨的問題入手，歸納總結(jié)新一代互聯(lián)網(wǎng)體系結(jié)構(gòu)研究過程中的共識(shí)與分歧，同時(shí)提出一種新型的網(wǎng)絡(luò)體系結(jié)構(gòu)。第2章介紹新一代互聯(lián)網(wǎng)研究重要計(jì)劃，給出國際上的主要研究計(jì)劃與主要研究項(xiàng)目。第3-6章重點(diǎn)討論新一代互聯(lián)網(wǎng)的部分核心技術(shù)。

《語義物聯(lián)網(wǎng)》從項(xiàng)目團(tuán)隊(duì)當(dāng)前正在開展的主要研究方向出發(fā)，介紹了語義物聯(lián)網(wǎng)研究領(lǐng)域中的關(guān)鍵技術(shù)和研究成果。從語義物聯(lián)網(wǎng)主要研究和解決的問題以及面臨的挑戰(zhàn)展開，重點(diǎn)討論物聯(lián)網(wǎng)前端資源描述和建模、物聯(lián)網(wǎng)感知數(shù)據(jù)描述和處理、物聯(lián)網(wǎng)感知數(shù)據(jù)自動(dòng)語義標(biāo)注、物聯(lián)網(wǎng)語義事件處理、物聯(lián)網(wǎng)時(shí)空語義建模等方面的關(guān)鍵技術(shù)和方法，并對(duì)語義物聯(lián)網(wǎng)

本書側(cè)重于介紹網(wǎng)絡(luò)控制系統(tǒng)的漸進(jìn)和有限時(shí)間穩(wěn)定性與控制算法的一些新方法，這些方法有的是作者近年來所提出的，有的是作者對(duì)原方法進(jìn)行的改進(jìn)和發(fā)展。全書內(nèi)容共分為十章，涉及單邊隨機(jī)時(shí)延網(wǎng)絡(luò)控制系統(tǒng)的分析與控制，雙邊隨機(jī)時(shí)延網(wǎng)絡(luò)控制的分析與控制，丟包網(wǎng)絡(luò)控制系統(tǒng)的分析與控制，同時(shí)受時(shí)延與丟包干擾的網(wǎng)絡(luò)控制系統(tǒng)的分析與控制

《信息中心網(wǎng)絡(luò)關(guān)鍵理論與技術(shù)》在歸納分析國內(nèi)外信息中心網(wǎng)絡(luò)相關(guān)科研成果的基礎(chǔ)上，研究信息中心網(wǎng)絡(luò)的名字査找、緩存、路由及擁塞控制等問題，主要內(nèi)容包括：名字快速査找方法，提出基于名字拆分的査找策略，旨在提高名字査找效率；網(wǎng)絡(luò)內(nèi)容緩存策略，提出基于請(qǐng)求內(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)論”課程為主要研究對(duì)象，從不同角度對(duì)該課程的教學(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í)平臺(tái)；建模課

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

本書主要介紹認(rèn)證與密鑰協(xié)商協(xié)議的設(shè)計(jì)方法以及協(xié)議中所涉及的相關(guān)知識(shí)。針對(duì)若干應(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ì)步驟。此外，對(duì)提出協(xié)議的安全性采用不同方法進(jìn)行了詳細(xì)的分析和證明，并對(duì)提出協(xié)議的性能進(jìn)行了實(shí)驗(yàn)對(duì)比分析。 本書針對(duì)不同應(yīng)用

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

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

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

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

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

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

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

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

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

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