數(shù)據(jù)要素是新型生產(chǎn)要素之一，因其蘊(yùn)含著巨大價(jià)值，其重要性被提到了新的高度，但其理論體系尚未完全形成，全生命周期各個(gè)環(huán)節(jié)的理論和技術(shù)還在不斷探索中�！禕R》本書以數(shù)據(jù)要素知識(shí)體系構(gòu)建和數(shù)據(jù)要素價(jià)值的發(fā)掘應(yīng)用為主線，從理論和行業(yè)案例兩個(gè)方面，對(duì)數(shù)據(jù)要素生命周期涉及的基礎(chǔ)理論、概念和方法及數(shù)據(jù)要素驅(qū)動(dòng)業(yè)務(wù)發(fā)展行業(yè)應(yīng)用案例進(jìn)行

本書是“十三五”江蘇省高等學(xué)校重點(diǎn)教材(編號(hào)：2019-1-063)�！禕R》物聯(lián)網(wǎng)在制造領(lǐng)域的深度滲透和落地應(yīng)用催生了一種以“物物互聯(lián)、泛在感知”為特征的新型制造技術(shù)——制造物聯(lián)網(wǎng)。制造物聯(lián)技術(shù)為制造業(yè)生產(chǎn)要素的智能化識(shí)別、定位、跟蹤、監(jiān)控和管理提供了很好的解決方案。本書共由四篇構(gòu)成：第一篇介紹了制造物聯(lián)技術(shù)理論基礎(chǔ)

隨著現(xiàn)代社會(huì)信息化程度的提高，與計(jì)算機(jī)相關(guān)的各種系統(tǒng)故障足以造成巨大的經(jīng)濟(jì)損失。機(jī)械化的定理證明能夠建立更為嚴(yán)格的正確性，從而奠定系統(tǒng)的高可信性。本書闡述機(jī)械化定理證明的邏輯基礎(chǔ)和關(guān)鍵技術(shù)，分析比較各類主流證明助手的設(shè)計(jì)特點(diǎn)，重點(diǎn)討論在編譯器驗(yàn)證領(lǐng)域取得的重要研究成果，并以實(shí)例詳述驗(yàn)證編譯器的開發(fā)和實(shí)現(xiàn)。

社交媒體虛假信息自動(dòng)檢測(cè)研究受到了計(jì)算語(yǔ)言學(xué)界和產(chǎn)業(yè)界的廣泛關(guān)注，并逐步成為研究熱點(diǎn)。本書基于自然語(yǔ)言處理視角，結(jié)合機(jī)器學(xué)習(xí)、神經(jīng)網(wǎng)絡(luò)、語(yǔ)料庫(kù)語(yǔ)言學(xué)等相關(guān)技術(shù)，以作者的一系列研究成果為內(nèi)容主線，系統(tǒng)介紹了社交媒體虛假信息檢測(cè)的基礎(chǔ)和模型。全書分為基礎(chǔ)篇和模型篇，共8章。在基礎(chǔ)篇中，作者首先給出虛假信息的定義及分類，接著

本書是為“數(shù)據(jù)結(jié)構(gòu)”課程編寫的教材，第1，2章介紹數(shù)學(xué)基礎(chǔ)和算法相關(guān)預(yù)備知識(shí)，第3章至第10章介紹常見(jiàn)數(shù)據(jù)結(jié)構(gòu)的抽象數(shù)據(jù)類型、算法實(shí)現(xiàn)、性能分析及其應(yīng)用。本書注重全面運(yùn)用數(shù)據(jù)結(jié)構(gòu)知識(shí)解決案例中的實(shí)際問(wèn)題，也穿插了程序設(shè)計(jì)的技巧。全書采用JavaScript語(yǔ)言作為數(shù)據(jù)結(jié)構(gòu)和算法的描述語(yǔ)言，介紹了常見(jiàn)的數(shù)據(jù)結(jié)構(gòu)的實(shí)現(xiàn)原理

本書比較全面地介紹云數(shù)據(jù)管理中多維索引與復(fù)雜查詢、云環(huán)境下針對(duì)物聯(lián)網(wǎng)數(shù)據(jù)的多維索引技術(shù)、可擴(kuò)展的空間關(guān)鍵字查詢、基于MapReduce的概率集合相似性連接查詢、大規(guī)模高維向量相似性連接查詢、Top-k相似性連接查詢、基于隨機(jī)映射的相似性連接查詢、相似性連接查詢其他問(wèn)題、大數(shù)據(jù)復(fù)雜查詢面臨的挑戰(zhàn)等內(nèi)容。力求向讀者系統(tǒng)展示

本書通過(guò)理論講解與實(shí)例解析相結(jié)合的方式，詳細(xì)介紹了機(jī)器人機(jī)構(gòu)設(shè)計(jì)的過(guò)程和要點(diǎn)。主要內(nèi)容包括:機(jī)器人機(jī)構(gòu)總體設(shè)計(jì)、機(jī)器人驅(qū)動(dòng)機(jī)構(gòu)、機(jī)器人傳動(dòng)機(jī)構(gòu)、機(jī)器人機(jī)身與臂部機(jī)構(gòu)、機(jī)器人腕部機(jī)構(gòu)、機(jī)器人手部機(jī)構(gòu)、機(jī)器人移動(dòng)機(jī)構(gòu)。各類機(jī)構(gòu)都有典型實(shí)例解析，最后一章詳細(xì)講解了機(jī)器人機(jī)構(gòu)設(shè)計(jì)的綜合實(shí)例。本書內(nèi)容清晰，系統(tǒng)性強(qiáng)，可以為從事機(jī)

"本書為首批國(guó)家一流本科課程、國(guó)家級(jí)精品課程、精品資源共享課、精品視頻公開課主講教材，工信部規(guī)劃教材，北京市高等教育精品教材，經(jīng)過(guò)長(zhǎng)期醞釀和多年教學(xué)經(jīng)驗(yàn)總結(jié)而成。本書全面研究和論述了信息系統(tǒng)安全與對(duì)抗技術(shù)，主要內(nèi)容：工程系統(tǒng)理論及系統(tǒng)工程基礎(chǔ)，信息安全與對(duì)抗知識(shí)基礎(chǔ)，信息安全檢測(cè)與攻擊技術(shù)，信息安全防御與對(duì)抗技術(shù)，信息

本書以項(xiàng)目案例為導(dǎo)向，貫穿講解一個(gè)大數(shù)據(jù)的實(shí)戰(zhàn)項(xiàng)目：廣電大數(shù)據(jù)用戶畫像。全書共8章，具體內(nèi)容包括大數(shù)據(jù)項(xiàng)目概述、Hadoop生態(tài)組件基礎(chǔ)、廣電大數(shù)據(jù)用戶畫像需求分析、廣電大數(shù)據(jù)用戶畫像數(shù)據(jù)采集與預(yù)處理、廣電大數(shù)據(jù)用戶畫像實(shí)時(shí)統(tǒng)計(jì)訂單信息、廣電大數(shù)據(jù)用戶畫像用戶標(biāo)簽計(jì)算與可視化、廣電大數(shù)據(jù)用戶畫像任務(wù)調(diào)度實(shí)現(xiàn)、基于Tip

本書根據(jù)高等學(xué)校研究生高級(jí)控制理論課程的教學(xué)要求編寫，主要圍繞非線性系統(tǒng)數(shù)學(xué)模型、控制器典型設(shè)計(jì)方法、熱門研究方向三個(gè)方面展開，并闡述了非線性系統(tǒng)控制理論的基本內(nèi)容與進(jìn)展。為了教材知識(shí)體系的完整性以及拓展讀者的視野，加深學(xué)生對(duì)課程的理解以及后續(xù)的科研工作，每章均有習(xí)題。全書兼具理論性、資料性和實(shí)踐性。

本書以青少年喜愛(ài)的《西游記》為藍(lán)本進(jìn)行人物塑造，故事主線講述了人工智能時(shí)代下，一個(gè)具備學(xué)習(xí)人工智能的硬件基礎(chǔ)，卻缺乏相關(guān)理論知識(shí)的智能機(jī)器人——悟小白，在通臂猿猴的陪伴下，在尋找人工智能專家唐小僧拜師學(xué)藝的路上，通過(guò)重重關(guān)卡，不斷歷練的故事，而這正是人工智能的技術(shù)基石——“機(jī)器學(xué)習(xí)”的本質(zhì)。故事由淺入深，通過(guò)各類關(guān)卡和

面對(duì)日益復(fù)雜的國(guó)際國(guó)內(nèi)環(huán)境和突如其來(lái)的危機(jī)，如何處理好公共突發(fā)事件，維護(hù)公共的網(wǎng)絡(luò)安全成為提高政府執(zhí)政能力的重中之重。本選題從公共突發(fā)事件的通信保障、網(wǎng)絡(luò)輿情監(jiān)控、電子數(shù)據(jù)證據(jù)運(yùn)用、移動(dòng)互聯(lián)網(wǎng)安全等方面，結(jié)合數(shù)學(xué)模型論述了網(wǎng)絡(luò)安全的監(jiān)控方法及其應(yīng)用。

本書以全球視角，按照“三網(wǎng)四化”的整體架構(gòu)，梳理了海洋網(wǎng)絡(luò)信息體系領(lǐng)域的發(fā)展?fàn)顩r，包括2021年度相應(yīng)的頂層規(guī)劃、政策法規(guī)、重大項(xiàng)目和工程事件；通過(guò)海洋能源網(wǎng)、信息網(wǎng)、物聯(lián)網(wǎng)（三網(wǎng)）構(gòu)成的基礎(chǔ)設(shè)施，全面促進(jìn)海洋農(nóng)業(yè)現(xiàn)代化、海洋工業(yè)現(xiàn)代化、海洋服務(wù)業(yè)現(xiàn)代化以及海洋治理現(xiàn)代化（四化），同時(shí)總結(jié)了我國(guó)海洋網(wǎng)絡(luò)信息體系發(fā)展存在

當(dāng)前，信息技術(shù)創(chuàng)新日新月異，伴隨著以數(shù)字化、網(wǎng)絡(luò)化、智能化為特征的信息化浪潮蓬勃興起，世界各國(guó)積極推動(dòng)計(jì)算機(jī)應(yīng)用技術(shù)、產(chǎn)業(yè)與實(shí)體經(jīng)濟(jì)交叉融合，新業(yè)態(tài)、新領(lǐng)域、新場(chǎng)景不斷涌現(xiàn)。我國(guó)高度重視計(jì)算機(jī)應(yīng)用發(fā)展，大數(shù)據(jù)、人工智能、云計(jì)算、5G等快速發(fā)展的新一代信息技術(shù)與國(guó)民經(jīng)濟(jì)、國(guó)計(jì)民生及國(guó)家安全等領(lǐng)域深度融合，推動(dòng)了各領(lǐng)域數(shù)字

智能計(jì)算作為人工智能時(shí)代的核心生產(chǎn)力，已成為國(guó)際計(jì)算機(jī)科技發(fā)展的焦點(diǎn)，在計(jì)算理論、體系架構(gòu)、應(yīng)用模式等方面迎來(lái)顛覆性變革。本書從全球發(fā)展態(tài)勢(shì)、我國(guó)發(fā)展現(xiàn)狀、未來(lái)展望和熱點(diǎn)亮點(diǎn)四個(gè)方面介紹智能計(jì)算取得的重要進(jìn)展情況，對(duì)智能計(jì)算核心器件、關(guān)鍵軟件、計(jì)算設(shè)備、計(jì)算架構(gòu)等全球及我國(guó)態(tài)勢(shì)、關(guān)鍵技術(shù)產(chǎn)業(yè)進(jìn)展進(jìn)行深入研究，希望為我國(guó)

“十四五”規(guī)劃中，腦科學(xué)、認(rèn)知科學(xué)、人工智能等相關(guān)領(lǐng)域研究被納入科技前沿攻關(guān)領(lǐng)域，并計(jì)劃實(shí)施一批具有前瞻性、戰(zhàn)略性的相關(guān)國(guó)家重大科技項(xiàng)目。其中，腦與認(rèn)知啟發(fā)的人工智能研究既有利于突破人工智能前沿基礎(chǔ)理論，又有助于類腦計(jì)算與腦機(jī)融合技術(shù)研發(fā)實(shí)現(xiàn)根本突破，是實(shí)現(xiàn)“十四五”規(guī)劃目標(biāo)的重要抓手。本書將圍繞腦科學(xué)、認(rèn)知科學(xué)與人工

控制技術(shù)是前三次工業(yè)革命的重要使能技術(shù)，分別實(shí)現(xiàn)了機(jī)械自動(dòng)化、電氣自動(dòng)化和信息自動(dòng)化。面向第四次工業(yè)革命，實(shí)現(xiàn)知識(shí)自動(dòng)化是本學(xué)科的重要使命，研究以工業(yè)人工智能為代表的新算法、研制以人參與的信息物理系統(tǒng)為代表的新型控制系統(tǒng)，成為本學(xué)科領(lǐng)域的兩個(gè)主要發(fā)展任務(wù)。新一代信息通信技術(shù)飛速發(fā)展，以感知、決策和執(zhí)行為代表的領(lǐng)域基本方

當(dāng)前，我國(guó)已進(jìn)入數(shù)字中國(guó)建設(shè)新階段，數(shù)字化發(fā)展步伐不斷加快，數(shù)字經(jīng)濟(jì)高質(zhì)量發(fā)展為實(shí)現(xiàn)第二個(gè)百年奮斗目標(biāo)奠定堅(jiān)實(shí)基礎(chǔ)，持續(xù)推進(jìn)我國(guó)網(wǎng)絡(luò)空間治理體系和治理能力現(xiàn)代化。與此同時(shí)，全球各國(guó)積極布局?jǐn)?shù)字化領(lǐng)域，爭(zhēng)奪新時(shí)期戰(zhàn)略高地。網(wǎng)絡(luò)安全作為保障全社會(huì)數(shù)字化轉(zhuǎn)型、護(hù)航數(shù)字經(jīng)濟(jì)高質(zhì)量發(fā)展的關(guān)鍵核心，逐漸成為全球數(shù)字競(jìng)合新格局的重中

本專著針對(duì)國(guó)內(nèi)外服務(wù)計(jì)算研究及其教學(xué)應(yīng)用的熱點(diǎn)問(wèn)題,作者在服務(wù)計(jì)算、Web服務(wù)學(xué)科領(lǐng)域基礎(chǔ)理論方面從事多年深入探索研究,借鑒國(guó)內(nèi)外已有資料和前人成果,經(jīng)過(guò)分析論證,收集大量專家學(xué)者近年來(lái)有關(guān)服務(wù)計(jì)算前沿問(wèn)題的著作和報(bào)告等展開研究,圍繞Web服務(wù)技術(shù)、面向服務(wù)的體系結(jié)構(gòu)、服務(wù)質(zhì)量和質(zhì)量預(yù)測(cè)、服務(wù)選擇和推薦、服務(wù)組合、云計(jì)

本書分為三個(gè)部分,分別涉及大數(shù)據(jù)處理中的鍵值存儲(chǔ)、容錯(cuò)存儲(chǔ)、數(shù)據(jù)一致性三個(gè)領(lǐng)域。在每個(gè)部分,首先簡(jiǎn)要介紹相關(guān)領(lǐng)域的基礎(chǔ)知識(shí)、系統(tǒng)優(yōu)化的關(guān)鍵技術(shù)以及主流的系統(tǒng)等,然后介紹作者在相關(guān)領(lǐng)域的部分研究成果。具體來(lái)說(shuō),在容錯(cuò)存儲(chǔ)方面,介紹了糾刪碼的數(shù)據(jù)布局、故障數(shù)據(jù)恢復(fù)算法、源數(shù)據(jù)節(jié)點(diǎn)與恢復(fù)節(jié)點(diǎn)選擇以及系統(tǒng)擴(kuò)容等方面的優(yōu)化方法,