·
搜索结果:找到“数据结构”相关结果72092条
排序: 按相关 按相关 按时间降序
  • 【期刊】 位置敏感哈希函数数据结构的概率分析

    刊名:智能计算机与应用 作者:陆可镜 ; 王洪亚 关键词:位置敏感哈希函数 碰撞率 算法的概率分析 机构:东华大学计算机科学与技术学院 ; 东华大学计算机科学与技术学院 年份:2016
    摘要:对于高维空间的近邻查找问题,位置敏感哈希(LSH)在查询代价和磁盘空间利用上有着出色表现。在传统分析模型下,LSH被视作随机算法,唯一不确定因素就是哈希函数的选择。研究中将这种模型下得到的碰撞概率称为基于哈希函数的碰撞概率。在本文中,使用了不同的分析模型对LSH作了理论分析。此工作的出发点有2个:1)在现有的分析模型下,用户为了达到理论的效果,必须对每个查询点产生随机的数据结构,这在实际应用中是不现实的。2)用户所关心的性能指标是随机查询点在一个数据结构上的期望碰撞概率。基于此,本篇论文即推导了在汉明距离下,随机点对在任意单个哈希函数上的碰撞概率。研究将此模型下推导出的碰撞概率称为基于随机查询的碰撞概率。同时也一并证明了在汉明空间中,2种碰撞概率完全相同。
  • 【期刊】 易变数据结构归纳引理的自动证明

    刊名:电子技术 作者:杨晨 ; 罗奇鸣 ; 李薛剑 ; 陈意云 关键词:程序验证 ; 易变数据结构 ; 结构归纳 ; 自动定理证明 机构:中国科学技术大学计算机科学与技术学院 ; 中国科学技术大学计算机科学与技术学院 ; 中国科大先进技术研究院中国科大-国创高可信软件工程中心 年份:2017
    摘要:程序性质的自动验证有时需要验证者提供相关的归纳引理,程序验证的结果可靠与否依赖于验证者所提供的归纳引理正确与否.本文围绕操作易变数据的程序的自动验证,设计并实现一个相关引理的自动证明器,作为程序自动验证器中检查验证者所提供的归纳引理是否正确的工具.该证明器分析所有待证归纳引理,构建引理之间的依赖关系图,得出引理的证明顺序.对每个引理,分析得出它的归纳变元和应采用的归纳方法,把归纳证明的各步交给自动定理证明器Z3进行证明.该证明器的原型已嵌入一个基于演绎推理的安全C语言自动验证系统中,并成功验证了有序链表、二叉搜索树、AVL树、伸展树等数据结构的性质.
  • 【期刊】 数据结构算法库系统的设计与实现分析

    刊名:数字技术与应用 作者:姜爱敏 关键词:数据结构 ; 算法代码 ; 算法库 机构:天津职业技术师范大学 ; 天津职业技术师范大学 ; 苍南县职业中等专业学校 年份:2016
    摘要:作为计算机程序设计中重要理论基础的《数据结构》,这门课程重点就在于数据库结构的算法,而算法并不是直观形象的能够表述出来,所以有些学生和用户对于算法这一抽象的知识很难掌握。因此本文主要是对该系统的功能需求进行设定,并阐释系统实现当中的界面设计以及核心技术。
  • 【期刊】 离散数学与数据结构的教学衔接方法研究

    刊名:计算机教育 作者:魏洪伟 ; 王博 ; 王建华 关键词:数据结构 ; 离散数学 ; 教学衔接 机构:哈尔滨师范大学计算机科学与信息工程学院 ; 哈尔滨师范大学计算机科学与信息工程学院 ; 黑龙江哈尔滨 ; 哈尔滨市人才市场 ; 黑龙江哈尔滨 年份:2017
    摘要:针对计算机专业离散数学与数据结构这两门课程的教学衔接问题,分析两门课程的内在联系提出离散数学是数据结构的数学基础与理论依据、数据结构是对离散数学的应用与拓展,阐述如何教学中进行相互渗透与衔接,使学生在牢固掌握理论的基础上将其应用于计算机实践.
  • 【期刊】 诗歌翻译语料库数据结构及倒排索引构建

    刊名:自动化技术与应用 作者:单畅 ; 王永胜 ; 张联 关键词:数据结构 ; 诗歌 ; 翻译 ; 语料库 ; 倒排索引 机构:渤海大学大学外语教研部 ; 渤海大学大学外语教研部 ; 渤海大学外国语学院 年份:2016
    摘要:诗歌翻译是复杂艰难的工作,已翻译好的诗歌是宝贵的资源,构建诗歌翻译语料库,可以提供借鉴与参考。针对诗歌翻译语料库构建的难点问题,本文以中文诗歌翻译成英文诗歌为例展开研究。首先,运用类图设计了语料库的数据存储结构;然后,以数学表示为基础研究倒排索引文件结构;最后,按照创建过程创建倒排索引文件。依据本文研究成果开发的语料库系统,具有存取方法简单实用、存储方案灵活多样等特点,对于提高软件开发的效率和质量具有重要意义。
  • 【期刊】 基于散列函数与半边数据结构的TIN拓扑重构算法

    刊名:计算机应用研究 作者:赵景昌 ; 高菲 ; 刘光伟 ; 白润才 ; 王东 关键词:不规则三角网 ; 拓扑重构 ; 散列函数 ; 半边数据结构 机构:辽宁工程技术大学矿业学院 ; 辽宁工程技术大学矿业学院 ; 辽宁工程技术大学力学与工程学院 年份:2017
    摘要:在以TIN为基础模型的数字化露天矿软件中,TIN拓扑重构是等值线追踪、TIN求交等诸多应用重要的基础算法之一。顶点聚合与边合并是决定TIN拓扑重构效率的关键,应用散列函数根据顶点坐标计算顶点散列地址,并用链地址法辅以AVL树解决地址冲突,以O(N)时间复杂度实现顶点聚合;采用改进的半边数据结构存储TIN,在顶点聚合的同时,通过为每个顶点建立入射半边表,完成半边的快速合并。实验及应用表明,算法时间复杂度近线性,能够满足大数据量条件下TIN拓扑快速重构的需求。
  • 【期刊】 精品资源共享课程数据结构的建设与实践

    刊名:阜阳师范学院学报(自然科学版) 作者:王秀友 ; 范建中 ; 南淑萍 ; 王浩 ; 刘华明 关键词:数据结构 ; 精品课程 ; 教学资源 ; 教学模式 机构:阜阳师范学院计算机与信息工程学院 ; 阜阳师范学院计算机与信息工程学院 年份:2018
    摘要:本文按照数据结构精品资源共享课程的建设目标,秉承先进的教学理念,围绕数据结构课程体系、教学方法、教学团队、教学资源平台、课程考核评价等方面进行了建设与实践。课程借鉴CDIO工程教育理念,重构了课程教学组织与思维培养关系,设计了问题驱动的课程教学模式,构建了网络教学资源平台,建立了多元化过程性的课程评价体系,形成了鲜明的课程教学特色。发挥了精品课程建设经验和示范作用,并指出了数据结构课程建设进一步努力的方向。取得丰富的教学效果和教学成果表明,课程建设措施得当,成效明显。
  • 【期刊】 基于NIDS系统下Snort源码分析与数据结构研究

    刊名:网络安全技术与应用 作者:尚珍 关键词:数据结构 ; 网络入侵检测 ; 编写规则 ; 源码分析 机构:河西学院 ; 河西学院 年份:2017
    摘要:基于网络的入侵检测系统(NIDS)的部署,不会增加其网络主机的负荷,通过分析网段中数据包,进行实时监测和响应,在混杂模式下监听对比分析.Snort其开源特性,具有短小精悍、延伸能力强,具有很强的跨平台特性.本文从Snort工作模式和检测规则库生成,综述其源码构成及核心数据结构特征.
  • 【期刊】 T-SPLINE开源内核的三层数据结构及算法原理

    刊名:计算机辅助设计与图形学学报 作者:肖文磊 ; 刘亚醉 ; Oleksandr Zavalnyi ; 赵罡 关键词:T样条 ; 开源内核 ; 三层数据结构 机构:北京航空航天大学机械工程及自动化学院 ; 北京航空航天大学机械工程及自动化学院 ; 北京航空航天大学工信部航空智能制造重点实验室 年份:2017
    摘要:针对T-SPLINE开源内核,论述了T样条三层数据结构及相关算法原理,以帮助使用者更快更好地掌握和应用T-SPLINE开源内核的使用方法.首先介绍T-SPLINE开源内核及三层数据结构,论述该数据结构对T样条计算与存储的高效性;然后根据三层数据结构的特点设计了一系列高效的算法,主要包括面内节点初始化算法、关键参数抽取算法、高效基函数计算算法、重节点管理算法等,并详细说明了上述算法的原理;最后对T-SPLINE开源内核的时间复杂度和空间复杂度进行了分析与验证.实验证明,T-SPLINE开源内核在时间空间复杂度上具有一定的优势.
  • 【期刊】 以培养数据分析师为目标的数据结构课程改革

    刊名:《考试周刊》 作者:龚科 关键词:数据结构 ; 数据分析师 ; 课程改革 机构:重庆交通大学经济与管理学院 ; 重庆交通大学经济与管理学院 年份:2015
    摘要:培养数据分析师是信息管理与管理信息系统专业的重要转型方向。根据市场调研,发现数据结构课程是该培养目标中旬重要核心课程。本文以此为目标探讨了数据结构课程的课堂教学改革方案。
  • 【期刊】 一种采用Lock-Free同步机制的数据结构的研究

    刊名:微电子学与计算机 作者:黄姝娟 ; 容晓峰 ; 茹媛 ; 张雅 关键词:嵌入式系统 多核 无锁机制 锁机制 混合关键系统 机构:西安工业大学计算机科学与工程学院 ; 西安工业大学计算机科学与工程学院 年份:2016
    摘要:随着多核芯片在嵌入式实时系统中的广泛应用,采用传统锁机制对共享数据的访问会引起死锁、优先级翻转以及CPU饥饿现象,进而会影响系统整体性能的发挥,严重时还会导致不可估量的损失发生.为此,针对Skiplist的共享数据结构提出了一种Lock-Free的同步机制方法,对该方法的线性一致性进行了证明,并将其应用于混合关键任务的共享优先级调度队列中.经过实验,该方法在吞吐量、核利用率以及平均响应时间方面优于传统的基于锁机制的方法,有效地提升了多核运行的效率.
  • 【期刊】 采用半边编码的三角网格拓扑数据结构

    刊名:计算机辅助设计与图形学学报 作者:张应中 ; 谢馥香 ; 罗晓芳 ; 王钦瑞 关键词:三角网格 ; 拓扑信息 ; 半边数据结构 ; STL拓扑重建 机构:大连理工大学机械工程学院 ; 大连理工大学机械工程学院 年份:2016
    摘要:为了更紧凑地表示三角网格的几何和拓扑信息,充分利用三角网格中的面、顶点和半边之间的语义关系和隐含信息,提出一个采用半边编码的三角网格拓扑数据结构.首先建立以顶点序列表示的三角面对象,并存放在动态数组中;将半边表示为所属三角面在数组中的下标和顶点连线顺序隐式关系的二元组,并且编码为一个无符号长整型数;在顶点对象中设置外出半边属性,在三角面对象中设置相邻面的3个反向半边属性;通过对设置的半边信息进行解码,实现拓扑信息查询.基于该数据结构开展了STL三角网格数据的拓扑重建实验,在对内存空间需求、重建效率和拓扑信息处理能力等方面,与目前广泛使用的半边数据结构进行了比较,表明需求内存空间大为减少.
上一页 1 2 3 4 5 6 7 8 9 10 下一页 跳转