基于粒度层次映射转换的时态粒点差运算方法

计算两个时态粒点在任意时态粒度下的差值是时态断言的基础,提出基于时态粒度的层次映射转换方法,将时态粒点映射为各时态粒度下的可列集,差运算可转换为不同粒度映射下的自然数差运算.并论证了时态论域T与自然数集N间的对等关系以及映射的连续性,证明了方法的正确性.克服了弹性时态粒度的影响,适应任何基于非规则时态粒度集或者自定义时态粒度集上的时态粒点差运算.

时态原语的粒度约束与规范化问题探讨

时态应用的需要是推动时态问题深入研究的动力,时态原语之间的运算是时态研究与应用中不可忽视的基本问题之一,对时态数据库、时态知识推理、时态数据挖掘等研究领域均有深远的影响.由于时态原语进行加减运算后的结果可能为负时间因子,也可能溢出相应粒度下度的值,得出非规范的时态元素,从而影响其使用.为此,必须对非规范的时态原语进行规范化处理,使其成为规范时态原语.文章对时态粒度的度、象与转换等进行了刻画,描述了时态粒度约束与性质.在此基础上,深入地探讨了时态原语的规范化处理问题,提出了时态粒点的规范化处理算法,并将该算法应用于公历系统中典型的非规范时态原语的取值情形.

面向多粒度时空对象数据模型的网络电子地图生成方法

传统网络电子地图生成是以要素进行组织的,在表达地理实体动态变化、关联关系以及多粒度特征时存在一定的局限性。而多粒度时空对象数据模型旨在解决现实世界到对象所组成的事物空间之间的映射这一科学问题,为时空实体的可视化提供了新的思路,为展示地图要素间复杂关联、多维动态等特征提供了模型基础和数据保证。本文将多粒度时空对象数据模型引入网络电子地图生成当中,渐进得改变了以往网络电子地图依靠图层数据生成的模式,基于多粒度时空对象的概念、模型框架以及数据存储与管理方式,提出了2种网络电子地图生成方法。一种是利用多粒度时空对象数据重建图层,为现有网络制图工具提供“中间件”,使其能够调度和使用多粒度时空对象数据;另一种是将多粒度时空对象数据和地图符号进行绑定,使网络电子地图不再依赖于图层而能根据多粒度时空对象动态更新,同时便于将对象之间的关系、组成结构等非结构化属性特征进行可视化。同时,本文通过实验验证了2种方法的可行性,为多粒度时空对象在网络电子制图领域的应用进行了有效实践。