免费人妻中文不卡无码_日本精品爽爽van在线_久久精品国产99久久丝袜蜜桃_女强人被春药精油按摩bd电影

《安全協(xié)議實(shí)施安全性自動(dòng)化分析與驗(yàn)證》系統(tǒng)介紹安全協(xié)議實(shí)施安全性自動(dòng)化分析與驗(yàn)證的基本理論和關(guān)鍵技術(shù)及**成果。主要內(nèi)容包括安全協(xié)議實(shí)施安全性分析與驗(yàn)證的國(guó)內(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ī)系列課程；確定開(kāi)放學(xué)習(xí)的含義及原則，研發(fā)開(kāi)放學(xué)習(xí)平臺(tái)；建模課

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

本書(shū)主要介紹認(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ì)比分析。 本書(shū)針對(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)狀及未來(lái)發(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í)符解析一致性測(cè)試技術(shù)，其中第

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

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

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

《中國(guó)互聯(lián)網(wǎng)發(fā)展報(bào)告2019》客觀、忠實(shí)地記錄了2018年以來(lái)中國(guó)互聯(lián)網(wǎng)行業(yè)的發(fā)展?fàn)顩r，對(duì)中國(guó)互聯(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)研究。本書(shū)內(nèi)容豐富、重點(diǎn)突出、數(shù)據(jù)翔實(shí)、圖文并茂，對(duì)互聯(lián)網(wǎng)相關(guān)從業(yè)者具有重要的參考價(jià)值。

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

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

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

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

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

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

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

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

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

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

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