论文目录 | |
摘要 | 第1-4
页 |
Abstract | 第4-8
页 |
第一章 绪论 | 第8-12
页 |
· 本文研究动因 | 第8-10
页 |
· 本文选题依据 | 第10
页 |
· 本文主要工作 | 第10
页 |
· 验证方法 | 第10-11
页 |
· 本文的创新点 | 第11
页 |
· 本文篇章结构及内容安排 | 第11-12
页 |
第二章 相关研究工作综述 | 第12-24
页 |
· 软件过程 | 第12-13
页 |
· 软件演化 | 第13-15
页 |
· 软件演化过程 | 第15
页 |
· 层次分析法AHP 相关定义 | 第15-16
页 |
· Petri 网的相关定义 | 第16-20
页 |
· Petri 网的基本概念 | 第17-18
页 |
· Petri 网的性质 | 第18-19
页 |
· Petri 网的分析技术 | 第19-20
页 |
· 基于状态可达图的分析方法 | 第19-20
页 |
· 基于代数的分析方法 | 第20
页 |
· 颜色Petri 简介 | 第20-23
页 |
· 颜色Petri 网基本概念 | 第20-21
页 |
· 颜色Petri 网相关定义 | 第21-23
页 |
· 本章小结 | 第23-24
页 |
第三章 基于CPN 和AHP 的软件演化过程演化触发因子控制模型建模及相关定义 | 第24-50
页 |
· 演化触发因子控制模型概述 | 第24
页 |
· 软件演化模块和软件演化过程触发因子相关概念 | 第24-26
页 |
· 软件演化模块概念 | 第24-25
页 |
· 软件演化触发因子概念 | 第25-26
页 |
· 演化触发因子控制模型行为流程 | 第26-28
页 |
· 软件演化过程触发因子控制模型描述 | 第28-29
页 |
· 软件演化过程触发因子控制模型定义 | 第29-46
页 |
· 软件演化模块agent 定义 | 第30-32
页 |
· 软件演化触发因子trigger 定义 | 第32-34
页 |
· 因子判断变迁定义 | 第34-43
页 |
· 因子判断变迁工作步骤描述 | 第35-38
页 |
· 因子判断变迁工作流程图 | 第38-39
页 |
· 基于AHP 的演化触发因子权重判断方式详细描述 | 第39-43
页 |
· 演化触发因子提取变迁定义 | 第43-44
页 |
· 演化触发因子提交变迁定义 | 第44-45
页 |
· 有效演化触发因子返回变迁定义 | 第45
页 |
· 有效演化触发因子触发演化变迁定义 | 第45
页 |
· 相关库所定义 | 第45-46
页 |
· 模型中弧的定义 | 第46
页 |
· 软件演化过程触发因子控制改进模型描述 | 第46-49
页 |
· 改进后的模型建立 | 第46-48
页 |
· 改进前后实体的对应关系 | 第48-49
页 |
· 本章小结 | 第49-50
页 |
第四章 软件演化过程演化触发因子控制模型相关算法描述 | 第50-64
页 |
· 因子判断变迁操作的算法描述 | 第50-56
页 |
· 演化触发因子提取变迁算法描述 | 第56-57
页 |
· 演化触发因子提交变迁算法描述 | 第57-58
页 |
· 有效演化触发因子返回变迁算法描述 | 第58-59
页 |
· 有效演化触发因子触发演化变迁算法描述 | 第59-60
页 |
· 改进后控制模型有效演化触发因子返回变迁及相关弧算法描述 | 第60-61
页 |
· 演化模块agent 检测算法描述 | 第61
页 |
· 演化触发因子trigger 检测算法描述 | 第61-62
页 |
· 因子判断变迁T_J 检测算法描述 | 第62-63
页 |
· 本章小结 | 第63-64
页 |
第五章 性质分析与验证 | 第64-73
页 |
· Petri 网分析验证方法 | 第64
页 |
· 基于 Petri 网的变迁或弧控制方式的演化触发因子控制模型标识状态可达图 | 第64-68
页 |
· 基于基本 Petri 网的关联矩阵与状态方程的演化触发因子控制模型分析 | 第68-72
页 |
· 本章小结 | 第72-73
页 |
第六章 案例建模研究 | 第73-86
页 |
· 案例介绍 | 第73-75
页 |
· 案例实例化处理过程 | 第75-85
页 |
· 各agent 形式化描述 | 第75
页 |
· 演化触发属性形式化描述 | 第75-76
页 |
· 演化触发因子频度权重及有效触发因子权重标准设定 | 第76
页 |
· 运用层次分析法建立演化层次结构 | 第76-77
页 |
· 各agent 演化触发因子提取及提交处理 | 第77-78
页 |
· 用MATLAB 工具处理建立的演化触发属性判断矩阵及一致性检验 | 第78-81
页 |
· 用MATLAB 工具处理非映射类关系算法建立的演化触发属性对各个因子的判断矩阵及一致性检验 | 第81-84
页 |
· 建立总矩阵并输出案例最终结果 | 第84-85
页 |
· 演化操作实施 | 第85
页 |
· 本章小结 | 第85-86
页 |
第七章 总结与展望 | 第86-88
页 |
· 全文总结 | 第86-87
页 |
· 研究展望 | 第87-88
页 |
参考文献 | 第88-90
页 |
致谢 | 第90
页 |