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

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

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

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

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

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

自动特征选择和加权的图像显著区域检测

视觉显著性度量是图像显著区域提取中的一个关键问题,现有的方法主要根据图像的底层视觉特征,构造相应的显著图。不同的特征对视觉显著性的贡献是不同的,为此提出一种能够自动进行特征选择和加权的图像显著区域检测方法。提取图像的亮度、颜色和方向等特征,构造相应的特征显著图。提出一种新的特征融合策略,动态计算各特征显著图的权值,整合得到最终的显著图,检测出图像中的显著区域。在多幅自然图像上进行实验,实验结果表明,该方法在运算速度和检测效果方面都取得了不错的效果。     

直推式支持向量机在Web信息抽取中的应用研究

直推式支持向量机是一种直接从已知样本出发对特定的未知样本进行识别的分类技术。在分析直推式支持向量机分类原理的基础上,提出一种基于直推式支持向量机的Web信息抽取方法,直接从分类的角度抽取Web信息。只需要提供少量标记样本就可以实现对大量未标注样本的分类标注,从而以分类的方式完成Web数据抽取任务。实验结果表明,使用这种方法进行Web信息抽取是有效性。     

基于ArcGIS平台的厂区地下管网空间分析

针对大型厂区地下管网规模庞大复杂且难以管理的问题,采用了一种基于ArcGIS平台的C/S+B/S混合开发模式。把传统地理信息系统客户端管网空间分析功能提至服务器端处理,在B/S端采用碰撞检测算法对管网进行碰撞分析,同时采用高效的线性内插法计算断面分析中所需的交点高程数据。系统上线运行结果表明,该系统能够更好地对原本不可见的地下管网进行有效的空间分析,从而实现对厂区地下管网的数字化管理。     

流程运行合规性的监控平台设计与实现

面对越来越多法律法规、行业规范要求业务过程、操作和活动必须满足业务环境所定义的规则的需要,本文遵循软件开发生命周期理论,运用前后端分离开发方法,实现了一致性及合规性监控平台。该平台包含分布式流处理计算一致性监控平台和业务过程合规性监控平台,为用户提供从建模设计、模型解析、模型部署、模型运行时操作、运行时状态管理以及运行时历史管理等一站式操作,简便了用户开发,降低了用户对业务过程一致性和合规性监控的难度。     

面向服务软件的网络拓扑表示方法

主要研究了面向服务软件的网络拓扑知识表示问题.首先通过分析OWL-s中服务轮廓和服务模型的定义,研究了Web服务的属性及Web服务之间的主要逻辑关系;而后,提出了面向服务软件的拓扑知识表示方法,运用属性关系图(ARG)来描述面向服务软件的结构;最后,用一个实例说明了该方法的可行性.通过该实例可以看出,该拓扑表示方法可以准确描述服务间存在的多种关系类型及服务本身的各种属性,为进一步研究面向服务软件的结构特性打下基础.     

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

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

并行程序验证的调度策略

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