上海交通大学学报
上海交通大學學報
상해교통대학학보
JOURNAL OF SHANGHAI JIAOTONG UNIVERSITY
2008年
10期
1635-1639
,共5页
活性细胞膜计算%重写逻辑%可满足性问题
活性細胞膜計算%重寫邏輯%可滿足性問題
활성세포막계산%중사라집%가만족성문제
基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析,说明了方法的可行性与正确性.
基于重寫邏輯理論,利用Maude語言對活性細胞膜計算模型進行可執行性描述,實現瞭藉助于計算機自動驗證計算模型的正確性、完整性,以及輔助研究模型的性質等功能.通過採用Maude語言對活性細胞膜計算中6條基本規則的定義,給齣瞭模型通用的描述方法.利用該方法描述與驗證瞭可滿足性問題在活性細胞膜計算中的模型.通過對計算結果的分析,說明瞭方法的可行性與正確性.
기우중사라집이론,이용Maude어언대활성세포막계산모형진행가집행성묘술,실현료차조우계산궤자동험증계산모형적정학성、완정성,이급보조연구모형적성질등공능.통과채용Maude어언대활성세포막계산중6조기본규칙적정의,급출료모형통용적묘술방법.이용해방법묘술여험증료가만족성문제재활성세포막계산중적모형.통과대계산결과적분석,설명료방법적가행성여정학성.