《贵州大数据发展与建设》首先系统介绍贵州省和贵安新区大数据发展和建设的理论与技术基础，然后结合贵州实际，深入阐述贵州省和贵安新区大数据发展的典型案例，*后对贵州省大数据发展进行总结与展望。

《信息中心网络关键理论与技术》在归纳分析国内外信息中心网络相关科研成果的基础上，研究信息中心网络的名字査找、缓存、路由及拥塞控制等问题，主要内容包括：名字快速査找方法，提出基于名字拆分的査找策略，旨在提高名字査找效率；网络内容缓存策略，提出基于请求内容关联性的预缓存策略、路由器缓存准人策略、基于节点利用比的缓存策略、基

Java是一门优秀的纯面向对象语言。《面向对象程序设计Java》从Java的基本概念入手，循序渐进地介绍Java语言程序设计基础、面向对象程序设计、图形用户界面设计、异常处理、多线程设计、图形图像处理及Applet小程序设计等。在讲解过程中，始终强调以面向对象的思想来分析问题与解决问题。《面向对象程序设计Java》案例

《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及**成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安

《多维计算机导论课程教与学的研究与实证》以“计算机科学导论”课程为主要研究对象，从不同角度对该课程的教学进行研究与实证。首先，从计算机科学的学科特性出发，在ACT-R、SOAR、ECIP、粒计算认知模型基础上提出实践环节的认知模型，以此重组课程内容并优化计算机系列课程；确定开放学习的含义及原则，研发开放学习平台；建模课

软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域，其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果，深入系统地论述了软件可信性层次化度量模型构建、分级评估体系设计以及增强规范制定等**

本书主要介绍认证与密钥协商协议的设计方法以及协议中所涉及的相关知识。针对若干应用环境，例如VoIP网络、电子医疗健康网络、智能电网等应用环境，本文详细阐述了认证与密钥协商协议设计的思想，具体的设计步骤。此外，对提出协议的安全性采用不同方法进行了详细的分析和证明，并对提出协议的性能进行了实验对比分析。 本书针对不同应用

《物联网标识技术及应用》系统研究传感器网络标识技术及其应用。《物联网标识技术及应用》共9章：第1章在介绍物联网标识的基础上，阐述传感器网络标识技术的发展历史、现状及未来发展趋势；第2～6章阐述传感器网络标识符编码技术、传感器网络标识符解析技术、传感器网络传感节点标识符管理技术、传感器网络标识符解析一致性测试技术，其中第

本书是《网络空间安全：C语言程序设计》（科学出版社，2018）的配套习题辅导，旨在为学习者学习C语言程序设计课程提供指导和帮助。本书以C语言程序设计的基本思想和方法为主线，以培养学习者的逻辑思维能力、程序设计能力和自主学习能力为导向，以强化和巩固程序设计的综合能力和基本素养为目标。本书共分四章，包括章节练习、教材习题解

随着计算技术的飞速发展，人共智能似乎在顷刻之间就悄悄地来到我们身边，一时间我们的周围到处舞动着人工智能，令人眼花缭乱。从手机到3D打印，从谷歌眼镜到全息投影，就连美图APP一键整容都要依靠人工智能；而且，人工智能的快速发展超越人类的想象，一时间，人机交互、无人驾驶、虚拟现实等智能设备扎堆出现，智能机器人频频亮相。

本书共分6章。第1章介绍数据挖掘技术的发展背景与用途，Weka简介和示例数据集介绍；第2章介绍数据挖掘的对象，即数据的基本概念，包括样本与实例，数据类型，以及weka使用的ARFF格式文件；第3章介绍分类算法，首先介绍分类方法的一般化评价指标，然后依次介绍决策树方法（包括ID3算法，C4.5算法，带嫁接功能的C4.5算

估计算法作为数据融合技术的重要组成部分，其性能评估对于图像融合、目标识别、目标跟踪等具有重要的理论和现实意义。本书围绕估计算法性能评估的理论与算法进行了深入研究，从不同角度对估计算法进行评估，阐述几种综合、全面、具有互补性的度量方法，以更好地丰富和完善估计技术的性能评估理论。

TensorFlow大名鼎鼎，现在已经更新了10多个版本，随着版本的更新其接口和功能也越来越强大。尤其是TensorFlow的高阶API接口，集成了很多算法和网络模型，可以达到所用即所得的地步。但是由于各种原因，我们往往很少去了解如何使用这些高级API来进行编程，解决自己的问题。因此本书旨在能够以编程实践为入手，按照实

本书系统地介绍了由作者提出的非线性系统的信息融合估计新方法、新理论及应用。本书主要介绍了几种非线性系统的估计方法，并从优缺点、适用范围、算法精度、复杂度等方面进行性能分析。为了提高单个传感器的估计精度，提出了非线性系统的多传感器信息融合方法——加权观测融合方法，该方法有效地解决了非线性系统的融合问题。

本书是一本利用Python技术，结合人工智能、神经网络和机器学习、遗传算法等互联网技术进行相应行业模型开发的技术图书。本书第1～4章主要讲解了利用Python软件分析模型开发的入门知识，包括开发工具的使用、测试技术难点等内容；第5～7章主要讲解了利用人工智能中的神经网络技术进行技术研发，利用数据挖掘技术完善行业技术模型

在国家政策的支持下，2018年以来我国网络可信身份服务业发展迅猛，规模持续增加、结构更趋合理、企业成长迅速、技术逐渐成熟。本书系统分析了国内外相关做法和经验，具体阐述了我国网络可信身份服务业发展现状、特点和问题，明晰了网络可信身份战略的实施路径。本书分为综合篇、国际篇、技术和标准篇、产业和应用篇、行业实践篇、展望篇，共

《中国互联网发展报告2019》客观、忠实地记录了2018年以来中国互联网行业的发展状况，对中国互联网发展环境、资源、重点业务和应用、主要细分行业和重点领域的发展状况进行了总结、分析和研究，既有宏观分析和综述，也有专项研究。本书内容丰富、重点突出、数据翔实、图文并茂，对互联网相关从业者具有重要的参考价值。

系统介绍分散控制系统（DCS）和现场总线控制系统（FCS）的应用及工程设计

人工智能与机器人创意设计赛为大学生提供一个创新创意展示平台，旨在培养和锻炼学生的自主学习能力、创新能力、工程实践能力、团队合作能力等四个能力，为培养新一代卓越工程师提供平台。该项比赛鼓励新思路、新理论、新技术在机器人设计和人工智能应用中的探索与创新，鼓励学生进行自己动手设计制作人工智能与机器人系统，提交论文到竞赛组委会

遗传算法由于其在解决非线性、大空间、全局寻优、组合优化等复杂问题方面所具有的独特优势，得到了国内外学者的广泛关注，并在电子、通信、计算机、自动化、信号处理和模式识别等众多领域得到了成功的应用。本书首先介绍遗传算法的概念、理论、主要应用方向、算法流程和关键参数，并给出具体的MATLAB仿真实例；然后介绍直线阵列、平面阵列