[发明专利]一种用于X语言混合模型的仿真修正方法及系统

说明书

本发明公开了一种用于X语言混合模型的仿真修正方法及系统，涉及X语言混合系统建模技术领域，其中方法包括：定位混合模型中正在发生触发事件的原子模型；对发生触发事件的原子模型进行内部事件的状态事件错误定位检测，获取错误定位状态事件的原子模型；对错误定位状态事件的原子模型重新进行状态事件定位，获取状态事件定位后的原子模型；计算状态事件定位后的原子模型的状态事件输出，则得到新的正在发生触发事件的原子模型，重复上述步骤，直到没有错误定位事件。本发明改变了传统的事件处理逻辑，能发现错过状态事件的模型，并通过不断检测修正，直到没有错误定位的状态事件，完善了X语言的设计流程建模和验证能力。

技术领域

本发明涉及X语言混合系统建模技术领域，更具体的说是涉及一种用于X语言混合模型的仿真修正方法及系统。

背景技术

建模和仿真是一门通过进行多个层级的抽象对系统进行分析的学科。随着计算机科学技术的发展，目前建模和仿真技术已经被用于工业制造和军事仿真等多个复杂场景下。其中离散事件规范(Discrete Event Specification，DEVS)是应用最广泛的离散系统仿真框架之一。

DEVS是由Zeilger提出的基于离散事件的系统建模框架，框架中包括原子模型和耦合模型两种类型的模型，其中，耦合模型可以被视作特殊的原子模型。

混合模型(hybrid system)是同时包括连续及离散动态特性的动力系统，这类系统中同时有连续(以微分方程描述)以及跳跃(离散状态变化)的特性。混合模型作为一种典型的多领域模型，其建模与仿真涉及到连续和离散两种不同的领域。X语言是国内自主研发的复杂系统建模语言，由于复杂系统的背景，需要其能够提供对混合模型良好的建模能力，并需其具备对构建完毕的模型进行建模验证的能力。目前的仿真规范中，如DEVS，虽然能够提供对混合模型的建模仿真能力，但是受限于算法，难以提升精度。且由于连续模型中状态事件的存在，传统的DEVS仿真算法经常出现错误定位状态事件的情况。

因此，如何为X语言提供一种混合模型的修正方法，验证模型中的错误定位状态事件并对其进行改正，实现状态事件的正确定位，是本领域技术人员亟需解决的问题。

发明内容

有鉴于此，本发明提供了一种用于X语言混合模型的仿真修正方法及系统。

为了实现上述目的，本发明提供如下技术方案：

一种用于X语言混合模型的仿真修正方法，包括以下步骤：

步骤一、仿真引擎调用所有模型的仿真时间函数，确定模型的下一事件发生时间，进而得知混合模型中正在发生触发事件的原子模型，获取正在发生触发事件的原子模型的集合，所述触发事件包括内部事件和外部事件；

步骤二、对所述发生触发事件的原子模型进行内部事件的状态事件错误定位检测，获取错误定位状态事件的原子模型；

步骤三、对所述错误定位状态事件的原子模型重新进行状态事件定位，获取状态事件定位后的原子模型；

步骤四、仿真引擎调用状态事件定位后的原子模型的输出函数，计算所述状态事件定位后的原子模型的状态事件输出，由所述输出得到新的当前时刻正在发生触发事件的原子模型，并返回步骤一。

进一步的，当所述步骤二中没有检测到错误定位状态事件的原子模型时，则停止步骤循环。

进一步的，所述混合模型中包括一个或多个原子模型，所述发生触发事件的原子模型为一个或多个。

进一步的，所述步骤二中进行状态事件错误定位检测，获取错误定位状态事件的原子模型，具体为：