本书聚焦深度学习算法的基础理论和核心算法，全面系统地论述深度学习的基础理论，兼顾人工智能数学基础知识与领域**原创基础理论，构建脉络清晰的人工智能理论体系。本书首先介绍了深度学习的相关数学基础，主要包括线性代数、概率论、信息论三部分；紧接着系统地介绍了深度学习的重点内容，主要分为五方面，即深度学习的逼近理论，深度学习的表征理论，深度学习的学习理论，深度学习的优化理论，深度学习的核心算法。

反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序，而无须采用绝对时间度量。本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。本书是国际著名计算机科学家ZoharManna和AmirPn

本书针对可逆信息隐藏技术存在的问题提出了解决信息隐藏过程中抗干扰的具体方法，建立了在信息隐藏过程中隐秘图像发生嵌入失真的数学模型，分析了信息隐藏过程中出现的上溢和下溢机理，提出了相应的解决方法，构造出更为陡峭的误差差分分布直方图模型。书中主要介绍以下5方面内容：基于有效位差分扩展的可逆信息隐藏算法、基于左右平移的大嵌入容量可逆信息隐藏算法、基于双向差分扩展的可逆信息隐藏算法、一种有效的无移位的多位可逆信息隐藏算法及基于二阶差分的新型大嵌入容量可逆信息隐藏算法。

OpenHarmony轻量系统入门到精通50例是一门以案例驱动学习的教材，本书基本覆盖了OpenHarmony轻量系统所有的知识点。由浅入深系统地讲解了OpenHarmony所有的知识点。其中第1章是本书的准备阶段，介绍OpenHarmony及开发环境的搭建、应用模块开发及启动流程分析；第二章以有趣的小案例讲解OpenHarmony轻量系统中常用系统接口，如任务（可以理解为线程）、互斥锁、软件定时器、中断机制、内存管理；第3章以丰富的外设案例讲解OpenHarmony轻量级系统的设备接口，如GP

本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起，介绍密码学的基础知识、认知逻辑基础理论,到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议，以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展开，适合各层次的读者参阅，可为密码协议分析和网络安全提供一定的理论与技术支撑。本书可供相关专业的教师、科研人员或工程技术人员参考，也可供高等院校计算机科学与技术、网络空间安全、通信工程以及逻辑学等专业高年级本科生和研究生学习使用。

本书主要内容包括：绪论、云计算资源管理关键技术及系统架构、云计算中碎片资源管理关键技术、云存储及相关调度机制、云计算负载均衡的相关技术等，共十八章。具体内容包括：云计算的概念、云存储、云作业调度算法、云计算资源管理技术等。

更好防范邻避设施风险、维护社会稳定是理论界和实务界长期关注的话题。已有研究从风险社会、利益相关者参与、政策过程、规划、伦理话语等角度展开，但对利益相关者“如何参与、怎么协商、何以实现共识”论述不够系统。本书延续此视角，引入决策论证，设计利益相关者参与邻避设施社会稳定风险防范的程序。该程序源于公共政策论证理论和民主议事规则理论，包括确定议题和主体、告知论证内容、参与论证、实施论证结果四个环节，主要用于邻避设施规划选址、意见征集、冲突化解，以及民众参与素养提升，并借助协商民主、重大决策制度和矛盾纠纷

本书介绍自由空间量子密钥分发的概念和相关基础理论，描述自由空间信道的特性，讲解模拟量子信号在自由空间中传播的蒙特卡罗方法，详细阐述次谐波大气湍流相位屏模拟方法及谐波次数的选取标准，深入讨论电离层E层大气效应、天气条件、海水等因素对量子密钥分发系统性能的影响，介绍利用相敏放大器和相位非敏感放大器对连续变量量子密钥分发系统进行性能改善的方法，探讨自由空间量子密钥分发系统的波长选择问题。 本书可作为高等院校通信工程、电子信息工程、信息安全等相关专业的教材，也可作为相关科技人员的参考书。

本书较为全面地介绍了脑科学、神经科学的基本概念、知识和理论，以及脑科学、神经科学等方面的新成果和新发现。全书共11章，在绪论部分介绍了脑科学定义、研究方法、研究内容以及发展现状，然后介绍了脑的基本结构与组成以及脑神经系统知识。在智能机制方面，主要详细介绍了感知觉、运动、学习与记忆、注意与决策、语言、情绪等功能产生或形成的理论和神经机制。在此基础上，介绍了心智与意识形成的相关理论和机制。最后，介绍了脑与神经科学对人工智能研究的重要作用和意义。本书适用于人工智能、智能科学与技术、生物医学工程、计算机

本书主要阐述天基物联网的特点和各行业需求，详细论述各类相关载荷的关键技术（星载AIS、星载ADSB、天基DCS），包括针对星载AIS和ADSB的高灵敏度接收、多信号冲突建模、盲信号分离技术研究，针对天基DCS的海量用户多址接入等；介绍了载荷数据的智能应用，包括多维数据融合、数据挖掘、异常目标检测等，对后续相关载荷列装和天基物联网星座的建设和应用提供参考。