时态的粒度刻画及演算问题研究

Research on the Characterization and the Calculus of Temporal Granularities

时态的建模及演算是时态信息处理中的逻辑基本问题,从粒度思想出发,根据时态的粒度划分,研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画,进而基于代数系统分析了时态的粒度转换算子及不同粒度下的时态关系,构建了时态粒度关系的演算系统。

Temporal modeling and calculus are the fundamental logic problems in temporal information system.From the view of granularities,the semantics and properties of temporal granularities were discussed according to the partition.The temporal primitives were characterized based on temporal granularities.Furthermore,conversion operators and their relationship were analyzed with different granularities;the calculus system of their relationship was constructed from the point view of algebraic system.