本书全面系统地介绍了量子计算领域的基本理论、核心概念、关键方 法和重要结论，并兼顾近期的前沿进展。本书内容主要包括：经典和量子 计算的复杂性理论、计算复杂度与物理理论间的关系；基本量子算法；不 同量子计算模型及其与量子线路模型的等价；基于离子阱系统、超导系统 及光学系统的量子计算的物理实现；量子纠错码与容错量子计算。本书既 突出了每个章节的逻辑完整性，也强调了不同章节间内容上的联系，保证 了量子计算学科的完整性和自洽性。本书中的重要结论都给出了详尽的证 明，使读者不仅能学到量子计算的相关知识，也

本书详细介绍了面向静态数据库、增量数据库和数据流的高效用模式挖掘的理论和方法。本书主要内容包括六个章节，前两章介绍高效用模式挖掘的相关知识。第三章介绍面向静态数据库包含正、负效用的两类精简高效用模式挖掘方法的研究与实现过程。第四章介绍针对增量数据库的挖掘高效用模式全集和精简集合算法的研究。第五章介绍面向数据流的精简高效用模式挖掘算法的研究与实现过程。第六章给出了四个高效用模式挖掘的应用案例。前五个章节有算法的实验证明，供读者更好的了解本书内容。

概念认知学习是人工智能、大数据领域关注的多学科交叉研究方向，涵盖了哲学、数学、心理学、认知科学以及信息科学等领域．《概念认知学习理论与方法》旨在为广大学者和科研工作者提供概念认知学习领域的基础理论与学习方法．《概念认知学习理论与方法》主要内容包括概念认知学习的基本概念和基础知识、概念认知系统的逻辑推理、概念认知的双向学习机制、对象 -属性诱导概念学习理论、多注意力概念认知学习模型、渐进模糊三支概念的增量学习机理、复杂网络下的概念认知学习以及概念的渐进式认知等理论体系．

《线性系统的多级时间尺度反馈控制及其在燃料电池中的应用》主要介绍了连续和离散时间域的两级反馈控制器设计算法，包括一般线性时不变动态系统的设计公式和代数方程，对双时间尺度线性时不变动态系统（奇异摄动系统）进行了简化和专门研究，对一般线性时不变动态系统的连续时间域三级反馈控制器设计也作了相应的介绍．《线性系统的多级时间尺度反馈控制及其在燃料电池中的应用》讨论了离散时间域三级三时间尺度系统线性反馈控制器以及四级四时间尺度线性反馈控制器设计．《线性系统的多级时间尺度反馈控制及其在燃料电池中的应用》

本书从祖先的“仿生”入手，到机器“仿人”，到人工智能技术在人们生活中的应用，集科技与生活于一书，分为八个话题，图文并茂地向读者介绍以“灵性”为核心的“人工智能”基础科学知识，讲述作为世界第一梯队的中国科技工作者在人工智能领域取得伟大成就背后的故事。本书主要讲述民用人工智能技术的基本情况，能够激发读者的阅读兴趣，引领读者了解人工智能，展现了在国家强盛、科技发达的背景下，中国人工智能迅猛发展的宏伟蓝图。

"本书以项目为主线，以任务为导向，较为详细地介绍Python程序开发所必需的基础知识。本书注重知识的层次性和技能培养的渐进性，合理安排各章节内容，全书共十个项目，每个项目包含若干任务，各个任务再细分成若干子任务。前八个项目是Python程序设计基础，包括开发环境的配置、Python语言的基本规范、分支和循环控制结构、四大典型的序列型结构、函数和模块的定义和使用、字符串和正则表达式的使用、Python操作文件和目录、异常和断言、Python面向对象的程序设计等；后两个项目主要介绍Python的GU

"《机器人应用技术》教材采用项目式结构，由浅入深层层推进。按照机器人应用技术的实用性为主线编写，主要内容包括机器人概述，机器人运动学认知，机器人机械结构认知，机器人动力系统认知，机器人控制系统认知，机器人感知系统认知，机器人视觉技术认知，机器人应用实例。每个章节后设置有项目工单，通过项目工单中的任务对知识点进行巩固。通过本门课的学习，使学生对机器人应用技术有一个全面、深入的认识。培养学生对机器人的综合理解和创新设计及应用能力。
本书可作为高等院校工业机器人、机电一体化技术自动化、智能控

本书包含伺服控制系统应用技术和变频器应用技术两部分内容，共6个项目，18个任务，每一个任务都由浅入深地安排了任务描述、基础知识、任务实施、拓展知识等教学环节。伺服控制系统应用部分介绍了机电设备常用的直流、交流等伺服控制技术，并以西门子系列交流伺服驱动为载体，对伺服电动机的控制操作做详细介绍，通过实践进一步加深对伺服理论的理解。变频器应用部分重点围绕西门子G120变频器进行介绍，通过具体的任务设计讲述变频器的组成原理、变频调速的特点、变频器的基本操作、速度控制等。最后是综合应用部分，精选工程实际案

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

反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。

时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序，而无须采用绝对时间度量。

本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。

本书是国际著