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