计算机科学理论与基础知识
-
川哥教你Spring Boot 2实战李世川本书重点关注和介绍Spring Boot 2框架的技术应用。Spring Boot是目前微服务架构使用为广泛的框架之一,一旦开发人员掌握了该框架的配置和使用技巧,则对于当前微服务应用的开发将得心应手。本书详细介绍了Sping Boot 2的开发环境、开发方式、数据库应用、MVC、RESTful、安全及测试等。对于刚开始接触微服务架构、Spring Boot的开发人员来说,这是一本很适合的书籍。本书介绍的内容较多,但都是当前基于微服务架构的应用所需,内容翔实并提供所有源码。对于已有开发经验的Spring开发人员来说,这也是一本有价值的参考书。本书案例源码均由作者亲自编写,其中包含了很多有用的方法与使用技巧。本书适合初级、中级Java开发工程师,以及从其他开发语言(如PHP、C、Python等)转向Java微服务的开发工程师使用,也可作为互联网应用研发人员、自学Java开发的大中专院校学生的参考读物。
-
多智能体系统的协调分析与控制韩涛等多智能体系统协调控制是控制领域的研究热点,正渗透到社会系统、生物系统、军事系统、经济系统等众多领域中,其相关的研究已成为目前学术界一个具有挑战性的研究课题。《多智能体系统的协调分析与控制》系统地介绍作者近年来在多智能体系统的协调分析与控制领域的研究成果,具体内容包括线性多智能体系统的有限时间编队跟踪控制、包含控制、编队包含控制,以及非线性领导者-跟随者多智能体系统的多编队控制问题、异质多智能体系统的输出一致性、固定时间二部一致性、二部输出一致性问题等。
-
软件单元测试顾翔本书对软件单元测试进行了详细介绍。第1 章与第2 章介绍软件单元测试的概念和基础知识;第3 章到第5 章介绍C 语言、Java 语言和Python 语言的单元测试框架和技巧;第6 章与第7 章介绍代码覆盖率工具和代码语法规范检查工具;第8 章通过两个案例详细介绍TDD。读者可以根据自己的需求对以上内容进行选择性阅读或者全部阅读。另外,为了巩固大家的学习效果,每一章结尾都有相应的习题。 本书适合软件开发工程师、测试工程师、项目经理和大学计算机专业本科高年级学生与研究生阅读。
-
从深度学习到图神经网络张玉宏 杨铁军 著近年来,深度学习在人工智能的发展过程中起到了举足轻重的作用,而图神经网络是人工智能领域的一个新兴方向,被称为图上的深度学习。 本书详细介绍了从深度学习到图神经网络的基础概念和前沿技术,包括图上的深度学习、图神经网络的数学基础、神经网络学习与算法优化、深度学习基础、神经网络中的表示学习、面向图数据的嵌入表示、初代图神经网络、空域及谱域图卷积神经网络等内容。为增强可读性,本书叙述清晰、内容深入浅出、图文并茂,力求降低初学者的学习难度。 本书既可作为人工智能领域研究和开发人员的技术参考书,也可作为对图上的深度学习感兴趣的高年级本科生和研究生的入门书。
-
数据驱动的工业过程在线监测与故障诊断侍洪波、姜庆超、宋冰 著本书为数据驱动的复杂工业过程的在线监测及故障诊断方法提供了较为完整的理论框架及案例应用分析。内容包括:大规模多单元过程的分布式监测、多模态工业过程在线监测、非线性过程在线监测、关键性能指标相关过程在线监测、动态时变工业工程在线监测、非稳态间歇过程在线监测、故障溯源诊断。本书要求读者具有一定的统计知识基础和机器学习相关知识,可供自动化相关领域的科研人员及工程技术人员参考,也可作为自动控制或信息科学等相关专业本科生及研究生的参考用书。
-
数据库原理与应用叶斌、余阳、陆冰琳本书以“数据库原理与应用”课程的教学需要为基础,以模块为编写单位,结合实际应用场景,培养学生使用数据库技术解决实际问题的能力。本书内容主要包括数据库概述、数据模型与数据库系统结构、SQL语言基础及数据定义功能、数据操作、高级数据查询、视图和索引、关系型数据库理论、数据库设计、事务与并发控制、Transact-SQL程序设计、存储过程、游标和触发器SQL Server 2014的安全性管理以及备份和恢复数据库11个模块。每个模块后还附有思考与操作题,有利于读者巩固知识点。本书适用于职业教育计算机、软件工程、信息管理等专业的数据库课程,也可以作为从事数据库系统开发人员的参考用书。
-
课堂学习行为的视觉感知与分析刘海本书致力于在课堂学习行为分析这一精细领域利用基于深度学习的计算机视觉技术推动教育智能改革,为实现个性化教学、提升教学质量、促进教育公平提供一系列方法和策略。本书系统的介绍了计算机视觉技术与课堂学习行为相结合的这一必然发展趋势,从数据集构建、关键技术的模型方法提出、精准的应用实施三个方面展开了细致的论述。其中涉及的计算机任务主要包括面部表情识别、视线估计、头部姿态估计以及人体姿态估计,通过总结过去十余年课题组在这些方面的实践经验,以期为国内探索实现规模化教育与个性化培养的有机结合提供一定的借鉴和指导。
-
模型检测量子系统应明生(Mingsheng Ying),冯元(Yuan Feng)本书系统且全面地梳理了模型检测量子系统的原理以及基于这些原理的算法,涵盖作者相关论文中的重要研究成果。本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性,包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识,然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题,介绍求解这些问题所需的数学工具和算法,之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法,后指明该领域的发展方向。
-
大数据分析与应用实战黄金凤本书是面向高等职业院校大数据技术与应用专业核心课程的“双元”教材,通过对一个实际应用场景的贸易出口大数据分析项目的任务进行解构,深入浅出地介绍了大数据基础知识,大数据平台部署与运维,数据采集,数据清洗、处理和存储,数据分析,数据挖掘及数据可视化等内容,为学生在实践中解决遇到的大数据问题提供思路和方法。本书按照“双元”教材要求编写,贯彻理论精简的原则,注重基础性,流程性,突出实践性,适合于大数据技术与应用专业作为专业教材使用,可作为其他专业的大数据方向选修课教材,同时也适用于大数据有关技术从业人员作为技术提升学习使用。
-
OpenCV轻松入门李立宗本书基于面向 Python 的 OpenCV(OpenCV for Python),介绍了图像处理的方方面面。本书以 OpenCV 官方文档的知识脉络为主线,并对细节进行补充和说明。 书中不仅介绍了 OpenCV 函数的使用方法,还介绍了函数实现的算法原理。在介绍 OpenCV 函数的 使用方法时,提供了大量的程序示例。而且在介绍函数对图像的处理前,往往先展示函数对数值、数组 的处理,方便读者从数值的角度观察和理解函数的处理过程和结果。在介绍具体的算法原理时,本书尽 量使用通俗易懂的语言和贴近生活的示例来说明问题,避免使用过多复杂抽象的公式。