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

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

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

【技术实现步骤摘要】
有限状态机的模型生成方法、生成装置及终端设备
本申请涉及电子
，尤其涉及有限状态机的模型生成方法、生成装置及终端设备。
技术介绍
有限状态机，是表示有限个状态以及在这些状态之间进行转移和动作等行为的数学模型。有限状态机被广泛应用于电子工程、语言学、计算机科学、逻辑学等领域。现有的有限状态机的建模方法，是由人工手动计算模型中的各个事件的状态描述函数，并手动为每个事件设置状态转换条件。当有限状态机的模型规模较大时，人工的计算效率较低。
技术实现思路
有鉴于此，本申请实施例提供了有限状态机的模型生成方法、生成装置及终端设备，以解决现有技术中人工建立有限状态机模型的效率较低的问题。本申请实施例的第一方面提供了一种有限状态机的模型生成方法，包括：获取待生成的有限状态机的模型参数，所述模型参数包括输入属性集和输出属性集；基于所述输入属性集和所述输出属性集生成至少一组有效事件，每组有效事件包括一个输入属性和一个输出属性；分别计算每组有效事件的状态描述函数，并分别为每个状态描述函数设置状态转换条件；基于所述模型参数和所述状态转换条件，生成所述有限状态机的模型。本申请实施例的第二方面提供了一种有限状态机的模型生成装置，包括：获取单元，用于获取待生成的有限状态机的模型参数，所述模型参数包括输入属性集和输出属性集；事件生成单元，用于基于所述输入属性集和所述输出属性集生成至少一组有效事件，每组有效事件包括一个输入属性和一个输出属性；计算单元，用于分别计算每组有效事件的状态描述函数，并分别为每个状态描述函数设置状态转换条件；模型生成单元，用于基于所述模型参数和所述状态转换条件，生成所述有限状态机的模型。本申请实施例的第三方面提供了一种终端设备，包括存储器、处理器以及存储在所述存储器中并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现本申请实施例第一方面提供的所述方法的步骤。本申请实施例的第四方面提供了一种计算机可读存储介质，所述计算机可读存储介质存储有计算机程序，所述计算机程序被一个或多个处理器执行时实现本申请实施例第一方面提供的所述方法的步骤。本申请实施例与现有技术相比存在的有益效果是：本申请实施例通过获取待生成的有限状态机的模型参数，模型参数包括输入属性集和输出属性集，基于所述输入属性集和所述输出属性集生成至少一组有效事件，每组有效事件包括一个输入属性和一个输出属性，通过上述方法，能够将模型参数自由组合得到有限状态机的所有可能的状态；分别计算每组有效事件的状态描述函数，并分别为每个状态描述函数设置状态转换条件，通过上述方法，能够自适应地生成有限状态机所需的状态转换条件；基于所述模型参数和所述状态转换条件，生成所述有限状态机的模型。通过上述方法，能够自适应地根据模型参数生成有限状态机，避免了人工手动计算，大大提高了有限状态机的建模效率。附图说明为了更清楚地说明本申请实施例中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本申请的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。图1是本申请实施例提供的有限状态机的模型生成方法的实现流程示意图；图2是本申请实施例提供的有限状态机的模型生成装置的示意图；图3是本申请实施例提供的终端设备的示意图。具体实施方式以下描述中，为了说明而不是为了限定，提出了诸如特定系统结构、技术之类的具体细节，以便透彻理解本申请实施例。然而，本领域的技术人员应当清楚，在没有这些具体细节的其它实施例中也可以实现本申请。在其它情况中，省略对众所周知的系统、装置、电路以及方法的详细说明，以免不必要的细节妨碍本申请的描述。应当理解，当在本说明书和所附权利要求书中使用时，术语“包括”指示所描述特征、整体、步骤、操作、元素和/或组件的存在，但并不排除一个或多个其它特征、整体、步骤、操作、元素、组件和/或其集合的存在或添加。还应当理解，在此本申请说明书中所使用的术语仅仅是出于描述特定实施例的目的而并不意在限制本申请。如在本申请说明书和所附权利要求书中所使用的那样，除非上下文清楚地指明其它情况，否则单数形式的“一”、“一个”及“该”意在包括复数形式。还应当进一步理解，在本申请说明书和所附权利要求书中使用的术语“和/或”是指相关联列出的项中的一个或多个的任何组合以及所有可能组合，并且包括这些组合。如在本说明书和所附权利要求书中所使用的那样，术语“如果”可以依据上下文被解释为“当...时”或“一旦”或“响应于确定”或“响应于检测到”。类似地，短语“如果确定”或“如果检测到[所描述条件或事件]”可以依据上下文被解释为意指“一旦确定”或“响应于确定”或“一旦检测到[所描述条件或事件]”或“响应于检测到[所描述条件或事件]”。为了说明本申请所述的技术方案，下面通过具体实施例来进行说明。图1是本申请实施例提供的有限状态机的模型生成方法的实现流程示意图，如图所示，所述方法可以包括以下步骤：步骤S101，获取待生成的有限状态机的模型参数，所述模型参数包括输入属性集和输出属性集。其中，输入属性集中包括多个输入属性，输出属性集中包括多个输出属性。输入属性是用来描述进入状态时的动作，即进行状态转移前的动作；输出属性是用来描述退出状态时的动作，即进行状态转移后的动作。在有限状态机中，在达到一定的条件时，输入属性按照预设的规则进行状态转换得到输出属性。上述的条件即有限状态机中的状态转换条件，预设的规则即有限状态机中的状态描述函数。步骤S102，基于所述输入属性集和所述输出属性集生成至少一组有效事件，每组有效事件包括一个输入属性和一个输出属性。在一个实施例中，所述基于所述输入属性集和所述输出属性集生成至少一组有效事件，包括：S1021，依次将所述输入属性集中的每个输入属性作为待组合输入，将所述输出属性集中的每个输出属性分别与所述待组合输入组合成基础事件，并将组合得到的所有基础事件生成事件集合。示例性的，假设输入属性集中有A、B两个输入属性，输出属性集中有I、II、III三个输出属性。先将A作为待组合输入，将I、II、III分别与A组合成基础事件，再将B作为待组合输入，将I、II、III分别与B组合成基础事件，共组合得到A-I、A-II、A-III、B-I、B-II、B-III这6个基础事件，将这6个基础事件生成事件集合。S1022，当所述事件集合中基础事件的个数等于预设值时，判断所述事件集合中是否存在重复事件，所述预设值为所述输入属性集中输入属性的个数与所述输出属性集中输出属性的个数的乘积，所述重复事件包括至少两个相同的基础事件。当输入属性集中所有的输入属性与输出属性集中的所有输出属性均发生组合后，事件集合中的基础事件的个数应该等于预设值。如步骤S1021的示例所示，在该示例中，输入属性集中有2个输入属性，输出属性集中有3个输出属性，因此预设值为2*3＝6。S1023，若所述事件集合中存在重复事件，则将所述重复事件中的任意一个基础事件作为保留事件，并删除所述重复事件中除所述保留事件外的基础事件。其中，相同的基础事件是指，输入属性相同、且输出属性相同的基础事件。步骤S103，分别计算每组有效事件的状态描述本文档来自技高网...

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

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

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