有限状态机的模型生成方法、生成装置及终端设备制造方法及图纸

本申请适用于电子技术领域，提供了一种有限状态机的模型生成方法、生成装置及终端设备，包括：获取待生成的有限状态机的模型参数，所述模型参数包括输入属性集和输出属性集；基于所述输入属性集和所述输出属性集生成至少一组有效事件，每组有效事件包括一个输入属性和一个输出属性；分别计算每组有效事件的状态描述函数，并分别为每个状态描述函数设置状态转换条件；基于所述模型参数和所述状态转换条件，生成所述有限状态机的模型。通过上述方法，能够自适应地根据模型参数生成有限状态机，避免了人工手动计算，大大提高了有限状态机的建模效率。

Model Generation Method, Generating Device and Terminal Device of Finite State Machine

【技术实现步骤摘要】
有限状态机的模型生成方法、生成装置及终端设备
本申请涉及电子
，尤其涉及有限状态机的模型生成方法、生成装置及终端设备。
技术介绍
有限状态机，是表示有限个状态以及在这些状态之间进行转移和动作等行为的数学模型。有限状态机被广泛应用于电子工程、语言学、计算机科学、逻辑学等领域。现有的有限状态机的建模方法，是由人工手动计算模型中的各个事件的状态描述函数，并手动为每个事件设置状态转换条件。当有限状态机的模型规模较大时，人工的计算效率较低。
技术实现思路
有鉴于此，本申请实施例提供了有限状态机的模型生成方法、生成装置及终端设备，以解决现有技术中人工建立有限状态机模型的效率较低的问题。本申请实施例的第一方面提供了一种有限状态机的模型生成方法，包括：获取待生成的有限状态机的模型参数，所述模型参数包括输入属性集和输出属性集；基于所述输入属性集和所述输出属性集生成至少一组有效事件，每组有效事件包括一个输入属性和一个输出属性；分别计算每组有效事件的状态描述函数，并分别为每个状态描述函数设置状态转换条件；基于所述模型参数和所述状态转换条件，生成所述有限状态机的模型。本申请实施例的第二方面提供了一种有限状本文档来自技高网...

【技术保护点】
1.一种有限状态机的模型生成方法，其特征在于，包括：获取待生成的有限状态机的模型参数，所述模型参数包括输入属性集和输出属性集；基于所述输入属性集和所述输出属性集生成至少一组有效事件，每组有效事件包括一个输入属性和一个输出属性；分别计算每组有效事件的状态描述函数，并分别为每个状态描述函数设置状态转换条件；基于所述模型参数和所述状态转换条件，生成所述有限状态机的模型。

【技术特征摘要】
1.一种有限状态机的模型生成方法，其特征在于，包括：获取待生成的有限状态机的模型参数，所述模型参数包括输入属性集和输出属性集；基于所述输入属性集和所述输出属性集生成至少一组有效事件，每组有效事件包括一个输入属性和一个输出属性；分别计算每组有效事件的状态描述函数，并分别为每个状态描述函数设置状态转换条件；基于所述模型参数和所述状态转换条件，生成所述有限状态机的模型。2.如权利要求1所述的有限状态机的模型生成方法，其特征在于，所述基于所述输入属性集和所述输出属性集生成至少一组有效事件，包括：依次将所述输入属性集中的每个输入属性作为待组合输入，将所述输出属性集中的每个输出属性分别与所述待组合输入组合成基础事件，并将组合得到的所有基础事件生成事件集合；当所述事件集合中基础事件的个数等于预设值时，判断所述事件集合中是否存在重复事件，所述预设值为所述输入属性集中输入属性的个数与所述输出属性集中输出属性的个数的乘积，所述重复事件包括至少两个相同的基础事件；若所述事件集合中存在重复事件，则将所述重复事件中的任意一个基础事件作为保留事件，并删除所述重复事件中除所述保留事件外的基础事件。3.如权利要求1所述的有限状态机的模型生成方法，其特征在于，所述分别计算每组有效事件的状态描述函数，包括：将所述有效事件中的输入属性作为自变量，将所述有效事件中的输出属性作为因变量；计算所述自变量和所述因变量之间的映射关系，并将所述映射关系作为所述事件的状态描述函数。4.如权利要求1所述的有限状态机的模型生成方法，其特征在于，所述分别计算每组有效事件的状态描述函数，还包括：获取所述有效事件对应的突发属性；将所述突发属性和所述有效事件中的输入属性均作为自变量，将所述有效事件中的输出属性作为因变量；计算所述自变量和所述因变量之间的映射关系，并将所述映射关系作为所述事件的状态描述函数。5.如权利要求3或4任一项所述的有限状态机的模型生成方法，其特征在于，所述分别为每个状态描述函数设置状态转换条件，包括：将所述...

【专利技术属性】
技术研发人员：国海峰，冷晓宁，杨京雷，杨志远，
申请(专利权)人：中科恒运股份有限公司，
类型：发明
国别省市：河北,13