文本信息处理

目前，大数据产业蓬勃发展，从而带动了人们对于非格式化文本数据的分析需求，本书全面、系统的介绍了文本信息处理的相关技术，包括分词、文本向量化、特征选择、文本相似度计算、文本分类、主题模型、情感计算等内容，并在若干综合性的章节中，设计了独到的模型算法，阐述了算法过程。所有章节都通过实例对过程做详细描述，并辅助以代码或伪代码实现，帮助读者理解，具有高度的可操作性和实用性。本书内容新颖、层次清晰，适合高校教师、研究生、高年级本科生使用，也可供

重点大学计算机基础课程教:MATLAB实用教程

本书包括MATLAB 7.0语言基础、基本应用、高级应用三部分。语言基础包括语言入门、程序设计基础、矩阵线性代数算法实现；基本应用包括数据处理、数值计算、符号运算、图形处理；高级应用包括图形用户界面编程、工具箱使用、模型使用、外部接口等...

虚拟现实:另一个宜居的未来(全彩)

“一个可以让人生活在其中的虚拟现实系统”是虚拟现实技术的优选发展目标，也是本书希望讨论的一个重要问题。本书首先从人对虚拟环境的需求入手，讨论虚拟现实技术存在的意义；之后通过对过往二十余年间相关领域的研究进行总结，对如何实现多感官高沉浸的虚拟环境进行讨论；此后，本书分别讨论虚拟现实与心理学、虚拟现实与电影工业的关系，很终提出并详细阐述“宜居的虚拟现实”这一概念...

人工智能-源自.挑战.服务人类

《人工智能 源自·挑战·服务人类/“科创之光”书系（第一辑）》深入浅出，形象生动地把目前在人工智能领域的热点问题，包括人机对话（语音识别与自然语言理解）、机器智能感知与模式识别、机器视觉（图像信息获取与处理）、专家系统与人工神经网络、机器学习（机器得到进步的途径），大数据与云计算的结合、正在兴起的智能家居、智能城市与智能医疗以及机器人世界杯（人工智能检验平台之一）等内容，以科普的形式展现给读者，带领读者深入人工智能的内核，了解我们

虚拟现实技术及其在MOOC中的应用

本书开创性地将虚拟现实技术与近年来备受关注 MOOC 在 线教 育平 台 相结 合,在 丰富MOOC 模式实践教学环节不足的同时,推动虚拟仿真实验在高校实践教学和教育信息化发展中的应用。本书共分 5 章,分别介绍虚拟现实的基本概念、虚拟现实系统的硬件设备、虚拟仿真实验...

51单片机自学笔记(第3版)

《51单片机自学笔记（第3版）》以89S51系列单片机为载体，结合作者多年教学与指导大学生电子设计竞赛的经验编写而成。　　《51单片机自学笔记（第3版）》分三部分：汇编语言程序设计、C语言程序设计和RTX51实时多任务操作系统。内容编排符合初学者先了解单片机底层的工作原理，再掌握高效编程语言的使用方法，最后达到熟练应用RTX51实时多任务操作系统这一高级阶段的学习过程。这三部分内容中许多例程所完成的任务是相同的，便于读者比较对照，

虚拟现实:理论.技术.开发与应用

本书全面系统地讲解了虚拟现实基础理论、核心技术、开发流程以及实际应用。全书分为 8 章，主 要内容包括：虚拟现实发展过程，虚物实化技术，实物虚化技术，增强现实、混合现实相关技术，移动 VR、VR 一体机及基于主机的 VR，虚拟现实平台，虚拟现实内容设计，虚拟现实内容制作方式，交互功 能开发，虚拟现实开发引擎，虚拟现实内容开发案例，以及虚拟现实在游戏、影视、社交、教育、电子商务、 旅游和医疗等领域和行业的应用案例。 本书适合作为普通高等

基于格的公钥密码算法的分析与设计

本书主要介绍了格理论及基于格的密码方案的分析与设计, 特别是针对具有特殊性质的格基签名方案和签密方案进行了介绍。本书内容可分为三部分, 第一部分主要介绍密码学基础、数学基础知识、格密码知识和可证明安全性理论 ; 第二部分基于格密码介绍数字签名方案的设计, 并介绍格上具有特殊性质的数字签名方案 ; 第三部分介绍基于格的签密技术, 并给出基于格的具有特殊性质的签密方案...

人机工程学基础与应用

本书在内容安排上, 依托几类工业设计的典型产品也是目前大家关注较多的产品逐渐展开对功能性—可用性—愉悦性三个层次的人机工程因素论述。第一部分是人机工程学基础, 包括人体尺寸、生理、心理特征。第二部分以人机工程学在产品设计中的应用为核心, 着重讲述人体测量数据、人的生理和心理特性在产品设计中的具体应用, 并尽可能地阐明问题最原始的出发点及其应用的可能性和局限性。第三部分主要讲述当今前沿的具体的研究方法。因此, 教材内容上做到理论、实践与

大学计算机基础(第二版)

本书为普通高等教育“十二五”规划教材（高职高专教育）。 本书是根据教育部对高职高专教育人才培养工作的指导思想，结合学校精品课程建设及教改实施情况，在广泛吸取与借鉴近年来计算机基础教学经验的基础上编写的。本书主要内容包括计算机基础知识、Windows操作系统、Word文字处理软件、Excel表格处理软件、PowerPoint演示文稿处理软件、计算机网络知识、计算机安全知识等。本书还配有独立的习题集和多媒体课件...

五笔打字新手速成

年龄大了，指法练习很是费劲？ 中文输入法编码太长，重码率高？ 打字速度慢，找不到技巧？ 五笔字根多而杂，很难记住，不背字根能掌握打字技巧吗？ 五笔打字遇到的所有困惑，本书统统可以解决！本书具备以下特质： 按照五笔打字高效学习技巧组织内容超强实用性！ 五笔打字入门教程 五笔编码速查辞典功能强大性价比高！ 轻松的文字 放大而丰富的配图人性化体贴！ 微信学习平台、QQ群全方位互动打字问题有问必答！ 通过本书能学会什么？快速学习键位指法，让

培养计算机类学生解决复杂工程问题的能力

工程教育专业认证以工程教育国际接轨为突破口，通过强化内涵发展提高质量，发挥了重要的引领和示范作用，特别是在促进教育观念的更新、标准意识的建立、质量意识的强化上起到了重大作用。? 与国际等效的中国工程教育认证标准明确将解决复杂工程问题能力的培养作为本科工程教育的聚焦点。在认识和实施上尚有很多问题需要解决。? 本书讨论如何实现计算机类专业学生解决复杂工程问题能力的培养，促进我国的计算机类专业教育早日实现与国际接轨，提高人才培养质量。? 首

中国水利水电出版社数据挖掘在需求侧管理中的研究与应用

本书共分为五章，包括绪论、数据挖掘概述、电力需求侧概述、基于数据挖掘的电力企业需求侧管理方案设计及实证分析、结论。其中，前三章主要介绍了数据挖掘和需求侧管理的相关基础理论知识，第四章以贵州省某地区供电局作为具体案例，详细分析数据挖掘技术在电力需求侧管理中的应用。本书深入浅出，结合实例进行分析，易于理解，能为电力企业在实施电力需求侧管理过程中起到很好的参考作用...

计算机铺住教学实用教程

本书共分6章，在介绍计算机辅助教学的基本理论、课件设计的基本原理和方法的基础上，详细讨论了使用目前流行的多媒体课件开发工具PowerPoint、Flash、Authorware开发制作多媒体课件的方法和技巧，在相应章节安排了典型教学实例，既可作为教师教学示例，也可作为学生上机操作的案例...

机械工业出版社计算机科学丛书数据结构与算法:PYTHON语言实现/[美]迈克尔 T. 古德里奇

本书采用Python语言介绍数据结构和算法，包括其设计、分析和实施。本书源代码简洁、明确，面向对象的观点贯穿始终，通过继承优选限度地提高代码重用，同时彰显不同抽象数据类型和算法之间的异同...

网络生活-老小孩的智能生活

《“老小孩”的智能生活：网络生活》以“记录生活、便捷生活、快乐生活”为主线，引导老年朋友一起享受信息科技带来的智能便捷新生活。通过学习和实践，老年朋友也可以和年轻人一样，应用智能手机为自己的晚年生活添光彩...

信息技术基础

全书共分基础篇和提高篇，共10个模块，基础篇：模块一介绍信息技术基础，模块二介绍计算机组成，模块三介绍文字处理，模块四介绍数据处理，模块五介绍幻灯片制作，模块六介绍网络世界；提高篇：模块七介绍无线wifi网络，模块八介绍智能互联技术，模块九介绍屏幕英语知识，模块十介绍人工智能。 本书从信息教学的全局出发，以培养学生信息素养和实际操作能力为目的，内容新颖、概念清楚、技术实用、叙述清晰。为了提高读者的实际

LINGO软件及应用习题解答

《LINGO软件及应用习题解答》是国防工业大学出版社出版的《LINGO软件及应用》一书的配套书籍。《LINGO软件及应用习题解答》给出了《LINGO软件及应用》中全部习题的解答过程和配套程序设计。尤其是第12章，针对数学建模竞赛10道竞赛题目，参照公开出版的优秀论文给出的解答思路，给出了包括问题分析，模型假设，模型建立和求解，以及对应的程序设计在内的完整解答过程，有些题目还给出了两种不同思路的解答过程。　　《LINGO软件及应用习

计算机科学丛书计算机图形学原理及实践:基础篇(原书第3版)

本书是计算机图形学领域的著作，系统全面地介绍了计算机图形学领域的关键概念、算法、技术和应用。本书先介绍了如何创建二维和三维图像，接下来介绍了更为广泛的话题，包括图像表示和操纵、图像和信号处理、图像的缩放、纹理和纹理映射、交互技术、曲线分割、曲面分割、形状的隐式表示、网格、光、材料和散射、颜色、光传输、概率和蒙特卡洛集成、动画、空间数据结构、现代图形学硬件等内容...

计算机应用基础/王爱红

《计算机应用基础》采用项目引领、任务驱动的方式，通过大量案例介绍了计算机基础知识和日常应用。全书共分7个项目，内容涵盖计算机基础知识，使用Windows 7系统，使用Word 2010制作文档，使用Excel 2010制作电子表格，使用PowerPoint 2010制作演示文稿，局域网和Internet应用，以及使用常用工具软件等。 本书可作为各类院校计算机应用基础课程的教材，也可供广大初、中级电脑爱好者自学使用...

网络化智能传感技术研究与应用

本书针对智能制造的需求, 专著围绕现代先进传感技术中的网络化、智能化、高准确度监测的特点, 系统地介绍网络化传感系统建模设计方法、多传感信息预处理方法、多维传感信息自校正技术、传感网络信息实时预测方法和网络化协同传感等方面的研究, 并进一步相关实验仿真、系统开发及应用研究...

大数据时代的数据挖掘/国之重器出版工程

本书以当前热点的数据挖掘应用贯穿全书，通过详解大数据挖掘技术在系统日志、工作票、可持续性研究、推荐系统、智能问答系统、社交媒体、生物信息学与健康医疗、隐私保护等方面的实际应用案例，阐述了如何更好地应用和学习数据挖掘技术。本书融入了数据挖掘前沿技术和典型应用，不仅适合热爱和关心数据挖掘技术的学术界和工业界人士阅读，还适合作为各大高校的数据挖掘和机器学习课堂的实践教材和参考书籍。本书有助于读者更好地理解数据挖掘技术背后的根源和本质...

计算机应用基础实验指导

《普通高等教育“十二五”规划教材·计算机系列规划教材：计算机应用基础实验指导》是《计算机应用基础》（刘建平、孙艳秋主编，科学出版社）的配套教材。由于计算机基础的实验项目与实际操作过程的细节很多，本书不求面面俱到，只对其中典型的操作做比较详细的介绍，使教学者在有限的时间内传授更多的知识与技能，使学习者学以致用。 　　《普通高等教育“十二五”规划教材·计算机系列规划教材：计算机应用基础实验指导》在实验设计上充分考虑到计算机应用基础

新编计算机应用基础培训教程

虚拟现实交互设计

① 精讲入门的原理、设计方法及流程；② 18个课堂案例，让你在实践中掌握技能；③ 图文结合、分步解析，使案例通俗易懂；④ 各章设有创意实践，拓展你的设计思维；⑤ 附电子版案例设计源文件以及编译程序...

复杂系统的投影寻踪回归无假定建模技术及应用实例

本书结合复杂系统的统计学本质问题—高维性与混杂性, 系统地比较了证实性数据分析 (CDA) 、探索性数据分析 (EDA) 方法特点, 认为对于复杂系统, 采用EDA方法作为突破口, 既能解决“高维性”造成的“维数祸根”难题, 也能充分利用复杂系统7大特征混杂信息, 建立既完整仔细又客观准确的实用模型, 从而能实现系统建模软件的跨学科通用化...

大数据与人工智能技术丛书大数据与机器学习经典案例-微课视频版

精心选取十个大数据与机器学习的实战案例，采用迭代递进模式，边理论边实践，深入浅出，让读者在工程实践中熏陶成长，在复杂系统设计中淬炼过硬本领。十个案例全部采用靠前有名机构发布的真实数据，研究领域涉及生物信息、图像处理、商业零售、银行金融、自然语言处理等。每个案例采用的数据集规模相对较大，鲜明体现了机器学习在大规模数据挖掘处理方面独领风骚...

Python科学计算-(第2版)

1.使用python各种扩展库完成数值计算、界面制作、三维可视化、图像处理、提高运算速度等任务 2.光盘中提供作者本人整合开发的便携式运行环境winpython，省去读者一一收集python各个扩展库并安装的麻烦，涵盖numpy、scipy、matplotlib、pandas、sympy、tvtk、mayavi、opencv、cython等 3.文前精美彩插演示书中示例所展现的python各扩展库的强大处理效果，装帧和排版都十分考究.

人因工程(英文版 )

人因工程是通过人-机-环境系统优化来达到提高系统生产率，保证人健康、安全、舒适工作的学科。本书作者集十多年从事人因工程教学科研的实践经验，根据人因工程的**发展趋势，突出理论与实践相结合、基础与前沿相结合的原则编纂而成。 本书分为4部分（基础知识、生理人因、认知人因与人因应用）共计12章，主要内容包括人与人因、人因研究常用方法、人体测量、生理机能、疲劳与肌骨失调、职业生物力学、视觉系统、听觉系统、其它感知系统、视觉显示、

区块链安全技术与应用

本书是一部关于区块链安全与应用的技术专著, 主要内容包括区块链简介、共识机制与智能合约、区块链隐私保护以及区块链技术应用四个部分。第一部分简要介绍区块链的定义、架构、相关技术、分类等 ; 第二部分重点讨论区块链智能合约安全、优化、交易行为、以太坊虚拟机的安全问颗: 第三部分讨论数字签名在区块链安全与隐私保护中的应用与实例 ; 第四部分介绍区块链技术的几个应用场景, 对实现区块链监管的可编辑区块锌技术进行讨论...

知识图谱建模与智能推理技术

本书的主要特色在于知识建模和智能推理技术方面的创新，并基于知识图谱建模和智能推理技术的集成完成了一系列应用软件的开发，直观形象、易学易用。本书是AI3软件的详尽解读，分为AI3普及版（自由拷贝，不限使用）、AI3智能教学版以及AI3专业版（适用于复杂过程工业系统AI应用）...

混合云架构

阿里云数字新基建系列包括5本书，题材涉及Kubernetes、混合云架构、云数据库、CDN原理与流媒体技术、云服务器运维（Windows），囊括了领先的云技术知识与阿里云技术团队独到的实践经验，是国内IT技术图书又一套重磅作品。 混合云的出现是近几年云计算领域比较大的突破，它较好地满足了企业对算力及安全越来越高的要求。但混合云又是在缺乏标准的情况下，按实用方向发展的技术，在应用时，企业面临许多挑战，比如技术平台的选择、应用架构的选择

智能语言决策理论与方法

智能语言术语集是可以同时具有模糊性、犹豫度、近似性与随机性或可能性等的语言术语集,在处理复杂不确定、不完整等信息方面更具灵活性和实用性。本书抢先发售提出智能语言术语集的概念与智能语言术语集的信息表示,介绍了近年来国内外学者特别是作者本人及其团队在智能语言术语集的测度理论、智能语言术语集的集成方式,以及基于上述信息处理工具的智能语言决策模型和方法等方面的近期新研究成果,且该研究成果已广泛应用于决策、医疗诊断、未来规划、模式识别、机器学习

智能化运维实践――从Ansible到Kubernetes

本书讲解了自动化运维和智能化运维两大内容，并且通过实验环境搭建的方式，让读者能够快速地掌握当前 Docker 和 Kubernetes 环境的使用。在讲述相关的知识和技术的时候，以开箱即用的方式给读者选择了一些能够实际增强智能化运维能力的 AIOps 工具包...

复杂非线性时滞系统的控制及应用

本书主要介绍了作者近几年在非线性时滞系统控制方面的研究成果，依据待研究系统的特征，针对性地提出了一些解决方法，有效克服了在研究该类问题时存在的困难。特别是为研究有限时间控制问题构造了相应的李雅普诺夫泛函，使得基于李雅普诺夫泛函方法研究该类问题成为可能。 本书可作为高等院校控制理论与控制工程等专业高年级本科生和研究生的教材，也可供从事相关领域研究的科研人员和工程人员参考...

分布式系统与一致性

一致性是很好重要的分布式技术。众所周知，分布式系统有很多特性，如可用性、可靠性等，这些特性多多少少会与一致性产生关系，受到一致性的影响。要全面研究、掌握分布式技术，一致性是绕不开的一个话题，也是很难解决的一个问题。本书主要介绍GFS、HDFS、BigTable、MongoDB、RabbitMQ、ZooKeeper、Spanner、CockroachDB系统与一致性有关的实现细节，以及很好重要的Paxos、Raft、Zab分布式算法；本

算法(第4版)

《算法（第4版）》全面讲述算法和数据结构的推荐知识，具有以下几大特色。 1、 算法领域的经典参考书：Sedgewick畅销著作的新版，反映了经过几十年演化而成的算法核心知识体系 2、内容全面：全面论述排序、搜索、图处理和字符串处理的算法和数据结构，涵盖每位程序员应知应会的50种算法 3、全新修订的代码：全新的Java实现代码，采用模块化的编程风格，所有代码均可供读者使用 4、与实际应用相结合：在重要的科学、工程和商业应用环境下探讨算法

人工智能背景下图像处理技术的应用研究

人工智能技术包括了多方面的知识，比如生理学、计算机和哲学等，而近几年的发展趋势主要围绕机器的智能化来展开.同时，人工智能技术在互联网的大背景下，已经被广泛应用到了各行各业中，且发挥出了显著的优势。本书是在人工智能的背景下通过对当前人工智能的相关介绍、图形图像发展历程、以及通过对图形图像技术的常见算法研究，研究了人工智能背景下图形图像在智能交通、办公自动化、公共场所人数统计以及条码识别，建筑测量上的应用问题等...

ANSYS 2020有限元分析从入门到精通(升级版)

本书采用GUI界面操作与APDL命令相互对照的方式, 从基础知识、专题技术两个层面详细地阐述ANSYS 2020有限元软件的使用方法和技巧。该书分为基础知识和专题技术两部分, 共22章。基础知识部分 (第1-7章) , 讲解了使用ANSYS进行有限元分析的基本流程与方法、ANSYS建模、网格划分、边界条件定义、求解、后处理等知识 ; 专题技术部分 (第8-22章) , 根据工程应用的实际经验, 介绍大量高级应用知识, 包括ANSYS结

FPGA设计与验证

本书以Intel CycloneⅣ E系列FPGA为例, 系统介绍了FPGA的硬件结构、电路设计以及逻辑设计和验证流程。书中以若干个具有工程实用意义的案例为背景, 详细介绍了FPGA数字逻辑设计中常见的功能模块设计思路、FPGA片上资源的使用方法、开发软件中各种调试工具的使用, 包括SignaltapⅡ、In System Sources and Probes Editor、In System Memory Content Edito

虚拟现实技术及应用

本书介绍了虚拟现实技术的最新发展状况, 详细介绍了虚拟现实技术的基础理论及方法, 重点介绍了目前具代表性的虚拟现实相关软件、工具的使用和开发方法 ; 既注重原理, 又注重实践, 配有大量案例, 具有良好的可读性和可操作性。本书分为7章, 内容包括虚拟现实技术概述、3D数学基础、3ds Max建模工具、Web3D技术、Unity3D、Unreal Engine和增强现实技术...

人工智能英语

本书共六个单元，每个单元是以“一段旅程(Journey)”的概念串联的一个整体——携AI启程(Start with AI)、与AI同行(Journey with AI)、伴AI前行(Forward with Al)。其中，最重要的“与AI同行”板块为核心内容，包括五篇课文和相应的练习活动。每个单元的五篇课文包括两个说明书(节选)、两个篇章和一篇趣文...

联邦学习实战

本书以实战为主 (包括对应用案例的深入讲解和代码分析) , 兼顾对理论知识的系统总结。全书由五部分共19章构成。第一部分简要介绍了联邦学习的理论知识点 ; 第二部分介绍如何使用Python和FATE进行简单的联邦学习建模 ; 第三部分是联邦学习的案例分析, 筛选了经典案例进行讲解, 部分案例用Python代码实现, 部分案例采用FATE实现 ; 第四部分主要介绍和联邦学习相关的高级知识点, 包括联邦学习的架构和训练的加速方法等 ; 第

Kubernetes权威指南:从Docker到Kubernetes实践全接触 第5版

Kubernetes是由谷歌开源的容器集群管理系统，为容器化应用提供了资源调度、部署运行、服务发现、扩缩容等一整套功能。Kubernetes也是将“一切以服务（Service）为中心，一切围绕服务运转”作为指导思想的创新型产品，它的功能和架构设计自始至终地遵循了这一指导思想。构建在Kubernetes上的系统不仅可以独立运行在物理机、虚拟机集群或者企业私有云上，也可以被托管在公有云上。 本书总计12章，分别讲解Kubernetes的

中国电子信息工程科技发展研究:自然语言处理专题

自然语言处理是人工智能领域的核心基础技术，是构建新一代人工智能关键共性技术体系的重要组成部分。《中国电子信息工程科技发展研究．自然语言处理专题》总结阐述了自然语言处理技术和产业的发展历程、现状及特点，重点介绍了当前我国自然语言处理发展的热点亮点，并详细论述了知识图谱、语言理解、语言生成等基础技术，以及智能搜索、机器翻译和对话系统等应用技术的发展和产业落地情况。同时对当前自然语言处理面临的挑战做了系统性总结，并展望了未来技术的发展趋势和

机器学习方向本硕博培养体系

本书系统地介绍华东师范大学模式识别与机器学习实验室编制的机器学习方向本硕博培养体系的内吝, 培养体系包括全新的机都学习方向课程体系与科研培养方案。根据机器学习方向的特点, 课程体系分为智能计算系统常识课、数学基础课、细程基础课、方向核心课 (如人工智能基础、模式识斯号能秀伞为、两机感学为等) 取应用拓展课等五大类层次化课程群。书中列出了25门课程的教学大纲...

30天通过网络工程师考试试题库

《30天通过网络工程师考试试题库》是为软考中的网络工程师等级考试而编写的考试用书，全书对历年网络工程师考试的考题进行了详细的分析与解答，对考试大纲规定的重点内容进行了细化和深化。考生可通过阅读本书掌握考试大纲规定的知识点、考试重点和难点，熟悉考试方法、试题形式、试题的深度和广度、考试内容的分布，以及解答问题的方法和技巧。本书由希赛网软考学院组织编写，可作为全国计算机技术与软件专业技术资格（水平）考试中的网络工程师级别考试的辅导与培训教

实用搜索理论

本书系统介绍了搜索理论的基础知识、建模方法和很优搜索理论，论述了搜索理论的基本问题和主要构成要素、主要形式的搜索问题的发现概率模型和期望费用模型，并介绍了基于搜索方程的通用搜索模型和基本搜索模型的很优化等问题...

区块链技术与智能服务应用

本书系统介绍了区块链以及智能服务的有关概念和原理, 以及基于区块链智能合约的服务推荐、协同、优化和负载均衡等技术。本书内容涵盖传统服务到智能化服务的演化, 区块链基本概念、智能服务与区块链结合的框架与理论基础, 面向冷启动问题的区块链智能服务跨域推荐, 基于语义和基于QoS的智能服务组合, 基于SaaS的智能服务平台负载均衡, 基于分片和状态的智能服务区块链性能优化, 基于工作流的区块链智能服务协同开发, 以及跨行业、跨业务系统空间的

R-演算:一种信念修正的逻辑

信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的很基本条件。本书作者李未院士在20世纪8年代中期提出R-演算，这是一个满足AGM公设，非单调的，并且类似于Gentzen推理系统的信念修正算子。本书对R-演算作多个视角的扩展，将为研究生寻找研究方向和研究思路提供一定帮助。本书可作为人工智能，计算机科学

中国电子信息工程科技发展研究 机器人专题

本书对机器人技术的研究现状进行了概述，并分析了机器人技术的发展趋势。本书介绍了机器人发展历程中的标志性系统，概述机器人的定义、应用和分类。针对优选机器人研究现状，从关键技术和典型系统两个方面，按照工业机器人、服务机器人和特种机器人分类进行了介绍。对我国机器人现状进行了介绍。在此基础上，通过分析归纳机器人技术发展趋势给出了我国机器人技术和产业发展建议。本书可作为信息科技领域工程技术人员的参考书，也可为国家不同层面和不同领域的各界专家学者

策略三十六计和算法三十六计

本书给出了计算机系统设计策略三十六计和算法三十六计的研究成果，提出了计算机学科的四种基本的对立统一关系，即四个基本科学问题，包括集分定位、刚柔相摩、供需相应和串并转换。从集分定位出发，在策略三十六计中提出了架构设计十八计，包括时空转换和多种计算模式的计策；从刚柔相摩出发，在策略三十六计中提出了系统特性十八计，包括八类特性设计的计策，例如，可控性、效率性、安全性和可变性等方面的计策。供需相应和串并转换所涉及的科学问题主要体现在资源管理和