神经内分泌复杂系统的形式化研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 引言 | 第11-16页 |
| ·研究背景 | 第11-12页 |
| ·国外研究现状 | 第12-13页 |
| ·论文研究意义 | 第13-14页 |
| ·章节安排 | 第14-16页 |
| 第二章 相关知识介绍 | 第16-27页 |
| ·形式化方法 | 第16-22页 |
| ·形式化方法介绍 | 第16-20页 |
| ·B 方法 | 第20-22页 |
| ·UML 介绍 | 第22-24页 |
| ·UML 的建模机制和应用 | 第22-24页 |
| ·UML 的优劣 | 第24页 |
| ·复杂网络 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 复杂系统的度相关特性需求获取 | 第27-35页 |
| ·需求获取的问题 | 第27-28页 |
| ·已有需求获取方法及比较 | 第28-30页 |
| ·传统需求获取方法 | 第28-29页 |
| ·现代需求获取方法 | 第29-30页 |
| ·复杂网络的度相关特性作为需求获取方法 | 第30-34页 |
| ·神经内分泌复杂系统 | 第30-31页 |
| ·神经内分泌复杂系统的度相关特性 | 第31-34页 |
| ·本章小结 | 第34-35页 |
| 第四章 神经内分泌系统形式化需求描述、验证 | 第35-58页 |
| ·水痘病毒入侵神经内分泌系统 | 第35-37页 |
| ·神经内分泌系统B 机器描述 | 第37-52页 |
| ·神经内分泌机器的工具验证 | 第52-57页 |
| ·本章小结 | 第57-58页 |
| 第五章 B 方法到UML 转换研究及实现 | 第58-70页 |
| ·形式化B-UML 类图转换的改进方法 | 第58-61页 |
| ·神经内分泌系统由B 转换得到的类图 | 第61-64页 |
| ·系统的详细设计 | 第64-69页 |
| ·开发环境 | 第64页 |
| ·部分代码 | 第64-69页 |
| ·本章小结 | 第69-70页 |
| 第六章 总结与展望 | 第70-72页 |
| ·本文工作总结 | 第70页 |
| ·进一步工作 | 第70-72页 |
| 参考文献 | 第72-78页 |
| 致谢 | 第78-79页 |
| 论文发表情况及参加科研项目、学术会议 | 第79页 |
