| 摘要 | 第1-7页 |
| ABSTRACT | 第7-12页 |
| 第一章 绪论 | 第12-16页 |
| ·研究背景 | 第12-14页 |
| ·研究现状与问题 | 第14-15页 |
| ·本文的内容和结构 | 第15-16页 |
| 第二章 SN P 系统及计算原理 | 第16-25页 |
| ·SN P 系统的生物学原理 | 第16-17页 |
| ·SN P 系统的定义 | 第17-20页 |
| ·SN P 系统的计算原理 | 第20-21页 |
| ·SN P 系统模型的应用实例 | 第21-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 重写逻辑理论与形式化描述 | 第25-41页 |
| ·关系等式理论 | 第25-28页 |
| ·重写逻辑理论 | 第28-30页 |
| ·MAUDE | 第30-40页 |
| ·函数模块 | 第31-33页 |
| ·系统模块 | 第33-36页 |
| ·Maude 的面向对象性 | 第36-38页 |
| ·实时Maude | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 第四章 SN P 系统在实时MAUDE 下的形式化描述 | 第41-54页 |
| ·SN P 系统结构的描述 | 第41-47页 |
| ·触发因子的定义 | 第41-43页 |
| ·神经元状态的定义 | 第43页 |
| ·神经元的定义 | 第43-45页 |
| ·神经元之间的通信 | 第45-47页 |
| ·SN P 系统规则的描述 | 第47-50页 |
| ·正则表达式的描述 | 第47-49页 |
| ·触发规则的描述 | 第49-50页 |
| ·遗忘规则的描述 | 第50页 |
| ·SN P 系统模型Π_1 的形式化描述 | 第50-53页 |
| ·本章小结 | 第53-54页 |
| 第五章 SN P 系统模型检测的应用 | 第54-64页 |
| ·利用SN P 系统解决SAT 问题 | 第54-58页 |
| ·SAT 问题 | 第54-55页 |
| ·构造SN P 系统模型 | 第55-58页 |
| ·SN P 系统框架结构 | 第55-56页 |
| ·Π_(SAT) 求解过程 | 第56-57页 |
| ·一个解决SAT 问题的SNP 系统实例 | 第57-58页 |
| ·对Π_(SAT) 模型的形式化描述与运行结果 | 第58-63页 |
| ·Π_(SAT) 模型的形式化描述 | 第58-60页 |
| ·在Maude 下的运行结果 | 第60-63页 |
| ·本章小结 | 第63-64页 |
| 第六章 工作总结与分析 | 第64-67页 |
| ·工作总结 | 第64-65页 |
| ·未来工作与展望 | 第65-67页 |
| 参考文献 | 第67-70页 |
| 附录 | 第70-78页 |
| 附录I：MAUDE 对SN P 系统Π_1 的形式化描述 | 第70-74页 |
| 附录II：MAUDE 对SN P 系统Π_(SAT) 的形式化描述 | 第74-78页 |
| 符号与标记 | 第78-79页 |
| 致谢 | 第79-81页 |
| 攻读硕士学位期间已发表或录用的论文 | 第81页 |
