一类扩展的动态描述逻辑

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

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

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