本發(fā)明涉及一種基于離散事件系統(tǒng)的無損事件壓縮方法,包括給定離散事件系統(tǒng)及其產(chǎn)生的源事件序列得到最小可恢復(fù)的壓縮事件序列;給定第一壓縮協(xié)議:保留源事件序列中的最后k個事件;給定第二壓縮協(xié)議:對于任何循環(huán)子事件序列,至少保留一個事件,建立壓縮自動機模型表示給定壓縮事件序列所有可能的源事件序列,基于該壓縮自動機模型檢測給定壓縮事件序列是否1?階可恢復(fù)以及是否滿足第二壓縮協(xié)議,分別提出離線無損事件壓縮方法和在線無損事件壓縮方法。本發(fā)明利用了系統(tǒng)動態(tài)產(chǎn)生的信息冗余,作為基于系統(tǒng)的壓縮方法,減少存儲資源,在節(jié)省更少動作的同時,保證能夠追蹤到系統(tǒng)發(fā)生的所有動作。
聲明:
“基于離散事件系統(tǒng)的無損事件壓縮方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)