计算机科学理论与基础知识
-
计算机系统开创性经典文献选读与解析刘宇航 包云岗本书精心选择了计算机系统领域的14篇开创性经典文献,并用中文准确翻译,结合编者自身的理论研究和工程实践,针对14篇文献给出了独到的分析和评论。全书涵盖了人工智能、可计算理论、计算机体系结构、虚拟化、并行计算等细分角度和方向,采用考据考证和文本细读的方法,在每篇内部、篇篇之间先分析后综合,形成一个有机的整体,对于追溯本源、进行原创性基础研究具有重要意义。本书可作为计算机专业大学生和研究生的教材、教辅读物,也可供非计算机专业的学生、信息技术在职研究人员和工程师参考使用。 -
工业机器人应用系统三维建模郜海超、魏新华、田伟华 主编暂缺简介... -
元宇宙解密胡征 编著本书从技术的视角出发,全面剖析了元宇宙的发展历程、理论框架、核心体系及基础设施。通过丰富的案例和生动的语言,详细解读了元宇宙的实现路径、人机交互等关键技术,并深入分析了元宇宙对经济的影响及其广泛应用场景。本书旨在帮助读者建立起对元宇宙客观理性的认知。全书内容丰富、结构清晰、通俗易懂,案例丰富,无论你是专业人士、科技爱好者、投资者还是对未来趋势感兴趣的读者,本书都将为你提供宝贵的参考和洞见,让你紧跟时代步伐,把握元宇宙带来的机遇与挑战。 -
语音信息处理理论与实践王龙标 党建武 于强本教材结合语音信息处理的理论与实践部分,主要内容包括语音产生与感知机理、语音信号处理、语音识别、统计语音合成、语音增强、声纹识别、语音对话以及语音信息处理的前瞻技术等。全书共分8章。第1章介绍语音产生与感知机理,以及与此相关的语言基础知识,是全书的理论基础。第2章介绍语音信号处理的基础,包括语音产生与感知的数学模型、语音听觉的数学模型、时域语音信号处理方法、基于产生机理的语音信号处理方法以及基于感知的语音信号处理方法。第3章介绍语音识别的基本内容。语音识别是语音信息处理的重要研究方向,本章重点介绍基于隐马尔可夫模型和深度学习的声学模型、语言模型、语音识别的解码算法、语音识别技术的展望以及基于HTK、KALDI、ESPNET等工具的相关实践。第4章介绍语音合成原理与技术,主要包括语音合成的基本原理、基于HMM和深度学习的语音合成方法。第5章介绍语音增强算法与技术,涉及单通道及多通道的各种语音增强算法以及相关实践。第6章介绍声纹识别算法与技术,从传统声纹识别到基于深度学习的声纹识别算法,最后介绍相关实践。第7章介绍语音对话系统,主要涉及面向任务的语音对话系统、闲聊系统以及相关实践。第8章介绍语音信息处理前瞻技术。本书适用于高校人工智能专业、计算机科学与技术专业本科高年级学生、研究生以及其他从事语音信息信号处理领域研究的专业技术人员。 -
离散数学学习指导与习题解析屈婉玲 曹永知 耿素云 张立昂本书是《离散数学》(第 3 版的配套教学参考书,与主教材做了同步更新. 本书分为集合论、初等数论、图论、组合数学、代数结构、数理逻辑等 6 个部分。每部分按章对相关知识点进行了全面的总结,并对解题方法进行了系统的分析和阐述。各章都按照内容提要、基本要求、习题课、习题与解答或提示、小测验进行组织,并在最后给出了 4 套综合性的模拟试题,全书包含各种练习题上千道。本书既可作为高等学校计算机科学与技术、软件工程、智能科学与技术、数据科学与大数据技术、网络空间安 全、信息安全、信息与计算科学等专业本科生离散数学课程的教学参考书,也可为其他学习离散数学的读者,特别 是初学者提供有益的帮助。 -
计算机网络胡亮 徐高潮 张宗升 霍严梅 车喜龙 编本书是计算机领域本科教育教学改革试点工作计划(“101计划”)系列教材之一。本书介绍了计算机网络的基本概念、原理和技术。本书共分9章,主要内容包括概论、数据通信基础、物理层、数据链路层、网络层、传输层、应用层、网络基础设施及网络管理、网络安全。本书在注重基本概念和基本理论的基础上,力求取材新颖,反映计算机网络技术的最新发展。本书可作为高等学校计算机科学与技术专业本科生教材以及研究生的参考用书,也可供有关科技人员参考。 -
给程序员讲透量子计算[美]罗伯特·亨特(Robert Hundt)本书从程序员的角度介绍了量子计算,是一本适合学生和从业人员阅读的入门书籍。书中使用基于Python和C 开发的开源代码库,用完整的数学推导和经典模拟代码解释了超过25种基本算法。在介绍了量子计算的基础知识后,作者着重讲解了一些基础量子算法和高效模拟它们的基础设施,包括量子隐形传态、超密编码、Bernstein-Vazirani算法和Deutsch-Jozsa算法。高级量子算法的介绍包括量子霸权实验、量子傅里叶变换、相位估计、Shor算法、Grover算法、量子计数、振幅放大、量子随机游走,以及用于门近似的Solovay-Kitaev算法。通过变分量子本征求解器、量子近似优化和NP完备问题的zui大割算法以及子集和算法,探索了量子模拟的应用。书中还探讨了程序员生产力、量子噪声、量子纠错,以及量子编程语言、编译器和工具面临的挑战,最后还详细介绍了用于转译的编译器技术。 -
中国互联网信息服务协同治理陈希本书论证了探讨中国互联网信息服务协同治理的重要性,为构建互联网信息服务协同治理厘清了概念域、奠定了理论基础。在借鉴已有模型和结合实践的基础上,析出了互联网信息服务协同治理“价值——主体——过程——保障”的四维分析框架。随后,追溯了中国互联网信息服务治理的变迁历程。提炼了当前中国互联网信息服务治理的特点——“碎片式发包”,并从“全要素协同”的角度论述了借鉴协同治理理论资源可以对这一模式的优化带来的效用。从应然层面构建了中国互联网信息服务协同治理模式。从价值、主体、过程和保障四部分对其进行解构。从现实层面对标中国互联网信息服务协同治理的理想模式,通过理论推演、文本梳理与实地调研、访谈,从主体、过程与保障三方面总结剖析了中国互联网信息服务协同治理存在的困境。*后,运用理论资源的提炼与实践经验的总结(访谈所得)旨在重塑互联网信息服务协同治理。本书揭示了互联网信息服务协同治理是一个具有探讨热度、深度与广度的前沿议题,在理论层面,厘清了互联网信息服务治理的概念域,构建了互联网信息服务协同治理的四维分析框架;在实践层面,本文在理论框架的引导下,将各个要素中实践上*为痛点的问题进行了剖析。同时,本部分中笔者从互联网信息服务具体样态的研究、治理过程中“政企”关系的描摹与治理效能评价等方面锚定了本领域中仍有探索空间的方向。 -
人机混合智能高动态系统知识自动化和调控关键技术及平台张俊,许沛东本书依托科技创新2030——“新一代人工智能”重大项目“人在回路的大电网调控混合增强智能基础理论”(2018AAA0101504)而撰写,介绍了基于人机混合智能的高动态系统调控理论方法、含新型人机智能接口的多源异构数据和知识处理关键技术,以及人机混合智能调控系统智能水平评估和自主进化理论方法与平台研发,并给出了混合智能在高动态系统中的管控机制、交互途径、趋优方法及部署架构;通过丰富案例展示理论技术的实现路径,构造人机混合智能在高动态系统调控中的系统工程方法和实施范式,为人机混合智能在高动态系统调控业务中的科学研究以及工程应用提供体系化指导。本书可作为企业、科研单位、高校等社会各界了解、学习、应用工业互联网前沿管控技术的重要参考书。 -
大规模图数据管理与分析邹磊 李友焕 刘钰 彭鹏图是大数据关联分析的基础模型。本书以图为核心,对于大规模图数据管理与分析进行了深入的阐述。本书涵盖了从基础的图数据定义和表示到图算法、图数据库系统、图计算系统、图机器学习等内容;也介绍了不同类型的图数据、各种图算法以及实际应用中的案例。此外,本书努力从跨学科的角度,为读者建构图数据管理与分析的完整的知识体系。本书适合于作为高等学校计算机专业、数据科学专业高年级本科生或研究生的教材,也适合作为从事相关研究或者研发工作的专业技术人员的参考书籍。
