智能感知驱动的状态转移图识别及数字孪生构建与验证方法及系统

本发明提供一种智能感知驱动的状态转移图识别及数字孪生构建与验证方法及系统。本发明首先获取并优化状态转移图，将状态转移图分解为状态节点层、转移路径层和文本标注层。然后基于分解的各层，调用结合领域相关的训练数据集训练后的深度学习模型，识别状态转移图中的各类状态节点；识别状态节点间的转移路径；识别文本信息，并理解其在具体领域的语义。基于所识别的结果可进一步构建数字孪生模型，以及对数字孪生模型进行形式化验证和/或行为仿真，评估其正确性和可靠性。本发明解决了传统人工解析方法效率低、易出错的问题，特别适用于半导体、存储器、通信协议等领域的复杂状态机解析与验证，能够显著提高设计效率，降低设计缺陷。