本发明涉及一种基于离散事件系统的无损事件压缩方法,包括给定离散事件系统及其产生的源事件序列得到最小可恢复的压缩事件序列;给定第一压缩协议:保留源事件序列中的最后k个事件;给定第二压缩协议:对于任何循环子事件序列,至少保留一个事件,建立压缩自动机模型表示给定压缩事件序列所有可能的源事件序列,基于该压缩自动机模型检测给定压缩事件序列是否1‑阶可恢复以及是否满足第二压缩协议,分别提出离线无损事件压缩方法和在线无损事件压缩方法。本发明利用了系统动态产生的信息冗余,作为基于系统的压缩方法,减少存储资源,在节省更少动作的同时,保证能够追踪到系统发生的所有动作。
声明:
“基于离散事件系统的无损事件压缩方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)