| 活性细胞膜计算的可执行性描述与实现 |
| |
| 引用本文： | 张民,戚正伟,董笑菊.活性细胞膜计算的可执行性描述与实现[J].上海交通大学学报,2008,42(10):1635-1639. |
| |
| 作者姓名： | 张民 戚正伟 董笑菊 |
| |
| 作者单位： | (上海交通大学 a.电子信息与电气工程学院; b.软件学院, 上海 200240) |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划)，国家重点基础研究发展计划(973计划)，国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 基于重写逻辑理论，利用Maude语言对活性细胞膜计算模型进行可执行性描述，实现了借助于计算机自动验证计算模型的正确性、完整性，以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义，给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析，说明了方法的可行性与正确性.
|
| 关 键 词： | 活性细胞膜计算 重写逻辑 可满足性问题 |
| 收稿时间： | 2007-11-11 |
Executable Specification of P Systems with Active Membranes and Its Implementation |
| |
| ZHANG Ming,QI Zheng-wei,DONG Xiao-ju.Executable Specification of P Systems with Active Membranes and Its Implementation[J].Journal of Shanghai Jiaotong University,2008,42(10):1635-1639. |
| |
| Authors: | ZHANG Ming QI Zheng-wei DONG Xiao-ju |
| |
| Institution: | (a.School of Electronic, Information and Electrical Engineering; b.School of Software,
Shanghai Jiaotong University, Shanghai 200240, China) |
| |
| Abstract: | Based on rewriting logic, an executable specification method was proposed to specify the P systems with active membranes (PSAM) in Maude language. The purpose is to check the correctness of the model automatically and study the properties of PSAM with the help of computer. Six formal specifications were defined in Maude respectively for the six basic rules in PSAM, so that any given PSAM model can be specified formally. An example was presented to demonstrate how to specify the PSAM model, which is used to solve SAT Problem. The feasibility and correctness of the specification method are concluded practically, with the analysis of the result that is reduced by running the specification in Maude. |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《上海交通大学学报》浏览原始摘要信息 |
| 点击此处可从《上海交通大学学报》下载免费的PDF全文 |
