计算机科学理论与基础知识
-
视觉问答Qi Wu(吴琦),Peng Wang(王鹏 ),Xin Wang(王鑫),Xiaodong He(何晓冬),Wenwu Zhu(朱文武)视觉问答任务要求机器根据指定的视觉图像内容, 对单轮或多轮的自然语言问题进行作答。其本质上是一个多学科的研究问题,涉及计算机视觉、自然语言处理、知识表示与推理等。本书共5 部分,第1 部分介绍在计算机视觉和自然语言处理领域广泛使用的基本方法和技术,包括卷积神经网络、序列建模和注意力机制等。本书将视觉问答分为图像和视频方法。第2 部分将图像视觉问答进一步分为五类,即联合嵌入、注意力机制、记忆网络、组合推理和图神经网络。此外,概述基于图像的其他视觉问答任务,例如基于知识的视觉问答、视觉问答的视觉和语言预训练。第3 部分讨论基于视频的视觉问答及其相关模型。第4 部分讨论与视觉问答相关的高级任务,包括具身视觉问答、医学视觉问答、基于文本的视觉问答、视觉问题生成、视觉对话和指代表达理解,它们是视觉问答任务的扩展。第5 部分对该领域进行总结和展望,讨论视觉问答领域的未来研究方向。 -
MATLAB GUI设计全解刘浩MATLAB App设计工具(App Designer)是 MATLAB提供的一套用于创建图形用户界面(GUI)和交互式应用程序的强大而直观的 App设计工具,深受广大用户的喜爱。本书在讲解 MATLAB基础知识、程序设计等内容的基础上,全面细致地讲解了 MATLAB的 App设计工具,以引导读者通过 GUI构建各种App。本书从初步构建 App到设计组件、布局与回调,再到 App的编程、打包与共享,涉及App开发的方方面面。本书的最后通过具体的 App设计实例帮助读者深入掌握 App的设计流程。书中示例均已记录在M文件及其他相关文件中,读者可以直接使用这些文件进行学习,以提高学习效率。 本书内容翔实,结合示例引导,讲解深入浅出,适合从事 App设计开发工作的读者参考。本书既可作为高等院校理工科相关专业研究生、本科生的教材,也可作为广大科研工程技术人员的自学用书。 -
5G无线网络优化期俊玲 主编 徐皓波、董晓丹 副主编本书按照“岗课赛证”职业教育人才培养理念进行编写,从网络规划开始,紧扣5G网规网优的主题,对5G移动通信无线网络优化工作的整体流程进行了详细的介绍,使学生的知识、技能、职业素质更贴近5G移动通信网优各种岗位的要求。本书包含六个项目:5G网络规划、5G网络数据采集、5G网络测试、5G网络信息管理、5G网络端到端优化、5G无线全网优化。本书内容丰富、实用,讲解详细、清晰,着重对应用知识讲解,操作步骤简洁,精心设计的说明、提示起到画龙点睛的作用。每个项目后设有项目总结、赛事模拟、练习题,起到加深理解的作用。本书配套电子课件及题库,可登录化工教育网站免费下载。本书适合作为职业教育通信类专业学生的教材,也可作为5G工程技术人员的参考用书。 -
人群行为识别理论与视觉AI技术研究赵荣泳等在社会安全领域,人群异常行为成为各类严重群体性安全事故的根本致因。研究和开发人群异常行为识别技术,成为破解人群踩踏难题的重要技术途径。为此,《人群行为识别理论与视觉AI技术研究》从计算机视觉角度,阐述了行人异常行为姿态、人群异常行为、恐慌行为、人群稳定性和计算机视觉技术等方面的发展与研究现状,系统地介绍了国际上人群异常行为视频数据资源;循序渐进地阐述了人体姿态特征识别模型、行人运动学质心模型和动力学质心模型、恐慌行为识别模型、广义异常行为识别方法、异常行为扰动与人群稳定性分析等核心理论;深入浅出地论述了计算机视觉检测技术相关的开发资源、异常行为检测程序设计、人群行为分析工具与软件、其他辅助检测技术和应用案例。文末附各章核心模型和算法的Java、MATLAB、Python等代码。《人群行为识别理论与视觉AI技术研究》为广大读者提供人群异常行为分析和识别理论基础,并为相关计算机视觉开发提供技术借鉴。 -
线性代数[意] 费兰特·内里本书从计算机科学家和工程师等应用科学家的角度介绍了线性代数的主要概念和一些重要应用,同时不失数学严谨性。计算科学家和工程师在研究和工作实践中都需要理解数学的理论概念,以便能够提出研究进展和创新解决方案,基于这一理念,本书对每一个概念都做了全面介绍,并通过一些例子补充解释。此外,书中大多数定理都是先给出严格证明,然后通过数值例子在实践中加以证明。在适当的情况下,主题也通过伪代码的方式呈现,从而突出代数理论的计算机实现。 -
数智时代大学生数字素养培育研究许志强《数智时代大学生数字素养培育研究》以数智时代为背景,以我国普通髙等学校本科以上层次的大学生在数字生活/学习/实践/创新中存在的现实问题为导向,以从技能到素养再到数字素养的发展演变为研究主线,以传媒类专业大学生为研究对象,从实证视角通过对全国1058名大学生数字素养水平的调研,不仅客观呈现了大学生数字素养的水平现状与差异性,而且深层次揭示了大学生数字素养培育的影响因素与条件组态,并提出了“个体-家庭-高校-社会” 的培育合力是大学生数字素养养成和践行的*佳路径。 -
冗余流量测量及特性分析邢玲《冗余流量测量及特性分析》针对冗余流量导致的网络服务质量低效问题,提出冗余流量测量及特性分析方法,试图通过对真实网络冗余流量的识别、测量和分析来深入了解冗余流量生成和演化过程,从而优化网络资源、提高网络共享效率。《冗余流量测量及特性分析》共7章,系统地介绍冗余流量从流量测量、跟踪识别、特性分析到冗余流量消除各个环节的相关技术和方法。第1章介绍冗余流量的发现和研究现状。第2和3章介绍冗余流量的测量方法和动态跟踪识别方法。第4和5章分别从自相似性和时间序列角度出发,介绍冗余流量的特性。第6章介绍冗余流量演化模型及演化机制。第7章介绍冗余流量消除系统模型和相关方法。 -
自然数的紧化延伸机器证明系统郁文生数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq, 在Morse-Kelley 公理化集合论形式化系统下,给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统, 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现, 构建了非标准实数模型, 自然包含标准实数模型, 并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证. 在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码, 所有形式化过程已被Coq验证, 并在计算机上运行通过, 充分体现了基于Coq 的数学定理机器证明具有可读性、交互性和智能性的特点, 其证明过程规范、严谨、可靠. 该系统可方便地应用于非标准分析理论的形式化构建.本书可作为数学与计算机科学、信息科学相关专业的高年级本科生或研究生教材, 也可供从事人工智能相关科研工作者学习参考. -
面向森林生长的建模、计算和仿真技术范菁,董天阳《面向森林生长的建模、计算和仿真技术》以虚拟森林仿真中的生长计算加速和场景快速可视化技术为线索,结合森林生长的知识建模和数据组织,详细阐述虚拟森林快速仿真方向研究的前沿技术。《面向森林生长的建模、计算和仿真技术》共7章,第1章介绍森林生长仿真技术的发展与现状,引出森林生长仿真中存在的问题;第2章描述森林生长仿真的知识表达,通过对森林知识建模为虚拟森林生长的快速仿真提供基础;第3章阐述大规模森林场景数据的组织算法;第4章介绍大规模虚拟森林生长模型的加速计算;第5章从三维树木叶片模型简化、大规模森林场景的快速漫游算法等方面介绍支持虚拟森林快速仿真的可视化技术;第6章探讨一种基于LiDAR点云数据的单木检测算法;第7章探讨虚拟森林仿真系统的构件化集成技术。 -
反光低纹理物体6D位姿估计何再兴,赵昕?物体6自由度(6D,6DoF)位姿估计是机器人视觉、增强现实、自动驾驶、具身智能等领域的核心技术。本书分层次介绍了有纹理物体、低纹理物体,以及反光低纹理物体位姿估计的先进机器视觉理论、方法及关键技术,其中以最具挑战性的反光低纹理物体为重点。全书包含8章,第1章为绪论,介绍视觉6D位姿估计的基本概念、研究现状,及现有技术面临的挑战;第2章介绍视觉6D位姿估计的基础知识;第3章介绍适用于有纹理物体的基于图像特征点匹配的方法;第4章介绍适用于低纹理物体的判别式神经网络方法;第5章~第8章介绍适用于反光低纹理物体的理论、方法及数据集,其中,第5章和第6章分别为基于低层和高层几何特征的理论与方法,第7章介绍基于“特征_图像”的生成式深度神经网络理论与方法,第8章介绍构建的大型反光低纹理物体图像数据集RT-Less。
