您的位置： 专家智库 > >

眭聃

作品数：2 被引量：6H指数：1
供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇多AGENT
  • 1篇网模型
  • 1篇PETRI网
  • 1篇PETRI网...
  • 1篇WEB服务组...
  • 1篇MPI
  • 1篇MPI程序
  • 1篇PETRI网
  • 1篇WEB服务

机构

  • 2篇同济大学

作者

  • 2篇王力生
  • 2篇眭聃
  • 1篇何智华
  • 1篇叶青

传媒

  • 1篇计算机应用与...
  • 1篇计算机应用

年份

  • 2篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
多Agent Web服务组合系统的设计被引量：5
2007年
设计一种基于Agora系统平台的Web服务自动组合系统框架。使用主体Agent代表服务请求者和服务提供者,在论证该组合系统的高层模型的基础上,详细定义了不同类别Agent之间的通信和控制原语,并采用IndiGolog解释器和FaCT逻辑推理器等作为主要部件构建出具有逻辑推理能力的辅助Agora节点。实现了采用状态演算作为主要规划技术的服务组合系统。
王力生眭聃何智华
关键词：多AGENTWEB服务组合
MPI程序的Petri网模型及其验证被引量：1
2007年
利用PVM程序中抽取Petri网的方法实现了MPI程序的部分功能语句的Petri网抽象,并分别针对MPI-1和MPI-2在通信方式上的新特性给出对应的Petri网模型抽象方法,使利用Pertri网模型对MPI程序正确性进行理论验证成为可能。
眭聃王力生叶青
关键词：MPIPETRI网
全选 清除 导出
共1页<1>
聚类工具0