本書從區(qū)塊鏈的四個核心前沿技術--分布式賬本、加密技術、共識機制和智能合約技術入手，重點介紹公有鏈、聯(lián)盟鏈和私有鏈上的共識機制，描述其中使用的去中心化算法，包括PoW（工作量證明），PoS（權益證明），DPoS（股份授權證明），Ripple共識，PBFT（實用拜占庭容錯）和PoV（投票證明）等，并具體分析了每個算

本書深入介紹了具有變采樣周期網絡控制系統(tǒng)的H∞控制與故障檢測問題；提出了時延切換方法、時延切換與參數(shù)不確定性相結合的方法處理網絡誘導時延；給出了網絡控制系統(tǒng)的丟包補償方案；深入分析了網絡控制系統(tǒng)的輸出跟蹤控制；探討了數(shù)據漂移對網絡控制系統(tǒng)性能的影響；給出了基于觀測器的網絡控制系統(tǒng)建模及H∞控制器設計方法。本書研究方法新

粒計算是目前人工智能領域內廣為關注的研究課題，本書旨在為初學者提供學習粒計算理論與方法的基本指導。模糊集、粗糙集和概念格是粒計算的三種主要的方法，本書把這三種方法有機地結合成為一個粒計算的基本理論框架，主要包括：1）模糊集理論，2）粗糙集理論，3）概念格理論。

本書內容主要包括以下部分：安全協(xié)議形式化分析背景及研究現(xiàn)狀。介紹了安全協(xié)議及形式化方法基本概念，安全協(xié)議形式化分析研究發(fā)展歷史和國內外研究現(xiàn)狀。形式化方法基本理論。對模態(tài)邏輯、模型檢測，定理證明三類形式化方法進行了詳細闡述和對比分析，介紹了Murφ和Spin具有代表性的形式化分析工具。安全協(xié)議。介紹了安全協(xié)議的基本概念

三支決策理論是近年來發(fā)展起來的一種新的用于復雜問題求解的有效方法，在決策分析、不確定性分析、聚類分析、信息過濾、多標記分類等領域中有著廣泛的應用。本書主要介紹三支決策理論與方法，主要包含三支決策的發(fā)展現(xiàn)狀、三支概念格、三支群決策、三支邏輯、三支擬陣、基于包含度的三支群決策等內容。

作為一個崛起中的新興力量，人工智能不僅僅是一種技術，它的發(fā)展除了在科學和產業(yè)發(fā)展領域產生影響之外，還將對現(xiàn)行人類的社會規(guī)范、生活模式產生非常深遠的影響。隨著第三次人工智能潮的到來，人們對人工智能及其未來的發(fā)展充滿強烈的興趣和諸多的疑問——什么是人工智能？人工智能對人類生活會有哪些深遠影響？我們又能通過人工智能實現(xiàn)什么樣

《定量遙感：理念與算法（第二版）》論述從遙感觀測數(shù)據提取地表特征參量信息的定量遙感理念和算法技術，綜合介紹近年來定量遙感研究的主要成果和新進展。第1章通過概述遙感系統(tǒng)構成，綜述《定量遙感：理念與算法（第二版）》內容、提示各章之間的聯(lián)系。第2～4章(第一編)介紹遙感輻射和幾何信息的定量處理技術和重構高質量、時空連續(xù)

在機器人技術快速發(fā)展的今天，要想成為一名現(xiàn)代工程師，大學生和相關技術人員都有必要學習和掌握一些機器人學方面的知識。對于機電類專業(yè)的學生，機器人技術應該是必修課。特別是近幾年新增的機器人工程專業(yè)的學生，更是需要學習機器人工程的設計和應用技術。《機器人技術——設計、應用與實踐》是根據教育部新工科創(chuàng)新人才培養(yǎng)理念，以面向21

本書圍繞微小型仿生機器鼠的系統(tǒng)設計與運動控制，結合仿生技術和智能控制方法，對仿生機器鼠的研制過程和運動行為控制進行了系統(tǒng)闡述。書中重點突出了動物在仿生機器人設計與控制中的應用價值，實現(xiàn)了機器人學、動物行為學、仿生學的深度融合，創(chuàng)新性強，對仿生機器人前沿研究具有較強的參考價值與實踐指導意義。 本書不僅適用于普通高等院校

《計算機組成原理試題解析（第六版）》是《計算機組成原理》（第六版·立體化教材）的配套教材，提供了“計算機組成原理”課程的典型題解800余題，分為選擇、填空、計算、證明、分析、設計六種類型，以及碩士研究生入學考試輔導。所選習題少而精，具有概念性、思考性、啟發(fā)性，并給出參考答案。

本書是關于MATLAB基本應用和機器人學的實用參考書，全書共7章，以當前比較流行的MATLAB2018版本為基礎，描述了MATLAB的主要功能及機器人學基本應用。第1章和第2章介紹了MATLAB簡介及運算規(guī)則，包括MATLAB用戶界面、幫助系統(tǒng)、矩陣運算、數(shù)值運算及符號運算等；第3章至第5章介紹了MATLAB常見功能，

輕量級架構是目前的主流架構之一，《大型互聯(lián)網應用輕量級架構實戰(zhàn)》全面介紹了基于輕量級架構來構建大型互聯(lián)網應用，包括輕量級架構概述、Servlet、Spring、單元測試、集成測試、事務管理、SpringSecurity、MyBatis、MyBatis高級應用、SMM技術集成、SMM分層、基于SMM架構的互聯(lián)網應用、使用

機器學習是一門涉及高等數(shù)學、線性代數(shù)、概率論、統(tǒng)計學和運籌學等領域的交叉學科。機器學習的基礎就是數(shù)學，這也就要求學習者要有良好的數(shù)學基礎。為了降低機器學習的學習門檻，本書深入淺出地對機器學習算法的數(shù)學原理進行了嚴謹?shù)耐茖В徊⒗�用Python3對各種機器學習算法進行復現(xiàn)，還利用介紹的算法在相應數(shù)據集上進行實戰(zhàn)。本書主要內

Git是一款讓人一開始覺得很容易學，但卻很難精通的工具。本書除了介紹Git的相關知識外，還會模擬各種常見的狀況，讓讀者知道應該在什么時候使用什么指令�！禛it從入門到精通》共分11個章節(jié)，1~3章介紹安裝工具及環(huán)境，對于已經安裝完成的讀者可直接從第4章開始閱讀。第5章介紹Git基本的使用方式，雖然難度不高，但卻是整個G

《中文信息處理發(fā)展簡史》以中文信息處理的學科發(fā)展脈絡為線索，介紹了中文信息處理在不同歷史時期中的發(fā)展情況與主要成果。《中文信息處理發(fā)展簡史》首先簡要介紹了中文信息處理學科的基本概況，然后以起步期、發(fā)展期、成熟期、繁榮期等不同的歷史階段，分章節(jié)對中文信息處理各個歷史階段的發(fā)展過程和成果進行了具體闡述�！吨形男畔⑻幚戆l(fā)展簡

本書共10章，第1章主要介紹計算機控制系統(tǒng)的組成、分類及發(fā)展趨勢；第2章介紹計算機輸入/輸出接口與過程通道；第3章介紹計算機控制系統(tǒng)的數(shù)學描述；第4章至第9章分別介紹計算機控制系統(tǒng)的特性分析、頻率響應、魯棒穩(wěn)定性分析方法及各種經典設計方法；第10章通過一個具體例子介紹計算機控制系統(tǒng)的設計步驟和設計過程。

Java是目前企業(yè)中常用的一種面向對象思想開發(fā)的編程技術，是JavaEE企業(yè)級開發(fā)體系中非常重要的基礎技術。本書由淺入深地講解了整個Java程序設計的基礎知識、開發(fā)環(huán)境與開發(fā)工具。全書共15章，第1～9章是Java初級部分，主要內容包括Java語言概述、Java語言基礎、程序的控制語句、數(shù)組、面向對象基礎、繼承、多態(tài)、

針對貝葉斯網絡信息檢索模型沒有考慮術語之間關系的不足，本書從研究詞語間關系入手，提出一種改進的共現(xiàn)分析方法，一種利用共現(xiàn)分析法改進的PF-IBF方法，并研究了基于本體的詞語關聯(lián)問題；提出一種利用詞語間關系對傳統(tǒng)文本特征提取TF-IDF方法的改進方法；在上述工作基礎上，重點研究了利用術語間關系對信念網絡模型、簡單貝葉斯網

分類是遙感影像處理分析的重要內容和研究熱點，針對遙感影像分類中不同分類器各具優(yōu)勢、相互補充的特點，將模式識別領域的研究熱點-多分類器系統(tǒng)引入遙感領域，系統(tǒng)介紹了遙感多分類器集成理論、方法和典型應用。全書內容包括七章：第一章介紹了遙感影像分類進展，通過對不同分類器的比較與分析，構建了分類器集合；第二章從理論與實例兩方面，

本書總結了作者十多年來在電分析化學與傳感領域中的教學實踐和科學研究經驗及成果，對石墨烯及其納米復合材料的制備、表征及化學電極的修飾進行了深入淺出的闡述，并對石墨烯及其復合材料修飾電極在植物多酚檢測領域中的應用進行了較詳細的敘述和介紹。本書內容包括植物多酚和石墨烯的基礎知識，化學修飾電極的制備，阿魏酸、咖啡酸、蘆丁、木犀