基于图形对象的一致性维护问题的研究
| 中文摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-20页 |
| ·CSCW 技术概述 | 第9-13页 |
| ·CSCW 的基本概念 | 第9-10页 |
| ·CSCW 的研究内容及应用 | 第10-12页 |
| ·CSCW 的研究现状 | 第12-13页 |
| ·一致性维护问题概述 | 第13-17页 |
| ·一致性问题的提出 | 第13-16页 |
| ·一致性维护问题的研究现状 | 第16-17页 |
| ·论文选题依据、研究内容、目的及意义 | 第17-18页 |
| ·论文结构 | 第18-20页 |
| 第二章 相关理论基础 | 第20-28页 |
| ·引言 | 第20页 |
| ·相关理论基础 | 第20-23页 |
| ·操作间关系定义 | 第21-22页 |
| ·状态向量 | 第22-23页 |
| ·一致性模型（CCI） | 第23页 |
| ·常用一致性维护算法分析 | 第23-26页 |
| ·基于“令牌环、加锁”的一致性维护 | 第24页 |
| ·基于“多版本控制”的一致性维护 | 第24-25页 |
| ·基于“操作转换”的一致性维护 | 第25-26页 |
| ·论文研究技术路线 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 基于操作转换的图形一致性维护方法 | 第28-53页 |
| ·引言 | 第28页 |
| ·图形对象建模 | 第28-32页 |
| ·图素类型的划分与定义 | 第29-30页 |
| ·图形对象的类的构造 | 第30-31页 |
| ·图形对象标识方案 | 第31-32页 |
| ·dOPT 算法概述 | 第32-36页 |
| ·dOPT 算法的具体流程 | 第33-34页 |
| ·dOPT 算法中的操作转换分析 | 第34-36页 |
| ·改进的基于操作转换的G-dOPT 方法 | 第36-48页 |
| ·图形对象上的操作 | 第36-38页 |
| ·图形对象一致性形式化定义 | 第38-39页 |
| ·算法中优先级分配策略 | 第39-41页 |
| ·基于操作转换的G-dOPT 算法 | 第41-44页 |
| ·算法中的操作转换分析 | 第44-46页 |
| ·并发管理调度算法 | 第46-48页 |
| ·算法的优化及证明 | 第48-50页 |
| ·算法性能优化 | 第48-49页 |
| ·一致性维护证明 | 第49-50页 |
| ·算例分析 | 第50-52页 |
| ·本章小结 | 第52-53页 |
| 第四章 预定义约束条件的语义保持方法 | 第53-72页 |
| ·引言 | 第53-54页 |
| ·语义类型的分类 | 第54-58页 |
| ·按语义保持方式分类 | 第55页 |
| ·按表达的信息分类 | 第55-56页 |
| ·按图形对象关联关系分类 | 第56-58页 |
| ·基于语义规则库的语义保持模型的分析 | 第58-63页 |
| ·现有的几种语义维护模型 | 第59-61页 |
| ·基于语义规则库的语义保持模型的体系结构 | 第61-63页 |
| ·基于语义规则库的语义保持模型的具体实现 | 第63-69页 |
| ·图形对象上的语义表达 | 第63-64页 |
| ·操作语义冲突的定义 | 第64-65页 |
| ·操作语义冲突时机 | 第65-66页 |
| ·基于语义规则库的语义保持算法 | 第66-69页 |
| ·算例分析 | 第69-71页 |
| ·本章小结 | 第71-72页 |
| 第五章 原型系统的设计与实现 | 第72-83页 |
| ·引言 | 第72页 |
| ·CoNetGraph 原型系统概述 | 第72-77页 |
| ·系统的体系结构分析 | 第72-73页 |
| ·系统的总体设计 | 第73-74页 |
| ·系统通信设计 | 第74-75页 |
| ·系统界面设计 | 第75-77页 |
| ·CoNetGraph 原型系统的具体实现 | 第77-79页 |
| ·系统开发与运行环境 | 第77页 |
| ·相关数据结构 | 第77-79页 |
| ·综合算例验证 | 第79-82页 |
| ·本章小结 | 第82-83页 |
| 第六章 总结与展望 | 第83-85页 |
| ·总结 | 第83-84页 |
| ·进一步研究的展望 | 第84-85页 |
| 参考文献 | 第85-90页 |
| 攻读硕士学位期间公开发表论文 | 第90-91页 |
| 致谢 | 第91页 |
