Research on the Characterization and the Calculus of Temporal Granularities
时态的粒度刻画及演算问题研究

Temporal modeling and calculus arc 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 partilion. 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.