本书作者的教育和工作经历横跨信息技术和金融管理领域。本书选取作者在1989—2004年期间发表的10篇重要论文，含计算机专业7篇（涉及分布式计算机系统、实时系统的形式分析、Petri网及应用、神经网络、模式识别、机器人视觉、知识表达、金融并行计算）和金融专业2篇（涉及股票价值估算、对冲基金的评估和选择），以及人工智能先驱、诺贝尔经济学奖获得者西蒙（Herbert Simon）的学术生涯评述1篇。所有论文基本以原貌呈现、不作改动，其中，有6篇以英文、4篇以中文发表，有8篇发表于学术期刊、2篇收录在国际会议论文集。同时，作者记录了自己当时为什么做这方面的研究、文章是怎么写的、解决了什么问题以及其他相关信息，这对正在从事计算机或金融方向的科研人员来说，能够对自身的科研工作和个人发展有一定的帮助、借鉴和启示作用。

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

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

本书以经典理论与现代应用相结合的方式介绍了初等数论的基本概念和方法，内容包括整除、同余、二次剩余、原根以及整数的阶的讨论和计算。此外，书中附有60多位对数论有贡献的数学家小传记。本书内容丰富，趣味性强，条理清晰，既可以作为高等院校计算机及相关专业的数论教材，也可以作为对数论和密码学感兴趣的读者的初级读物。

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

本书采用全彩图解、情境导入的形式，通过生动有趣的案例，介绍了利用乐动掌控板和mPython编程平台进行物联网项目开发的思路及技巧。本书共分智慧校园、智能家居、智慧交通、智慧农业四个主题，通过点亮物联网小灯、校门口测温、教室人数统计、噪声检测器，智能风扇、智能调光灯、智能之窗、智能安防，智慧交通灯、车辆计数管家、物联小车动起来、物联小车巧避障以及智能避光系统、温湿度通风、智能浇灌、聪明的蘑菇棚等，让读者从多角度感受万物互联的智能时代。全书以STEM教育为理念，提倡在玩中学，每个实例都按照“做-试-创”循序渐进的思路进行设计，使知识和技能的学习效果螺旋式上升。本书适合中小学生及教师、物联网技术初学者等学习使用，也可以用作相关培训机构的教材及参考书。

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

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

本书研究新时期云计算技术与物联网技术的发展， 在阐述云计算的基础知识后，论述新时期云计算数据处理与数字孪生技术、云计算管理平台与开发技术，以及云计算安全分析与技术管理，从多个方面探讨新时期物联网发展的基础，深入分析新时期物联网的技术发展和应用。本书既可作为计算机专业师生的教辅用书，也可作为计算机相关领域工作人员的参考读物。

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