一类扩展的动态描述逻辑

下载全文  总被引：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

J2EE多层体系结构及在教育信息平台中的应用

  总被引：14，自引：1，他引：14

J2EE为开发和部署多层体系结构的应用提供了企业级的计算模型和运行环境。它通过提供企业计算环境所必需的各种服务,使得部署在J2EE平台上的多层应用能够实现高可用性、安全性、可扩展性和可靠性。对J2EE新增技术作了简要介绍,并对J2EE的多层体系结构的基本特点进行了分析,根据J2E… …   相似文献

郭涛 《计算机应用研究》2004,21(6):209-211

多目标微粒群优化算法及其应用研究进展*

  总被引：2，自引：0，他引：2

多目标微粒群优化(MOPSO)算法是一类基于群体智能的新型全局多目标优化方法,已受到广泛关注,并在许多领域得到应用。针对近几年来MOPSO算法及其应用的进展进行了综述和评论。首先描述了MOPSO算法的基本框架;接着对MOPSO算法进行了分类和分析,并给出了MOPSO算法的一些改进… …   相似文献

曾劲涛  李金忠  唐卫东  夏洁武  刘新明  王博 《计算机应用研究》2011,28(4):1225-1231

针对模板生成网页的一种数据自动抽取方法

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

当前,Web上的很多网页是动态生成的,网站根据请求从后台数据库中选取数据并嵌入到通用的模板中,例如电子商务网站的商品描述网页.研究如何从这类由模板生成的网页中检测出其背后的模板,并将嵌入的数据(例如商品名称、价格等等)自动地抽取出来.给出了模板检测问题的形式化描述,并深入分析模板… …   相似文献

杨少华  林海略  韩燕波 《软件学报》2008,19(2):209-223

一种新型的网络包公平调度算法的研究*

  

针对现有分组轮转法的局限,提出一种新的分组策略——虚拟权重队列分组策略。在这个新的分组策略的基础上,结合DRR和WF2Q,提出了虚拟权重队列分组轮转法。仿真实验表明,虚拟权重队列分组轮转调度算法比现有的分组轮转法拥有更好的延时性能和公平性能。  相似文献

钟琳华  吴志美  郑重  王显雷  江何 《计算机应用研究》2008,25(4):1178-1180

数据收集传感器网络的负载平衡网络构建方法

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

传感器网络所具有的集中式数据收集、多跳数据传输、多对一流量模式这3种特征会造成漏斗效应的出现,这会导致严重的包碰撞、网络拥塞、包丢失,甚至拥塞崩溃,还会导致能量消耗的热点的出现,使某些节点甚至整个网络过早死亡.负载平衡技术能够有效缓解漏斗效应的产生.针对静态数据收集传感器网络,基… …   相似文献

张重庆  李明禄  伍民友 《软件学报》2007,18(5):1110-1121

基于C8051F040的数据传输嵌入式系统开发

下载全文  

为了解决嵌入式设备与计算机不能直接互联通信或者通信距离短的问题,基于C8051F040单片机和高速UART串行端口及其内置CAN控制器,开发一套适合多种总线接口配置要求的通用数据传输嵌入式系统。该系统具有总线接口配置灵活、数据及事物处理能力强等特点,具有一定的通用性。本系统已成功… …   相似文献

刘敬彪  艾勇福  盛庆华 《计算机系统应用》2010,19(4):116-119

一种基于正态分布交叉的ε-MOEA

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

实数编码的多目标进化算法常使用模拟二进制交叉(simulated binary crossover,简称SBX)算子.通过对SBX以及进化策略中变异算子进行对比分析,并引入进化策略中的离散重组算子,提出了一种正态分布交叉(normal distribution crossover… …   相似文献

张敏  罗文坚  王煦法 《软件学报》2009,20(2):305-314

XML查询优化研究

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

XML已经成为网络上信息描述和信息交换的标准.由于网络上信息的本质特性和XML数据内在的灵活性,很多用XML编码的数据都是半结构化的.随着XML应用得越来越广泛,人们提出了多种XML数据的存储模型.与此同时,XML的查询优化也是数据库领域研究的一个重要课题.综合论述了XML数据查… …   相似文献

孟小峰  王宇  王小锋 《软件学报》2006,17(10):2069-2086

GPU 上计算流体力学的加速

  总被引：1，自引：0，他引：1

本文将计算流体力学中的可压缩的纳维叶-斯托克斯(Navier-Stokes),不可压缩的Navier-Stokes和欧拉(Euler)方程移植到NVIDIA GPU上.模拟了3个测试例子,2维的黎曼问题,方腔流问题和RAE2822型的机翼绕流.相比于CPU,我们在GPU平台上最高… …   相似文献

董廷星  李新亮  李森  迟学斌 《计算机系统应用》2011,20(1):104-109

一种分布式无线传感器网络跨层移动通信技术研究

  

针对无线多媒体传感器网络对带宽和实时性等的高要求,建立了一种基于能量优化和跨层协同交互的分布式多路径路由技术,并应用于移动通信领域。该技术采用了遗传算法优化节点传输多媒体数据能耗,建立节点剩余能量预测模型,根据感知能量建立跨层协同工作体系,以较小代价在动态无线网络拓扑中选择最优路… …   相似文献

阴国富 《计算机应用研究》2012,29(9):3441-3443

事件触发并发数据流模型

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

DHDF(动态纯数据流)是许多图形化编程平台的核心.由于它的自然属性(数据驱动)与操作系统事件驱动模型不能很好地结合,导致了两个明显的不足:运行效率低,CPU占用率高;对外部事件响应速度慢,系统实时性差.提出了一种ECDF(事件触发并发数据流)模型,并给出了该模型的文法描述以及调… …   相似文献

王瑞荣  汪乐宇 《软件学报》2003,14(3):409-414

基于扩展生成语言模型的图像自动标注方法

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

使用最大权匹配算法,结合统计平滑技术,提出图像区域特征生成概率估计方法,并进一步对训练集中标注词之间的语义相关性(correlation)进行分析与度量,给出一种基于生成模型的图像标注算法.算法使用所提出的基于最大权匹配的图像生成概率估计方法得到较好的起始点,进而设计启发式迭代函… …   相似文献

王梅  周向东  张军旗  许红涛  施伯乐 《软件学报》2008,19(9):2449-2460

基于角色建模的从分析到设计的规约结构

  总被引：1，自引：0，他引：1

针对UML Use Case法在软件模式应用中出现的一些不尽人意的地方,提出在分析阶段即使用软件模式,引入了Role模式,并把它作为从分析阶段至类图设计阶段的中介,并提出了展望。  相似文献

文斌  刘长青  毛晓光 《计算机应用研究》2005,22(1):207-210

引入关联缺陷的软件可靠性评估模型

  总被引：1，自引：0，他引：1

关联缺陷的存在很大程度上是由于缺陷的检测能力被其他缺陷所屏蔽,它不仅影响软件测试结果,还扭曲了软件可靠性评估模型的评估结果.从软件缺陷的自身角度来分析软件检测以及可靠性评估失效的原因,对关联缺陷进行了详细分析.为了在软件可靠性评估时获得更符合实际缺陷数量的预测值,将广义关联应用于… …   相似文献

徐高潮  刘新忠  胡亮  付晓东  董玉双 《软件学报》2011,22(3):439-450

基于SVD和LDA的人脸识别方法*

  

提出了一种基于奇异值分解与改进的LDA相结合的人脸识别方法。首先利用奇异值分解方法获得图像的有效特征;然后经过改进的LDA处理,这样不仅可以有效降低维数,而且使抽取特征的判别能力得到了有效增强;最后对压缩后的特征向量进行排序,将排序后的特征送入BP网络进行识别。实验结果表明,该方… …   相似文献

郝红卫  张蕾 《计算机应用研究》2007,24(12):377-378

基于方差的CHI特征选择方法*

  总被引：1，自引：0，他引：1

通过分析特征词与类别间的相关性,在原有的卡方特征选择的方法上增加三个调节参数,使选出的特征词集中分布在某一类,且在某一类中尽可能地均匀分布,并使特征词在某一类中出现的次数尽可能地多。通过实验对比改进前后的卡方特征选择方法,基于方差的卡方统计(Var-CHI)方法使得查全率和查准率… …   相似文献

邱云飞  王威  刘大有  邵良杉 《计算机应用研究》2012,29(4):1304-1306

一种基于定点DSP的YCbCr到HSV的快速转换算法*

  总被引：1，自引：0，他引：1

通过分析YCbCr到RGB以及RGB到HSV之间转换的算法,提出一种YCbCr空间转换到HSV空间的快速算法。在该算法中分别使用了移位运算和查表法代替了浮点乘法运算,从而显著提高了算法在DSP上的运行速度。另外,转换时Y分量不再参与计算,从而进一步降低了运算复杂度。最后实验证明,… …   相似文献

刘一方  刘兆广  王娅芳  何晨  杨阳 《计算机应用研究》2012,29(2):741-743

DDOS攻击检测和防御模型

  总被引：11，自引：1，他引：11

提出了基于聚集和协议分析防御分布式拒绝服务攻击(aggregate-based protocol analysis anti-DDoS,简称APA-ANTI-DdoS)模型来检测和防御DDoS攻击.APA-ANTI-DDoS模型包括异常流量聚集、协议分析和流量处理.异常流量聚积把… …   相似文献

孙知信  姜举良  焦琳 《软件学报》2007,18(9):2245-2258

Peer-to-Peer环境下多粒度Trust模型构造

下载全文  总被引：36，自引：3，他引：36

信任是多方面的,在不同的应用场景中,同一节点在不同领域具有不同的可信度.现有信任模型粒度过于粗糙,不能很好地解决同一Peer节点在不同领域、不同方面的可信度计算问题.据此,提出一种新的Peer-to-Peef环境下的多粒度信任模型,并给出该模型的数值分析和分布式实现方法.分析及仿… …   相似文献

张骞  张霞  文学志  刘积仁  Ting Shan 《软件学报》2006,17(1):96-107