RB+树——一种列存储数据的树型索引结构

索引技术是提高海量数据查询效率的关键技术之一.传统索引如B+树等在更新事务环境中具有较好的性能,然而在面向列存储的分析型数据仓库查询环境下,时间空间代价较大.根据列存储数据仓库查询环境的特点,提出一种新型树型索引--RB+树(reduced B+-tree).该索引对传统B+树结构进行了改进,并结合自底向上创建索引树的方法,使得索引的空间利用率、创建和查找效率得到显著的提高.进一步将RB+树应用于列存储数据仓库中,建立了行号索引、列值索引,特别地为解决星型模型中多表连接问题提出连接索引,有效地提高了列存储数据仓库中元组重构与多表连接的效率.在数据仓库基准数据集SSB上的实验验证了方法的有效性.     

实现速度平滑过渡的NURBS实时插补算法

在分析机床最大速度、加速度和速度不连续点对实际加工的影响的基础上,设计了一种能够实现速度平滑过渡的NURBS实时插补算法.算法首先进行一次预插补,求出减速过程中超出机床最大加速度以及速度不连续的点,并采用逆求的方法求出减速点.然后在实时插补时根据求出的减速点进行速度规划.仿真实验结果表明,该插补算法能够在保证加工精度的前提下,以较高效率实现速度的平滑过渡.     

无线传感网中基于优选转发的多跳可靠传输方案

针对无线传感器网络中通信链路不可靠问题,提出了一种基于优选转发的多跳可靠传输方案.该方案首先根据当前发送节点的位置、信噪比、包长度以及目标节点的方向等以总跳数最小为目标计算一个理想点坐标,并以理想点为圆心确定转发区域,然后通过选择成功接收到发送节点数据包且距离目标节点的距离最小的转发区域内的节点承担转发任务.分析和仿真表明,较之已有的工作,方案能有效提高了多跳可靠性,同时能有效地避免广播风暴节省通信开销.     

基于大素数域的椭圆曲线密码设计与实现

为了能实现椭圆曲线密码高效加解密,给出一种基于大素数域的NIST推荐的192位以上的标准椭圆曲线加解密的程序结构,并实现了(192,224,256,384)四条椭圆曲线加解密.实验结果表明,采用多精度加减法、乘法以及除2等算法能够高效地得出加解密结果,从而使方案可适用于对加密性能要求较高的场合.     

基于贪心基因库的并行TSP演化算法

设计求解TSP问题的贪心基因库并行演化算法.该算法基于改进的反序交叉并行TSP演化算法,对主进程和子进程进行适当修改,引入了贪心基因库算子,将基因库中的基因片,替换演化群体中个体的基因片.实验结果表明,算法能取得更好的解.     

eXist数据库结构连接算法的改进和实现

为了进一步提高eXist数据库的查询效率,针对数据库现有的数据存储特点和查询策略,提出一种快速定位的结构连接算法FL-Stack。算法采用栈缓存已遍历过的但仍可能与尚未遍历的后代结点匹配的祖先结点,并对能预先判断不可能满足结构连接匹配的祖先或后代结点,提出相应方法实现快速定位,以批量跳过这类结点。与现有算法必须逐个扫描祖先后代结点序列相比,这种快速定位的结构连接算法避免了逐个扫描带来的多次重复无意义的比较,可大大提高结构连接效率。     

基于角点的监控摄像头干扰检测

提出一种新的实时检测摄像头干扰的方法,建立一种基于最小核值相似区SUSAN(Smallest Univalve Segment AssimilatingNucleus)角点的图像特征函数,由于干扰发生时相对的几帧图像与正常图像相比会发生显著变化,因此通过比较图像的特征函数值来检测干扰的发生。利用一种逻辑判断方法做到对突变和渐变干扰的全面检测,并且避免对无害行为的误检,使之更具鲁棒性。对比已有的方法,分别对不同场景及不同类型的摄像头遮挡和转动干扰进行了多组测试,实验结果显示,该方法明显优于其它算法,能够很好地检测出对摄像头的遮挡及转动干扰,并且很好地避免了对无害行为的误检。     

改进的纹理合成图像修复算法

提出一种新的基于纹理合成的图像修复算法,针对Criminisi算法优先权函数不准确等缺点,改进优先权函数;另外在模板的选择上,利用方差表征频率的变化来选择模板的大小,不仅可以抑制噪声对模板选择的干扰,也更能体现图像的局部差异性,从而能更加准确地寻找最佳匹配块.算法经过实验仿真证明了其准确性.     

基于三角剖分和纹理映射的物体表面重建算法

提出一种简便的物体表面重建算法,该算法用立体匹配获得的物体表面三维特征点和原匹配图像来重建物体的真实表面,主要步骤是:将物体表面三维特征点集映射到某个平面上,在此平面上完成三角剖分,将剖分的结果映射回物体表面,用空间三角片来表示物体的几何模型,最后在OpenGL环境下将物体原匹配图像贴到几何模型上,这样就真实地重建了物体表面.最后给出了重建物体真实表面的所需条件.     

UML顺序图中消息的形式化描述与相关特性分析

为了实现基于UML顺序图的自动化测试,研究了顺序图中消息的形式化描述方法.形式化地定义了消息的发送和接收,并对二者的一致性关系进行了分析.提出了活动点的概念,讨论了其所具有的性质.建立了活动点集合上的二元关系描述方法,形式化地讨论了单个对象活动点集合与顺序图中全部活动点集合中该二元关系的具体表现.定义了消息集合上的二元关系,分析了其所具有的性质.最后,对顺序图中的时间约束特性和消息约束特性进行了形式化的分析.