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