对等网和云计算中的行为信任

本书以著者在开放网络环境下的行为信任管理方面的研究成果为主线，详细介绍了该研究领域的核心技术。本书分为两大部分，分别研究了两个最为流行的开放网络环境下的行为信任，即对等计算和云计算。在第一部分，详细介绍了对等计算环境下行为信任管理的关键技术。第二部分则给出了著者在云计算环境下的行为信任方面的研究成果.适合对等计算和云计算、信任管理系统、网络安全等相关研究、开发人员阅读，还可以作为高校和研究所相关研究人员，以及计算机及其相关专业研究生和

计算机数学基础

《计算机数学基础/全国高职高专教育“十二五”规划教材》根据计算机类专业课教学的需求，贯彻“必需、够用”的教学原则，有机地整合了高职计算机类专业教学中常用的数学内容，读者可根据具体需求有所侧重和取舍。　　《计算机数学基础/全国高职高专教育“十二五”规划教材》的介绍了计算机数学基础，其中包括：函数、极限与连续、导数与微分等。　　《计算机数学基础/全国高职高专教育“十二五”规划教材》可作为高职高专、成人高校计算机及相关专业的数学教学用书

论图灵脑技术实现之路

《HNC理论全书》预定3卷6册，第一卷论述语言概念空间的基元概念，第二卷论述语言概念空间的基本概念和逻辑概念，第三卷论述语言概念空间的4层级总体结构和未来图灵机的理论架构。本书为《全书》的第三卷第二册。本书分为四编（第三卷的后四编）：第五编论机器翻译，集中论述句式转换、句类转换、语块构成变换、主辅变换、块序调整和句序调整这六项语言生成（特别是机器翻译）的过渡处理环节；第六编微超论，集中论述微型语言超人的科技价值，并附录有长篇旧作"自然

信息论基础

《信息论基础》是为高等学校信息与计算科学专业本科生编写的教材。内容包括概率论的基础知识，香农提出的有关信息量化的基本概念、方法和定理，以及信源的基本编码理论和信道的基本编码理论。　　《信息论基础》可作为高等学校信息与计算科学专业以及信息类专业的教材，也可作为相关课程的教学参考书...

计算机导论

属性拓扑理论及其应用

本书以属性拓扑理论及其应用为主线，系统深入介绍属性拓扑理论及其应用的最新研究成果。全书共14章，分为四大部分，分别是：基础理论、概念认知、关系挖掘和记忆模型。其中，基础理论部分介绍属性拓扑的现状、与相关学科的关系及属性拓扑的基础理论；概念认知部分分别从串行、并行与增量角度介绍如何利用属性拓扑进行概念学习，并介绍属性拓扑与概念格的关系；关系挖掘部分介绍基于属性拓扑的粒计算、关联关系分析与因果关系分析，并阐述属性拓扑与经典关系挖掘算法间的

网络技术

本书包括计算机网络技术、数据库原理与应用、数据结构三个部分的实践教学内容, 每部分包括基础性实验和设计性实验, 前者侧重案例再现, 后者侧重知识点融会贯通后的创新创造...

事件本体原理与实践--人脑自然语言知识系统逻辑结构探索

本书从哲学、数学、心理学、信息学、语言学、计算机科学、人工智能等多学科角度阐述和分析人脑知识的系统所应当遵循的基本原理和在此基础上开展的构建实用系统的探索和实践,内容包括概念知识表示、形式概念分析、事件知识表示、事件语义映射、以事件类格为主线的事件本体逻辑结构、事件本体构建和推理技术等本书可供自然语言、数据处理、人工智能等领域的研究人员和工程技术人员参考...

多视角三维重建技术

本书在详细介绍三维重建概念的基础上，分析了当前三维重建的研究前沿，特别是在相机模型、基础矩阵、图像校正、稠密匹配、遮挡点恢复、集束调整、相机标定等方面的研究成果，使读者对三维重建具有更深的理解，对促进我国在该领域的快速发展具有积极意义...

基于状态特征的质量控制方法

本书从装备研制过程的状态特征出发，按照过程监控、能力评价与试验设计的主线，系统探讨基于状态特征的质量控制方法。首先，概述了装备研制"三边"状态下的主要质量管理问题，简述了基于状态特征的质量控制方法；其次，提出了基于平均报警时间(TBE)的控制图设计方法，具体包括参数化TBE控制图、参数化联合监控TBE控制图和非参数联合监控TBE控制图等；再次，阐述了面向非正态质量特性的过程能力分析方法，包括基于逆变换和优选密度区域的非正态过程能力分析

INDICS工业互联网平台系列培训教程数据淘金应用教程/向迎春

本书的主要内容包括：系统总体结构设计，系统业务流程图，语义理解模块，知识抽取模块，知识融合模块，数据综合块，知识检索模块，知识应用，数据库系统设计等模块的详细设计。本设计手册还包括很终实现的软件必须满足的功能、性能、接口和用户界面、附属工具程序的功能以及设计约束等。本设计手册可作为开发过程编码人员开展工作的依据，同时也为数据淘金项目的修改、维护提供指导基础...

系统与控制丛书复杂运动体系统的分布式协同控制与优化

本书以复杂运动体系统协同控制为主线，首先介绍复杂运动体系统的概念、研究意义，以及几类典型复杂运动体协同控制的靠前外研究现状。针对典型的欧拉-拉格朗日系统，提出多种基于速度估计器的分布式协同控制框架，克服了不可测状态交叉二次型对系统稳定性的影响。然后，针对多移动机械臂协同搬运任务，提出基于分布式优化的协同控制算法，通过优化机械臂的能量和操作度实现能源节约的同时能够规避机械臂的奇异位形。书中还介绍了BTT导弹的编队飞行分布式控制问题，采用

诱发式脑-机接口技术

脑-机接口(brain-computerinterface,BCI)是一种新的不依赖于外周神经和肌肉，与大脑直连的通信接口技术。诱发式BCI作为BCI领域的主要分支之一，其简单、高效和多目标的信息传输特点，已经引起了学者的广泛关注。但是近年来，尽管诱发式BCI技术的研究已经取得了较大进展，人机通信工效得到了显著提高，其系统的通信控制能力仍难以满足实际应用的需求。为了推动诱发式BCI向实用化的转变，本书以人机通信工效的提高为目标牵引，以

网络计算

本书主要介绍了网络计算相关的理论方法与关键技术，并对典型的应用领域与平台进行了相关介绍和讨论。全书共分9章，分别介绍了网络计算的概念、发展及其形式，着重介绍了网络资源组织与管理、网络大数据勘探与挖掘分析、网络大数据索引网络体系、可信认证体系等，并面向自贸区、网络交易支付、智能交通等典型应用场景和领域详细介绍了相关的平台与应用...

大学计算机专业教学研究与课程建设

随着我国高等教育的不断发展，专业教育受到了更多的关注。作为我国大学开设很为广泛的计算机专业，更是被关注的焦点。本书以十余年计算机专业的教师、专业负责人的角度，对计算机专业建设、核心专业课程建设、学生社团建设等多个方面进行了探索，论述了多种在专业建设中行之有效的方式方法。本书是一本从学科专业建设角度进行阐述的研究著作，对专业领域从业人员具有重要的参考价值。 本书可供从事计算机专业的教学的教师、教育工作者阅读参考...

非线性网络模型预测控制理论与应用

本书在状态空间理论的统一框架下系统深入地介绍非线性网络控制系统的建模、分析与控制等问题。首先，简要介绍非线性控制系统的模型、稳定性分析方法，以及反馈线性化理论。然后，分别介绍单边丢包和量化以及双边丢包和量化的非线性网络控制系统的模型预测控制方法，得到遵循“预测系统动态一求解优化问题一解的个元素作用于系统”的预测控制器设计方法。进而，将这一系统性的预测控制器设计方法推广到具有时延的非线性网络控制系统以及具有随机干扰的非线性网络控制系统，

信息物理融合系统协同设计方法

信息物理融合系统作为一种新型复杂信息系统，涉及多种计算模型的集成和协同工作，面临设计方法不统一、计算模型多样化、重用性差、复杂性高、难以验证等问题，使得开发较复杂系统的工作变得十分困难，甚至无法进行；或因为系统需求的不断变化或小组成员的流动导致项目失败，其协同设计是一个亟待解决的难题。针对异构环境下信息物理融合系统的协同设计，本书提出了一种结构化、可描述行为的开放性普适组件模型，用统一方法进行建模，引入可扩展描述方法，对各类组件用统一

区块链安全技术与应用

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

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

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

图像复原技术

本书主要针对航天应用中的湍流退化图像的去噪声、去模糊、去偏移和畸变校正等，系统地介绍了湍流退化图像复原的相关理论、技术和方法。本书分为5篇13章。篇介绍了湍流效应的成因、概念及退化图像复原的基本思路。第二篇介绍了基于低秩矩阵和稀疏正则化的图像盲复原等多种湍流退化图像盲复原新方法。第三篇介绍了基于图像稀疏先验和机器学习的图像复原方法等多种智能化的退化图像复原方法和视频序列图像复原方法。第四篇介绍了湍流退化图像的去模糊、去振铃、抖动稳像和

流媒体中关键技术研究

《流媒体中关键技术研究》共6章，在已有的流媒体技术理论的基础上，较为系统地讨论流媒体传输过程巾涉及的关键性问题。主要内容包括流媒体传输过程巾的缓存技术、拥塞控制、代理服务器集群技术以及移动环境下流媒体传输等问题，在相关问题的阐述过程中不仅针对具体理论问题展开研究，而且还给出了在实际环境下的测试效果和仿真测试效果。《流媒体中关键技术研究》的特点是概念准确、论述严谨、图文并茂，既重视基本原理的阐述，又力图反映流媒体技术的一些新发展...

综合集成模型方法与技术

《综合集成模型方法与技术》较为系统地介绍作者近年来从事综合集成法、辩论模型和综合集成研讨环境设计与实现等研究的主要成果。先介绍面向复杂问题求解的综合集成法、综合集成研讨厅、综合集成研讨环境的基本概念，在分析综合集成法和群体思维特性的基础上，提出群体研讨过程框架；其次重点介绍不同研讨模式的研讨模型与算法，包括群体智慧涌现模型、劝说研讨模型、协商研讨模型、决策研讨模型和群体一致性分析等；后讨论综合集成研讨环境设计与实现中的关键技术问题及解

可信云服务度量与评估

云服务的特点及其可信服务机制的不健全已严重制约着云服务的发展和应用，为此本书从风险度量和服务评价两个方面研究云服务可信性度量与评估问题。主要内容包括：（1）从云服务隐私风险、云服务技术风险、云服务运营管理风险三个维度建立了云服务风险属性模型；（2）以云服务风险属性模型为基础，建立了基于信息熵、马尔科夫链、模糊集的云服务风险度量模型；（3）从云服务可视性、可控性、安全性、可靠性、云服务提供商生存能力以及用户满意度等多个方面构建了云服务可

Petri网的元展:一种并发系统模型检测方法

本书以Petri网这一刻画并发系统的数学模型为基础，提出了一种偏序结构的验证系统行为正确性的方法：元展。主要内容包括：系统性界定了行为正确性判定的复杂度，给出了构造元展的算法，提出了利用元展验证死锁、活锁、健壮性、兼容性的充分必要条件，提出了利用元展检测线性时序逻辑、计算树逻辑的算法，同时介绍了所开发的模型检测工具，并且将一些应用实例来展示所提方法的有效性...

混沌系统的控制问题研究及其应用

本书是作者近十年来关于混沌系统方面学术成果的系统总结。首先考虑的是模型准确已知的、且未受到扰动的混沌系统，给出了该系统控制问题存在性的一个充要条件。基于该充要条件，所设计的控制器不仅简单而且物理上可实现。然后，考虑了模型中同时含有不确定性和受到外部扰动的混沌系统的鲁棒控制问题，将上述所得结果结合目前有名的基于从整体上估计模型不确定性和外部扰动的控制方法（UDE方法）解决了该问题，并设计了控制器。很后，将得到的理论结果应用到了保密通信和

人工智能在肿瘤计算上的应用

本书以作者多年来从事的计算生物学项目为具体范例，具体介绍人工智能在计算生物学中的具体实践。本书的部分以基因、生存分析和生物热传导计算为例讨论人工智能在计算生物学的实践。本书的第二部分分别使用图形卡和Hadoop计算的范例来介绍如何使用单指令多数据和多指令多数据并行编程模型，改进现有串行计算模式下的计算生物模型，以此为例讨论人工智能在体系结构学科上的应用。本书的第三部分分别描述如何使用语义数据库集成管理D-NetWeaver软件以及如何

复杂网络理论研究的计算软件方法

本书从网络理论的发展简史出发, 引出对复杂网络的定义特性以及复杂网络理论在物流快递领域应用研究的介绍。然后, 讲解复杂网络理论研究框架、网络分析软件和MATLAB应用软件的基础知识。在此基础上, 以复杂网络理论研究框架作为章节划分的原则, 结合具体的物流快递领域的研究案例, 详细讲解复杂网络拓扑图的UCINET软件和Pajek软件绘制方法、复杂网络结构特征的UCINET度量方法和MATLAB计算方法, 复杂网络模型的构建及MATLAB

国家科学思想库中国学科发展战略(软件科学与工程)/学术引领系列/国家科学思想库

“软件定义一切”，软件已经成为信息化社会不可或缺的基础设施。高效地构建和运用复杂软件系统的能力已经成为国家和社会发展的一种核心竞争力。本书系统综述软件和软件技术的发展历程与现状，总结软件科学与工程学科（简称软件学科）的基本内涵和发展规律；从系统观形态观、价值观和生态观四个视角探讨软件学科的方法论新内涵，并进一步梳理其学科方向的重大挑战问题和主要研究内容：简要回顾我国软件学科的发展历程，并提出学科发展的建议。 本书适合战略和管理

基于PROTEUS和汇编语言的单片机原理应用与仿真

全书围绕如何针对一个具体的项目需求设计单片机系统，着重介绍了51系列单片机的内部结构、工作原理、程序设计以及各种常用的接口技术，包括中断系统、定时器/计数器、8255I/O扩展、显示器和键盘接口、数模和模数转换技术等十章...

跨域多维大数据管理模型与方法

本书以跨域多维大数据为主题, 提出跨域多维大数据管理的系列模型和方法。结合跨域多维大数据在珠海市横琴新区的发展与建设, 对跨域多维大数据的基本概念、主要特征、发展策略进行概括, 探讨跨域多维大数据管理相关关键技术, 构建跨域多维大数据中心和数据管理平台, 实践跨域多维大数据应用, 并在推广应用的基础上形成系列标准规范。本书发展了跨域多维大数据相关模型和方法, 结合跨域多维大数据在横琴新区的实际建设情况, 通过大量实例丰富了本书的内容.

基于免疫机理和神经网络的智能故障诊断方法

本书详细阐述了基于免疫机理和神经网络的两种智能故障诊断新方法, 主要包括基于免疫网络模型的改进的故障诊断算法、与粗糙集理论相结合的免疫网络故障诊断算法、基于量子超球神经网络的故障检测方法和基于云神经网络的故障诊断方法等8种方法...

仿生学基本理论与信息中心网络路由应用实践

本书围绕近年来新兴的未来互联网范式中信息中心网络路由层面的研究热点和难点, 以基于蚁群的仿生学方法为驱动, 重点研究如何突破当前信息中心网络路由的瓶颈技术。本书首先介绍一些仿生学方法及其原理: 其次综述信息中心网络相关的关键技术和路由相关的研究基础 ; 再次针对信息中心网络具体的路由挑战, 提出四个不同的路由机制, 并给予验证 ; 最后对全书进行总结并展望...

软件定义网络原理与服务质量优化应用实践

本书围绕互联网中自适应路由服务定制化问题, 以软件定义思想应用于路由服务动态编排, 克服由于网络软硬件垂直一体化设计导致路由配置难以灵活且快速地满足用户多样化及个性化通信需求的严峻挑战, 从引入自适应思想的服务合成框架、网络功能选择机制、网络功能部署机制和融入市场因素 (计算经济模型) 的服务供给机制四个主要方面进行重点阐述。其中, 前两章分别就软件定义网络基本原理及相关研究现状进行了分析, 说明在路由服务自适应定制中引入软件定义思想

不稳定系统的简捷鲁棒控制

本书突出过程装备控制技术特点, 既力求掌握控制理论的相关理论知识, 又立足于实践与应用。结合作者多年来夯实的前期研究工作积累, 系统地总结了不稳定系统简捷鲁棒控制的基本理论和方法。本书共7章, 主要内容为绪论、基本概念和基础理论、镜像映射方法及其应用、纯不稳定时滞系统的简捷鲁棒控制、积分不稳定时滞系统的简捷鲁棒控制、高阶不稳定时滞系统的简捷鲁棒控制、基于H。性能优化的不稳定时滞系统简捷鲁棒控制...

离散几何处理与应用

本书以当前数字体验、虚拟现实、3D打印等新兴研究领域中的三维离散几何处理问题为重点, 系统全面地介绍作者在网格模型的几何处理、建模、分析和物理模拟等方面的研究成果, 并对每一研究内容, 尽量给出相关重要、里程碑式的方法, 以揭示技术演化的脉络, 便于读者在了解当前研究进展的同时把握未来的发展趋势...

城市大数据挖掘与应用

智慧城市是5G和人工智能（artificial intelligence，AI）等前沿科技密集应用的新兴领域，也是我国实现可持续发展的重大战略选择。城市大数据的分析与应用是构建智慧城市的关键技术。城市大数据不仅具有典型的海量、异构和高价值密度的特点，还具有独特的时空感知特征和社会感知特征，这为数据建模带来了全新的挑战，但也为构建从微观到宏观的智慧城市应用带来了前所未有的机遇。《城市大数据挖掘与应用》系统地介绍了城市大数据的概念及其核心

计算机应用基础

本书依据教育部高等学校非计算机专业计算机基础课程教学指导分委员会提出的《高等学校非计算机专业计算机基础课程教学基本要求》，同时兼顾全国计算机等级考试的要求，并结合编者多年教学实践经验编写而成。 全书共9章，内容包括计算机概述、操作系统及应用、文字编辑软件的使用、电子表格软件的使用、演示文稿软件的使用、计算机网络和互联网技术基础、图像处理软件的使用、动画设计软件的使用和医院信息系统。 本书可作为普通高等学校的本科、专科等非计

语音频隐写与隐写分析

隐写术作为信息隐藏的重要分支已被广泛应用于隐蔽通信相关领域，并伴随着大数据时代来临，保护用户数据和行为的隐蔽性愈发重要。随着多媒体编码技术和通信技术的发展，现代隐写技术也从上世纪九十年代起迅速发展，先后出现了以图像、音频、视频和文本等主流网络传输、存储和编码格式为隐写载体的信息隐写方法及相应的隐写分析方法，它们构成了当前隐写与隐写分析技术的理论与方法体系。本书主要针对语音和音频编码格式（简称语音频）载体，系统地介绍了语音频隐写技术及其

人机协同

本书引入面向新型人工智能应用的人机协同概念，系统介绍人机协同理念与机制，并通过智慧餐厅与服务机器人、交互式图像分割等场景应用及发展人机协同技术。在前沿技术方面，深入介绍互补人机协同、混合人机协同、多人多机协同、人机协同中的伦理与安全等人机协同的核心内容。在应用实践方面，本书结合营销智能国家新一代人工智能开放创新平台建设，按照人机交互、人在回路、机器服务、人机混合系统的路线，通过实际案例，完整介绍人机协同体系。 本书适合高等院校

模糊控制系统的设计及稳定性分析(第二版)

本书系统地介绍了基于模糊TS模型控制的基本理论和方法，力图概括国内外相关研究的近期新成果。主要内容包括：模糊集和模糊逻辑系统的基本知识，模糊系统的控制设计方法与稳定性分析，不确定模糊系统的鲁棒控制设计方法与稳定性分析，非线性动态系统的模糊鲁棒控制设计方法与稳定性分析，不确定模糊系统的H控制设计方法与稳定性分析，非线性时滞系统的模糊控制设计方法与稳定性分析，以及模糊系统的事件触发控制设计方法与稳定性分析。 本书内容系统性强、覆盖

语篇信息挖掘研究

置身于信息时代，无论机构还是个体，离开信息就寸步难行，我们每时每刻都要处理大量信息。随着科学技术的迅猛发展，信息数量与日俱增，信息处理难度增加，信息自动处理研究逐渐受到密切关注。作者在本书中展示信息自动处理的一个崭新探索，采用相关理论观点，阐述语篇信息自动处理的实现路径，提出主体设计，阐述操作方法，例示关键技术，展望未来的实际应用，从而完成从理论建构到系统性技术构思全过程的论述，为实现语篇信息自动处理提供条件。 本书适合信息处

智慧城市与视频大数据

本书分为技术篇、理论片和实践篇。在技术篇中，阐述城市是群体行为的智慧载体，对城市的研究离不开对群体行为的研究。新型智慧城市是一种群体行为的创新，大数据与人工智能是城市智慧的驱动力，视频大数据与人工智能助推新型智慧城市建设。在理论篇中，将人群运动行为作为研究对象，以香农熵模型为基础，构建了评价人群宏观状态的熵模型。本篇的原创性在于：分析了人群行为特征、构建了具有普适性的人群运动行为宏观状态熵模型、建立了人群运动行为突变与熵变间的关系、分

基于神经网络的机器人路径规划

《基于神经网络的机器人路径规划》介绍了用于机器人路径规划的细胞神经网络（cellular neural network，CNN）的近期新研究进展并分析其在月球车月面运动规划的潜在应用前景。《基于神经网络的机器人路径规划》给出了数个利用新颗的分布式神经网络模型求解短路径规划问题的例子，并给出其在扫地机器人应用中的关键问题之一——全覆盖问题的求解中的应用。《基于神经网络的机器人路径规划》结构清晰合理，易于学习掌握。全书内容按照先易后难

掌控Python(人工智能之语音识别)

本书围绕人工智能领域重要的语音识别技术，面向有一定Python基础的读者讲解语音识别的原理、技术发展和实现方法。 本书共6章，主要内容包括语音识别概述、音频文件的可视化、人工智能和机器学习、语音转换为文本、语音反馈与交互、语音助手。 本书案例丰富、代码规范，适合作为有一定Python基础而想要学习语音识别内容的读者的进阶参考书，还可用作青少年编程、中小学生人工智能教育的教材...

忆阻神经网络动力学与同步控制

本书系统介绍忆阻神经网络的动力学性态分析与同步控制问题的数学建模思想、典型理论方法和主要研究成果。主要内容涉及忆阻神经网络的耗散性与无源性分析、稳定性分析和同步控制方法，也介绍有关耦合忆阻神经网络与分数阶忆阻神经网络同步控制研究成果，并在同步控制分析基础上介绍忆阻神经网络在图像保密通信、信号处理与医学图像处理中的具体应用。本书重点介绍忆阻神经网络动力学与同步控制的理论分析和数值模拟方法，内容丰富全面、方法实用完备，反映了当前国内外的近

人工智能教育应用的理论与方法

人工智能经历六十余年的发展积累起强大的技术基础，人工智能走过计算智能、感知智能之后正在迅速向认知智能迈进，人工智能从仅被精英小众群体认知与使用的1.0时代走进被各行各业大量应用的2.0时代。本书基于对一系列新兴人工智能技术正在形塑新型教育生态的背景，梳理出新型智能教学系统（ITS...

三支决策与三层分析/粒计算研究丛书

三支决策是一种基于人类认知过程的粒计算研究方法与不确定决策理论，主要采用“三”的思维方式进行“分－治－效”进程的智能计算与知识发现，其三层结构化思维诱导出三层分析方法论。三支决策与三层分析已经成为人工智能研究与应用的重要工具与有效方法。本书介绍三支决策与三层分析相关的理论、技术、算法、应用等的近期新研究进展。全书共11章，系统介绍三支决策论与三层分析法，内容涉及不确定性建模、信息度量、属性约简、分类学习、聚类应用、动态决策、数据分析、

深度学习在生理机能中的应用

随着人们生活质量的提高，人体生理机能健康愈加地受到人们的重视，因此人体的生理机能评估也变得越来越重要。合理科学的生理机能评估对预防生理机能病变、保障人体健康尤为重要。本书针对复杂的人体运动问题，探索一种基于几何代数的人体运动表征方法，并以机器学习、深度学习为方法，为分析人体运动提供有效的解决方案。本书介绍了可变形卷积神经网络算法跟踪器、李生框架SiamFC跟踪算法、人体姿态描述方法、人体姿态朝向描述符以及人体生理机能评估系统。

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

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

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

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

计算机导论

本书共分12章。部分为计算机基本理论，包括章、第2章、第3章。主要介绍计算机的定义、分类、特点、应用领域和学科的研究范畴、信息在计算机中的表示、计算机硬件系统的组成；第2部分为操作篇，包括第4章、第5章、第6章、第7章、第8章、第9章。主要介绍常用工具软件的使用、Windows的使用、Office办公软件的使用；0章介绍计算机网络的基础知识和应用；1章介绍多媒体技术基础；2章介绍计算机信息安全的基本知识和病毒防护...

估计理论及其在跟踪系统中的应用

本书系统阐述了估计理论在机载无源定位单目标跟踪和天基探测多目标跟踪领域的应用。首先，介绍了噪声分布服从高斯分布时，不确定系统CI融合保性能鲁棒Kalman滤波器设计方法及其保性能鲁棒性证明方法和鲁棒精度分析方法；介绍了混合不确定网络化多传感器线性系统的鲁棒局部和融合Kalman估值器的设计方法、鲁棒性证明方法和鲁棒精度分析方法，并给出其在空中观测平台对地面远距离固定目标定位中的应用实例；介绍了非线性系统确定性采样Kalman滤波方法，