这是一部有关计算机科学和人工智能之父艾伦?图灵的科普佳作,它生动地介绍了图灵的生平,以通俗易懂的语言展现了图灵在计算机科学、数理逻辑、密码学、人工智能、人工生命、认知科学、机械化数学等诸多领域的杰出成就,其中不乏一些高屋建瓴的思想。例如,作为通用计算模型的图灵机、对判定问题的否证、机器学习的本质、形态发生的动力学解释等。 本书内容细致严谨,从多个视角为我们描述了真实而立体的图灵,可作为研究计算历史的重要参考文献。图灵对国家的无私奉献、对强人工智能的期待、对人性的理解、对苦难的忍受,都值得我们深思 图灵的精神,属于全体人类。相信这本书必将激发读者们的想象力与好奇心,让每个人都能从中受益,阅读此书将是一次难得的精神升华之旅。
本书原为麻省理工学院计算机科学与工程专业的数学课程讲义,谷歌技术专家参与编写,涵盖计算机科学涉及的全部基础数学知识,包括形式逻辑符号、数学证明、归纳、集合与关系、图论基础、排列与组合、计数原理、离散概率、递归等,特别强调数学定义、证明及其应用方法。本书因具有系统、完整,以及有趣、易读等明显优势,现已被全球IT技术相关从业者及准从业者奉为圭臬、广泛传阅,在人工智能日益普及的全新信息时代,更是大放异彩。本书适合计算机相关专业学生及从业人员作为数学入门教材,亦可作为统计、机器学习、数据挖掘等课程的宝贵资料。
本书主要讲解计算机视觉的几何基础(核心数学基础),包括图像处理与模式识别的几何视角、三维射影几何学、摄像机模型、摄像机标定、立体视觉、三维视觉重构等。本书提供了具体且有趣的案例,并配有方便读者实践、颇具实用性的原创展示代码,让读者从实际问题与实践中学习计算机视觉几何基础。 本书可作为理工科学生的计算机视觉、深度学习等相关课程教学用书,也可作为科研用书供从事视觉智能感知相关工作的科技人员、工程师阅读参考。
面对日益严峻的数据安 全形势和日趋复杂的数据应用场景,本书系统地介绍了数据安 全治理的理论、方法与实践,旨在帮助读者深入理解数据安 全治理的重要性和复杂性,掌握构建和维护有效数据安 全体系的关键技能。本书共16章,每章重点突出,为读者提供了从理论到实践指导,帮助读者理解数据安 全治理的背景与形势,掌握数据安 全治理的基本理论、方法与实践,提升组织的数据安 全治理能力,从而 好地释放数据价值,守护数据安 全,助力数字经济健康有序发展。本书还探讨了新形势下数据安 全治理面临的新威胁、法规政策发展和地缘政治挑战,展望了数据安 全治理的未来发展趋势和创新方向。本书可以为数据安 全领域相关行业从业者、研究者、政策制定者提供参考,也可以作为数据安 全领域培训或能力认证参考图书。
继MIPS版和ARM版之后,本书与时俱进地推出了RISC-V版,将其作为核心处理器来介绍计算机体系结构的基本概念,涵盖数字逻辑设计的主要内容,并通过RISC-V处理器的设计强化数字逻辑的概念。书中采用一种独特的现代数字设计方法,先介绍数字逻辑门,接着讲述组合电路和时序电路的设计,并以这些基本的数字逻辑设计概念为基础,重点介绍如何设计实际的处理器。本书不仅反映了当前数字电路设计的主流方法,而且突出了计算机体系结构的工程特点。此外,大量示例及习题也可以加强读者对概念和技术的理解。本书适合高等院校计算机相关专业的学生阅读,也适合从事处理器设计的技术人员参考。
本书以软件逆向为切入点,讲述了软件安全领域相关的基础知识和技能。读者阅读本书后,很容易就能在逆向分析、漏洞分析、安全编程、病毒分析等领域进行扩展。这些知识点的相互关联,将促使读者开阔思路,融会贯通,领悟更多的学习方法,提升自身的学习能力。本书适合安全技术相关工作者、对逆向调试技术感兴趣的人、对软件保护感兴趣的软件开发人员、相关专业在校学生及关注个人信息安全、计算机安全技术并想了解技术内幕的读者阅读。
不需要是技术专家,只要阅读《游戏设计艺术》,学习佳作,深刻领悟游戏设计的真谛,人人都可以成为优秀的游戏设计师! 本书深入讲解最基础的游戏设计原则,展示桌面、卡牌、体育游戏中的技巧如何在电子游戏中生效。书中列出了100多个透镜,帮助你从各种角度观察游戏设计,例如心理、建筑、音乐、视觉、电影、软件工程、主题公园设计、数学、谜题设计和人类学等方方面面。本书主要内容包括游戏的体验、构成游戏的元素、元素支撑的主题、游戏的改进、游戏机制、游戏中的角色、游戏设计团队、如何开发好的游戏、如何推销游戏、设计者的责任等。 本书包含许多VR和AR平台的上佳范例,如《神秘海域4》和《最后生还者》,以及免费游戏、混合游戏、严肃游戏等方面的当代名作。
云计算是一种将可伸缩、弹性、共享的物理和虚拟资源池以按需自服务的方式供应和管理,并提供网络访问的服务模式。本书从技术角度聚焦于云计算技术的各个方面,通过回顾云计算技术发展历程探究现有云计算体系架构格局。结合实践经验与新兴技术,介绍云的核心架构、产品和技术。从基于商业软件的私有云到基于互联网的行业云再到人工智能、大数据和区块链等技术体系,全面介绍云技术现有格局和发展趋势。 本卷可协助读者全面了解云技术,提出公有云和行业云建设和应用指南。通过阅读本卷可获得以下三个方面的收益: 1、获取技术知识:读者可以从本卷中获取对云相关技术全面和深入的理解; 2、掌握未来方向:通过本卷阅读可以获取云的进一步发展方向并了解最新技术; 3、找到解决方案:可以从本卷中了解金融业行业云的发展趋势,优化自身
本书自首次出版以来,已被译为14种语言,世界上数百所大学采用本书作为教材,有几十万学生和从业人员利用本书系统学习计算机网络的知识。本书已成为学习计算机网络知识的教材之一。 主要特点 自顶向下方法。本书采用作者的"自顶向下方法"讲授计算机网络的原理及其协议,即从应用层协议开始沿协议桟向下讲解,让读者从实现、应用的角度理解各层的意义,强调应用层范例和应用编程接口,使读者尽快进入每天使用的应用程序环境之中进行学习和创造。 以因特网为研究目标。因特网已经变得无所不在,任何网络教科书必须关注因特网。本书以因特网的体系结构和协议为载体讲授基本的计算机网络概念,这有助于激发学生学习网络基本原理的积极性,并理解原理的实际应用。 聚焦网络原理。网络领域已经发展得相当成熟,沉淀出很多基础性的重要问题。本
《动态网络分析》详细介绍了动态网络的概念、来源、分析维度及层面、分析方法以及未来研究方向和挑战,本书致力于深入研究动态网络,为读者提供全面的知识与动态网络分析研究范式,帮助读者 好地理解和应用这一领域的理论与实践。 本书旨在帮助读者深入理解动态网络的基本概念、方法和应用,从而能够应对不断变化的网络环境,掌握动态网络分析的关键技能,为各个领域的问题提供有力的解决方案。无论是学术研究者、数据科学家、工程师还是决策者,本书都将提供全面的动态网络分析知识和工具,帮助读者 好地理解和利用动态网络的潜力。
本书是深度学习领域的入门教材,系统地整理了深度学习的知识体系,由浅入深地阐述了深度学习的基础知识、主要模型以及前沿研究热点,使得读者能有效地掌握深度学习的相关知识,并具备以深度学习技术来处理和解决大数据问题的能力。全书共15章,分为三个部分。第一部分为机器学习基础:第1章是绪论,概要介绍人工智能、机器学习、深度学习;第2?3章介绍机器学习的基础知识。第二部分是基础模型:第4~6章分别讲述三种主要的神经网络模型:前馈神经网络、卷积神经网络和循环神经网络;第7章介绍神经网络的优化与正则化方法;第8章介绍神经网络中的注意力机制和外部记忆;第9章简要介绍一些无监督学习方法;第10章介绍一些模型独立的机器学习方法,包括集成学习、自训练、协同训练、多任务学习、迁移学习、终身学习、元学习等。第三部分是进阶
面向下一代机器人与自主无人系统的发展需求,项目重点研究解决非结构性和多态性复杂环境下自主飞行和自主漫游的信息感知关键技术问题,构建机器人与无人系统多模态信息感知协同测试系统,建立机器人与无人系统信息感知的性能验证和效能评估的综合测评体系,为无人系统及其相关核心技术的研究工作提供更加全面深入的理论研究与应用技术平台。该项目在复杂电磁环境和空间环境下微弱目标探测和航迹跟踪、基于时频特征与时空特征的目标识别、多源信息融合框架、无人系统自主飞行和自主漫游路径规划等方面的研究均有自己的特色和创新之处。自动控制、信息感知、人工智能、物联网技术等新一代信息技术促进了新一代机器人与无人系统的发展。自主无人系统在军事和民用方面都具有广泛应用前景成为机器人领域的研究热点。不确定的非结构性和多态
Kubernetes是由谷歌开源的容器集群管理系统,为容器化应用提供了资源调度、部署运行、服务发现、扩缩容等一整套功能。Kubernetes也是将 一切以服务(Service)为中心,一切围绕服务运转 作为指导思想的创新型产品,它的功能和架构设计自始至终地遵循了这一指导思想。构建在Kubernetes上的系统不仅可以独立运行在物理机、虚拟机集群或者企业私有云上,也可以被托管在公有云上。本书总计12章,分别讲解Kubernetes的基本概念、实践指南、核心原理、开发指南、网络与存储、运维指南、新特性演进等内容。全书图文并茂、内容丰富、由浅入深、讲解全面,并围绕在生产环境中可能出现的问题,给出了大量典型案例,比如安全配置方案、网络方案、共享存储方案、高可用方案及Trouble Shooting技巧等,有很强的实战指导意义。本书的内容也随着Kubernetes的版本更新不断完善,
本书从模型的结构和数据基础两个方面解构大语言模型,以便帮助读者理解和搭建类似ChatGPT的系统。在模型的结构方面,大语言模型属于深度神经网络,其设计核心是注意力机制,因此,本书涵盖了多层感知器、卷积神经网络和循环神经网络等经典模型。在模型的数据基础方面,本书既涉及模型训练的工程基础,如反向传播,又涉及数据的使用方式,如迁移学习、强化学习,以及传统的监督学习和无监督学习。此外,本书还阐述了如何从计量经济学和经典机器学习模型中汲取灵感,以提高模型的稳定性和可解释性。本书既适用于希望深入了解大语言模型、通过人工智能技术解决实际问题的读者,也适合作为高等院校计算机及相关专业的师生参考用书。
《游戏设计梦工厂》是南加州大学电影艺术学院互动媒体与游戏专业的系主任特雷西·弗雷顿教授的经典著作。通过这本将现代游戏工业与先进教学体系完美融合的图书,你将学会“以游玩体验为核心”的设计哲学和围绕这一核心的一系列设计方法及工具。跟随书中精心设计的练习,有毅力的游戏设计师不需要编程或艺术专业知识就可以按部就班地完成真实游戏的设计。本书内容全面,细致且系统地讲解了游戏设计和制作的过程。从了解游戏设计师的角色及游戏的结构开始,到游戏的形式、戏剧和动态元素,再到游戏的原型制作和游戏测试,直到游戏的打磨、发行和游戏制作,本书覆盖游戏设计的方方面面,适合不同阶段的游戏设计师阅读。
天地一体化信息网络是由天基信息网络、空基信息网络与地面信息网络等组成的一体化空间信息网络,贯穿海洋远边疆、太空高边疆、网络新边疆。天地一体化信息网络应用服务系统是基于天地一体化信息网络,开展数据承载、汇聚、管理、处理和时空信息服务的系统,推动各行各业数字化、网络化、智能化发展的具体落地应用。本书介绍天基信息服务的概念、发展历程以及发展趋势,并简要介绍天地一体化信息网络应用服务系统与天地一体化信息网络的关系,详细介绍应用服务系统的任务、能力要求、设计方法、体系架构与系统组成、天地一体化信息网络的服务类型,应用服务系统应用终端、地面信息港、应用服务模式、数据管理,以及应用服务系统可开展的应用。每个层面对相关概念、关键技术进行了深入介绍,之后对未来技术演进、应用生态进行了展望。
本书涵盖了目标跟踪的基础理论和前陆的研究成果。全书分为两大部分:部分介绍了概率、统计和估计理论的基础知识;第二部分针对机动目标跟踪、扩展目标跟踪、多目标跟踪和水下目标跟踪四个方向的前沿研究热点,介绍了各方向的问题描述、解决理论、详细推导和应用场景等内容。《BR》
算法设计中没有灵丹妙药一不存在任何一种足够强大和灵活,能够解决所有计算问题的算法思想。同样,算法分析中也没有灵丹妙药,因为对算法进行分析的拥有启发性的方法往往取决于问题和应用的细节。然而,典型的算法课程几乎完全停留在一种单一的分析框架上,即最坏情况分析。本书的目的就是纠正这种不平衡。 本书源于斯坦福大学的研究生课程,由40位学者联袂撰写,旨在推广最坏情况分析的替代方法,以及这些方法的应用,包括聚类、线性规划和神经网络训练等。书中涵盖算法分析领域的各个方面,强调重要的模型和研究成果。 本书首先讨论对最坏情况分析的改进,然后介绍确定性数据模型、半随机模型、平滑分析,最后介绍这些理论在机器学习、统计学等领域的应用,大部分章节以开放式的研究方向以及适合课堂教学的练习题作为结束。
不需要是技术专家,只要阅读《游戏设计艺术》,学习佳作,深刻领悟游戏设计的真谛,人人都可以成为优秀的游戏设计师! 本书深入讲解最基础的游戏设计原则,展示桌面、卡牌、体育游戏中的技巧如何在电子游戏中生效。书中列出了100多个透镜,帮助你从各种角度观察游戏设计,例如心理、建筑、音乐、视觉、电影、软件工程、主题公园设计、数学、谜题设计和人类学等方方面面。本书主要内容包括游戏的体验、构成游戏的元素、元素支撑的主题、游戏的改进、游戏机制、游戏中的角色、游戏设计团队、如何开发好的游戏、如何推销游戏、设计者的责任等。 本书包含许多VR和AR平台的上佳范例,如《神秘海域4》和《最后生还者》,以及免费游戏、混合游戏、严肃游戏等方面的当代名作。
本书介绍了经典人工智能(逻辑或演绎推理)和现代人工智能(归纳学习和神经网络)的相关知识。首先讨论演绎推理方法,主要包括搜索和逻辑;然后讨论归纳学习方法,使用统计方法,结合大量示例以得出假设,包括回归建模、支持向量机、神经网络、强化学习、无监督学习和概率图模型;最后介绍基于推理和学习的方法,包括知识图谱和神经符号人工智能等技术。此外,还讨论了迁移学习和终身学习等重要话题。 本书可作为高等院校人工智能等课程的研究生教材,或作为相关领域研究人员的参考读物。
《图灵计算机科学丛书?具体数学:计算机科学基础(第2版)》是一本在大学中广泛使用的经典数学教科书。书中讲解了许多计算机科学中用到的数学知识及技巧,教你如何把一个实际问题一步步演化为数学模型,然后通过计算机解决它,特别着墨于算法分析方面。其主要内容涉及和式、整值函数、数论、二项式系数、特殊的数、生成函数、离散概率、渐近式等,都是编程所的知识。另外,《图灵计算机科学丛书?具体数学:计算机科学基础(第2版)》包括了六大类500多道习题,并给出了所有习题的解答,有助读者加深书中内容的理解。《图灵计算机科学丛书?具体数学:计算机科学基础(第2版)》面向从事计算机科学、计算数学、计算技术诸方面工作的人员,以及高等院校相关专业的师生。
数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法,以及它们与数学和计算机科学的紧密关系,解释数理逻辑系统中符号化语言、解释、模型等概念,研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、结构、方法和技术形成了计算思维的核心,也成为计算机科学和计算机软件与系统的天然基础。