基于约束满足问题的拓扑关系定性推理研究

近年来,空间关系推理在空间关系数据的表达和来源方面和语义网、空间信息服务相结合,极大的扩展了空间数据的来源,并在本体的基础上的统一了空间数据的表达方式。本文以 Oracle 语义数据库为平台,提出了一种基于约束满足的空间关系定性推理方法,并研究空间关系定性推理算法和对推理结果的检验算法,最后编程实现这些算法。

农村集体土地确权登记内业流程优化研究

随着计算机技术的发展,地籍测绘成果生产流程的优化已经被越来越多的人所关注。本文探讨了在AutoCAD平台进行农村集体土地确权登记内业流程的优化方法,提出了内业流程的优化方案,为提高内业生产效率提供了借鉴和参考。