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

本书共分为10章，主要内容包括概述、传感器的一般工作特性及其校准、常用传感器的工作原理、传感器信号调理与处理、参数检测、传感器智能化的实现、几种新型智能传感器及应用、智能技术在传感器中的应用、通信功能与总线接口、智能传感器的设计与应用。

本书主要内容包括：反馈控制系统的结构化建模、典型系统模型及其基本特性与工程意义

本书围绕工业机器人的相关基础理论及基本应用知识等内容进行了详细讲解，共分为8个项目，包括漫游工业机器人世界、工业机器人及驱动方式分类、工业机器人的技术参数和运动原理、工业机器人传感技术、工业机器人结构和末端执行器、工业机器人控制技术、工业机器人编程技术、机器人的工业应用。

本书分成十三个章节：第一章到第五章是基础知识，对PMAC的软件和硬件作了全面的介绍

本书是高等职业教育电类新形态一体化教材，是职业教育电子信息类专业教学资源库配套教材之一。全书共7章，涵盖传感器的基础知识与常用传感器应用的基本内容，分别介绍绪论、温湿度传感器及其应用、光电传感器及其应用、力敏传感器及其应用、超声波传感器及其应用、磁敏传感器及其应用、气敏传感器及其应用。对于各大类常用传感器，在引入基础知

协作机器人是指能够与人在同一场景工作的机器人。协作机器人往往具有人机协作安全性，快速示教能力，轻量化设计等特点。由于协作机器人使用方便，操作灵活，在工业，教育等领域有着广泛的运用。协作机器人可以作为机器人方向的入门课程，让读者了解机器人的现状。本书既可作为智能制造本科专业必修课程教材，也适合其他专业（如机械、控制、电气

本书主要介绍计算机控制系统的基础理论、设计方法和工程实现，基于典型案例来体现主要内容，突出本课程理论联系实际的特点。将MATLAB用于计算机控制系统的分析和控制器的设计，引导读者循序渐进地进行计算机控制系统的分析、设计和实现。本书供大量的设计及实现代码，以及电子教案、PPT课件、习题解答、知识图谱等电子材料，方便教师备

本书分为基础篇、技术篇和应用篇,分别介绍计算机控制系统的基本理论、主要技术和工程应用。基础篇介绍了计算机控制系统的理论基础(包括控制系统的数学模型、连续系统的分析和设计、离散系统的描述方法)及数字控制器的设计与实现等内容。技术篇介绍了控制系统中的计算机及其接口技术、过程通道技术、可靠性与抗干扰技术、控制系统中的软件技术

《大数据处理与应用（微课版）》以项目驱动的方式详细讲解大数据生态体系架构各方面的知识。主要涉及ETL的数据采集与清洗、离线数据仓库的构建和实时数据仓库的构建。《大数据处理与应用（微课版）》分为三个模块：模块一介绍大数据离线数据处理与分析，包含项目一和项目二，知识点覆盖HDFS、Hive、Sqoop、MapReduce、