并行数据仓库Para Ware系统的查询优化

1.引言数据仓库作为支持OLAP应用的系统,它所面对的数据往往都具有很大的规模。如何快速地得到查询结果,一直是人们研究的一个重要方向。在已有的研究中,已经相继提出了使用实体化视图和各种有效的索引技术来提高查询响应性能。使用实体化视图是通过数据的冗余存储,对于常用的聚集数据进行预计算,使用预计算结果响应用户查询。而索引技术也主要是应用在存储层上的,如在文[4]中提到在存储层中使用bitmap索引提取相关数据的方法。而在查询处理逻辑层次上的优化技术目前研究得还比较少。在文[3]中提到了使用缓存技术,减少磁盘I/O及通信代价,提高查询效率的方法,这个     

并行程序验证的调度策略

针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。     

机器学习下随机森林算法在电网故障分析指挥系统中的应用

针对电网系统的故障问题,在Weka语言软件上对随机森林算法为核心的电网故障分析系统模型进行实例分析。同时将随机森林算法与决策树(decision tree)算法、神经网络算法(Neural Network Algorithm, NNA)以及支持向量机(Support Vector Machines, SVM)的预测准确率进行对比,验证随机森林算法的优越性。结果表明,随机森林算法非常适合应用在电网故障分析系统中,在预测准确率方面,故障等级越高预测难度越大,准确率较低,而故障等级越低其故障预测的准确率越高。     

基于卫星云图的三维立体云仿真

真实立体云仿真是计算机图形学中非常实用的研究.为了实时和逼真研究立体云图仿真,提出了一种基于卫星云图的三维立体云仿真方法.首先利用Micaps3.0处理卫星云图,提取二维云图像,然后从二维云图像中提取云的三维信息,并对其进行空间填充,最后通过充分利用GPU硬件加速改进性能,利用改进Billboard算法实现三维立体云仿真.与以往三维云实现方法相比,改进方法实现简单而且十分高效.实验表明,在气象地理信息系统应用中,方法可以获得更加实时、真实三维立体云效果.     

一种自相似网络可靠性分析模型

利用ON/OFF模型产生自相似流量,提出了一种基于排队延迟的自相似网络可靠性分析模型。将节点和到达信息流视为G/M/1/B排队模型,利用大偏差理论得到节点平均排队延迟时间,进而得到网络各种工作状态下全网平均排队延迟时间。再利用延迟阀值得到各种工作状态下的网络可靠性,进一步得到全网可靠性。通过模拟计算,得到了给定拓扑结构网络的可靠性与自相似程度、ON/OFF源数量以及节点缓存大小之间的关系。     

有缺指派下的信念修正逻辑

经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P系统进行了推广,证明了相应的表示定理.     

一种基于动态竞争半径的非均匀分簇路由算法 �

针对一般的无线传感器网络可扩展性较差和能量消耗不均等问题,提出一种基于动态竞争半径的非均匀分簇路由算法(Non-uniform clustering routing protocol based on energy consumption,NCRP).其核心思想是:对LEACH协议的阈值公式加以改进,引入节点与基站之间的距离和节点剩余能量等因素.使靠近基站的节点成为候选簇首的概率稍大于远离基站的节点,从而间接使得靠近基站的区域产生更多的簇首用于转发其他簇首的数据,有效均衡了整个传感器网络能量消耗,在竞争半径的计算中引入继任能量消耗因子和前任能量消耗因子,使得竞争半径更加合理.并在后续轮次利用节点剩余能量选举下一轮候选簇首,减少了选举候选簇首的能量开销.通过与LEACH和EEUC对比,实验结果表明,NCRP能够有效均衡节点间能耗,大大延长整个网络的存活时间.生存时间较LEACH提升了88.42％,较EEUC提升了34.25％.     

气缸内迷宫密封流场特性研究

建立了迷宫式活塞压缩机的迷宫密封数学模型,运用FLUENT软件对其气缸迷宫内的气体流动进行了计算模拟,并对迷宫压缩机活塞与气缸壁间的迷宫流场进行了分析。     

基于Anton Ziolkowski模型气枪震源子波模拟

气枪震源被广泛用于海洋地震勘探中,它是一种重要的人工地震震源。文章简单介绍了自由气泡震荡的理论基础及其相关公式,并根据理论计算,得到了相应的曲线,分析了影响气枪震源的各项参数,实现了基于Anton Ziolkowski模型气枪震源的子波模拟。     

板梁耦合的振动分析

简单形状构件的振动理论较为成熟,但在实际工程中,振动部件的形状较为复杂.需要根据现有的简单形状构件的振动理论通过耦合的方式来进行分析.针对一个机械构件,首先根据其形状,把其简化为板梁耦合结构.而后分别建立板和梁的的振动方程,再通过两者之间的力矩和转角的关系对各自的振动方程进行了修正,获得耦合振动方程.最后分别通过理论分析的仿真和ANSYS仿真对理论分析进行了检验和修正.仿真结果的比较也证明了此理论分析的正确性.通过此分析,提出了一种可行的振动耦合的求解方法.