您的位置： 专家智库 > >

国家高技术研究发展计划(2006AA01Z160)

作品数：5 被引量：5H指数：1
相关作者：王捍贫屈婉玲张立昂凤旺森黄雨更多>>
相关机构：北京大学教育部更多>>
发文基金：国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

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

主题

  • 2篇WEB服务组...
  • 2篇WEB服务
  • 1篇形式化
  • 1篇虚拟主干网
  • 1篇支配
  • 1篇时段演算
  • 1篇同步网
  • 1篇主干网
  • 1篇自组织
  • 1篇自组织网
  • 1篇自组织网络
  • 1篇网络
  • 1篇无线
  • 1篇无线自组织
  • 1篇无线自组织网
  • 1篇无线自组织网...
  • 1篇模型分析
  • 1篇NETS
  • 1篇PETRI
  • 1篇2-连通

机构

  • 5篇北京大学
  • 3篇教育部

作者

  • 5篇王捍贫
  • 3篇屈婉玲
  • 2篇黄雨
  • 2篇凤旺森
  • 2篇张立昂
  • 1篇朱嘉奇
  • 1篇汤传喜
  • 1篇胡文蕙
  • 1篇袁崇义
  • 1篇高昕
  • 1篇梁爱丽
  • 1篇徐春香
  • 1篇陈霄

传媒

  • 2篇计算机研究与...
  • 2篇计算机工程与...
  • 1篇系统仿真学报

年份

  • 1篇2009
  • 3篇2008
  • 1篇2007
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于Petri网的WSCI形式化模型分析
2009年
WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。
黄雨胡文蕙高昕王捍贫
关键词：PETRINETSWEB服务组合
一种新的时段演算及其验证被引量：1
2008年
在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.在某些假设下,也证明了CTL*[k-QDDC]中的某个逻辑运算符的验证问题是NP完全的,这就说明CTL*[k-QDDC]的验证问题至少是NP难的.
梁爱丽朱嘉奇王捍贫屈婉玲
基于同步网的BPEL建模和验证被引量：1
2007年
Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。
徐春香屈婉玲王捍贫黄雨袁崇义
关键词：WEB服务组合BPEL同步网
最大边染色的指数时间算法被引量：1
2008年
最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题——最大边染色问题——提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所有边所染的颜色种数不超过正整数q(q≥2),求使用颜色种数最多的染色方案.然而,他们并没有给出该问题的任何精确算法.提出了几个指数时间的精确算法并分析了它们的复杂度.对完全图可以在多项式时间内找到精确解.
凤旺森张立昂王捍贫汤传喜陈霄
无线自组织网络中构造2-连通k-支配虚拟主干网的近似算法被引量：2
2008年
在无线自组织网络中,经常选取一些节点形成虚拟主干网,用以支持路由和区域监视等任务。由于无线网络自身存在误码率高、易受干扰等弱点,虚拟主干网需要具有一定的容错性。已经有研究者提出使用k-连通k-支配集合在无线自组织网络中构造容错虚拟主干网,并通过模拟实验评估了算法的性能。近年来,WangFeng等人设计了常数近似算法用来构造2-连通虚拟主干网。本文将设计一个常数近似算法用以在无线自组织网络中构造一个2-连通k-支配虚拟主干网。
凤旺森屈婉玲王捍贫张立昂
关键词：无线自组织网络虚拟主干网
全选 清除 导出
共1页<1>
聚类工具0