本书定位于计算机通识教育，以培养学生计算思维，提高学生科学修养、信息素养和计算机应用能力为教学目标，为各学科与计算学科的交叉融合提供计算学科基础知识。本书以“领域问题+计算”计算思维培养模式为主线，共分为七章，分别是：绪论，介绍知识、学习、认知、思维和逻辑等跨学科范畴的通识性知识，阐明计算科学在科学研究和知识创新中的重要性；计算与计算机，讲解现代电子计算机的发明、数据进制、字符编码、计算机硬件组成、计算机操作系统；问题求解与算法，从方法论的视角介绍问题及问题求解策略与基本过程，算法及复杂性，以及常见的问题求解算法；数据与数据结构，讲解数据结构的概念，数据结构在软件编程中的重要性，讲解线性表、树和图结构的逻辑结构、物理存储结构及常用操作算法；计算机程序，讲解计算机程序的概念，编程思想，以及软件开发的基本过程，并以C/C++语言为例，讲解程序设计语言的基本构成及面向对象技术；计算机网络，介绍计算机网络的概念、起源和发展历程，讲解OSI网络分层思想，网络协议的智慧；讲解信息安全的概念、目标和主要安全威胁，讲解数据加密模型及密码体制；计算科学前沿，介绍计算领域的学术和技术前沿及发展趋势。本书可作为普通高等学校非计算机专业“大学计算机”课程的教材，也可作为计算机爱好者的自学用书。

本教材结合语音信息处理的理论与实践部分，主要内容包括语音产生与感知机理、语音信号处理、语音识别、统计语音合成、语音增强、声纹识别、语音对话以及语音信息处理的前瞻技术等。全书共分8章。第1章介绍语音产生与感知机理，以及与此相关的语言基础知识，是全书的理论基础。第2章介绍语音信号处理的基础，包括语音产生与感知的数学模型、语音听觉的数学模型、时域语音信号处理方法、基于产生机理的语音信号处理方法以及基于感知的语音信号处理方法。第3章介绍语音识别的基本内容。语音识别是语音信息处理的重要研究方向，本章重点介绍基于隐马尔可夫模型和深度学习的声学模型、语言模型、语音识别的解码算法、语音识别技术的展望以及基于HTK、KALDI、ESPNET等工具的相关实践。第4章介绍语音合成原理与技术，主要包括语音合成的基本原理、基于HMM和深度学习的语音合成方法。第5章介绍语音增强算法与技术，涉及单通道及多通道的各种语音增强算法以及相关实践。第6章介绍声纹识别算法与技术，从传统声纹识别到基于深度学习的声纹识别算法，最后介绍相关实践。第7章介绍语音对话系统，主要涉及面向任务的语音对话系统、闲聊系统以及相关实践。第8章介绍语音信息处理前瞻技术。本书适用于高校人工智能专业、计算机科学与技术专业本科高年级学生、研究生以及其他从事语音信息信号处理领域研究的专业技术人员。

本书是《离散数学》（第 3 版的配套教学参考书，与主教材做了同步更新. 本书分为集合论、初等数论、图论、组合数学、代数结构、数理逻辑等 6 个部分。每部分按章对相关知识点进行了全面的总结，并对解题方法进行了系统的分析和阐述。各章都按照内容提要、基本要求、习题课、习题与解答或提示、小测验进行组织，并在最后给出了 4 套综合性的模拟试题，全书包含各种练习题上千道。本书既可作为高等学校计算机科学与技术、软件工程、智能科学与技术、数据科学与大数据技术、网络空间安 全、信息安全、信息与计算科学等专业本科生离散数学课程的教学参考书，也可为其他学习离散数学的读者，特别 是初学者提供有益的帮助。

《电子传奇：从固体到凝聚态》深入探索电子技术背后的物理理论，从半导体和电的历史讲起，展现了晶体管发明等关键历程，回溯原子模型演化，聚焦当下热门的自旋电子学研究及前沿的纳米技术、量子霍尔效应、拓扑绝缘体等领域。书中详细描述量子、能带、晶格等核心概念及理论的诞生与发展脉络，将抽象的物理知识具象化，生动解读法拉第、特斯拉、赫兹、郎道、肖克利、霍尔等大师的科研工作与趣闻轶事，带领读者领略大师风采，了解电子在半导体中“舞蹈”的奇妙规则，揭示物理与工程领域的紧密联系，无论是专业学者还是对电子技术感兴趣的读者，都能从中一窥电子技术物理世界的魅力与奥秘，收获对电子技术及相关物理理论的全新认知，感受科学发展的波澜壮阔与永不止步。

本书基于Actran 2020系统地介绍Actran的各种基本功能和声学模拟分析中常用的分析方法。全书分为 9 章，主要内容有声学基本理论、Actran软件模块功能与基本理论、辐射噪声的直接频响分析、模态分析及管道声模态在管道声传播中的应用、振动声学仿真的直接频响法、振动声学仿真的模态频响法、声波的耗散吸收分析、虚拟统计能量分析法、气动声学分析法等知识。本书适合作为各类院校相关专业学生的辅导教材，也适合作为声学工程分析相关科研院所研究人员的科研参考资料。

本文集展示了作者深入研究教育传播学、教育信息技术和智慧教育所取得的丰硕理论成果，以及在党建和思想政治教育及高校教育管理方面取得的成绩。作为国内较早系统开展信息时代教育传播理论与实践研究的学者，作者在立足中国国情的基础上，力求与国际先进的教育传播理论和实践接轨，并充分融入教学法与教学设计的相关理论和方法，对教育传播的基本概念，基本理论、技术和方法，做了全新的、系统的阐释。同时，深耕我国教育信息化领域，积极探索教育科学规律与信息传播科技相融合，坚持理论创新与实践落地协同、学术研究与社会服务同行。围绕新时代信息化赋能教育高质量发展的价值定位、发展战略、理论基础、教育环境、教学模式、绩效评估、师生发展、未来形态等重点领域开展研究，不仅系统阐明了智慧教育发展的方向，还对推进智慧教育发展进程有着很强的实践指导意义。

本书是计算机类和通信工程等专业的课程教材，主要内容包括计算机网络概述、物理层与数据通信基础、数据链路层、局域网、网络层、网络互联技术和综合布线技术、传输层协议、应用层协议、网络管理与信息安全、网络新技术等。本次修订更新对网络发展现状和网络技术的介绍，更新相关习题，引进企业网络案例，增加使用Wireshark截获实际网络中的分组包的介绍，配备教学视频。修订后的图书更加科学系统，完善丰富，知识性和指导性更强。本书可作为高等学校计算机及相关专业的教材，亦可供从事计算机网络工程技术和运行管理的人员参考。

本书结合医学相关专业的教学特点，重点培养学生的医学计算能力，书中的案例设计紧贴医学、医药和临床等专业典型问题的解决方案。其主要内容包括Python程序设计及医学数据分析处理、数据库的基础理论和结构化查询语言、医学数据库信息系统和智能医学几大部分。 本书既可作为医科院校各专业和综合院校的医药相关专业学生的“大学计算机基础”“Python程序设计”等相关课程的教材，也可作为医药卫生领域中的医、教、研人员以及对计算机在医学领域应用感兴趣的IT工作者的参考用书。

本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求，如无死锁、公平性、隐私性、可调度性、最坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外，本书介绍简化有序二叉决策图，介绍如何将其用于表达 Petri 网的状态、状态间的迁移关系及状态间的等价关系，并将其应用于计算树逻辑与 知识计算树逻辑的模型检测上。

本书提供了适应性设计（AD）的全面研究，从构思概念、开发方法和应用到AD的真实世界产品设计，通过扩展AC的设计和物理产品的实用性，可以实现实质性的益处。AD的主要元素包括合理化的功能结构、可适应的产品架构、可适应接口和适应性评估。AD原则的关键方面是适应性，包括设计适应性、产品适应性、一般适应性和特定适应性，以及适应性的建模和评估。对这些方面的详细讨论是为了理解AD。还描述了在软件中实现AD和设计应用的方法、工具和技术。包括AD的应用示例，以说明如何在实际产品设计中使用AD。*后，强调了人工智能、大数据、物联网、云技术等先进技术以及元宇宙和Web3.0时代AD的未来发展。