云南高校图书馆联盟文献共享服务平台- 张民

张民: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：上海交通大学电子信息与电气工程学院更多>>; 发文主题：可执行性重写逻辑更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《上海交通大学学报》更多>>; 所获基金：国家教育部博士点基金国家自然科学基金国家重点基础研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

活性细胞膜计算的可执行性描述与实现被引量：1: 《上海交通大学学报》2008年第10期1635-1639,共5页张民戚正伟董笑菊; 国家重点基础研究发展规划(973)项目(2003CB317005);国家自然科学基金资助项目(60573002;60703033);高等学校博士学科点基金资助项目(20010248033); 基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的...; 关键词：活性细胞膜计算重写逻辑可满足性问题