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

隨著年齡的增長，生理機能的下降，如果不采取必要的措施，會導致高血壓、心臟病等一些疾病的并發(fā)癥。如果老年人能夠進行生理評估，這些風險可以大大降低。近年來，由于預防對老年人的重要性，許多研究人員將注意力集中在對人體生理功能的評估上。我們寫這本書是為了介紹我們認為是生理功能評估的關鍵技術，幫助讀者更好地了解生理功能評估。

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

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

視頻行為分析與情感計算是視頻內容分析領域的兩個重要研究方向；其中，視頻行為分析是為了理解視頻中所發(fā)生的行為，視頻情感計算以分析視頻中蘊含的情感為研究目標，二者緊密關聯。本書結合作者自身的相關研究工作，系統(tǒng)地介紹視頻行為分析與情感計算的主要概念、基本原理、典型方法以及國際上有關研究的新成果和新動向。本書介紹的主要內容包括

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

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

本書介紹了游戲策劃與設計的基本原理，通過諸多實例講解了游戲界面、游戲聲音、游戲程序和游戲引擎的基礎知識。同時介紹了游戲制作的相關軟件，并通過一系列的案例使讀者熟悉圖像處理軟件Photoshop、CorelDRAW，音頻制作軟件Audacity、SoundBug，圖形化程序設計語言Mind+以及游戲引擎“喚境”。本書可以

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

ROS是建立在開源操作系統(tǒng)Ubuntu系統(tǒng)之上的開源的機器人操作系統(tǒng)，其主要目標是為機器人研究和開發(fā)提供代碼復用的支持。它提供了操作系統(tǒng)應有的服務，包括硬件抽象、底層設備控制、共用功能的執(zhí)行、進程間消息傳遞，以及包管理。ROS的官方網站也提供了各種支持文檔，相關資源構成了一個強大的生態(tài)系統(tǒng)，使得學習和使用ROS非常方便