公开(公告)号：CN108804771B

公开(公告)日：2022-05-13

申请号：CN201810492769.8

申请日：2018-05-22

Applicant: 同济大学

Inventor： 舒少龙 ,  蔡敏超 ,  苗成诗 ,  周磊 ,  金静

IPC: G06F30/20 ,  G06F17/15

Abstract: 本发明属于人机交互技术领域，具体为一种用于分析和设计人机交互逻辑的离散事件系统方法。所述方法包含三个部分：结合对象系统流程图的离散事件系统自动机建模算法，对应增广自动机建模算法和基于增广自动机模型的人机交互逻辑改进算法。改进算法的思想是结合对象系统情况，对对象系统的每个离散状态进行分析，以确定不确定操作发生与否，并进行必要的报警，可增强系统的安全性和鲁棒性。

公开(公告)号：CN108804771A

公开(公告)日：2018-11-13

申请号：CN201810492769.8

申请日：2018-05-22

Applicant: 同济大学

Inventor： 舒少龙 ,  蔡敏超 ,  苗成诗 ,  周磊 ,  金静

IPC: G06F17/50

CPC classification number: G06F17/5022

Abstract: 本发明属于人机交互技术领域，具体为一种用于分析和设计人机交互逻辑的离散事件系统方法。所述方法包含三个部分：结合对象系统流程图的离散事件系统自动机建模算法，对应增广自动机建模算法和基于增广自动机模型的人机交互逻辑改进算法。改进算法的思想是结合对象系统情况，对对象系统的每个离散状态进行分析，以确定不确定操作发生与否，并进行必要的报警，可增强系统的安全性和鲁棒性。