| 声明 | 第1-4页 |
| 中文摘要 | 第4-6页 |
| Abstract | 第6-11页 |
| 第一章 引言 | 第11-23页 |
| ·问题提出 | 第11-14页 |
| ·数字海洋中基础数据与业务流程 | 第14-17页 |
| ·基础数据及业务流程建模的意义 | 第17-18页 |
| ·国内外研究现状 | 第18-20页 |
| ·本文的研究内容及构成 | 第20-23页 |
| 第二章 海洋信息基础数据建模 | 第23-43页 |
| ·基于多渠道多层次的海洋基础数据 | 第23-25页 |
| ·海洋环境数据的特点 | 第23-24页 |
| ·海洋基础数据建模的已有研究基础 | 第24-25页 |
| ·基于统一规范的海洋基础数据模型 | 第25-32页 |
| ·海洋环境信息基础数据库模型的定义 | 第25-27页 |
| ·多类型多格式基础数据文件的组织 | 第27-29页 |
| ·数据文件质量控制机制 | 第29-30页 |
| ·海洋基础数据文件组织过程中的导入模式 | 第30-31页 |
| ·基础数据建模后的全局管理 | 第31-32页 |
| ·海洋基础数据模型中关键问题及解决方案 | 第32-34页 |
| ·分布式数据搜索的冲突与异构 | 第32页 |
| ·局部数据统计与全局集成 | 第32-33页 |
| ·多态输出的模式转换 | 第33-34页 |
| ·海洋数据仓库体系架构与建模 | 第34-41页 |
| ·海洋数据仓库定义 | 第34-35页 |
| ·海洋基础数据仓库体系结构 | 第35-37页 |
| ·海洋基础数据仓库ETL的研究 | 第37-39页 |
| ·海洋基础数据仓库元数据管理机制的研究 | 第39-41页 |
| ·小结 | 第41-43页 |
| 第三章 海洋基础数据处理的业务流程建模 | 第43-61页 |
| ·工作流模型 | 第43-44页 |
| ·模型功能定义 | 第43页 |
| ·模型体系结构 | 第43-44页 |
| ·建模流程设计与形式化描述 | 第44-47页 |
| ·基础数据对象类设计 | 第45-46页 |
| ·业务流程设计 | 第46-47页 |
| ·数据流工作流模型验证准则 | 第47-52页 |
| ·模型验证的必要性 | 第47-48页 |
| ·模型验证技术 | 第48-49页 |
| ·模型验证过程中的冲突 | 第49-51页 |
| ·模型正确性约束规则 | 第51-52页 |
| ·数据流工作流模型验证策略 | 第52-59页 |
| ·模型验证策略的提出 | 第52-54页 |
| ·局部正确性与全局正确性验证准则 | 第54页 |
| ·基于图形展开与图形归约的验证方法 | 第54-57页 |
| ·全局测试算法 | 第57-59页 |
| ·小结 | 第59-61页 |
| 第四章 基础数据及业务流程多维动态可视化表达 | 第61-79页 |
| ·基于业务流程划分的海洋基础数据类 | 第61-62页 |
| ·基于维数分解的多维海洋标(矢)量信息可视化表述方式 | 第62-68页 |
| ·一维标量 | 第62-63页 |
| ·二维标量 | 第63-64页 |
| ·三维标量及数据切片 | 第64-66页 |
| ·一维矢量 | 第66-67页 |
| ·二维矢量 | 第67页 |
| ·三维矢量及图形切片 | 第67-68页 |
| ·海洋基础数据多维动态可视化 | 第68-75页 |
| ·动态海洋可视化信息的多维分解 | 第68-69页 |
| ·多维分解动态表达中的关键技术 | 第69-75页 |
| ·数字海洋业务流程可视化表达 | 第75-78页 |
| ·基于邻接矩阵/表的业务流程图表示法 | 第75-76页 |
| ·流程定义器 | 第76页 |
| ·基于栅格/算子图标的可视化 | 第76-78页 |
| ·小结 | 第78-79页 |
| 第五章 基础数据及业务模型的XML描述与实现 | 第79-115页 |
| ·基础数据集成与业务流程中的数据交换模型 | 第79-83页 |
| ·面向对象XML Bricks符号和术语 | 第79-80页 |
| ·扩展XML Schema | 第80-82页 |
| ·模式定义 | 第82-83页 |
| ·海洋数据的XML描述 | 第83-84页 |
| ·业务流程中数据交换的XML描述 | 第84-85页 |
| ·基于XML的海洋环境信息发布机制 | 第85-88页 |
| ·数字海洋中XML发布系统结构 | 第85-86页 |
| ·关系数据库与XML文档之间的转换 | 第86-88页 |
| ·XML文档显示 | 第88页 |
| ·XML文档发布 | 第88页 |
| ·XML Schema文档验证 | 第88-113页 |
| ·XML Schema | 第88-91页 |
| ·XML验证概述 | 第91-92页 |
| ·验证类型系统的设计 | 第92-100页 |
| ·模式映射和类型加载 | 第100-103页 |
| ·模式树的建立 | 第103-108页 |
| ·模式验证的实现 | 第108-113页 |
| ·小结 | 第113-115页 |
| 第六章 基于海洋遥感信息提取的业务系统示范 | 第115-123页 |
| ·示范系统总体设计 | 第115-116页 |
| ·海洋遥感信息提取示范系统基础数据的组织 | 第116页 |
| ·海洋遥感信息提取示范系统多维动态显示 | 第116-118页 |
| ·基于订正的SST求解过程的可视化表达与实现 | 第118-121页 |
| ·小结 | 第121-123页 |
| 第七章 结束语 | 第123-125页 |
| 参考文献 | 第125-133页 |
| 致谢 | 第133-135页 |
| 攻博期间主要科研工作与成果 | 第135-137页 |
| 攻博期间发表的学术论文 | 第137-139页 |
| 个人简历 | 第139页 |