模块化模型相容性分析方法研究  

A Component-oriented Analytical Method for Consistency Analysis

作　　者：赵群[1,2] 汪小华[1] 梅涛[1] 

机构地区：[1]中国科学院合肥智能机械研究所,安徽合肥230031 [2]中国科学技术大学,安徽合肥230026

出　　处：《计算机仿真》2010年第10期75-78,共4页Computer Simulation

基　　金：国家"973"计划资助项目(2006CB300407)

摘　　要：对多领域建模与协同模型的相容性分析是系统仿真设计中的一个重要部分。针对陈述式物理建模语言模型的检验方法,都是从整个模型出发,研究模型内所有方程和变量之间的关系。但是当系统所包含的方程和变量比较多时,方法在分析过程中容易出错。现提出了一种以模块为研究对象的模型检验的新方法。它将系统划分为多个子模块,将各个模块内部和模块之间的约束关系表示为二部图的形式,以DM分解为基本算法,来分析模型的约束性,从而确定系统模型的正确性。由于每个分析过程只涉及一小部分方程和变量,因此,大大减小了出错的几率。通过一个分析实例,描述了模块化模型检验方法的具体实现。上述分析方法结合了Modelica建模语言的特性,层次清晰。As a part of the simulation model design,consistency analysis is of great significance.Currently,consistency analysis are mostly based on all the equations and variables in the model.When the number of equations and variables is large,error might occur in the analysis process.We have developed a new method to detect the error in a model,which takes components as its objects of study,It divides the whole model into many components,and analyzes the relations between equations,ports and variables included in each component.The new method is based on graph theoretical approaches,and determines the correctness of a model by analyzing each component＇s constraints.Every analysis process involves only a few equations and variables,error would not easily occur.A simulation model is given and analyzed to illustrate the correctness of this new method.This method is distinctive and integrated with Modelica.

关 键 词：相容性分析 二部图分解 陈述式建模语言 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]