内容提要 | 第1-7页 |
第一章 绪论 | 第7-10页 |
·研究背景 | 第7页 |
·研究意义及目的 | 第7页 |
·空间关系描述及研究现状 | 第7-9页 |
·本文工作 | 第9-10页 |
第二章 开发工具简介 | 第10-15页 |
·JAVA 语言 | 第10-12页 |
·JBLUIDER | 第12-14页 |
·小结 | 第14-15页 |
第三章 线和线、线和区域拓扑关系算法 | 第15-24页 |
·拓扑关系 | 第15-18页 |
·线线拓扑关系 | 第15-16页 |
·线面拓扑关系 | 第16-18页 |
·基本概念 | 第18页 |
·线和线拓扑关系九交集矩阵优化算法(LR 算法) | 第18-21页 |
·线和区域拓扑关系九交集矩阵优化算法(OR 算法) | 第21-23页 |
·小结 | 第23-24页 |
第四章 LR 算法和OR 算法的实现 | 第24-33页 |
·算法使用的类和函数 | 第24-25页 |
·实现过程 | 第25-29页 |
·线线关系(LR 算法) | 第25-28页 |
·线和区域关系(OR 算法) | 第28-29页 |
·实现功能 | 第29-32页 |
·拓扑关系的判断 | 第29-30页 |
·拓扑关系的推理 | 第30页 |
·图形输出 | 第30-31页 |
·错误查找 | 第31-32页 |
·小结 | 第32-33页 |
第五章 系统演示结果 | 第33-45页 |
·实现结果 | 第33页 |
·验证引理3 的正确性 | 第33-40页 |
·验证引理1 的正确性 | 第40-44页 |
·小结 | 第44-45页 |
第六章 结论与展望 | 第45-47页 |
·结 论 | 第45页 |
·工作展望 | 第45-47页 |
参考文献 | 第47-50页 |
中文摘要 | 第50-52页 |
ABSTRACT | 第52-55页 |
致谢 | 第55-56页 |
导师及作者简介 | 第56页 |