Modelica模型状态固化方法、装置、设备、介质和产品

本发明涉及计算机领域，提供一种Modelica模型状态固化方法、装置、设备、介质和产品，其中方法包括：响应于待固化模型的翻译仿真请求，翻译所述待固化模型，得到模型不确定性表征，所述模型不确定性表征包括翻译选取的状态变量、补初变量的初始值、非线性迭代变量及其迭代初值，所述补初变量是指需要补充初始值的变量；执行以下步骤中的至少一种并最终写入到模型中，以对翻译后的模型进行状态固化：确定所述状态变量的必选性、锁定初始值的确定性、提供非线性迭代变量的迭代初值并利用厂商注解标记所述非线性迭代变量。本发明提供的方法、装置、设备、介质和产品，消除了模型翻译过程中的二义性，实现了跨平台仿真结果的高度一致性与可靠性。