《語義物聯(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)

本教材根據(jù)計(jì)算機(jī)專業(yè)崗位能力標(biāo)準(zhǔn)，分析和歸納課程核心能力所對(duì)應(yīng)的知識(shí)與技能要求,然后對(duì)知識(shí)技能進(jìn)行歸屬性分析，按項(xiàng)目進(jìn)行教學(xué)單元構(gòu)建，以實(shí)際工作任務(wù)驅(qū)動(dòng)，將知識(shí)融合到項(xiàng)目、任務(wù)中，通過項(xiàng)目、任務(wù)的訓(xùn)練加深學(xué)生對(duì)知識(shí)的理解、記憶和掌握運(yùn)用，在項(xiàng)目、任務(wù)訓(xùn)練中提高學(xué)生的職業(yè)技能。通過本課程的學(xué)習(xí)，使學(xué)生具有簡單計(jì)算機(jī)網(wǎng)絡(luò)的

本書共分13個(gè)項(xiàng)目，在內(nèi)容結(jié)構(gòu)上，按照交換基礎(chǔ)篇、LAN交換和路由基礎(chǔ)篇、路由協(xié)議和概念篇、路由協(xié)議配置篇、網(wǎng)絡(luò)安全基礎(chǔ)篇的結(jié)構(gòu)進(jìn)行布局。在教學(xué)過程中注意體現(xiàn)學(xué)生設(shè)計(jì)和動(dòng)手能力培養(yǎng)的循序漸進(jìn)性。《網(wǎng)絡(luò)組建與應(yīng)用》可用作計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)專業(yè)的教學(xué)用書，也可用作電子及計(jì)算機(jī)類專業(yè)的網(wǎng)絡(luò)類課程的教材或者實(shí)驗(yàn)指導(dǎo)用書。

本書是學(xué)習(xí)網(wǎng)絡(luò)設(shè)備配置的實(shí)訓(xùn)教程，從學(xué)生學(xué)習(xí)的角度來編寫，內(nèi)容豐富，結(jié)構(gòu)清晰，通俗易懂，實(shí)例眾多。全書以常見的交換機(jī)、路由器等設(shè)備為核心，內(nèi)容涵蓋設(shè)備的基本概念、性能指標(biāo)、核心網(wǎng)絡(luò)設(shè)備的選購、設(shè)備的配置和維護(hù)等。教程的體系結(jié)構(gòu)完整，涉及的操作內(nèi)容步驟清晰明確，具有較強(qiáng)的可模擬性，每章末尾附有相關(guān)的習(xí)題，便于讀者學(xué)習(xí)。

本書共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ù)。

《安全協(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í)施模型、安

本書主要介紹認(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)用

本教材共分為六章，主要內(nèi)容包括虛擬現(xiàn)實(shí)認(rèn)知、虛擬現(xiàn)實(shí)的產(chǎn)品認(rèn)知、虛擬現(xiàn)實(shí)在各領(lǐng)域的應(yīng)用、虛擬現(xiàn)實(shí)的關(guān)鍵技術(shù)、增強(qiáng)現(xiàn)實(shí)、混合現(xiàn)實(shí)等。在內(nèi)容設(shè)計(jì)上通過劃分小節(jié)分別闡述虛擬現(xiàn)實(shí)的基本概念、基本特征、系統(tǒng)分類及研究概況，虛擬現(xiàn)實(shí)的產(chǎn)品，虛擬現(xiàn)實(shí)在醫(yī)療健康領(lǐng)域、旅游行業(yè)、房地產(chǎn)領(lǐng)域、游戲和影音媒體、購物領(lǐng)域、教育領(lǐng)域、制造領(lǐng)域、

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

本書由多年從事網(wǎng)絡(luò)技術(shù)教學(xué)工作及系統(tǒng)集成項(xiàng)目的教師及工程技術(shù)人員編寫。本書以注重實(shí)際操作、注重主流技術(shù)、注重網(wǎng)絡(luò)應(yīng)用為中心，主要目的是讓學(xué)生掌握和熟悉網(wǎng)絡(luò)互聯(lián)的組網(wǎng)方法和相關(guān)設(shè)備的配置，能夠利用互聯(lián)網(wǎng)絡(luò)作為本學(xué)科的學(xué)習(xí)與研究工具，適應(yīng)信息化社會(huì)的發(fā)展。本書既能保持教學(xué)的系統(tǒng)性，又能反應(yīng)當(dāng)前網(wǎng)絡(luò)互聯(lián)發(fā)展的最新技術(shù)。