多机器人协作技术是多机器人协同完成复杂任务的关键技术，是多机器人系统研究中的基本问题之一。本书从应用角度出发，理论联系实践，阐述了多机器人系统的体系结构、主要研究方向与任务，并进一步研究了多机器人协作搬运、打磨、喷涂及青菜头筋皮剥除系统设计与仿真。本书应用性及可读性强，有利于读者理解和掌握相关领域理论知识并提升工程实践能力。本书可供工业机器人领域的技术工作者阅读使用，也可作为机器人工程、自动控制、机械电子工程、智能制造、机械设计制造及自动化、机电一体化技术及人工智能等专业师生的参考书。

本书分为基础篇、航空篇、航天篇，共9 章。本书本书侧重于讲述多种导航信源的相互融合，取长补短，实现多源融合下的航空航天飞行器稳定、高精度导航。书中着重介绍了不同导航信源的发展及现状、基本原理、工作特性与优缺点等；不同的多源融合导航算法及其基本原理；基于数学方法的无人机集群协同导航算法；地磁导航技术及其与传统惯性导航系统的融合算法，并通过实例及仿真验证，对比各种算法、模型及系统的优劣，具有较强的实用性。

本书是理论计算机科学方面的经典教材，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。本书可帮助读者熟悉计算机科学的基础和原理，加强严格的形式化数学证明的能力，适合高等院校计算机科学及相关专业的学生学习，也适合理论计算机科学方向的研究人员参考。

本书是以作者多年的概率与统计讲义为蓝本扩充而成，目前也是威斯康星大学的经济学教材。本书采用微积分的方式而非测度论的的方式讲述，涵盖概率论基本知识、随机变量、分布、抽样、大数定律、中心极限定律、逼近理论、zui大似然估计、矩方法、假设检验、置信区间等经济学专业所需数理统计知识的方方面面，难度适中，适于作为经济专业高年级本科生和研究生的教材。

本书围绕大模型的生产实施流程，系统介绍大模型的应用实践方法。第一部分系统地介绍了机器学习的场景分类、深度学习的崛起以及基础模型。第二部分聚焦于应用挑战，详细讲解问题定义、流程、技术，包括嵌入和标记化、向量数据库、微调、部署与推理等。另外，展示了LLM相关的编排与集成策略，以及两个实际索引技术的案例。本书不仅介绍了应用案例，还对前沿技术和未来发展进行了展望，包括可解释性、GANs、强化学习和模型自动化。团队协作、项目管理和持续集成等实践内容也得到充分涵盖。最后，通过一个实践案例章节，读者学习如何调试、部署和运维大模型的LLM应用。这本书将帮助从业者掌握从基础概念到实际应用的全过程，使他们能够构建稳健的应用，将机器学习和深度学习引入现实世界。

《Verilog数字设计原理》涵盖与Verilog数字设计相关的基础知识和深入主题，全面介绍现代数字电路的设计和实现方式。《Verilog数字设计原理》特别关注如何使用架构和时序图将设计概念转化为物理实现，总结并解决了初学者甚至经验丰富的工程师可能犯的常见错误，详细说明了几种ASIC设计，除了设计原则和技巧之外，还深入探讨了现代设计方法及其实施方式。《Verilog数字设计原理》共分10章，内容包括Verilog基础、Verilog高级话题、数的表示、组合逻辑电路、时序逻辑电路、数字系统设计、高级系统设计、I/O接口、逻辑综合等。《Verilog数字设计原理》的许多示例及RTL代码可以将初学者轻松带入数字设计领域。

书是ROS智能机器人控制理实一体化教学配套实践教材，面向新型工业化时期智能及高端装备制造领域，结合新工科复合型专业技术人才综合能力培养的教学诉求，并融入作者十余载对基于ROS（Robot Operating System，机器人操作系统）的移动机器人开发实践及教学经验编写而成。全书共分为十个实验，从对移动机器人系统的基本认知开始，逐步深入到基于ROS的各类实践应用，整体遵循由浅入深、由基础到应用的逻辑顺序。具体而言，包括了机器人的基本组成、工作原理、ROS的基本操作和编程方法、读取传感器数据、控制机器人底盘运动等基础实践，同时还有机械臂物料搬运、移动机器人的视觉导引、视觉分拣、SLAM建图以及自主导航等高级应用实践，最后通过移动机器人码垛综合应用的实践展示了ROS在实际工业生产中的应用效果。本书为内容丰富、结构清晰、实用性强的机器人技术教程，既适合作为高等院校机器人工程、自动化等相关专业的教材，也可作为机器人爱好者和从业者的自学参考书，还可供行业、企业及机器人联盟和培训机构的相关技术人员参考。

本书是“十四五”职业教育国家规划教材，采用影视分镜原理，使用全息图解标注法，全面介绍办公自动化工作中需要掌握的常用办公软件的操作、常用办公设备的使用与维护，以及网络的有关知识，特别新增了对于AI绘图软件“悟空图像”的介绍，教学素材详尽，并配有全套精心制作的教学视频，既可作为高等院校办公自动化课程的教材，也可供广大电脑爱好者自学使用。

本书系统介绍了基于状态空间模型的状态反馈及卡尔曼滤波方法，共8章，由三部分组成，第一部分（第1、2章），连续时间状态反馈控制；第二部分（第3～6章），离散时间状态反馈控制；第三部分（第7、8章），卡尔曼滤波。本书介绍了连续系统及离散系统的状态空间模型建模、状态反馈控制器、观测器、干扰抑制及参考信号跟踪的设计方法，并结合工程应用中控制系统案例以及MATLAB/Simulink教程，来讲解基于状态空间模型的状态反馈方法，包括汽包锅炉控制、糖厂控制、风力涡轮机传动系统控制、机械臂控制、加热炉控制等。同时，本书介绍了卡尔曼滤波器的原理及设计方法，并解决了卡尔曼滤波应用过程中的实时计算及计算精度问题。

随着数字化、网络化、智能化时代的到来，社会产业的创新逻辑迎来了重要变革，以互联网、大数据、人工智能为基础的科技革命带动了全球价值链和国际分工的变化。本书充分顺应产业需要和时代需求，将人工智能与创新设计相结合，系统地研究了创新设计活动的发展历程、创新设计模式的演变与迭代，梳理了群智创新设计的概念与内涵，构建了群智创新设计理论与方法体系，建立了群智创新设计新范式，讲好中国故事，宣扬中国设计，为国内人工智能、创新设计和设计学科的交叉融合发展提供新的思路和借鉴。