[发明专利]一种基于离散事件系统的无损事件压缩方法

权利要求书

1.一种基于离散事件系统的无损事件压缩方法，其特征在于：包括：

给定离散事件系统G及其产生的源事件序列s，得到最小可恢复的压缩事件序列s′_min；给定第一压缩协议：保留源事件序列中的最后k个事件(k≥1)；给定第二压缩协议：对于任何循环子事件序列，至少保留一个事件，

建立压缩自动机模型G_s′表示给定压缩事件序列s′所有可能的源事件序列s，基于该压缩自动机模型检测给定压缩事件序列是否1-阶可恢复以及是否满足第二压缩协议，

分别建立离线无损事件压缩方法和在线无损事件压缩方法。

2.根据权利要求1所述的基于离散事件系统的无损事件压缩方法，其特征在于：所述的离线无损事件压缩方法包括：

S1、设置s′＝s，判断s′是否是1-阶可恢复，如1-阶可恢复，设置s′_min＝s并且输出s′_min，

S2、设置i＝1和s^*＝s，判断s^*/σ_i是否满足第二压缩协议，如不满足第二压缩协议，判断i＝m-1是否成立，如成立，设置s′_min＝s^*；如不成立，设置i＝i+1重复S2，

S3、判断s^*/σ_i是否是1-阶可恢复，如1-阶可恢复，从s^*删除事件σ_i并且设置s^*＝s^*/σ_i，

S4、输出s′_min。

3.根据权利要求1所述的基于离散事件系统的无损事件压缩方法，其特征在于：所述的在线无损事件压缩方法包括：

S1、设置j＝1，

S2、判断j≤|s′σ_i|是否成立，

如不成立，设置k_min(sσ_i)＝j，输出k_min(sσ_i)；

如成立，判断(s′σ_i)_-(j-1)是否是1-阶可恢复，如1-阶可恢复，设置k_min(sσ_i)＝j并且输出k_min(sσ_i)，

S3、设置j＝j+1，重复S2，设置k_min(sσ_i)＝j，输出k_min(sσ_i)，

S4、设置l＝1，

S5、判断是否成立，

如不成立，设置输出s′_new；

如成立，判断是否满足第二压缩协议，如不满足第二压缩协议，设置l＝l+1并且重复S5，检测是否是1-阶可恢复的，如1-阶可恢复，设置

S6、设定l＝l+1，重复S5，

S7、设置输出s′_new。