您的位置： 专家智库 > >

国家自然科学基金(63873118)

作品数：1 被引量：6H指数：1
相关作者：王超周宁吴尽昭更多>>
相关机构：广西民族大学兰州交通大学北京交通大学更多>>
发文基金：国家教育部博士点基金广西教育厅科研项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇吴方法
  • 1篇变式

机构

  • 1篇广西民族大学
  • 1篇北京交通大学
  • 1篇兰州交通大学

作者

  • 1篇吴尽昭
  • 1篇周宁
  • 1篇王超

传媒

  • 1篇北京交通大学...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于吴方法的不变式生成算法被引量：6
2012年
在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式生成问题转换为数值约束求解问题的思想,提出通过检验根理想的从属关系方法使算法具备处理通用代数变迁系统的能力;建立了基于吴方法的非线性不变式自动生成算法,该算法不使用加强的归纳条件,并可以直接处理约束方程.
周宁吴尽昭王超
关键词：吴方法
全选 清除 导出
共1页<1>
聚类工具0