课程文献中心 更多>>

关键词： Data structures   Residue computation   Point clouds   3D registration  

摘要： Registration of 3D point clouds is a problem that arises in a variety of research areas such as computer vision, computer graphics and computational geometry. This situation causes most papers in the area to focus on solving practical problems by using data structures often developed in theoretical contexts. Consequently, discrepancies arise between asymptotic cost and experimental performance. The point cloud registration or matching problem encompasses many different steps. Among them, the computation of the distance between two point sets (often refereed to as residue computation) is crucial and can be seen as an aggregate of range searching or nearest neighbor searching. In this paper, we aim at providing theoretical analysis and experimental performance of range searching and nearest neighbor data structures applied to 3D point cloud registration. Performance of widely used data structures such as compressed octrees, KDtrees, BDtrees and regular grids is reported. Additionally, we present a new hybrid data structure named GridDS, which combines a regular grid with some preexisting "inner" data structure in order to meet the best asymptotic bounds while also obtaining the best performance. The experimental evaluation in both synthetic and real data demonstrates that the hybrid data structures built using GridDS improve the running times of the single data structures. Thus, as we have studied the performances of the state-of-the-art techniques managing to improve their respective running times thanks to GridDS, this paper presents the best running time for point cloud residue computation up to date.

关键词： JAVA语言  

ISBN: (纸本)9787302513407

摘要： 本书以程序设计过程为线索，采用面向对象方法，从具体问题引出数据结构，讲解数据结构的概念、表示和实现，通过应用举例将理论知识回归到解决实际问题。在强调数据结构基本概念和理论方法的同时，注重数据结构的实践应用。介绍了数据结构、算法以及抽象数据类型的概念；介绍了线性表、栈和队列、字符串和多维数组、树和二叉树、图等常用数据结构；讨论了查找和排序技术。

标准号: ISO 17262 AMD 1-2019

关键词： 数据结构   创新思维   医学生   教学改革  

摘要： 本文通过分析医学院校信息管理与信息系统专业人才培养目标和《数据结构》课程特点,从教学内容、教学方法、实验体系、课题研究及评价方式等方面进行了多年的教学改革实践与探索,为培养医学生科研创新思维意识和实践创新能力提供了可行的方法和实现途径。

关键词： 内核数据结构   形式化验证   分离逻辑   内核验证  

摘要： 对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离的方法来形式化定义内核中的不规则数据结构,并运用该方法成功刻画了某航天操作系统内核的进程管理数据结构,最终成功验证了该内核中相关API的代码.相关的代码验证工作在定理证明工具Coq中完成.

关键词： 可满足问题   预处理技术   强制文字   数据结构  

摘要： 检查强制文字是一种重要的预处理方法。结合学习子句,提出一种在求解过程中使用的策略—基于子句的动态检查强制文字(CNL),并且设计了一种易实现低成本的数据结构。分别实现了两个不同版本的求解器:Glucose_PRE和Glucose_CNL,前者在求解初始时将检查强制文字作为预处理,后者实现了基于子句的动态检查强制文字策略。实验测试结果表明,与Glucose_PRE和Glucose3.0求解器相比,求解器Glucose_CNL在求解2015年和2016年SAT竞赛的应用类型的实例时,求解实例个数更多,耗时更少,说明所提策略和所设计的数据结构均可提高求解器的求解性能。

关键词： “半翻转”教学模式   数据结构   教学活动   参与度  

摘要： 分析翻转课堂教学模式在高职院校相关专业中的局限性,探讨基于微课的"半翻转"教学模式在"数据结构"课程中的应用实践,并以"基于二叉查找树的查找"为例进行教学活动设计,介绍"半翻转"课堂的实施过程,说明教学效果。

关键词： 文件格式   数据结构   存储   素材管理   传输  

摘要： 随着计算机技术、多媒体技术的发展,视音频文件的编码形式越来越多元化。基于计算机平台的硬盘播出系统设计时会把多元化的媒体文件在上载时进行再次封装成为统一的目标格式,方便素材交换。文章从MXF格式的介绍开始,结合本台播出系统的结构设计,对MXF文件格式在播出过程中的实际运用作出描述,通过实际使用测试,该文件格式有利于播出文件传输、存储、调用,同时提高了播出服务器的播出效率和稳定性。

关键词： XML   数据结构体   软件设计  

摘要： 在软件工程项目中,接口控制文件(ICD)是关联软件与数据库及软件内部数据交互规范化的重要依据,软件设计人员需要据此设计对应的结构体用于数据存储与交换。文章设计了一种基于XML的数据结构体自动生成技术,能有效避免因ICD变更造成软件源代码中对应数据结构体相关代码段的调整和修改。在实际工程项目中,减轻了接口调整对软件设计人员造成的工作负担,是一种较好的、通用性高的数据结构体设计方法。

关键词： CDIO理念   数据结构课程教学   改革研究  

摘要： CDIO教学理念是一种基于时代进步和教育事业发展而产生的一种全新型的教学理念,通过CDIO教学理念对于学生进行教育,能够使学生的综合能力和实践能力得到一定的增强,进而使教师的教学质量和效果得到提升。本文将对于CDIO教学理念做出概述,同时对于数据结构课堂教学当中存在的问题进行分析,进而结合CDIO教学理念对于数据结构课程的教学提出相应的改革策略。