期刊文献+
共找到162篇文章
< 1 2 9 >
每页显示 20 50 100
Blocking optimized SIMD tree search on modern processors 被引量:2
1
作者 张倬 陆宇凡 +2 位作者 沈文枫 徐炜民 郑衍衡 《Journal of Shanghai University(English Edition)》 CAS 2011年第5期437-444,共8页
Tree search is a widely used fundamental algorithm. Modern processors provide tremendous computing power by integrating multiple cores, each with a vector processing unit. This paper reviews some studies on exploiting... Tree search is a widely used fundamental algorithm. Modern processors provide tremendous computing power by integrating multiple cores, each with a vector processing unit. This paper reviews some studies on exploiting single instruction multiple date (SIMD) capacity of processors to improve the performance of tree search, and proposes several improvement methods on reported SIMD tree search algorithms. Based on blocking tree structure, blocking for memory alignment and dynamic blocking prefetch are proposed to optimize the overhead of memory access. Furthermore, as a way of non-linear loop unrolling, the search branch unwinding shows that the number of branches can exceed the data width of SIMD instructions in the SIMD search algorithm. The experiments suggest that blocking optimized SIMD tree search algorithm can achieve 1.6 times response speed faster than the un-optimized algorithm. 展开更多
关键词 single instruction multiple date (SIMD) tree search binary search streaming SIMD extensions (SSE) Cell broadband engine (BE)
在线阅读 下载PDF
LLRB算法的函数式建模及其机械化验证
2
作者 左正康 黄志鹏 +4 位作者 黄箐 孙欢 曾志城 胡颖 王昌晶 《软件学报》 EI CSCD 北大核心 2024年第11期5016-5039,共24页
基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时... 基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时无法使用常规的证明策略,需要更多的人工干预和努力,其正确性验证是一个公认的难题.为此,基于二叉搜索树类算法Isabelle验证框架,对其附加性质部分进行细化,并给出具体化的验证方案.在Isabelle中对LLRB插入和删除操作进行函数式建模,对其不变量进行模块化处理,并验证函数的正确性.这是首次在Isabelle中对函数式LLRB插入和删除算法进行机械化验证,相较于目前LLRB算法的Dafny验证,定理数由158减少至84,且无需构造中间断言,减轻了验证的负担;同时,为复杂树结构算法的函数式建模及验证提供了一定的参考价值. 展开更多
关键词 LLRB 函数式建模 机械化验证 Isabelle定理证明器 二叉搜索树
在线阅读 下载PDF
树状结构在数据流求均值中的应用
3
作者 刘薇 陈文 《电脑与电信》 2024年第3期81-83,88,共4页
数据采集过程中,随着数据的增加,数据的平均值持续发生变化。为了研究平均值的变化过程,分析平均值序列的计算方法是有必要的。传统的方法是使用线性顺序存储方式计算均值序列,总的时间复杂度高达O(n2)。提出利用树状结构存储方法求取... 数据采集过程中,随着数据的增加,数据的平均值持续发生变化。为了研究平均值的变化过程,分析平均值序列的计算方法是有必要的。传统的方法是使用线性顺序存储方式计算均值序列,总的时间复杂度高达O(n2)。提出利用树状结构存储方法求取均值序列,并介绍其实现方法,该方法时间复杂度大大降低,仅为O(n*lnn)。 展开更多
关键词 算法 数据流 搜索树 平均值
在线阅读 下载PDF
Limiting theorems for the nodes in binary search trees 被引量:1
4
作者 LIU Jie SU Chun CHEN Yu 《Science China Mathematics》 SCIE 2008年第1期101-114,共14页
We consider three random variables X_n, Y_n and Z_n, which represent the numbers of the nodes with 0, 1, and 2 children, in the binary search trees of size n. The expectation and variance of the three above random var... We consider three random variables X_n, Y_n and Z_n, which represent the numbers of the nodes with 0, 1, and 2 children, in the binary search trees of size n. The expectation and variance of the three above random variables are got, and it is also shown that X_n, Y_n and Z_n are all asymptotically normal as n→∞by applying the contraction method. 展开更多
关键词 binary search tree NODES law of large numbers contraction method limiting distribution 60F05 05C80
原文传递
一种高效的数据流挖掘增量模糊决策树分类算法 被引量:18
5
作者 王涛 李舟军 +2 位作者 胡小华 颜跃进 陈火旺 《计算机学报》 EI CSCD 北大核心 2007年第8期1244-1250,共7页
数据流具有数据持续到达、到达速度快、数据规模巨大等特点,这些都给数据流挖掘领域的研究工作带来了新挑战,而其中分类算法更是当前的研究热点.Domingos等在VFDT中利用Hoeffding不等式很好地解决了在数据流上进行单遍扫描获取高精度决... 数据流具有数据持续到达、到达速度快、数据规模巨大等特点,这些都给数据流挖掘领域的研究工作带来了新挑战,而其中分类算法更是当前的研究热点.Domingos等在VFDT中利用Hoeffding不等式很好地解决了在数据流上进行单遍扫描获取高精度决策树的问题.Gama等对VFDT进行扩展并实现了VFDTc,使系统能够处理连续属性.Peng等在传统数据挖掘环境下提出了基于模糊理论的连续属性平滑离散化方法.基于前述工作,作者设计并实现了一种基于线索化排序二叉树的增量模糊决策树分类算法fVFDT,其主要贡献有如下4点:(1)第一次设计并实现了数据流上的基于线索化二叉排序树(TBST)的连续属性处理方法.相比VFDT,fVFDT的样本插入时间复杂度由O(n2)降低到O(nlogn).当新样本到达时,VFDTc需要更新O(logn)个属性节点,而fVFDT只需要更新相应的一个节点即可;(2)改进了VFDTc连续属性的最佳划分节点选取的计算方法,使其时间复杂度由O(nlogn)降低到O(n);(3)根据Fayyad等的研究成果,相比VFDTc,fVFDT只需从更少的备选划分节点中选取最佳节点,备选划分节点数由O(n)降低到O(logn);(4)改进了传统数据挖掘环境下的基于模糊理论的连续属性平滑离散化方法,有效地处理了噪声数据,很好地提高了分类精度. 展开更多
关键词 数据流 线索化二叉排序树 连续属性 模糊离散化 增量 VFDT
在线阅读 下载PDF
基于动态二进制的二叉树搜索结构RFID反碰撞算法 被引量:16
6
作者 李兴鹤 胡咏梅 +2 位作者 王华莲 付延安 郭春花 《山东科学》 CAS 2006年第2期51-55,共5页
针对RFID系统中最常见的反碰撞问题,提出一种基于动态二进制的二叉树搜索结构RFID反碰撞算法,并用反证法证明整个搜索过程符合满二叉排序树结构,然后对比二进制及动态二进制算法,证明本算法的优越性,仿真结果表明本算法比已有的动态二... 针对RFID系统中最常见的反碰撞问题,提出一种基于动态二进制的二叉树搜索结构RFID反碰撞算法,并用反证法证明整个搜索过程符合满二叉排序树结构,然后对比二进制及动态二进制算法,证明本算法的优越性,仿真结果表明本算法比已有的动态二进制反碰撞算法更具优势,而且随着标签数目与标签EPC位数的增多,优势更明显。 展开更多
关键词 RFID反碰撞 二进制搜索 二叉树
在线阅读 下载PDF
一种新的RFID防碰撞算法的研究 被引量:26
7
作者 陈冲 徐志 何明华 《福州大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第3期367-371,共5页
分析了RFID系统中二进制搜索算法和动态二进制搜索算法的防碰撞原理,并针对这些算法对碰撞连续的标签进行识别时操作效率较低,提出了一种新的算法.该算法是在二进制树形搜索算法的基础上进行改进的.对3种防碰撞算法的性能进行了比较,此... 分析了RFID系统中二进制搜索算法和动态二进制搜索算法的防碰撞原理,并针对这些算法对碰撞连续的标签进行识别时操作效率较低,提出了一种新的算法.该算法是在二进制树形搜索算法的基础上进行改进的.对3种防碰撞算法的性能进行了比较,此防碰撞算法可以提高多卡识别的效率. 展开更多
关键词 射频识别 防碰撞 二进制搜索算法
原文传递
一种基于自动机的分词方法 被引量:8
8
作者 吴建胜 战学刚 迟呈英 《计算机工程与应用》 CSCD 北大核心 2005年第8期81-82,85,共3页
该文介绍一种简洁有效的快速分词方法,并通过理论分析和实验对比说明几种分词方法的效率差异,以说明文章所提出方法的有效性。
关键词 中文信息处理 分词 顺序查找 二分查找 自动机 二叉树
在线阅读 下载PDF
改进的RFID标签识别防冲突算法 被引量:10
9
作者 王春华 许静 +1 位作者 彭关超 李湛 《计算机工程与应用》 CSCD 北大核心 2011年第31期104-107,219,共5页
针对射频识别(RFID)系统中多个标签同时与读写器进行数据交换时引起的冲突问题,提出了一种改进型的基于堆栈的RFID二进制树防冲突算法(IBSTS)。该算法利用位冲突检测机制,有效地降低了冲突的概率;并采用堆栈方法避免了识别过程中每次从... 针对射频识别(RFID)系统中多个标签同时与读写器进行数据交换时引起的冲突问题,提出了一种改进型的基于堆栈的RFID二进制树防冲突算法(IBSTS)。该算法利用位冲突检测机制,有效地降低了冲突的概率;并采用堆栈方法避免了识别过程中每次从树根部进行请求的不足,进一步降低了请求次数,提高了识别效率;利用该算法可以准确地判断出每位冲突位,故而在标签响应时仅需要发送冲突位上的数据,从而降低了标签传输的数据量。仿真结果表明,相对于传统的二进制树防冲突算法而言,提出的算法在读写器请求次数和标签传输数据量方面均有很大降低,尤其在标签数量较多时,其降低的程度更为显著。 展开更多
关键词 射频识别 防冲突 二进制搜索树 堆栈
在线阅读 下载PDF
集装箱船全航线预配优化模型与算法研究 被引量:6
10
作者 张维英 林焰 +2 位作者 纪卓尚 孙文志 余报楚 《大连理工大学学报》 EI CAS CSCD 北大核心 2008年第5期673-678,共6页
集装箱船全航线配载问题属于NP-hard问题.为降低问题求解难度,提出了解决全航线配载问题的分解算法,即将配载问题分解为Bay位选择和Bay位中集装箱排序两个子问题.将Bay位选择看成是"装箱问题",以不同属性集装箱作为待装"... 集装箱船全航线配载问题属于NP-hard问题.为降低问题求解难度,提出了解决全航线配载问题的分解算法,即将配载问题分解为Bay位选择和Bay位中集装箱排序两个子问题.将Bay位选择看成是"装箱问题",以不同属性集装箱作为待装"物品",以船舶上的Bay位为箱子,以最优装箱(即使用箱子的数量最少)及集装箱在每个港口的倒箱数量最少为目标进行总布置配载;Bay位中集装箱排序是将Bay位选择阶段分配到不同Bay位的集装箱按某些规则进行排序,确定其在Bay位中的具体箱位.主要研究了Bay位选择阶段的模型及算法.实例模拟结果表明该方法可行,为集装箱船全航线配载优化提供了一个实用的模型. 展开更多
关键词 集装箱船 预配 装箱算法 二叉搜索树 全航线
在线阅读 下载PDF
一种改进的点在多边形内外判断算法 被引量:18
11
作者 李楠 肖克炎 《计算机工程》 CAS CSCD 2012年第5期30-34,共5页
为解决多边形内外算法中BSP树退化为链表的问题,提出一种改进的点在多边形内外的判断算法。在构建水平扫描线的BSP树之前,对水平扫描线按照Y值进行排序,将排好序的水平扫描线按照二分法的顺序插入到BSP树中,其查找时间复杂度为O(lbn)。... 为解决多边形内外算法中BSP树退化为链表的问题,提出一种改进的点在多边形内外的判断算法。在构建水平扫描线的BSP树之前,对水平扫描线按照Y值进行排序,将排好序的水平扫描线按照二分法的顺序插入到BSP树中,其查找时间复杂度为O(lbn)。实验结果表明,该算法在不增加BSP构建时间复杂度的前提下,能够保证BSP树的查找效果总是最优的,且简单易行,具有较好的通用性。 展开更多
关键词 BSP树 平衡二叉树 任意简单多边形 二分查找 快排序
在线阅读 下载PDF
一种高效的中文电子词表数据结构 被引量:26
12
作者 陈桂林 王永成 +1 位作者 韩客松 王刚 《计算机研究与发展》 EI CSCD 北大核心 2000年第1期109-116,共8页
在分析中文字编码体系、中文词一些特点的基础上,文中提出了一种新的中文电子词表数据结构,并讨论了利用首字Hash 加二分查找的数据查找算法以及相关的数据更新、删除和插入算法. 理论分析和试验结果表明。
关键词 中文信息处理 中文电子词表 数据结构 计算机
在线阅读 下载PDF
二叉树在自动进路搜索中的应用 被引量:12
13
作者 姜海涛 张为群 黄康 《铁路计算机应用》 2002年第8期8-10,共3页
通过研究站场形状与二叉树形状的相似性,将站场结构进行约束限定,以二叉树的方法建模,提出了一种高效,方便的自动进路搜索算法。
关键词 自动进路搜索 二叉树 站场信号平面图 算法 站场结构 铁路信号
在线阅读 下载PDF
基于多叉树搜索算法改进的RFID防碰撞算法 被引量:6
14
作者 林伟 李景霞 叶林锋 《电子技术应用》 北大核心 2013年第2期130-133,共4页
多标签碰撞问题严重影响了RFID系统的性能。为了更好地解决这一问题,提出了基于多叉树搜索的防碰撞算法。该算法根据碰撞位的不同来动态选择二叉树搜索和四叉树搜索,并引用堆栈存储查询命令以避免重复搜索和冗余搜索,使得在大批量标签... 多标签碰撞问题严重影响了RFID系统的性能。为了更好地解决这一问题,提出了基于多叉树搜索的防碰撞算法。该算法根据碰撞位的不同来动态选择二叉树搜索和四叉树搜索,并引用堆栈存储查询命令以避免重复搜索和冗余搜索,使得在大批量标签的情况下,系统吞吐率大幅度提高。 展开更多
关键词 RFID 防碰撞算法 二叉树搜索 四叉树搜索 堆栈
在线阅读 下载PDF
一种改进的基于二叉树搜索的防碰撞算法 被引量:10
15
作者 孙文胜 刘婷 《计算机工程》 CAS CSCD 北大核心 2011年第10期257-259,共3页
通过对现有防碰撞算法的分析,在二叉树搜索算法的基础上提出一种新的以矩阵形式为搜索结构的混合树防碰撞算法。该算法采取段式搜索,即每次发送的碰撞前缀为多个非碰撞位与碰撞位的组合,在碰撞位位数的选取上采取遇到单个碰撞位进行二... 通过对现有防碰撞算法的分析,在二叉树搜索算法的基础上提出一种新的以矩阵形式为搜索结构的混合树防碰撞算法。该算法采取段式搜索,即每次发送的碰撞前缀为多个非碰撞位与碰撞位的组合,在碰撞位位数的选取上采取遇到单个碰撞位进行二叉树分裂,遇到连续碰撞位进行四叉树分裂的策略,从而缩短标签识别时间,并通过理论证明了该算法的有效性。 展开更多
关键词 无线射频识别 防碰撞 矩阵 二叉树搜索 四叉树搜索
在线阅读 下载PDF
一种改进二进制防碰撞算法研究 被引量:7
16
作者 周艳聪 孙晓晨 顾军华 《计算机应用研究》 CSCD 北大核心 2012年第1期256-259,262,共5页
为了克服普通二进制算法交互次数多、通信数据量大的缺点,提出了一种改进二进制防碰撞算法。新算法首先进行信息预处理,识别过程中只处理冲突位,并以待识别标签为叶子节点反向构建识别树,在叶子节点的父层实现标签识别。其在碰撞位连续... 为了克服普通二进制算法交互次数多、通信数据量大的缺点,提出了一种改进二进制防碰撞算法。新算法首先进行信息预处理,识别过程中只处理冲突位,并以待识别标签为叶子节点反向构建识别树,在叶子节点的父层实现标签识别。其在碰撞位连续或间断情况下均可有效认读标签。尤其当冲突标签数量较多而碰撞位明显小于标签长度时,其在交互次数、通信数据量和识别效率上均表现出较明显的优势。模拟仿真、理论分析和算法实例验证了新算法的可行性、实用性和高效性。 展开更多
关键词 防碰撞算法 二进制搜索 射频识别 预处理 反向搜索
在线阅读 下载PDF
一种新颖的自适应多叉树防碰撞算法的研究 被引量:6
17
作者 韦冬雪 郑嘉利 +1 位作者 李亮亮 姚富士 《计算机科学》 CSCD 北大核心 2013年第10期52-55,64,共5页
在改进型自适应多叉数防碰撞算法(IAMS)基础上,提出了一种新颖的自适应算法。该算法根据碰撞位数来自适应地选择搜索方式。当阅读器检测到两个碰撞位时,对最高碰撞位置"0"和置"1"来进行二叉树搜索;当碰撞位数大于2... 在改进型自适应多叉数防碰撞算法(IAMS)基础上,提出了一种新颖的自适应算法。该算法根据碰撞位数来自适应地选择搜索方式。当阅读器检测到两个碰撞位时,对最高碰撞位置"0"和置"1"来进行二叉树搜索;当碰撞位数大于2时,记录最高最低碰撞位,设置最高最低碰撞位的比特数,采用四叉树搜索方式。在matlab平台上,对3种算法进行了对比仿真实验。仿真结果与分析表明,与后退式二进制搜索算法和IAMS相比,该算法在搜索次数上平均减少了46.7%,31.52%,吞吐量平均提高了85.8%,24.22%,传输数据量平均减少了85.3%,82.54%。 展开更多
关键词 RFID 防碰撞算法 二进制搜索算法 自适应
在线阅读 下载PDF
基于二进制数据库的信息搜索算法 被引量:6
18
作者 李志伟 郭峰 《计算机工程与设计》 CSCD 北大核心 2005年第10期2759-2761,2774,共4页
提出了一个有效的雷达信息搜索算法。该算法基于对二进制雷达记录数据库的分析,建立了可视化的数据结构,提出了信息搜索的单支树组织模型,采用深度优先和回溯算法简化了搜索复杂度,成功地解决了二进制数据文件的结构化处理问题,为使用... 提出了一个有效的雷达信息搜索算法。该算法基于对二进制雷达记录数据库的分析,建立了可视化的数据结构,提出了信息搜索的单支树组织模型,采用深度优先和回溯算法简化了搜索复杂度,成功地解决了二进制数据文件的结构化处理问题,为使用、操作记录数据库提供了算法基础。实践证明,该方法简便、稳定,能快捷地处理信息搜索问题。 展开更多
关键词 二进制数据库 雷达 二叉树 结点 搜索
在线阅读 下载PDF
RFID技术及其应用的研究 被引量:109
19
作者 张晖 王东辉 《微计算机信息》 北大核心 2007年第04Z期252-254,共3页
本文介绍了无线射频识别技术(RFID)的历史和发展现状,涉及应用领域、技术研究和标准化等问题。在技术研究方面,详细介绍了编码调制、天线技术、防冲突算法以及安全隐私方面的新进展,并指出了未来RFID的应用前景及研究方向。
关键词 RFID 防冲突 ALOHA 二进制树搜索
在线阅读 下载PDF
基于优化Dijkstra算法的物流配送系统设计 被引量:7
20
作者 戴磊 马小平 姜代红 《微电子学与计算机》 CSCD 北大核心 2011年第10期32-35,共4页
针对物流配送的关键技术进行分析讨论,阐述了物流配送实时监控的实现过程.分析了路径寻优中的传统Dijkstra算法,改变图的存储结构和搜索方法,采用二叉排序树减少搜索临时结点,减少了内存存储空间,缩短了查询时间,分析和实验表明该算法... 针对物流配送的关键技术进行分析讨论,阐述了物流配送实时监控的实现过程.分析了路径寻优中的传统Dijkstra算法,改变图的存储结构和搜索方法,采用二叉排序树减少搜索临时结点,减少了内存存储空间,缩短了查询时间,分析和实验表明该算法是有效的. 展开更多
关键词 物流配送 DIJKSTRA 路径寻优 二叉排序树
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部