公开(公告)号：CN113553044B

公开(公告)日：2022-06-21

申请号：CN202110817891.X

申请日：2021-07-20

Applicant: 同济大学

Inventor： 张苗苗 ,  沈炜 ,  安杰 ,  詹博华 ,  薛白 ,  詹乃军

IPC: G06F8/35

Abstract: 本发明提供了一种结合PAC学习理论和主动学习的时间自动机模型的生成方法，用于生成实时系统的单时钟时间自动机形式模型，其特征在于，包括：步骤S1，通过学习器初始化时间观察表；步骤S2，通过转换器处理时间观察表使其满足闭合性和一致性；步骤S3，基于时间观察表，通过学习器构建假设模型步骤S4，通过比较器比较假设模型的质量与稳定模型的质量，并判断是否找到反例；步骤S5，当步骤4判断为否时，通过教学器对假设模型进行PAC近似等价查询，并判断是否找到反例，当判断为否时，停止迭代，将假设模型作为结果模型；步骤S6，当步骤S4或步骤S5判断为是时，根据反例，更新时间观察表，并返回步骤S2。

公开(公告)号：CN113553044A

公开(公告)日：2021-10-26

申请号：CN202110817891.X

申请日：2021-07-20

Applicant: 同济大学

Inventor： 张苗苗 ,  沈炜 ,  安杰 ,  詹博华 ,  薛白 ,  詹乃军

IPC: G06F8/35

Abstract: 本发明提供了一种结合PAC学习理论和主动学习的时间自动机模型的生成方法，用于生成实时系统的单时钟时间自动机形式模型，其特征在于，包括：步骤S1，通过学习器初始化时间观察表；步骤S2，通过转换器处理时间观察表使其满足闭合性和一致性；步骤S3，基于时间观察表，通过学习器构建假设模型步骤S4，通过比较器比较假设模型的质量与稳定模型的质量，并判断是否找到反例；步骤S5，当步骤4判断为否时，通过教学器对假设模型进行PAC近似等价查询，并判断是否找到反例，当判断为否时，停止迭代，将假设模型作为结果模型；步骤S6，当步骤S4或步骤S5判断为是时，根据反例，更新时间观察表，并返回步骤S2。