本书是第一本探讨如何对不同方法进行均衡处理,以便建模和解决序贯决策问题的图书,承袭了大多数聚焦于机器学习、优化和模拟的书籍的风格。本书专为具有概率和统计背景知识并对建模和应用程序感兴趣的读者而设计。线性规划有时用于特定的问题类型。本书提供了一个可以借助5个核心组件(状态变量、决策变量、外部信息变量、转移函数和目标函数)

本书围绕MLOps展开,全面阐释其概念与落地实践。开篇对MLOps进行概述,剖析其体系架构、价值定位与技术栈。随后各章从特征工程、模型训练与推理,到可观测性基础设施,通过理论阐述与架构解析,并结合Uber、Meta等知名案例,分享建设思路。此外,本书还介绍RayCore及RayAI库的使用,并提供大语言模型训练部署实例

本书通过系统而全面的介绍，帮助读者深入理解和掌握图机器学习的基本原理、方法和技术；同时，通过丰富的案例和实践经验，展示了图机器学习在各个领域的应用价值和广阔前景。 本书基于斯坦福大学图机器学习CS224W课程的内容编写，结合作者自身和团队学生在图机器学习中的痛点和实践经验，重新梳理知识脉络，重点介绍图机器学习的相关知识

本书系统研究了深度学习模型在面临新型对抗攻击时的鲁棒性问题，全面分析了对抗鲁棒机器学习的研究现状及面临的问题和挑战，并提出了创新性的解决方案。在对抗鲁棒性评估方面，构建了集成非Lp范数新型攻击的综合评估基准，为全面评估模型鲁棒性提供了工具。在对抗样本检测方面，提出了基于小样本学习的对抗样本检测方法，能够有效检测未知类型

布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，可以迅速而自然地给出一个数学基础，摆脱了明显的悖论。在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码，所

本书介绍典型控制系统的性能要求及控制设计的基本方法，并给出相应的仿真与分析。全书共6章，第1～4章从经典控制设计和鲁棒综合控制策略这类可推广至常见的二阶系统的控制设计方法开始，以柔性系统的特性与特殊控制问题为例，向读者展示两种控制方案在类似柔性系统设计中的应用。第5、6章介绍一种非线性控制方案，给出一种高精度要求的空间

本书系统阐述了工业控制系统的架构、组成及其面临的信息安全挑战，深入剖析了信息安全的基本概念、风险类型、威胁特点以及防护原则。从网络隔离、访问控制、数据加密、身份认证到应急响应、灾难恢复，本书详细探讨了各个环节的安全策略与技术实现，为读者构建了完整的信息安全防护体系。同时，针对软件安全管理、物理安全与环境保护、安全开发与

《智能控制技术与应用案例设计》聚焦智能控制技术在石化行业的应用，全书共六章。首章阐述智能控制的发展、研究内容、对象、性能及特点。第二章围绕模糊控制，涵盖理论、模糊PID、Matlab实现及工程实验。第三章将李雅普诺夫稳定性理论融入自适应控制，解决非线性系统问题并给出仿真实例。第四章构建神经网络系统辨识体系，用于流程工业

本书以培育国产工业软件用户生态为宗旨，以满足控制系统相关专业教学需求为目标，紧密围绕控制系统的典型设计流程，编著者在多年的控制系统设计经验和MWORKS使用心得的基础上，较为系统、全面地介绍了科学计算平台MWORKS.Syslab和建模仿真环境MWORKS.Sysplorer的相关知识。在介绍了这两个软件的安装方法和软

本书从国内可视化顶流《网易数读》《RUC新闻坊》《澎湃美数课》《谷雨数据》和《DT财经》中引用了105个经典作品(所有模仿作品都提供有图表源文件,可修改可套用),借力大师的思维和智慧,寻找上述问题的解决之道。本书以“解决问题”为目标,章节内容以问题种类展开,每1章解决1个大类问题,每1节解决1个小问题,让读者知原理、懂