国家自然科学基金(6017303)
- 作品数：2 被引量：4H指数：1
- 相关作者：穆鸿徐小龙王汝传吴哲辉方欢更多>>
- 相关机构：南京邮电学院安徽理工大学山东科技大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金江苏省高技术研究计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 主体计划的Petri网方法及正确性验证被引量：1
- 2008年
- 主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网系统的可达性分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的正确性进行了形式化的验证,从而为多主体系统的实现提供了保证.
- 方欢吴哲辉
- 关键词：多主体PETRI网同步器
- MAS系统中迁移机制的研究与实现被引量：3
- 2004年
- 该文分析了现有移动代理系统的几种代表性的迁移技术,阐述了在作者设计的移动代理系统 (Mobile Agent System,MAS)中代理迁移机制的具体实现,着重解决了代理的动态路由和与迁移相关 的安全要素的改变,并提出了一种扩展的代理迁移机制,最后给出了应用实例分析。
- 王汝传穆鸿徐小龙
- 关键词：移动代理系统MAS系统动态路由
- 主体计划的Petri网方法及正确性验证
- 主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网...
- 方欢吴哲辉
- 关键词：多主体PETRI网同步器
- 文献传递
