一类扩展的动态描述逻辑

下载全文  总被引：4，自引：0，他引：4

作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻辑的相关研究,一方面,对动态描述逻辑中动作的语义重新进行定义,将每个动作解释为由关于可能世界的序列组成的集合;另一方面,在动态描述逻辑中引入动作过程断言,用来对动作的执行过程加以刻画.在此基础上提出一类扩展的动态描述逻辑EDDL(X),其中的X表示从ALC(attributive language with complements)到SHOIN(D)等具有不同描述能力的描述逻辑.以X为描述逻辑ALCQO(attributive language with complements,qualified number restrictions and nominals)的情况为例,给出了EDDL(ALCQO)的表判定算法,并证明了算法的可终止性、可靠性和完备性.EDDL(X)可以从动作执行过程和动作执行结果两个方面对动作进行全面的刻画和推理,为语义Web服务的建模和推理提供了进一步的逻辑支持.… …   相似文献

常亮  史忠植  陈立民  牛温佳 《软件学报》2010,21(1):1-13

局部图像描述符最新研究进展

下载全文  总被引：2，自引：2，他引：2

目的 局部图像描述符广泛应用于许多图像理解和计算机视觉应用领域,如图像分类、目标识别、图像检索、机器人导航、纹理分类等。SIFT算法的提出标志着现代局部图像描述符研究的开始。主要对最近发展的现代局部图像描述符进行了综述。方法 首先,介绍了4大类局部图像描述符:局部特征空间分布描述符、局部特征空间关联描述符、基于机器学习的局部描述符、扩展局部描述符(局部颜色描述符、局部RGB-D描述符、局部空时描述符)。对局部图像描述符进行了分析和分类,并总结了局部图像描述符的不变性、计算复杂度、应用领域、评价方法和评价数据集。最后,展望了局部图像描述符的未来研究方向。结果 近年来局部图像描述符研究取得了很大进展,提出了很多优秀的描述符,在辨别性、鲁棒性和实时性方面有了很大提高,应用领域不断拓展。结论 局部图像描述符应用广泛,是计算机视觉领域的重要基础研究。而目前,局部图像描述符还存在许多问题,还需进一步的深入研究。… …   相似文献

许允喜  陈方 《中国图象图形学报》2015,20(9):1133-1150

一种支持细粒度并行的SDN虚拟化编程框架

下载全文  

软件定义网络(software defined network,简称SDN)通过集中式的控制器提高了网络的可编程性,成为近年来网络领域非常热门的话题。以Openflow网络为代表的软件定义网络将逻辑控制与数据转发相隔离,为网络虚拟化技术提供了良好的平台。集中式的抽象与控制使得SD… …   相似文献

宋平  刘轶  刘驰  张晶晶  钱德沛  郝沁汾 《软件学报》2014,25(10):2220-2234

基于Web用户浏览行为的统计异常检测

下载全文  总被引：16，自引：1，他引：16

提出一种基于Web用户访问行为的异常检测方案,用于检测应用层上的分布式拒绝服务攻击,并以具有非稳态流特性的大型活动网站为例,进行应用研究.根据Web页面的超文本链接特征和网络中各级Web代理对用户请求的响应作用,用隐半马尔可夫模型来描述服务器端观测到的正常Web用户的访问行为,并… …   相似文献

谢逸  余顺争 《软件学报》2007,18(4):967-977

人眼视觉感知特性的非下采样Contourlet变换域多聚焦图像融合

下载全文  

目的针对传统的单特征融合方法不足以衡量像素清晰度的问题,同时综合考虑非下采样Contourlet变换(NSCT)系数特点及人眼视觉感知特性,提出一种基于NSCT的多聚焦图像融合方法。方法首先对来自同一场景待融合的源图像进行NSCT变换;然后对低频分量采用基于局部可见度、局部视觉特… …   相似文献

杨勇  郑文娟  黄淑英  方志军  袁非牛 《中国图象图形学报》2014,19(3):447-455

基于Unity3D的虚拟漫游系统

下载全文  总被引：5，自引：4，他引：1

  相似文献

朱惠娟 《计算机系统应用》2012,21(10):36-39,65

基于MapReduce框架的海量数据相似性连接研究进展

  

海量数据相似性连接作为海量数据处理的基本操作,在文本聚类、剽窃检测、实体解析等研究领域具有重要作用.另一方面,MapReduce编程模型因为具有良好的可扩放性、容错性和易用性,被广泛地应用于海量数据处理.因此,基于MapReduce框架的海量数据相似性连接查询技术成为海量数据处理… …   相似文献

庞俊  于戈  许嘉  谷峪 《计算机科学》2015,42(1):1-5,27

环境资源动态监测与评估系统

下载全文  

针对新疆喀什地区开展环境资源监测和变化研究的需求,基于ArcEngine组件和丰富的功能类,通过有序的空间分析操作组合,afr格式的“虚拟栅格”作为影像波段运算的良好媒介,结合多线程并发技术,构建了一个订单式快速简单实现环境资源动态监测与评估的系统．对系统的总体设计和核心功能设计… …   相似文献

黄彰  蔺启忠  王钦军  陈玉  丁海峰  肖磉  张医钦 《计算机系统应用》2014,23(10):24-32

强动态Ad Hoc网的拥塞控制:价格协作和滚动优化

下载全文  总被引：1，自引：1，他引：1

Ad Hoc网络存在着无线多跳连接、节点移动这两个本质的特点.前者引起了与固定网络截然不同的信息流竞争新特点,后者导致了网络状态不断发生变化.首先,在采用链路干扰集描述信息流竞争特点的基础上,将小时间段内网络状态不变的拥塞控制问题表达成非线性优化问题;其次,运用基于对偶分解理论的… …   相似文献

徐伟强  吴铁军  汪亚明  张云华  陈积明 《软件学报》2008,19(9):2389-2402

基于不确定性信息融合的高密度椒盐噪声降噪方法

  

为解决高密度椒盐噪声滤除与细节保护之间的矛盾,提出一种基于不确定性信息融合的中智灰滤波算法.该算法包括两个阶段:噪声检测和噪声恢复.在检测阶段,为提高噪声检测准确率,首先利用Max-Min算法进行初测,然后利用极值压缩灰色关联度与顺序不确定性的融合信息进行二次判断.在噪声恢复阶段… …   相似文献

齐现英  刘伯强  徐建伟 《电子学报》2016,44(4):878-885