您的位置： 专家智库 > >

中国科学院研究生院院长基金(O85101JM03)

作品数：4 被引量：16H指数：3
相关作者：王文杰史忠植万长林韩旭牛温佳更多>>
相关机构：中国科学院中国科学院研究生院燕山大学更多>>
发文基金：中国科学院研究生院院长基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 2篇动态描述逻辑
  • 2篇描述逻辑
  • 1篇信任
  • 1篇信任模型
  • 1篇信任评估
  • 1篇语义WEB
  • 1篇语义WEB服...
  • 1篇设计方法
  • 1篇自动服务组合
  • 1篇网构软件
  • 1篇故障诊断
  • 1篇多主体
  • 1篇多主体系统
  • 1篇分治算法
  • 1篇服务质量

机构

  • 4篇中国科学院
  • 4篇中国科学院研...
  • 1篇燕山大学

作者

  • 4篇史忠植
  • 4篇王文杰
  • 2篇万长林
  • 1篇王竹晓
  • 1篇陈立民
  • 1篇王晓峰
  • 1篇杨兴华
  • 1篇牛温佳
  • 1篇张大鹏
  • 1篇韩旭

传媒

  • 2篇电子学报
  • 1篇计算机应用
  • 1篇智能系统学报

年份

  • 1篇2011
  • 2篇2010
  • 1篇2009
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
语义Web服务组合中的服务建模及规划算法被引量：3
2009年
Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.
万长林陈立民王竹晓王文杰史忠植
关键词：语义WEB动态描述逻辑自动服务组合
一种基于主体的可信网构软件设计方法被引量：4
2010年
本文提出了一种基于主体的网构软件设计方法ABDPI,该方法对传统的多主体系统设计方法进行了扩展,支持网构软件的分析、设计、实现和部署等各个阶段.该方法建立了一个通用的信任模型来描述网构软件中各个软件实体间的信任关系,并通过定制灵活的信任评价反馈策略来体现信任值的动态变化;该方法还使用有限状态自动机对网构软件中软件实体的正常行为和故障行为进行建模,并通过动态描述逻辑DDL加以描述,在网构软件运行的时候能够通过系统观测和DDL推理机动态地诊断出故障;结合具体的案例对网构软件系统的设计过程给出详细的介绍.
张大鹏王文杰史忠植
关键词：网构软件信任模型故障诊断
基于社区发现的多主体信任评估被引量：1
2011年
为了解决多主体系统(MAS)的开放性、动态性和不确定性所带来的主体信任问题,提出一种基于社区发现的信任评估方法。首先使用G-N算法(GIRVAN M,NEWMAN M E J.Community structure in social and biologicalnetworks.Proceedings of the National Academy of Sciences of the United States of America,2002,99(12):7821-7826)发现系统中的社区结构;然后根据推荐主体的推荐信任分别计算被评估主体的社区内部、外部声誉,进而结合直接信任形成主体的综合信任度;最后根据协作反馈实现主体信任度的动态调整。仿真实验结果表明,基于社区发现的信任评估方法能有效评估主体信任度,通过引入反馈机制能进一步提高交互成功率。
杨兴华王文杰王晓峰史忠植
关键词：多主体系统信任
基于动态描述逻辑的服务组合及质量模型被引量：8
2010年
本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于该框架,本文给出了一个支持非线性QoS聚合和显式数据流声明的QoS模型.得益于合理的服务组合框架和QoS模型,本文提出的服务选择方法可以将复杂服务分解为较小的服务,然后分别用递归的剪枝算法求解.实验显示该方法是有效的,不但可适应候选Web服务数量较大的情况,且相对于现有方法能更好地处理服务组合中的复杂结构.
万长林韩旭牛温佳王文杰史忠植
关键词：服务质量动态描述逻辑分治算法
全选 清除 导出
共1页<1>
聚类工具0