您的位置： 专家智库 > >

张民

作品数：1 被引量：1H指数：1
供职机构：上海交通大学电子信息与电气工程学院更多>>
发文基金：国家教育部博士点基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇执行性
  • 1篇重写逻辑
  • 1篇可执行性

机构

  • 1篇上海交通大学

作者

  • 1篇戚正伟
  • 1篇董笑菊
  • 1篇张民

传媒

  • 1篇上海交通大学...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
活性细胞膜计算的可执行性描述与实现被引量：1
2008年
基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析,说明了方法的可行性与正确性.
张民戚正伟董笑菊
关键词：重写逻辑
全选 清除 导出
共1页<1>
聚类工具0