[发明专利]基于增量线性规划的动态系统在线增量式快速验证系统及方法

权利要求书

1.一种基于增量线性规划的动态系统在线增量式快速验证系统，其特征在于，包括：问题模型加载模块、求解模型修改模块和模型复用求解模块；其中，问题模型加载模块输入问题模型文件，并得到新的问题模型，求解模型修改模块根据新的问题模型、原线性规划求解模型和编码规则修改线性规划求解模型，模型复用求解模块调用修改后的线性规划求解新的问题模型，并给出求解结果；动态系统的问题模型文件包括单个自动机文件和动态系统模型文件； 

其中问题模型加载模块得到新的问题模型的步骤具体如下： 

先判断是否为初次求解，若为初次求解，则首先创建Vector容器存储模型内容，其中元素为单个自动机文件信息，包括文件地址、路径和参数集；若不是初次求解，则在加载问题模型的同时，查看Vector容器中是否已存在相应的自动机，从而得到问题模型的修改策略，根据标记结果加载新加入的自动机，并修改Vector容器的问题模型，得新的问题模型； 

其中求解模型修改模块修改线性规划求解模型的具体步骤如下： 

先判断是否为初次求解，若为初次求解，需要创建线性规划求解模型并将问题模型编码为求解模型；若不是初次求解，则根据已经得到的问题模型修改策略修改求解模型，从而得到与新的问题模型对应的求解模型。 

2.根据权利要求1所述的动态系统在线增量式快速验证系统，其特征在于，其中模型复用求解模块求解新的问题模型的具体步骤如下： 

设置模型复用求解参数，使底层线性规划求解器可以复用上次求解结果，调用复用求解器，返回求解结果。 

3.一种基于增量线性规划的动态系统在线增量式快速验证方法，其特征在于，包括下列步骤： 

步骤1：加载动态系统的问题模型； 

步骤2：修改原问题模型，得新的问题模型； 

步骤3：使用新的问题模型、原线性规划求解模型并根据编码规则修改原线性规划求解模型，从而得到修改后的线性规划求解模型； 

步骤4：利用修改后的线性规划求解模型求解新的问题模型，并给出求解结果。 

4.根据权利要求3所述的动态系统在线增量式快速验证方法，其特征在于，步骤1的内容具体如下：若为初次求解，则建立Vector容器以存储模型内容；否则，对比中Vector容器的内容，标记应该删除的自动机、应该添加的自动机和保持不变的自动机。 

5.根据权利要求3所述的基于增量线性规划的动态系统在线增量式快速验证方法，其特征在于，步骤2的内容具体如下：具体为根据标记结果移除应该 删除的自动机，加载新添加的自动机并加入到Vector容器中。 

6.根据权利要求3所述的动态系统在线增量式快速验证方法，其特征在于，步骤3的内容具体如下： 

1）对于已被移除的自动机，则移除其相对应的求解模型编码；同时移除与它相关的自动机编码； 

2）对于保持的自动机模型，则根据新的路径和参数集对其编码；保留相同路径段的编码，删除原路径不同部分的编码，加入新路径不同部分的编码；根据参数集修改相应的编码； 

3）对于新添加的自动机模型，根据编码规则对其进行编码并加入到新的求解模型，同时编码其相关的同步事件并加入到新的求解模型。 

7.根据权利要求3所述的基于增量线性规划的动态系统在线增量式快速验证方法，其特征在于，步骤4的内容具体如下： 

设置复用求解参数，使修改后的求解模型可以使用上次求解结果；调用复用求解器进行求解，并给出求解结果。