大數(shù)據(jù)是推動創(chuàng)新型國家建設(shè)的重要戰(zhàn)略資源。本書從機器學(xué)習(xí)、可視分析、知識處理、數(shù)據(jù)挖掘等角度出發(fā)，詳細討論了大數(shù)據(jù)分析的相關(guān)基礎(chǔ)理論和技術(shù)方法，主要包括：大數(shù)據(jù)機器學(xué)習(xí)理論與方法，大數(shù)據(jù)可視分析理論與方法，多源不確定數(shù)據(jù)挖掘方法與技術(shù)，自動深層化知識處理方法與技術(shù)，大數(shù)據(jù)分析平臺、標準與應(yīng)用示范等。本書總結(jié)了部分代《B

本書比較全面地介紹云數(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)展示

本書是為“數(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)原理

社交媒體虛假信息自動檢測研究受到了計算語言學(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ǔ)篇中，作者首先給出虛假信息的定義及分類，接著

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

本書是“十三五”江蘇省高等學(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ǔ)

數(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)用案例進行

本書主要針對控制理論的一些重要分支，分析了當前存在的瓶頸問題，展望了其發(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)、自抗擾控制中的若干未解問題、非線性控制的幾個瓶頸問題、時間與

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

裝配是產(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)裝配方