论文部分内容阅读
阐述了三维空间实体语义概念及空间实体之间拓扑性质形式化描述的意义，以组合及点集拓扑理论为基础，给出了基于ｋ－维伪流形的三维空间实体的语义定义。将单纯同调理论用于流形，通过单纯形和单纯复形间的几何构造关系，揭示出三维空间实体的拓扑性质并给出三维空间实体的形式化描述方法。
基于流形拓扑的三维空间实体形式化描述
【摘 要】
：
阐述了三维空间实体语义概念及空间实体之间拓扑性质形式化描述的意义，以组合及点集拓扑理论为基础，给出了基于ｋ－维伪流形的三维空间实体的语义定义。将单纯同调理论用于流形，通过单纯形和单纯复形间的几何构造关系，揭示出三维空间实体的拓扑性质并给出三维空间实体的形式化描述方法。
【出 处】
：
武汉测绘科技大学学报
【发表日期】
：
0年WHCH703.003期
其他文献
本文给出了弱序列完备Ｂａｎａｃｈ空间中二阶微分包含的解的存在性定理，推广了文献［１］中结果到集值情形。同时，由于利用已有的定理［２］，简化了类似文献［１］中的证明
期刊
地理信息系统是运行在信息高速公路上的重要列车，它以应用为目的，以技术为导引，为全社会涉及空间地理数据的各行各业服务。随着电子计算机技术、通讯技术、空间定位技术、遥感技术和可视化技术的发展，地理信息系统的硬、软件环境，数据采集、存贮、分析和表达等手段，势必要不断进步。在此形势下，本文试图对地理信息理论问题作出探讨和思考。主要包括：各种形式空间数据在计算机中的表示；空间数据的自动采集与更新；空间数据的
期刊
从地理数据模型的定义出发，阐述时间作为地理实体的基本特征及ＧＩＳ中地理时间的模拟方法，指出传统地理数据模型在地理环境变化快且应用强调细节变化分析的场合，表现出不变数据的冗余存储、局部变化信息提取困难及地理实体的时间特征表现不明显等缺陷。基于现实世界中存在诸多同步变化的细小单元这一规律，提出一种基于属性同步数据项组和空间碎分拓扑弧段时间标记的时态地理数据模型，它降低了存储冗余且较好地表现了时间特征
期刊
八叉树结构是３ＤＧＩＳ中一种研究和应用最为广泛的栅格数据结构。在对线性八叉树编码方法进行分析的基础上，将行程编码技术引入八叉树的数据压缩，形成三维行程编码方法。并对三维行程编码的八叉树显示方法进行讨论，利用实验对上述研究内容进行验证
期刊
简介了目前空间数据库查询语言研究情况和所具有的形式，按空间数据的特点和查询语言的一般要求，认为空间数据库查询语言应具有以下特征：能理解“空间概念”，能描述查询结果的表达方式和查询描述的非过程化。指出了目前空间数据库查询语言集中的３个研究方面各自的特点及待研究的主要问题
期刊
研究了地球内核围绕其平衡位置的径向振动，即所谓Ｓｌｉｃｈｔｅｒ模，求出了这一现象的周期。在求解导出的常微分方程组时采用了切贝谢夫配点法，容易而成功地解决了方程在地心处的奇异性带来的困难。所得结果与国外目前公认的结果一致
期刊
讨论了相关观测值与非相关观测值的多余观测分量值域问题；论证了相关观测值的多余观测分量与内可靠性指标的不一致性；进一步研究了可靠性指标的应用问题，认为当观测值的复相关系数不同时，应同时考虑内、外可靠性指标；最后，以ＧＰＳ准动态测量为例作了分析
期刊
由于不同的非线性模型具有不同的非线性强度，使得一些非线性模型可以线性近似，而另一些则不能。本文介绍度量非线性强度的方法，提出判断非线性模型能否线性近似的数值标准——容许曲率
期刊