软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
10期
2312-2324
,共13页
时态跨度%绑定%仿射空间
時態跨度%綁定%倣射空間
시태과도%방정%방사공간
temporal span%binding%affine space
时态跨度是时态应用中重要但又非常特殊的时态原语:一则,在不同的时态上下文中,其语义内涵往往呈现出不确定性;再者,其灵活的刻画形式又表现出一些不规范性,使得时态应用中难以有效地驾驭其序关系,影响时态运算的精确性。从时态跨度的序关系入手,分析了时态跨度绑定操作的必要性,提出了通过将时态原语和时态跨度映射到仿射空间中,利用仿射变换构建时态跨度绑定的方法,并实现了与时态粒点、非间断时态粒区、间断时态粒区间的绑定和运算。
時態跨度是時態應用中重要但又非常特殊的時態原語:一則,在不同的時態上下文中,其語義內涵往往呈現齣不確定性;再者,其靈活的刻畫形式又錶現齣一些不規範性,使得時態應用中難以有效地駕馭其序關繫,影響時態運算的精確性。從時態跨度的序關繫入手,分析瞭時態跨度綁定操作的必要性,提齣瞭通過將時態原語和時態跨度映射到倣射空間中,利用倣射變換構建時態跨度綁定的方法,併實現瞭與時態粒點、非間斷時態粒區、間斷時態粒區間的綁定和運算。
시태과도시시태응용중중요단우비상특수적시태원어:일칙,재불동적시태상하문중,기어의내함왕왕정현출불학정성;재자,기령활적각화형식우표현출일사불규범성,사득시태응용중난이유효지가어기서관계,영향시태운산적정학성。종시태과도적서관계입수,분석료시태과도방정조작적필요성,제출료통과장시태원어화시태과도영사도방사공간중,이용방사변환구건시태과도방정적방법,병실현료여시태립점、비간단시태립구、간단시태립구간적방정화운산。
Temporal span is an important and special temporal primitive in the temporal applications. On the one hand, the semantic of temporal span is often uncertain in different temporal context. On the other hand, the flexible representation of temporal span is tend to be non-normative, which results in the difficulty to handle the order relationship of temporal spans and affects the accuracy of the temporal calculation in the temporal applications. The binding conception is introduced to address these inherent issues of temporal spans. Firstly, the order relationship of temporal spans is discussed. The reasons why the uncertain relationship exists between two non-canonical temporal spans are analyzed, revealing the necessity of temporal span binding. Secondly, the affine space is explored for mapping temporal spans into the affine space. The temporal binding is constructed by the affine transformations. Therefore, the binding of temporal span with temporal point, continuous temporal interval and discontinuous temporal interval is elaborated respectively, and the operations of the temporal primitives are implemented.