1. 時間量子和時間區(qū)間
時間量子和時間區(qū)間是度量時間的基本單位。時態(tài)數(shù)據(jù)庫中不可再分的最小時間間隔稱為時間量子,系統(tǒng)所支" />
時間:2022-11-10 12:30:02 | 來源:信息時代
時間:2022-11-10 12:30:02 來源:信息時代
時間模型 : 時間的哲學(xué)內(nèi)涵、度量方法和描述方法的綜合。
1. 時間量子和時間區(qū)間
時間量子和時間區(qū)間是度量時間的基本單位。時態(tài)數(shù)據(jù)庫中不可再分的最小時間間隔稱為時間量子,系統(tǒng)所支持的時間起點記為0,系統(tǒng)時間論域是有限、離散、有序的時間量子的集合,一般記為Sys_T={0,1,2,…,now,…,MaxSysTime}。時間區(qū)間(interval或span)是Sys_T中以兩個時間量子為上下限的時間量子的集合,例如{t,t+1,t+2,…,T},簡記為[t,T]。
時態(tài)數(shù)據(jù)庫研究中,常用單向無窮的時間軸描述時間。時間軸上的一點描述一個時刻。大多數(shù)時態(tài)數(shù)據(jù)庫常采用簡單的離散時間模型,它同構(gòu)于自然數(shù)集合,基本單位為時間量子,一個時刻只有一個后繼。有的時態(tài)數(shù)據(jù)庫模型為了理論上的方便,采用稠密的時間模型(同構(gòu)于實數(shù)集合),但在實現(xiàn)時仍然用離散的時間模型。
2. 時間的表現(xiàn)模式
時間表現(xiàn)模式中最重要的有線性時間、分支時間和循環(huán)時間這三種。線性時間(linear time)是一種離散時間模型,在該模型中,歷史不能被修改,只能追加。歷史事件不能說“如果……”; 分支時間(branching time)常常出現(xiàn)在關(guān)于時間機器的科幻小說和有浪漫色彩的詩詞中。分支時間模型在多場景規(guī)劃系統(tǒng)(planning systems in multi-scenario)中有重要應(yīng)用;循環(huán)時間(circular time)模型用于描述周期事件、遞歸事件或重復(fù)事件,例如歷法等。
微信公眾號
版權(quán)所有? 億企邦 1997-2022 保留一切法律許可權(quán)利。