基于跨網(wǎng)、跨域、跨世界的復(fù)雜服務(wù)生態(tài)體系所形成的大服務(wù)和服務(wù)互聯(lián)網(wǎng)已成為國內(nèi)外服務(wù)計算與現(xiàn)代服務(wù)業(yè)領(lǐng)域的熱點之一。本書介紹了大服務(wù)與服務(wù)互聯(lián)網(wǎng)的新形態(tài)、本質(zhì)規(guī)律及特征、體系結(jié)構(gòu)與模型、系統(tǒng)開發(fā)方法與運行機制、平臺構(gòu)建與演化、典型應(yīng)用領(lǐng)域等方面的**研究以及服務(wù)科學(xué)與工程領(lǐng)域的人才培養(yǎng)，既包含豐富的理論成果，也有具體的技

裝配是產(chǎn)品設(shè)計的核心，對產(chǎn)品的生產(chǎn)效率、性能和成本有著重要的影響�？裳b配性是產(chǎn)品的一種固有特性，是產(chǎn)品設(shè)計的核心。本書從可裝配性概念出發(fā)，介紹其影響因素及評價方法，梳理虛擬現(xiàn)實輔助可裝配性設(shè)計的關(guān)鍵技術(shù)——虛擬現(xiàn)實輔助裝配技術(shù)、人體運動捕捉技術(shù)和人機功效評價。針對產(chǎn)品裝配中的手工裝配，本書詳細介紹虛擬現(xiàn)實輔助動態(tài)裝配方

本書針對當(dāng)前模型擬合方法存在的關(guān)鍵問題進行分析和研究，基于數(shù)據(jù)關(guān)系，分別對不平衡數(shù)據(jù)的敏感性、超圖構(gòu)建、模型選擇的準(zhǔn)確性以及確定性擬合方法的適用性等關(guān)鍵問題介紹一些新的模型擬合方法。本書所介紹的模型擬合方法在一定程度上解決了這些問題，為模型擬合方向的發(fā)展和研究提供了一些新的思路。

本書從大數(shù)據(jù)基礎(chǔ)原理、大數(shù)據(jù)分析方法和大數(shù)據(jù)行業(yè)應(yīng)用三個部分介紹大數(shù)據(jù)技術(shù)。全書共12章，內(nèi)容包含大數(shù)據(jù)的基本概念，分布式基礎(chǔ)架構(gòu)Hadoop，分布式文件系統(tǒng)HDFS，NoSQL數(shù)據(jù)庫，分布式計算框架MapReduce，大數(shù)據(jù)基本分析方法（聚類、分類與預(yù)測），大數(shù)據(jù)在搜索引擎、推薦系統(tǒng)以及其他行業(yè)的應(yīng)用。本書在前7章設(shè)

手語計算是人工智能的一個重要分支，主要研究如何利用計算機來理解和生成手語。本書重點介紹了手語計算所涉及的各個方面，包括手語計算與有聲語言計算的區(qū)別、書寫系統(tǒng)、輸入輸出、詞法分析、分類詞謂語計算、句法分析、語料庫語言學(xué)、機器翻譯、認知神經(jīng)機制等，既有對基礎(chǔ)知識的介紹，又有對**研究進展的綜述，同時還結(jié)合了筆者多年的研究成

本書主要針對控制理論的一些重要分支，分析了當(dāng)前存在的瓶頸問題，展望了其發(fā)展趨勢和面臨的一系列挑戰(zhàn)。全書共分為17章，分別為：優(yōu)化控制研究的概述與關(guān)鍵問題分析、邏輯控制系統(tǒng)中的未解問題、系統(tǒng)與控制中優(yōu)化理論與應(yīng)用的挑戰(zhàn)與瓶頸、分布參數(shù)系統(tǒng)控制、數(shù)據(jù)驅(qū)動控制系統(tǒng)、自抗擾控制中的若干未解問題、非線性控制的幾個瓶頸問題、時間與

在編寫代碼時，每位軟件專業(yè)人士都需要對算法有充分的理解。在這本實用性極強的著作中，作者對一些關(guān)鍵的算法進行了詳實的描述，可以有效地提高用各種語言編寫代碼的質(zhì)量。軟件開發(fā)人員、測試人員和維護人員可以在本書中學(xué)會如何使用算法，以創(chuàng)造性的方式解決計算性問題。 本書各章內(nèi)容前后銜接緊密，環(huán)環(huán)相扣，用醒目的圖表有條不紊地展示了

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

本書是“十三五”江蘇省高等學(xué)校重點教材(編號：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)要素的智能化識別、定位、跟蹤、監(jiān)控和管理提供了很好的解決方案。本書共由四篇構(gòu)成：第一篇介紹了制造物聯(lián)技術(shù)理論基礎(chǔ)

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

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

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

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

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

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

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

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

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

面對日益復(fù)雜的國際國內(nèi)環(huán)境和突如其來的危機，如何處理好公共突發(fā)事件，維護公共的網(wǎng)絡(luò)安全成為提高政府執(zhí)政能力的重中之重。本選題從公共突發(fā)事件的通信保障、網(wǎng)絡(luò)輿情監(jiān)控、電子數(shù)據(jù)證據(jù)運用、移動互聯(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ī)、重大項目和工程事件；通過海洋能源網(wǎng)、信息網(wǎng)、物聯(lián)網(wǎng)（三網(wǎng)）構(gòu)成的基礎(chǔ)設(shè)施，全面促進海洋農(nóng)業(yè)現(xiàn)代化、海洋工業(yè)現(xiàn)代化、海洋服務(wù)業(yè)現(xiàn)代化以及海洋治理現(xiàn)代化（四化），同時總結(jié)了我國海洋網(wǎng)絡(luò)信息體系發(fā)展存在