一种有效的距离连接选择度估计方法

距离连接在空间数据库中有着广泛的应用,而距离连接的选择度估计是优化距离查询的基础。通过综合分析和比较了现有的选择度估计技术,提出了一种利用米诃夫斯基和与直方图进行距离连接选择度估计的新方法。实验结果证明该种方法能够有效地进行距离连接选择度估计。     

船体型线图

船体表面是一个复杂的空间曲面,沿船长方向有纵向曲度,沿船深方向有横向曲度。为了完整地表示这样的曲面,可以用三个互相垂直的平面与船体相交,将交线投影到三个互相垂直的视图上,就构成了船体型线图(图1)。这样的三组平面是:纵向     

态势估计中编队作战空间关系表示及其推理

空间关系表示及其推理是态势估计的基本问题。提出了海军编队作战空间的概念,分析了几种典型的空间形式并探讨了相应的描述方法,基于对B.Clarke空间理论的分析,针对两支编队海上作战的态势演变,提出了海军编队作战的区域拓扑关系、及其符号表示和推理的符号集合,并采用合理化的形式推导了空间区域的相加、相交、补集和全集等谓词推理运算,它将适用于构建海军编队态势估计的空间推理基础框架。     

基于R-树索引的Map-Reduce空间连接聚集操作

空间连接聚集是一种常用并且非常耗时的空间数据库操作,特别是在面对大规模空间数据集时,单机运行环境难以满足其对时空开销的需求,如何设计高效的面向云计算环境中的分布式空间连接聚集算法越来越受到人们关注。Map-Reduce作为云计算的核心模式受限于其扁平化的串行扫描操作模型,常被用来加速非索引的空间连接操作,现有工作尚无将Map-Reduce和R-树索引结合来处理空间连接聚集。因此,提出了基于R-树索引的Map-Reduce空间连接聚集算法(RSJA-MR)来更高效地返回连接聚集结果。提出一种分布式R-树索引结构以支持大规模空间数据的索引,RSJA-MR算法利用分布式R-树生成任务集,任务集的执行满足无依赖并行计算模式,很容易在Map-Reduce框架中进行表达。文中提出一种实时缓存策略以支持索引并发访问。实验结果表明:相比非索引的Map-Reduce连接聚集算法,在空间交叠连接聚集查询上,时间性能最少提升8%,在空间包含连接聚集查询上,时间性能最少提升近35%。     

关于算子方程Tx=y扰动分析的一些结果

在Banach空间中给出了一种相容算子方程解的误差估计 ,推广了矩阵扰动分析中的相应结果 .此外 ,利用Hilbert空间中算子M -P广义逆与算子的约化极小模之间的关系 ,给出了一些估计式 ,这些估计式对于分析不相容算子方程Tx =y的极小范数最小二乘解的扰动误差是有用的     

分布式智能防御系统

分布式智能防御系统是由IBM公司开发的一种原型研究试验台,以研究用于航空电子设备的实时多路通讯专家系统。至今实现的具体应用是模拟一种直升飞机防御系统。正在进行的有几种形式,其中之一是基于 Prolog语言,在PC机互相连接的局部网络中实现。本文论述该项应用,各种试验台的实现,结果评估,结论和未来的工作计划。     

基于数据补偿的雷达系统误差估计

建立了多雷达情况下的系统误差观测模型,分析了系统的可观测度,得出系统可观测度和观测数据的空间分布有关的结论.在此基础上,通过数据补偿的方法,产生一个使系统可观测度较大的补偿观测集,用于误差估计.仿真结果显示,使用补偿观测集估计雷达的系统误差,能够获得更优越的估计性能.     

椭圆型方程 Galerkin方法的研究

本文考察一类二阶椭圆型方程的Galerkin方法,首先,借助于(-Δ)~(-1),将方法置于算子框架中,然后,应用算子方程的近似理论,研究了方法的收敛性,如同往常那样,有限元近似的误差估计是同时,得到了Aubin-Nitsche技巧的一种易于应用的形式(定理2)。文献[1]及[2]中的方法和文献[3]及[5]中的一些结果得到了推广。     

结合像素局部对比度的直线特征检测算法

鲁棒高效的直线提取算法在空间目标位姿估计、跟踪、骨架重建等领域有广泛的应用。提出基于像素局部对比度和全局虚警抑制的直线段检测算法。算法分为四步:第一步,计算像素点的梯度以及局部对比度;第二步,将方向大致相同的像素点分成直线支撑区域(像素方向为像素梯度方向的顺时针垂直方向),并对支撑区域进行矩形近似;第三步,在直线支撑区域内拟合直线段,计算直线参数;第四步,根据直线支撑区域信息验证直线段,抑制虚警。实验测试结果表明:该算法在复杂条件下,特别是光照影响条件下,具有更好的鲁棒性和效率。     

变结构多模型估计第Ⅱ部分——模型集合自适应

变结构多模型(VSMM)估计的一个重要、自然和实用的方法是递归自适应模型集(RAMS)方法。此方法的关键是在理论上和实践上都具有挑战性的模型集自适应(MSA)。本文在理论上对MSA进行了研究。根据假设检验,阐明了MSA的各种典型问题,而这些假设一般是复合的,N元的,多变量的,更糟糕的是,不一定不相交。给出了一定数量的序列方案,这些方案在计算上都是高效的,容易实现的,并具有一些令人满意的最优特性。这些结果构成了建立性能良好,通用和实用的MSA算法的理论基础。在这里给出的理论结果已经应用于这系列后续部分的几种RAMS算法,这些算法都是应用广泛,容易实现并且明显优于当前的最佳固定结构多模型估计器。同时,它们对于变结构和固定结构多模型估计器的模型集对比、选择和设计都很重要。     

基于局部敏感哈希算法和神经网络学习的跨媒体检索方法

为了提高跨媒体检索的效率,可行的方法是降低数据集中不相关内容的比例。采用局部敏感哈希算法将图像数据映射到汉明空间并利用神经网络学习将文本数据映射到汉明空间的哈希函数,提出一种可以显著提高数据集中相关文件比例的高效跨媒体检索方法。实验结果表明,提出的方法能够有效去除数据集中的不相关内容,相对于已有的跨媒体检索方法,其有效提高了检索效率与准确率。     

基于历史轨迹的城市出租车移动概率模型

对出租车的移动轨迹进行建模分析是重要的研究内容,模型需要反应节点的移动状态信息,支持用户能够对移动出租车节点进行快速查询与搜索。本文针对无法在线实时获取移动出租车实时状态信息的条件下,根据对历史轨迹信息的处理分析,提出将隐马尔科夫理论应用到城市出租车移动轨迹模型中,通过实际数据的分析建立出租车运动模型,通过对模型的计算来预测节点的位置分布概率,并在此模型上针对不同的用户需求进行查询处理,为用户提供搭车路线决策支持。通过利用真实数据集的实验证明,本文提出的方法能够较好的模拟出出租车节点的运动状态,用户也能够从模型中获取较高精度的位置状态信息。     

一种新的足球视频语义镜头表示及事件查询框架

提出了一个足球视频中的语义镜头表示及事件查询框架.在这个框架中,定义了不同的语义镜头,并且每类语义镜头都可以由五个特征属性所刻画.在语义镜头定义的基础上,为了弥补传统的事件查询方式的不足,提出了一种用户定义事件的查询方式,它是一种基于语义镜头合成Petri网表示模型的查询方式,可以由用户自由定义所感兴趣的事件Petri网表示结构,实验证明该查询方式能有效提高查询效率,并有很大的灵活性,能适应不同广播公司的转播规则,但该查询方式需要用户具有一定的专业和领域知识.实验数据来源于2006年德国世界杯、英格兰足球超级联赛和西班牙足球甲级联赛.     

对象关系数据库中连接谓词索引技术的研究

讨论了一种适合于对象关系数据库的新型索引结构———连接谓词索引 ,在介绍了谓词索引之后 ,给出了基于该索引结构的连接算法 ,并分析了连接算法的性能 ,提出了根据性能计算来确定关系R和S中谁作为外关系 ,从而降低算法代价的方法 ,特别地 ,本文还把连接谓词索引推广到一般形式 ,可以用于多个关系表的连接     

递归划分的标签约束可达性计算方法

现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法 RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索引大小和构建时间,而且提高了查询效率。     

异构数据源集成系统中能力对象集成模型及代数

异构数据源集成系统中,参与集成各数据源的查询处理能力有自身特殊的限制,导致中介器支持的查询类型变得复杂。提出一种便于异构数据源集成的公共能力对象数据模型———COIM对象模型,在此基础上,进而定义数据源能力对象代数,给出基于局部数据源的能力对象构造集成系统中介器能力对象的方法。由于可以通过计算得到中介器能力对象,用户能够提前预知中介器支持的查询类型,从而直接构造可以执行的查询,减少查询提交的盲目性;同时中介器本身也可像数据源一样参与其它中介器的集成,集成方式变得更为灵活。     

注意力机制量化剪枝优化方法

面向基于注意力机制模型的巨大计算和访存开销问题,研究量化和剪枝协同优化的模型压缩技术,提出针对注意力机制中查询、键、值、概率共四个激活值矩阵的对称线性定点量化方法。同时,提出概率矩阵剪枝方法和渐进式剪枝策略,有效降低剪枝精度损失。在不同数据集上的实验结果表明,针对典型基于注意力机制模型BERT,在较低或者没有精度损失的情况下该优化方法可达到4位或8位定点量化、0.93～0.98的稀疏度,大幅度降低模型计算量,为加速量化稀疏模型的推理奠定良好的基础。     

一种三维小基阵无源声测定向算法

无源声测定向是声学监视技术的重要研究内容。为了实现对低空运动目标的声学监视,提出了一种小基阵定向方法,并用线性回归分析原理导出了定向算法,对定向误差进行了理论分析和数值仿真。不仅适用于随机布阵的三维小基阵情况,也可应用到二维小基阵对声源的定向。理论分析和仿真表明,这种定向算法正确可行,且有较大的实用价值。     

多自治空间数据源的k邻近查询处理

多自治空间数据源的k邻近查询处理在空间信息领域具有广泛的应用。综合分析比较现有的查询处理算法,研究并提出了多自治空间数据源环境下k邻近查询处理框架及其实现算法。实验结果表明,所提出的算法能有效地减少k邻近查询处理系统的数据传输量,减少了系统响应时间。