本书编者倡导“自主编程”，以问题解决为主线，致力于提升读者的计算思维与编程技能，引导读者科学地学习算法。全书共分为四章：第一章重点阐述数据抽象的方法及如何选择合适的数据结构，并介绍线性数据结构的基本应用；第二章通过生动的例子，详述了模拟、解析和贪心这三种策略，展示了如何结合严密的算法逻辑与实际操作经验来解决问题；第三章则以深入浅出的方式，讲解了“大化小”的思维方式，介绍了如何利用递推、分治和动态规划等算法来简化和解决复杂问题；第四章全面剖析了好算法的标准，并详细介绍了优化算法时间复杂度和空间复杂度的常用技巧。 本书可以作为数据结构和算法入门的培训教材，也可以作为准备参加全国信息学奥林匹克竞赛的学生赛前集训用书，还可以作为有一定编程语言基础的算法爱好者的参考书籍。

本书的主要内容有：学习哪些API决策需要管治。通过API即产品（AaaP）的方式设计、部署和管理API。学习构成API产品基础的十大支柱。学习持续改进模型在API整个生命周期内管治变更的过程。探索API产品生命周期的五大阶段。深入探讨设计、构建与维护API的团队角色。学习如何管理组织发布的一系列API。

本书是一本AI短视频制作教程，主要讲解了国产三款AI工具：可灵、剪映和即梦使用方法与技巧，随书赠送了120分钟同步教学视频，以及115个素材 效果 提示词资源。本书一共分为4篇，具体内容如下：【可灵AI篇】：介绍了运用可灵实现文生视频、图生视频、延长短视频的步骤，以及AI短视频的其他玩法，如剪同款、一键出片、AI创作视频。【剪映AI篇：手机版】：介绍了运用剪映手机版进行剪同款、特效制作的内容，以及一键成片、营销成片等AI功能的使用。【剪映AI篇：电脑版】：介绍了运用剪映电脑版进行模板生视频、素材生视频、图文成片、数字人视频制作、画面智能剪辑、音频智能处理等的步骤。【即梦AI篇】：介绍了运用即梦进行文生图、图生图、文生视频、图生视频等AI短视频制作的内容。本书结构清晰，语言简洁，适合以下人群阅读：一是希望通过短视频展示创意、分享生活或进行品牌推广的内容创作者；二是需要通过短视频进行产品营销和品牌宣传的新媒体营销人员；三是对AI技术感兴趣，并希望在视频制作领域应用这些技术的爱好者和独立开发者；四是将短视频作为教学工具或课程内容的教育工作者和培训师，以及需要学习AI短视频制作的学生。

全书共10章，在绪论之后先介绍了热流系统的基本方程。基于热流系统的复杂性，接下来采用大量章节讲解了热流系统的组件，并在部分章的最后一节进行软件模拟的案例讲解。第2章介绍了热流系统建模仿真的理论基础，第3章介绍了Flownex的各种传热形式组件，第4章介绍了泵、涡轮与汽轮机组件，第5章介绍了节流组件与阀门组件，第6章介绍了储液器组件，第7章介绍了蒸汽压缩式空调，第8章介绍了流体输配管网系统，第9章和第10章以HAVC系统与飞机ECS系统为例，具体讲解了暖通系统及飞机座舱环境系统的设备和模拟案例。

数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统， 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现， 构建了非标准实数模型， 自然包含标准实数模型， 并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证. 在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码， 所有形式化过程已被Coq验证， 并在计算机上运行通过， 充分体现了基于Coq 的数学定理机器证明具有可读性、交互性和智能性的特点， 其证明过程规范、严谨、可靠. 该系统可方便地应用于非标准分析理论的形式化构建.本书可作为数学与计算机科学、信息科学相关专业的高年级本科生或研究生教材， 也可供从事人工智能相关科研工作者学习参考.

物体6自由度（6D，6DoF）位姿估计是机器人视觉、增强现实、自动驾驶、具身智能等领域的核心技术。本书分层次介绍了有纹理物体、低纹理物体，以及反光低纹理物体位姿估计的先进机器视觉理论、方法及关键技术，其中以最具挑战性的反光低纹理物体为重点。全书包含8章，第1章为绪论，介绍视觉6D位姿估计的基本概念、研究现状，及现有技术面临的挑战；第2章介绍视觉6D位姿估计的基础知识；第3章介绍适用于有纹理物体的基于图像特征点匹配的方法；第4章介绍适用于低纹理物体的判别式神经网络方法；第5章～第8章介绍适用于反光低纹理物体的理论、方法及数据集，其中，第5章和第6章分别为基于低层和高层几何特征的理论与方法，第7章介绍基于“特征_图像”的生成式深度神经网络理论与方法，第8章介绍构建的大型反光低纹理物体图像数据集RT-Less。

本书旨在建立和推动“动力学刻画的数据科学”理论和应用研究。全书共六章，内容包括：复杂动力系统理论基础、高维数据的临界预警理论及方法、短时间序列的预测理论及方法、动力学因果检测理论及方法、基于动力学的势能景观构建理论及方法、混沌反馈学习理论及深度学习方法等。全书交叉融合了数学理论、统计学方法、人工智能、计算系统生物学方法等知识，做到数学理论与实际应用并重，动力学算法与统计学方法互补，内容图文并茂、清晰易读、由浅入深，并在第2章至第6章末尾配有相关前沿领域的展望与讨论，读者可以通过阅读本书了解所涉及研究方向的发展趋势。

本书从微纳光纤的特性出发，对近年微纳光纤传感技术领域的相关工作和研究进展进行梳理和评述，并提出作者对未来微纳光纤传感技术的发展预测和建议。本书首先介绍了微纳光纤的独特光学效应和特点；进而从二氧化硅和聚合物材料特性出发，介绍微纳光纤的常见制作方法和特点；分析和总结了微纳光纤传感技术当前热点领域的研究进展；最后结合作者在微纳光纤传感器及技术应用领域的研究工作进行了案例分析和技术讨论。

在实际应用中，需要处理的数据常常具有类别不平衡的特点.例如，用于信用卡欺诈检测、垃圾邮件过滤、机械故障诊断、疾病诊断、极端天气预测预报等的数据都是类别非平衡数据.研究非平衡数据分类问题具有重要意义和实际应用价值，引起机器学习领域研究人员的广泛关注.本书结合作者团队在非平衡数据分类中的研究成果，系统介绍非平衡数据分类的理论基础、模型评价、数据级方法、算法级方法和集成学习方法.

本书探讨工业控制系统（简称工控系统）在智能制造环境下面临的安全挑战，全面而系统地阐述工控系统信息安全。本书共3个部分，第1部分为工控系统及其信息安全概述，包括工控系统的历史演进与智能制造的趋势、工控系统信息安全的重要性、工控系统的智能化安全架构设计，为后续章节的讨论奠定基础；第2部分为工控系统信息安全保障实践，包括工业控制网络的安全、工控系统的身份认证与访问控制、工控系统的漏洞管理与应急响应、工控系统的数据安全与隐私保护，系统地介绍各种关键安全问题的解决方法；第3部分为工控系统信息安全未来展望，包括智能制造背景下的工控系统创新保障、工控系统智能化的发展趋势，探讨新兴技术在工控系统中的应用。