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