| 摘要: |
| 模型的相容性分析是复杂产品多领域建模面临的一个关键问题.研究了陈述式基于方程仿真模型的方程系统过约束或欠约束判定、检测与修正策略.首先,将方程系统表示为二部图,通过二部图分解判定模型的相容性,并分离出方程系统的过约束和欠约束部分.然后,通过检测、判定与缩减过程,自动判别出过约束或欠约束发生的大致范围,并给出修正方案.所提出的策略与算法能够显著地提高用户发现与排除过约束或欠约束问题的效率,已在多领域物理系统混合建模与仿真平台MWorks中实现. |
| 关键词: 相容性分析 陈述式模型 仿真 Modelica 多领域 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.60574053(国家自然科学基金);the National High-Tech Research and Development Plan of China under Grant No.2003AA001031(国家高技术研究发展计划(863));the National Grand Fundamental Research 973 Program of China under Grant No.2003CB716207(国家重点基础研究发展规划(973)) |
|
| Consistency Analysis of Complex Declarative Simulation Models |
|
DING Jian-Wan,CHEN Li-Ping,ZHOU Fan-Li,HUANG Hua
|
| Abstract: |
| The use of mathematical modeling and simulation in engineering is rapidly increasing since modern products are increasingly complex and heterogeneous. Consistency analysis of simulation model is a crucial subject of multi-domain modeling of complex physical systems. In this paper, a structural analysis method based on graph theoretical approaches is presented. The method can not only determine whether a simulation model is consistent or not, but also decompose the overall system of equations into three distinct parts: over-constrained, under-constrained, and well-constrained part. A methodology is also proposed for detecting and repairing over-constrained and under-constrained situations. Equations and variables that cause the inconsistencies can be automatically detected and isolated without solving the system of equations, and meaningful repairing messages for users are given. The methodology can considerably enhance the error finding and correcting process by providing a broad range of errors, and is implemented in a modeling and simulation tool, named MWorks. |
| Key words: consistency analysis declarative model simulation Modelica multi-domain |
