| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 目录 | 第9-12页 |
| 1 绪论 | 第12-32页 |
| ·研究背景和意义 | 第12-14页 |
| ·膜计算简介 | 第14-17页 |
| ·脉冲神经膜系统 | 第17-26页 |
| ·脉冲神经膜系统简介 | 第17-18页 |
| ·脉冲神经膜系统的形式化定义 | 第18-20页 |
| ·脉冲神经膜系统的种类或变体 | 第20-23页 |
| ·脉冲神经膜系统的已有成果 | 第23-26页 |
| ·研究涉及的预备知识 | 第26-28页 |
| ·形式语言理论基础 | 第26-27页 |
| ·注册机 | 第27-28页 |
| ·研究内容与创新点 | 第28-30页 |
| ·本文的组织结构 | 第30-32页 |
| 2 小通用同质脉冲神经膜系统 | 第32-44页 |
| ·概述 | 第32-33页 |
| ·同质脉冲神经膜系统 | 第33-34页 |
| ·作为计算函数装置的小通用同质脉冲神经膜系统 | 第34-40页 |
| ·作为产生数的装置的小通用同质脉冲神经膜系统 | 第40-42页 |
| ·本章小结 | 第42-44页 |
| 3 不带延迟的同质脉冲神经膜系统 | 第44-58页 |
| ·概述 | 第44-45页 |
| ·产生模式下不带延迟的标准同质脉冲神经膜系统 | 第45-50页 |
| ·识别模式下不带延迟的标准同质脉冲神经膜系统 | 第50-52页 |
| ·产生模式下不带延迟的延展同质脉冲神经膜系统 | 第52-55页 |
| ·识别模式下不带延迟的延展同质脉冲神经膜系统 | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 4 带反脉冲的同质脉冲神经膜系统 | 第58-68页 |
| ·概述 | 第58-59页 |
| ·带反脉冲的脉冲神经膜系统 | 第59-60页 |
| ·产生模式下的带反脉冲的同质脉冲神经膜系统 | 第60-65页 |
| ·识别模式下带反脉冲的同质脉冲神经膜系统 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 5 脉冲神经膜系统实现有符号整数的算术运算 | 第68-80页 |
| ·概述 | 第68-69页 |
| ·实现二进制补码转换的脉冲神经膜系统 | 第69-71页 |
| ·实现有符号整数的加、减运算的脉冲神经膜系统 | 第71-74页 |
| ·实现两个任意自然数乘法运算的脉冲神经膜系统 | 第74-78页 |
| ·本章小结 | 第78-80页 |
| 6 带反脉冲的脉冲神经膜系统实现对称三值逻辑与算术运算 | 第80-92页 |
| ·概述 | 第80-81页 |
| ·对称三值 | 第81-82页 |
| ·对称三值逻辑 | 第81-82页 |
| ·对称三值算术运算 | 第82页 |
| ·模拟对称三值逻辑门电路 | 第82-85页 |
| ·实现简单对称三值算术运算的SNPA系统 | 第85-90页 |
| ·加法运算 | 第86-89页 |
| ·减法运算 | 第89-90页 |
| ·本章小结 | 第90-92页 |
| 7 脉冲神经膜系统形式化验证仿真与分析 | 第92-102页 |
| ·概述 | 第92-93页 |
| ·脉冲神经膜系统形式化验证仿真与分析 | 第93-99页 |
| ·脉冲神经膜系统形式化验证仿真实现 | 第93-96页 |
| ·转移图分析 | 第96-99页 |
| ·本章小结 | 第99-102页 |
| 8 总结与展望 | 第102-106页 |
| ·全文总结 | 第102-103页 |
| ·进一步的研究工作 | 第103-106页 |
| 参考文献 | 第106-116页 |
| 攻读学位期间主要的研究成果目录 | 第116-118页 |
| 致谢 | 第118-119页 |