《通用人工智能的中国蓝图系列(全2册)》由朱松纯著

本书系统介绍了基于状态空间模型的状态反馈及卡尔曼滤波方法，共8章，由三部分组成，第一部分（第1、2章），连续时间状态反馈控制；第二部分（第3～6章），离散时间状态反馈控制；第三部分（第7、8章），卡尔曼滤波。本书介绍了连续系统及离散系统的状态空间模型建模、状态反馈控制器、观测器、干扰抑制及参考信号跟踪的设计方法，并结合工程应用中控制系统案例以及MATLAB/Simulink教程，来讲解基于状态空间模型的状态反馈方法，包括汽包锅炉控制、糖厂控制、风力涡轮机传动系统控制、机械臂控制、加热炉控制等。同时，本书介绍了卡尔曼滤波器的原理及设计方法，并解决了卡尔曼滤波应用过程中的实时计算及计算精度问题。

《游戏地图》主要以游戏地图为探讨对象，以游戏地图的维度、交互性、叙事探索性和文化传播性来探究虚拟空间的特点、本质及对现实物理世界的启示，发掘其对地图理论的扩展，从而完善 ICT时代地图学的知识和理论，促进地图学的发展。《游戏地图》共八章，按照游戏地图的背景、游戏地图定义、游戏地图的表现形式和类别、游戏地图的虚与实、游戏地图的时空观、游戏地图的空间导航和引路、游戏地图的叙事分析、游戏地图的文化传播功能的先后顺序来构建《游戏地图》框架。

随着人类社会从信息时代向智能信息时代发展，以及第四次工业革命的临近，在新的全球格局和大国竞争的国际环境下，信息科学的战略性地位更加突出，迫切需要加强信息科学的前瞻性和颠覆性技术研究，持续推动信息科学的关键核心技术实现突破，为新时代我国深度参与全球竞争提供强有力的科技保障和核心竞争力，确保我国在未来全球竞争中的战略优势。《中国信息科学2035发展战略》面向2035年探讨了信息科学前沿发展趋势和可持续发展策略，深入阐述了信息科学及其各分支学科的科学意义与战略价值、发展规律与研究特点，系统分析了信息科学的发展现状与态势，凝练了信息科学的发展思路与发展方向，并提出了我国相应的优先发展领域和政策建议。

在计算机中处理三维几何对象的前提是其数字化表示以及如何建模得到这样的数字化表示。在不同的应用场合，这些数字化表示还会被进一步加工处理，甚至进行各种分析和模拟仿真。本书以当前数字体验、虚拟现实、3D打印等新兴研究领域中的三维离散几何处理问题为重点，系统全面地介绍作者在网格模型的几何处理、建模、分析和物理模拟等方面的研究成果，并对每一研究内容，尽量给出相关重要、里程碑式的方法，以揭示技术演化的脉络，便于读者在了解当前研究进展的同时把握未来的发展趋势。

这是一部有关计算机科学和人工智能之父艾伦?图灵的科普佳作，它生动地介绍了图灵的生平，以通俗易懂的语言展现了图灵在计算机科学、数理逻辑、密码学、人工智能、人工生命、认知科学、机械化数学等诸多领域的杰出成就，其中不乏一些高屋建瓴的思想。例如，作为通用计算模型的图灵机、对判定问题的否证、机器学习的本质、形态发生的动力学解释等。 本书内容细致严谨，从多个视角为我们描述了真实而立体的图灵，可作为研究计算历史的重要参考文献。图灵对国家的无私奉献、对强人工智能的期待、对人性的理解、对苦难的忍受，都值得我们深思 图灵的精神，属于全体人类。相信这本书必将激发读者们的想象力与好奇心，让每个人都能从中受益，阅读此书将是一次难得的精神升华之旅。

在大数据时代中需要突破“所有知识都来自数据关联”这一框架，亟需因果关系范式融合领域知识、常识约束的问题研究，本书就描述了这样一种体系，介绍了因果关系分析和推断的思想和方法，其中包括do-操作、反事实、原因的充分性与必要性、特异原因、实际原因等内容。“因果性的研究经历了一次重要的转变：从一个被神秘面纱笼罩的概念转变为一个具有明确语义和逻辑基础的数学对象。”在下一个十年里，这个框架将与现有的机器学习系统相结合，从而可能引发“第二次因果革命”。 本书第1版曾获2001年拉卡托斯奖，作者朱迪亚·珀尔是2011年图灵奖得主。本书的出版将有利于中国的广大学者、学生和各领域研究人员了解和掌握因果模型、推理和推断相关的内容，在相关领域做出优异的成果。

云计算是一种将可伸缩、弹性、共享的物理和虚拟资源池以按需自服务的方式供应和管理，并提供网络访问的服务模式。本书从技术角度聚焦于云计算技术的各个方面，通过回顾云计算技术发展历程探究现有云计算体系架构格局。结合实践经验与新兴技术，介绍云的核心架构、产品和技术。从基于商业软件的私有云到基于互联网的行业云再到人工智能、大数据和区块链等技术体系，全面介绍云技术现有格局和发展趋势。 本卷可协助读者全面了解云技术，提出公有云和行业云建设和应用指南。通过阅读本卷可获得以下三个方面的收益： 1、获取技术知识：读者可以从本卷中获取对云相关技术全面和深入的理解； 2、掌握未来方向：通过本卷阅读可以获取云的进一步发展方向并了解最新技术； 3、找到解决方案：可以从本卷中了解金融业行业云的发展趋势，优化自身

本书以软件逆向为切入点，讲述了软件安全领域相关的基础知识和技能。读者阅读本书后，很容易就能在逆向分析、漏洞分析、安全编程、病毒分析等领域进行扩展。这些知识点的相互关联，将促使读者开阔思路，融会贯通，领悟更多的学习方法，提升自身的学习能力。本书适合安全技术相关工作者、对逆向调试技术感兴趣的人、对软件保护感兴趣的软件开发人员、相关专业在校学生及关注个人信息安全、计算机安全技术并想了解技术内幕的读者阅读。

人工智能时代来临，将带来划时代的变革。人工智能正改变我们的社会、经济、政治和外交政策，这一切影响远远超过任何领域的传统范畴，而我们为此做好准备了吗？在《人工智能时代与人类未来》一书中，来自政府、企业和科技界的三位思想家——外交家基辛格、谷歌前CEO施密特和麻省理工苏世民计算机学院院长胡滕洛赫尔齐聚一堂，探讨人工智能及其改变社会的方式，以及这项技术对我们所有人的意义。本书通过梳理人工智能的发展现状、人类思想及技术演进的历程，进一步讨论了人工智能赋能的网络平台给个人、企业、政府、国家和地区带来的影响，以及人工智能将在重塑世界秩序和安全格局方面所起的作用。同时，该书反思了人工智能的发展对于人类自我身份认同产生的巨大冲击，以客观的视角提出人类在未来几年所必须面对的问题以及解答工具。

《Pytorch深度学习指南(编程基础+计算机视觉+序列与自然语言处理)(1-3)》由(巴西)丹尼尔·沃格特·戈多伊著

《内网渗透+域渗透测试红蓝攻防标准实战指南(套装)(全2册)》由柳遵梁等著

量子密钥分发网络 是一本关于量子密钥分发网络的学术专著，内容涉及量子密钥分发网络的概念原理、发展现状、体系架构和关键技术等，出版的目的在于帮助读者 好地学习和掌握量子密钥分发网络的原理和技术。首先，本书介绍了量子密钥分发技术的背景，概述了量子密钥分发网络的基本概念、发展现状及前瞻；其次，介绍了量子密钥分发网络的体系架构；再次，介绍了量子密钥分发网络的关键技术，具体包括量子密钥分发网络的资源调控技术、中继部署技术、多租户提供技术和软件定义创新服务； ，对量子密钥分发网络的未来发展进行了展望。 本书的适用对象主要是从事量子密钥分发网络研究的工程技术人员以及高校相关专业的教师和研究生。

本书是人工智能专业最基础最全面的高校教材，作者陆汝钤院士系 中国科学院数学与系统科学研究院数学研究所研究员。在知识工程和基于知识的软件工程方面做了系统的、创造性的工作，是我国该领域研究的开拓者之一。倡导并主持完成了以软件的机械化生成和移植为目标的系列软件计划（XR计划），推动了当时国产机软件缺乏问题的解决。本书首次把异构型DAI和机器辩论引进人工智能领域。研究出基于类自然语言理解的知识自动获取方法，把ICAI生成技术推进到以自动知识获取为特征的第三代，并开发出基于知识的应用软件自动生成技术。在形式语义学方面研究了逻辑语义、代数语义和分布式语义，证明了任意Horn子句集的模型论语义和最小不动点语义的等价性；给出了能描述动态控制结构的基调式代数语义；把平面的Petri网扩展成多页的Petri/Riemann网（P/R网）作

本书客观反映了2020年度中国互联网发展成就、发展现状和发展趋势，系统地总结了中国互联网发展的主要经验，深入分析了中国在信息基础设施、信息技术、数字经济、电子政务、网络内容、网络安全、网络法治、网络空

IT产业与经济社会各领域的融合发展不断深入，逐渐成为深化供给侧结构性改革的重要内容和实现新旧发展动能接续转换的重要抓手。党中央、国务院对IT产业发展的重视程度越来越高，《中华人民共和国国民经济和社会发

本书原为麻省理工学院计算机科学与工程专业的数学课程讲义，谷歌技术专家参与编写，涵盖计算机科学涉及的全部基础数学知识，包括形式逻辑符号、数学证明、归纳、集合与关系、图论基础、排列与组合、计数原理、离散概

本书全面阐释了领域驱动设计（domain-driven design，DDD）的知识体系，内容覆盖领域驱动设计的主要模式与主流方法，并在此基础上提出“领域驱动设计统一过程”（domain-driven

本书通过图形语言解释了量子世界的独有特征，提出了一种新颖的可视化方法来表达复杂的理论。书中采用了一种独特的架构，以直观的方式来阐述量子特征，无须进行复杂运算，只要求读者具备基本的数学知识。接近用图形表

本书自首次出版以来，已被译为14种语言，世界上数百所大学采用本书作为教材，有几十万学生和从业人员利用本书系统学习计算机网络的知识。本书已成为学习计算机网络知识的推荐阅读教材之一。主要特点自顶向下方

本书主要面向CTF入门者，融入了CTF比赛的方方面面，让读者可以进行系统性的学习。本书包括13章的内容，技术介绍分为线上赛和线下赛两部分。线上赛包括10章，涵盖Web、PWN、Reverse、APK、Misc、Crypto、区块链、代码审计。线下赛包括2章，分别为AWD和靶场渗透。第13章通过Nu1L战队成员的故事和联合战队管理等内容来分享CTF战队组建和管理、运营的经验。

本书对优化算法的理论和研究进展进行了系统的梳理，旨在帮助读者快速了解该领域的发展脉络，掌握必要的基础知识，进而推进前沿研究工作。本书首先介绍流行的机器学习模式，对重要的优化理论进行回顾，接着重点讨论已广泛应用于优化的算法，以及有潜力应用于大规模机器学习和数据分析的算法，包括一阶方法、随机优化方法、随机和分布式方法、非凸随机优化方法、无投影方法、算子滑动和分散方法等。 br / 本书适合对机器学习、人工智能和数学编程感兴趣的读者阅读参考。

本书源于斯坦福大学的课程“不确定性状态下的决策”，主要介绍不确定状态下的决策算法，涵盖基本的数学问题和求解算法。本书主要关注规划和强化学习，其中一些技术涉及监督学习和优化。书中的算法是用Julia编程语言实现的，并配有大量图表、示例和练习题。 本书共分为五个部分：首先解决在单个时间点上简单决策的不确定性和目标的推理问题；然后介绍随机环境中的序列决策问题；接着讨论模型不确定性，包括基于模型的方法和无模型的方法；之后讨论状态不确定性，包括 信念状态规划、离线信念状态规划、在线信念状态规划等； 讨论多智能体系统，涉及多智能体推理和协作智能体等。