您的位置: 专家智库 > >

江苏省自然科学基金(BK2006168)

作品数:6 被引量:25H指数:3
相关作者:王志坚程永上周晓峰沈祖诒王晓峻更多>>
相关机构:河海大学国电南瑞科技股份有限公司南京邮电大学更多>>
发文基金:江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 6篇期刊文章
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇WEB服务
  • 2篇领域本体
  • 2篇本体
  • 2篇WEB服务组...
  • 2篇PETRI网
  • 1篇对等计算
  • 1篇形式化
  • 1篇形式化描述
  • 1篇一致性
  • 1篇异构
  • 1篇语义
  • 1篇语义WEB服...
  • 1篇语义一致性
  • 1篇能量异构
  • 1篇自适
  • 1篇自适应
  • 1篇网络
  • 1篇无线传感
  • 1篇无线传感网
  • 1篇无线传感网络

机构

  • 7篇河海大学
  • 1篇南京邮电大学
  • 1篇国电南瑞科技...

作者

  • 6篇王志坚
  • 3篇程永上
  • 2篇许国艳
  • 2篇周晓峰
  • 1篇王晓峻
  • 1篇王宇
  • 1篇沈祖诒
  • 1篇毛莺池
  • 1篇王从明
  • 1篇粱奕
  • 1篇黄晓萍
  • 1篇徐经纬

传媒

  • 3篇计算机科学
  • 1篇计算机集成制...
  • 1篇计算机工程
  • 1篇微电子学与计...
  • 1篇2008年全...

年份

  • 2篇2009
  • 5篇2008
6 条 记 录,以下是 1-7
排序方式:
基于主动服务的领域数据集成研究
在分析SOA架构的基础上,提出了基于主动服务的领域数据集成平台框架.框架按照协定定制基于用户需求的集成数据资源,然后通过事件触发机制主动提供给用户.通过框架在水务领域数据集成和主动共享中的应用,表明框架可以在领域单位内部...
许国艳王志坚
关键词:领域本体
文献传递
基于水利信息网络的对等计算平台
2008年
我国水利行业对计算力需求不断增加,该文利用P2P技术汇聚PC的空闲CPU资源,来提供低成本的高计算力。针对水利信息网络的现状,以XtremWeb计算平台为基础,构造了基于广域网和局域网的两层XtremWeb网络,并采用多服务窗排队理论进行建模和分析,得到模型的相关参数。给出洪水淹没范围计算的具体实例,采用XtremWeb网络进行实验。实验结果表明,随着Worker数量的增加,实际计算耗时快速下降,系统吞吐量接近线性增长。
王从明王志坚王宇黄晓萍程永上
关键词:对等计算
Web服务组合语义一致性验证研究被引量:3
2009年
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。
王志坚程永上徐经纬
关键词:WEB服务组合语义PETRI网一致性服务质量
基于主动服务的领域数据集成研究被引量:2
2008年
在分析SOA架构的基础上,提出了基于主动服务的领域数据集成平台框架.框架按照协定定制基于用户需求的集成数据资源,然后通过事件触发机制主动提供给用户.通过框架在水务领域数据集成和主动共享中的应用,表明框架可以在领域单位内部或单位之间有效地集成数据,可以实现定制数据的主动共享.框架可复用性强,扩展性好,具有良好的可集成性和主动性.
许国艳王志坚
关键词:领域本体
一种能量异构自适应的无线传感网络覆盖控制协议被引量:6
2009年
网络感知覆盖和能量消耗是无线传感器网络的两个核心问题,两者密切相关。网络覆盖决定了无线传感器网络对物理世界的监测能力,反映了网络所能提供的"感知"服务质量,能量消耗则决定了无线传感器网络的生存时间。提出了一种节点能量异构自适应的无线传感网络覆盖控制协议HEAP(a Heterogeneous Energy Adaptive control coverage Protocol),HEAP采用基于节点分层成簇的思想,根据节点邻居平均能量与自身剩余能量等参数竞选活动节点。理论分析与模拟实验表明,HEAP协议不但能够提供高质量的网络覆盖率,而且可以有效地适应于节点能量异构的网络应用场景,并且减少活动节点选取过程中的控制消息开销。
毛莺池粱奕周晓峰
关键词:无线传感网络能量异构
语义Web服务组合的形式化描述与验证研究被引量:6
2008年
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务。然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法。最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模。
程永上王志坚
关键词:WEB服务WEB服务组合PETRI网
基于PKI/PMI的Web服务安全框架被引量:8
2008年
Web services的安全性是影响其能否被广泛应用的关键因素之一。目前,Web services的安全性研究主要集中在对XML的扩充和制定Web services安全规范方面,但是这些规范仅描述了安全模型的框架,实用性较差。本文利用PKI/PMI技术,在不需要改变现有Web services协议的基础上,提出了一个基于PKI/PMI的Web服务安全框架,并给出了服务授权和访问控制的算法。
王晓峻周晓峰王志坚沈祖诒
关键词:SERVICESPKIPMI访问控制
共1页<1>
聚类工具0