您的位置： 专家智库 > >

方海

作品数：3 被引量：10H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇进程代数
  • 1篇互模拟
  • 1篇计算机
  • 1篇符号迁移图
  • 1篇Π-演算
  • 1篇Π演算
  • 1篇传值进程

机构

  • 3篇中国科学院软...

作者

  • 3篇方海
  • 2篇林惠民
  • 2篇许文

传媒

  • 1篇计算机研究与...
  • 1篇软件学报

年份

  • 1篇2001
  • 2篇2000
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
带赋值符号迁移图的局部优化算法被引量：3
2000年
带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ 上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ 的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ 上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响．文中介绍了ＳＴＧＡ 上的一组局部优化算法，证明其正确性，并通过应用实例说明对提高效率的作用．
方海许文林惠民
关键词：传值进程符号迁移图
π-演算互模拟判定算法的优化和实现被引量：6
2001年
π-演算采用互模拟作为进程等价的准则 .对有限状态的 π-演算进程互模拟等价是可判定的 ,由此提出了互模拟检测算法的一种优化技术 .该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字 .通过实例说明这一优化技术可大大减少所用的时间和空间 ,并证明了优化算法的正确性 .
许文方海林惠民
关键词：进程代数Π-演算互模拟计算机
π演算模型检测系统的设计与实现
模型检测技术的最大障碍是状态爆炸问题-系统的状态数会随着系统的变元(包括相互作用的子系统以及值域杂的数据结构)数呈指数增长.由于这一问题关系到模型检测技术在实际应用中能够处理的问题规模,因上寻找高效能行的算法已成为该领域...
方海
关键词：形式化方法Π演算
文献传递
全选 清除 导出
共1页<1>
聚类工具0