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

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

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

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

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

本书考虑到领导者将可预见参考轨迹通过网络中的有向路径回传给部分跟随者进而从预见控制的视角出发系统研究多智能体系统的协同预见控制问题，包括单个领导者下的分布式预见跟踪(分布式编队预见跟踪)控制问题、多个领导者下的分布式包围预见控制问题。利用预见控制中的状态增广技术，原问题可转化为含有邻居输出误差的增广系统的状态调节问题，

本书的主要内容包括：智能控制的基本概念、模糊控制的理论基础、模糊控制系统、人工神经元网络模型、神经网络控制论等，后简单介绍了智能控制的集成技术等，最后分别介绍了深度学习和强化学习。

本书综合了现有的数据采集和预处理技术，按照实际工作中的顺序，先介绍了大数据及数据采集的基础知识，然后介绍了使用爬虫技术进行数据采集、使用传感器进行数据采集、使用Kettle进行数据迁移和采集以及使用Python进行数据存储和处理，并以实训项目的形式，将技术与理论有机融为一体。

本书聚焦“启发式方法”这个主题，分5个部分进行介绍。第1部分概述了各种类型的启发式方法；第2部分侧重于面向数据的启发式方法及其在数据科学问题中的应用；第3部分诠释了面向最优化的启发式方法，以及它们如何解决具有挑战性的最优化问题；第4部分是讲解如何设计和实施新的启发式方法，以解决特定问题的相关内容；第5部分介绍了关于启发

本书主要内容包括智能入库、智能出库、智能仓储、AGV、光学尺寸检测、平面度检测等。本书结合工作岗位的实际需求，采用“项目导向、任务驱动”的模式，是校企合作开发编写的项目式教材。本书按照实际工作流程，遵循从简单到复杂、从单一到综合的原则，将理论与实践进行有机结合，实现教、学、做一体化，注重吸收行业发展的新知识、技术工艺方