您的位置： 专家智库 > >

湖南省教育厅科研基金(10C0152)

作品数：2 被引量：3H指数：1
相关作者：张洁裴芳郝丽波更多>>
相关机构：湖南机电职业技术学院更多>>
发文基金：湖南省教育厅科研基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇多AGENT...
  • 1篇形式化
  • 1篇形式化规范
  • 1篇形态分析
  • 1篇Z语言
  • 1篇HOARE逻...
  • 1篇多AGENT...
  • 1篇Z

机构

  • 2篇湖南机电职业...

作者

  • 2篇郝丽波
  • 2篇裴芳
  • 2篇张洁

传媒

  • 2篇火力与指挥控...

年份

  • 2篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Z形式化规范的多Agent协作模型研究被引量：3
2012年
用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。
裴芳张洁郝丽波
关键词：Z语言形式化规范多AGENT系统
基于分离逻辑的程序分析技术
2012年
分离逻辑是John C Reynolds和Peter O'Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。
裴芳刘云龙张洁郝丽波
关键词：HOARE逻辑形态分析
全选 清除 导出
共1页<1>
聚类工具0