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

经典的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及通信代价,提高查询效率的方法,这个     

并行程序验证的调度策略

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

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

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

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

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