本书详细介绍了面向静态数据库、增量数据库和数据流的高效用模式挖掘的理论和方法。本书主要内容包括六个章节，前两章介绍高效用模式挖掘的相关知识。第三章介绍面向静态数据库包含正、负效用的两类精简高效用模式挖掘方法的研究与实现过程。第四章介绍针对增量数据库的挖掘高效用模式全集和精简集合算法的研究。第五章介绍面向数据流的精简高效

本书全面介绍了最新的因果推断方法，并以实践应用为辅，方便读者理解。本书化繁为简，层层深入地引导读者了解因果推断方法发展的历程和现状。通过本书，读者可以获得关于因果推断方法的全局视角。本书共5章，以递进的方式展开对因果推断方法的介绍。第1章从广泛熟悉的相关关系出发，通过介绍相关关系与因果关系的联系与区别过渡到对因果关系的

本书内容紧贴化工、钢铁等行业的岗位工作过程，介绍了压力、流量、物位、温度四类检测仪表选型与维护，控制器与执行器的使用，以及单回路控制系统、复杂控制系统的装调等，重点突出完成工作任务需要的知识技能，缩减纯理论的分析。本书以工作任务为载体，理论知识与技能操作相结合，项目从单一到整体，结构紧凑；采用图表形式展示内容，生动形象

本书详细介绍了工业机器人精度补偿的基础理论和关键技术，阐述了机器人精度及精度补偿的基本概念，主要内容包括：机器人运动学建模、机器人采样点规划方法、基于定位误差模型的机器人精度补偿技术、基于误差相似度的机器人精度补偿技术、基于神经网络的机器人精度补偿技术、基于关节空间闭环反馈的机器人精度补偿技术以及基于笛卡儿空间闭环反馈

本书主要研究多自由度轮/履式仿人机器人在非结构化环境下自主作业的关键技术。第1、2章介绍研究背景及多自由度轮/履式仿人机器人平台；第3、4章介绍不同几何约束条件下的图像特征匹配算法，通过提高特征点匹配性能和运动估计精度来解决非结构环境下的三维地图构建及重建问题；第5～7章介绍基于路径规划、碰撞检测，以及稳定判据的运动学

本书提出了一种基于形式化模型的严密的系统设计方法，阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态，讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断

《线性系统的多级时间尺度反馈控制及其在燃料电池中的应用》主要介绍了连续和离散时间域的两级反馈控制器设计算法，包括一般线性时不变动态系统的设计公式和代数方程，对双时间尺度线性时不变动态系统（奇异摄动系统）进行了简化和专门研究，对一般线性时不变动态系统的连续时间域三级反馈控制器设计也作了相应的介绍．《线性系统的多级时间尺度

本书从欠驱动机械臂动力学建模和运动特性分析入手，详细介绍垂直欠驱动机械臂、平面欠驱动机械臂、柔性机械臂的控制策略等内容。全书共6章：第1章是绪论，介绍欠驱动机械臂的构型，回顾欠驱动机械臂的控制与优化设计方法。第2章建立欠驱动机械臂的运动学与动力学模型，分析欠驱动机械臂的运动特性。第3章提出垂直欠驱动机械臂的控制与优化设

本书共五章，基于人体膝关节的运动实验，总结了膝关节的运动特点和连杆综合的特点，进行了膝关节外骨骼的结构综合及根据综合轨迹进行了穿戴舒适性的评价分析。

本书是一本基于机器人平台的实践类教程，重点瞄准人工智能技术在机器人中的应用开发。本书以树莓派智能车为载体，从智能车的组成入手，帮助读者熟悉智能车软硬件资源，然后一步步引导读者搭建TensorFlow的开发框架，结合视频传输实现机器视觉，再结合语音输入及手机APP实现语音识别，并介绍了脑机接口方面的简单应用。在此基础上，