复杂系统需求获取形式化的研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 引言 | 第11-17页 |
| ·研究背景 | 第11-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·论文研究意义 | 第14-15页 |
| ·章节安排 | 第15-17页 |
| 第二章 相关知识介绍 | 第17-29页 |
| ·软件需求获取介绍 | 第17-19页 |
| ·软件需求获取面临的问题 | 第17-18页 |
| ·软件需求获取困难的原因 | 第18-19页 |
| ·形式化方法 | 第19-26页 |
| ·形式化方法的介绍 | 第19-23页 |
| ·B 方法 | 第23-26页 |
| ·需求获取形式化语言的表示 | 第26页 |
| ·复杂网络的简介 | 第26-28页 |
| ·复杂网络研究简述 | 第26-27页 |
| ·复杂网络的社团研究简述 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 复杂系统的社团算法研究 | 第29-46页 |
| ·社团结构 | 第29-31页 |
| ·社团划分新算法 | 第31-36页 |
| ·NEWMAN 快速算法 | 第31-33页 |
| ·派系过滤算法 | 第33-34页 |
| ·CH 算法 | 第34-35页 |
| ·基于时空功能的社团算法思想 | 第35-36页 |
| ·科研合作案例应用 | 第36-44页 |
| ·NEWMAN 快速算法案例应用 | 第36-38页 |
| ·Palla 派系算法案例应用 | 第38-39页 |
| ·CH 算法案例应用 | 第39-40页 |
| ·三种算法和时空功能单位群落结果比较 | 第40-44页 |
| ·本章小结 | 第44-46页 |
| 第四章 复杂系统的形式化需求获取及案例 | 第46-65页 |
| ·需求工程的困难 | 第46-48页 |
| ·复杂系统的形式化需求获取方法 | 第48-50页 |
| ·社团算法的需求获取 | 第49-50页 |
| ·复杂网络需求的形式化表示 | 第50页 |
| ·免疫系统案例研究 | 第50-64页 |
| ·免疫系统 | 第51页 |
| ·免疫系统的需求获取 | 第51-53页 |
| ·体液免疫建模 | 第53-64页 |
| ·本章小结 | 第64-65页 |
| 第五章 免疫案例的精化及正确性证明 | 第65-76页 |
| ·B 方法精化过程 | 第65-68页 |
| ·精化过程 | 第65-66页 |
| ·广义代换的精化 | 第66-67页 |
| ·精化的语法 | 第67-68页 |
| ·对免疫系统机器的精化 | 第68-71页 |
| ·实例机器的工具检测与证明 | 第71-75页 |
| ·模型检测 | 第71页 |
| ·定理证明 | 第71-72页 |
| ·ATELIER-B 工具检验和证明 | 第72-75页 |
| ·本章小结 | 第75-76页 |
| 第六章 系统模拟 | 第76-82页 |
| ·系统的设计思想 | 第76-77页 |
| ·程序实现 | 第77-81页 |
| ·开发环境 | 第77页 |
| ·部分代码 | 第77-81页 |
| ·程序界面 | 第81页 |
| ·本章小结 | 第81-82页 |
| 第七章 总结与展望 | 第82-84页 |
| ·本文工作总结 | 第82-83页 |
| ·进一步工作 | 第83-84页 |
| 参考文献 | 第84-89页 |
| 致谢 | 第89-90页 |
| 论文发表情况及参加科研项目、学术会议 | 第90页 |
