活性细胞膜计算的可执行性描述与实现

张民; 戚正伟; 董笑菊

首页> 中文期刊> 《上海交通大学学报》 >活性细胞膜计算的可执行性描述与实现

活性细胞膜计算的可执行性描述与实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析,说明了方法的可行性与正确性.

著录项

来源
《上海交通大学学报》 |2008年第10期|1635-1639|共5页
作者
张民; 戚正伟; 董笑菊;
展开▼
作者单位

上海交通大学电子信息与电气工程学院;

上海交通大学软件学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
活性细胞膜计算; 重写逻辑; 可满足性问题;

相似文献

中文文献
外文文献
专利

1. 红细胞膜Na+-K+-ATP酶活性红细胞膜流动性在新生儿缺氧缺血性脑病中的变化及其意义 [J] . 张新华 ,秦桂秀 ,关函洲 . 中国药物与临床 . 2011,第008期
2. 实验性动脉粥样硬化兔细胞膜Ca^(2+)-ATP酶活性变化及药物对其活性的影响 [J] . 汪道文 ,郑信华 ,赵华月 . 中国中西医结合杂志 . 1995,第S1期
3. 法律规范可执行性的理论诠释与实现路径 [J] . 武志 . 长春理工大学学报（社会科学版） . 2015,第012期
4. Linux与UNIX系统可执行文件兼容性的研究与实现 [J] . 肖文鹏 ,张丽芬 . 测试技术学报 . 2004,第0z2期
5. 混合盐胁迫对油葵保护性酶活性、细胞膜透性及其主要农艺性状的影响 [J] . 裴怀弟 ,吴科生 ,王红梅 . 干旱地区农业研究 . 2012,第001期
6. Linux与UNIX系统可执行文件兼容性的研究与实现 [C] . 肖文鹏 ,张丽芬 . 中国兵工学会第十二届测试技术学术年会 . 2004
7. 新城疫病毒F蛋白的裂解位点氨基酸序列多样性及其它区段对细胞膜融合活性的影响 [A] . 王艳红 . 2018

活性细胞膜计算的可执行性描述与实现

摘要

著录项

相似文献

相关主题

期刊订阅