面向半物理仿真的陈述式模型转换方法研究

Research on Methods for Transformation of Declarative Model for Semi-physical Simulation

针对半物理仿真,提出了一种由陈述式模型转换为半物理仿真模型的方法。通过分析陈述式模型与半物理仿真模型的数学形式,基于二部图对陈述式模型的数学形式进行匹配分解与代数环撕裂从而转化为半物理仿真模型所需的数学形式,并使用了离合器模型作为模型转换验证实例。陈述式模型转化思想克服了当前使用过程式建模考虑因果性、不易修改与重用的缺点,为半物理仿真提供了一种新的建模思路与手段。

A new method for the transformation from the declarative model to the model for semi-physical simulation was proposed aiming at semi-physical simulation. By analyzing the mathematical form of the declarative model and the model for semi-physical simulation, based on bipartite graph, the mathematical form of declarative model to the mathematical form of the model for semi-physical simulation was transformed through decomposition based on bipartite graph and tearing the algebraic loop, using clutch model as the model transformation examples. The declarative model transforming idea has overcome the disadvantages of process modeling method such as considering the causality, difficult to modify and reuse, providing a new modeling method and means for the semi physical simulation.