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