信息融合模型及形式化研究
| 摘要 | 第1-9页 |
| Abstract | 第9-11页 |
| 1. 绪论 | 第11-17页 |
| ·论文研究的理论与实际意义 | 第11-12页 |
| ·信息融合研究现状及存在问题 | 第12-15页 |
| ·国内研究现状 | 第12-13页 |
| ·国外研究现状 | 第13-14页 |
| ·对国内外研究的评价 | 第14-15页 |
| ·课题来源及论文的主要工作 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 2. 信息融合技术 | 第17-24页 |
| ·信息融合的定义 | 第17-18页 |
| ·信息融合的分类 | 第18-19页 |
| ·信息融合的模型 | 第19-23页 |
| ·功能模型 | 第19-21页 |
| ·结构模型 | 第21-22页 |
| ·数学模型 | 第22-23页 |
| ·模型比较 | 第23页 |
| ·本章小结 | 第23-24页 |
| 3. 面向对象与形式化方法 | 第24-33页 |
| ·面向对象的基本概念 | 第24-27页 |
| ·统一建模语言 UML的结构 | 第25-26页 |
| ·统一建模语言 UML的应用领域 | 第26-27页 |
| ·UML的面向对象分析设计过程 | 第27页 |
| ·形式化方法 | 第27-29页 |
| ·形式化方法的主要研究内容 | 第27-28页 |
| ·形式化方法研究的意义 | 第28-29页 |
| ·形式化方法的发展方向 | 第29页 |
| ·范畴论简介 | 第29-31页 |
| ·开发平台—Specware | 第31-32页 |
| ·面向对象与形式化方法的结合 | 第32页 |
| ·本章小结 | 第32-33页 |
| 4. 信息融合通用模型 | 第33-50页 |
| ·概述 | 第33-34页 |
| ·规范库的创建 | 第34-36页 |
| ·规范库管理系统 | 第36-49页 |
| ·概述 | 第37-39页 |
| ·Specware词法分析器 | 第39-41页 |
| ·Specware语法分析器 | 第41-42页 |
| ·搜索引擎 | 第42-49页 |
| ·本章小结 | 第49-50页 |
| 5. 基于范畴论的信息融合模型的系统性能分析 | 第50-56页 |
| ·图像边缘检测 | 第51-52页 |
| ·基于范畴论的形式化定义 | 第52页 |
| ·数据融合 | 第52-54页 |
| ·世界规范 | 第52-53页 |
| ·传感器规范 | 第53页 |
| ·坐标类型规范 | 第53页 |
| ·目标规范 | 第53-54页 |
| ·决策融合 | 第54页 |
| ·子类关系 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 6. 总结和展望 | 第56-58页 |
| ·全文工作总结 | 第56页 |
| ·工作展望 | 第56-58页 |
| 参考文献 | 第58-62页 |
| 读研期间发表的文章及参与的课题 | 第62-63页 |
| 致谢 | 第63页 |
