数系的扩充始终贯穿于数学理论的发展之中. 本书利用交互式定理证明工具Coq,在Morse-Kelley公理化集合论形式化系统下, 给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统,包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现,构建了非标准实数模

本书主要包含以下内如：最优化问题的简介，凸分析基础，无约束优化的理论及线搜索算法框架，信赖域算法，线搜索收敛性分析及收敛速度分析，半光滑牛顿算法，共轭梯度算法，约束优化理论及延伸理论，罚方法，增广拉格朗日算法及算法在实际问题(支持向量机模型、超图匹配)中的应用。本书对知识点的分析紧密结合当前研究前沿问题，并通过对应用问

ChatGPT、文心一言、MidJourney等AI大语言模型融入了人们的日常工作、学习和生活，学习如何用好新的AI工具已经成为每个人的必修课。但是，对于一些稍微复杂的实际问题，AI大语言模型的回答却很不稳定，经常偏离问题甚至完全错误，主要原因就是问题（提示词）写得不好。事实证明，使用恰当的提示词，可以使AI大语言模型

本书是一本机器学习实用指南，提供从基础知识到进阶技能的全面学习路径。本书以浅显易懂的方式介绍了机器学习的基本概念和主要类型，并详细介绍使用Python及常见的库进行数据处理和机器学习的实操。此外，介绍了数据预处理的详细过程，最后通过若干典型案例加深读者对机器学习的理解。本书适合对机器学习感兴趣的初学者，也可作为软件开发

作为普通个体，我们该如何快速切入AI赛道，更好地利用AI工具武装自己，成为"超级个体”呢？本书给出了答案。本书精选八大领域：编程、设计、办公、教育、翻译、营销、咨询、自媒体，并通过88个具体案例实操演示了与ChatGPT进行对话的技巧，全面且深入地为读者展示了利用ChatGPT这个工具大幅提升工作效能的方法。除了提供拿

图像融合技术可将多源图像的互补特征进行综合，以得到更加完整和准确的场景描述，从而弥补单一传感器单幅图像的不足，是一种广泛应用的图像预处理技术，如多摄像头拍照、微光夜视、医学诊断、遥感等应用领域。本书以多源图像融合技术为主要内容，在研究图像尺度分析、迁移学习、深度学习算法与模型的基础上，针对多聚焦图像融合、多模态医学图像

本书针对推荐系统中的二部图、社交网络和知识图谱的图结构模式，研究基于图表示学习的深度推荐系统。通过挖掘图信息中的隐性关系和高阶关系，使用图学习的方式探索用户和产品的潜在关联，弥补相关推荐系统研究在挖掘用户之间或者产品之间隐性关系方面的不足，形成一系列合理而且有效的推荐技术。增加推荐系统输入的多样性，运用社交网络和知识图

人工智能（AI）已成为世界各地的热门话题，因为它可以为人类带来显着的好处，以及可能隐藏在该技术中的感知和实际危险。在《人工智能风险·回报·未来》：中，KevinChen用清晰简单的语言阐述了人工智能的许多方面，详细介绍了人工智能如何给世界的运作方式带来深刻的变化。人工智能正在交通、物流、医学

本书详细介绍边缘计算和人工智能技术，主要内容包括边缘计算与人工智能概述、边缘计算与人工智能基本开发方法、边缘计算与人工智能模型开发、边缘计算与人工智能基础应用开发、边缘计算与人工智能综合应用开发。全书采用项目式开发的学习方法，通过贴近日常生活的开发实例，由浅入深地介绍边缘计算与人工智能的相关知识。本书中的每个案例均有完

本书的内容共包含八章。第一章分别从学术界、媒体、企业界、政府等多视角介绍人工智能当前火热的现状。第二章介绍了不同人群对人工智能提出的疑问，包括疑问论、怀疑论和恐惧论。第三章主要阐述了人工智能的基本概念，包括来自不同领域的各种不同的观点和看法。第四章提出了作者对人工智能的独特见解，包括人脑智能、人脑基本能力模型、机器智能

本书基于认知神经科学视角，在系统性梳理现有研究的基础上，从传统的电商网站到电商直播、虚拟现实、智能会话代理和机器人等新型平台，再到脑机接口这一人机交互的最高阶应用，对这些数智平台的用户行为及其背后的认知机制进行探讨，并对用户在这些平台上的信息安全和隐私决策行为进行了研究。本书遵循“平台特征—机体反应—用户行为”的路径对

本书围绕自主无人系统发展背景、发展现状、技术挑战、伦理道德和政策法律等问题展开阐述。首先介绍了自主无人系统的相关概念、发展历程、发展现状和发展趋势；其次重点分析了自主无人系统涉及的关键技术，包括感知与认知、决策与规划、行动与控制、交互与协同、学习与进化等；然后分析了使用自主无人武器系统面临的伦理道德与政策法律问题，并介

机器学习数学基础

本书包含代码实践和案例实践，运用OpenCV、PyTorch等框架工具详细讲解中文车牌识别检测、采用三元组的FaceNet人脸识别理论与实践、车道检测的两种深度学习思路及烟雾检测4大实践项目。相关理论可参考《基于深度学习的目标检测原理与应用》一书，从而学以致用、融会贯通。

本书阐述了分布式人工智能原理及其应用，基本原理的主要内容包括的分布式人工智能的内涵、基本原理、计算框架等；研究了分布式人工智能学习与优化、强化学习与演化计算、群智能体强化学习等前沿方法；给出了分布式信息融合、视觉感知、协同搜索、对抗博弈决策和智能博弈推演等典型应用，建立起了较为全面的知识体系与脉络，为后续研究奠定了良好

《四元数神经网络稳定性理论及应用》旨在介绍四元数神经网络稳定性理论及应用的研究现状、典型模型、常用研究方法.具体内容包括四元数神经网络渐近稳定性、四元数神经网络鲁棒稳定性、四元数神经网络μ-稳定性及均方稳定性、四元数神经网络Mittag-Leffler稳定性、四元数神经网络Lagrange稳定性及H-U稳定性、四元数神

本书探讨了AI领域的AIAgent（智能体）和生成式AI的前沿进展，以及这些技术如何重塑我们的生活和工作方式。本书首先回顾了AI技术的演变历程，并强调了智能体的定义及其在客户服务、医疗健康和制造业等领域的广泛应用。本书也对智能体与传统软件进行了对比，分析了智能体的自主性、适应性和协作能力。生成式AI的崛起也被特别提及，

未来，白领大部分的工作，都是AI可以完成的。现在很多个人或企业客户已经在内部逐渐推广AI应用了。越来越多的人切身体会到，ChatGPT及相关新技术的出现将改变我们的工作内容和工作方式，在这本书里，我们将详细了解到职业场景下将有三个颠覆性的改变：获取知识和信息的模式的改变人，交互模式的改变人，个人和企业角色的改变。最重要

本书从ChatGPT原理和提示工程的基本概念讲起，重点介绍了提示工程的各种技巧，不仅通 过实例生动地展示了如何运用这些技巧，还深度解析了各种技巧的使用场景及其潜在局限性。 进一步地，本书结合多个行业背景，系统地阐述了ChatGPT和提示工程的具体应用，帮助读者不 仅从理论上掌握提示工程，而且深化对ChatGPT在

本书选取当下大热的AIoT（人工智能物联网）为应用场景，以NVIDIAJetsonNano为硬件平台，系统介绍了人工智能的开发知识，重点讲解了人工智能中边缘计算技术的应用。首先介绍了NVIDIAJetsonNano开发平台和开发环境的配置，然后通过具体的案例介绍了人工智能边缘计算在物体检测、深度学习等领域的应用。本书适