本书是一本围绕最优控制理论展开的实用指南，以深入浅出的方式介绍了最优控制理论、动态规划、线性二次型调节器（LQR）、模型预测控制（MPC）和卡尔曼滤波器以及它们之间的联系，并展示了它们在综合应用中的使用方法与技巧。本书旨在为读者提供全面而直观的学习资源，同时将这些概念有机地应用于实际控制问题。通过书中丰富的例子和详细的代码，读者可以直接实践和验证所学内容，从而深化对这些理论的理解。本书的目标读者群体为自动化类专业的本科生和研究生以及相关领域的科研人员。

本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。

本书介绍了计算机组成及体系结构的核心知识，内容包括计算机系统的概念、运算、CPU、指令集和汇编语言、并行处理等，是计算机及相关专业了解计算机组成的经典教材。

全书针对Windows操作系统、Office办公软件和主流程序设计工具的操作与使用编写了6个实验，主要内容包括：Windows操作系统的基本操作、管理与维护功能的使用；Word文档的创建、编辑与排版操作；Excel工作表的基础操作、数据的管理、数据统计与查询、图表制作；演示文稿PPT的创建、幻灯片的基础设置和设计； C语言的常量与变量、格式化输入输出函数、语句结构； Python的编程规范、程序运行方式和语法基础。为强化重点实践内容操作的熟练程度，在每个实验后面附有少量操作作业。附录部分根据“大学计算机”课程的实际学习需要，提供了5组习题，供学生课后进行自测。

在云原生时代，可观测性覆盖了应用的全生命周期，是云原生应用工具之一。本书基于笔者多年的云原生可观测性实践经验，从可观测系统的演进和基础理论开始介绍，结合案例对可观测系统的开源架构、日志、链路、监控、事件和诊断等关键要素的系统设计方案及问题解决思路进行阐述，帮助读者了解在业务实践中可观测性对云原生应用有哪些巨大助力。本书适合云原生应用开发人员、架构师、运维人员、测试人员，以及云计算相关从业人员阅读。

算法详解系列图书共有4卷，本书是第4卷——NP-Hard问题算法。全书共有6章，主要介绍了快速识别NP-Hard问题的方法和处理NP的算法工具。本书的每一章均有小测验、章末习题，这为读者的自我检查以及进一步学习提供了方便。本书提供了丰富而实用的资料，能够帮助读者提升算法思维能力。本书适合计算机专业的高校教师和学生，想要培养和训练算法思维与计算思维的IT专业人士，以及正在准备面试的应聘者和面试官阅读参考。

《科技想要什么》一书中，凯文·凯利预测了未来数十年科技的12种趋势，包括创造大脑这一得寸进尺之举。不过，为了让人类创造的世界实现收益最大化，需要对这种全球体系产生的问题和代价保持敏感。作者详细讲述了值得我们学习的阿米什"早期使用者”和其他批判科技自我主义倾向的人所具有的智慧。凯利的新科技理论提供了三种实践经验：通过倾听科技的需求，我们和我们的孩子可以更加出色地做好准备，迎接必将到来的科技；通过采用主动融合原则，我们可以驾驭科技，使之发挥大作用；通过遵从这种类生命系统的长期规则，我们可以获得它的全部馈赠。

本书系统深入地总结了智能船舶自主航行非线性控制理论及作者多年来在船舶运动控制等方面取得的主要研究成果，涵盖了船舶运动数学模型、船舶简捷鲁棒自适应航向保持控制、欠驱动船舶有限时间轨迹跟踪控制、船舶简捷非线性神经网络自动靠泊控制、船舶运动控制物理测试平台等方面的内容，结合非线性反馈、非线性修饰、自适应自调节PID、Lyapunov 稳定性理论、Backstepping 控制理论、RBF神经网络逼近原理、有限时间自适应技术、最小参数学习法、动态面技术等先进理论和方法，设计智能船舶自主航行控制策略。本书可作为交通运输工程、船舶与海洋工程、交通信息工程及控制等学科的研究生和航运科学与技术、自动化等相关专业的高年级本科生的教材或参考书，也可供相关领域的学者和工程技术人员参考。

《网络安全工具攻防实战从新手到高手：微课超值版》在剖析用户进行黑客防御中迫切需要用到或迫切想要用到的技术时，力求对其进行傻瓜式的讲解，使读者对网络防御技术形成系统了解，能够更好地防范黑客的攻击。全书共分为13章，包括计算机安全快速入门、常用扫描与嗅探工具、系统漏洞与安全防护工具、远程控制攻防工具、文件加密解密工具、病毒与木马防御工具、U盘病毒防御工具、网络账号及密码防护工具、进程与注册表管理工具、局域网安全防护工具、数据备份与恢复工具、系统备份与还原工具、无线网络安全防护工具等内容。 另外，《网络安全工具攻防实战从新手到高手：微课超值版》还赠送海量**资源，包括同步教学微视频、精美教学PPT课件、教学大纲、108个黑客工具速查手册、160个常用黑客命令速查手册、180 页电脑常见故障维修手册、8大经典密码破解工具电子书、加密与解密技术快速入门电子书、网站入侵与黑客脚本编程电子书、100款黑客攻防工具包，帮助读者掌握黑客防御方方面面的知识。 《网络安全工具攻防实战从新手到高手：微课超值版》内容丰富、图文并茂、深入浅出，不仅适用于网络安全从业人员及网络管理员，而且适用于广大网络爱好者，还可作为大、中专院校计算机安全相关专业的参考书。

本书分为三篇内容。第1篇是多智能体机器人系统的基础（第1～3章），介绍多智能体系统的概念、必要的控制原理和数理知识。第2篇是多智能体机器人系统的控制（第4～5章），分别针对一阶和二阶多智能体系统行了各种情况下的一致性和编队控制与验证。第3篇是多智能体机器人系统的应用（第6～8章），分别针对多无人车系统、多系统以及由它们组成的异构多智能体系统，讲述了在各种情况下的一致性控制、编队控制和控制等的实验与应用。本书将课程思政和党的二十大对高等教育的要求有效地融合了专业授课内容之中。本书配有P课件、程序、教学大纲和授课计划，以及各章习题的参考答案，提供给选用本书作为教材的授课教师和读者。需要者请登录化工教育（www.cipedu.com.cn）下载或扫下方二维码获取。本书为高等院校控制理论与控制工程、电子信息等专业的研究生教材，也可作为自动化类、人工智能、机器人工程等相关专业的本科教材，还可供相关领域的工程技术人员参考