%0 Journal Article
%T Consistency Analysis of Complex Declarative Simulation Models<br>复杂陈述式仿真模型的相容性分析
%A DING Jian-Wan
%A CHEN Li-Ping
%A ZHOU Fan-Li
%A HUANG Hua
%A <br>丁建完
%A 陈立平
%A 周凡利
%A 黄华
%J 软件学报
%D 2005
%I 
%X 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.
%K consistency analysis
%K declarative model
%K simulation
%K Modelica
%K multi-domain<br>相容性分析
%K 陈述式模型
%K 仿真
%K Modelica
%K 多领域
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=70A93B81A117EB44&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=708DD6B15D2464E8&sid=945A0D4267ABB31D&eid=B56549D8EAA47873&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=11