节点文献
基于平衡原理的陈述式模型相容性检测
Consistency Detecting Based on Balance Principle for Declarative Models
【Author】 Ding Jian-wan~1 Zhou Fan-li~(1,2) Gong Xiong~(1,2) ZhaoJian-jun~1 Chen Li-ping~1 (1.National CAD Support Software Engineering Research Center,Huazhong University of Science and Technology,Hubei.Wuhan.430074) (2.Suzhou Tongyuan Software & Control Information Technology Co.Ltd..Jiangsu,Suzhou.215123)
【机构】 华中科技大学国家CAD支撑软件工程技术研究中心； 苏州同元软控信息技术有限公司；
【摘要】 模型的相容性检测是陈述式建模的一个关键问题。针对面向系统仿真的陈述式建模语言,阐述了基于方程的陈述式建模思想,探讨了模型连接的内在机理与本质特性。基于模型交互的能量流平衡原理,阐述了平衡模型的概念,给出了遵循单赋值规则的模型相容性检测方法。该方法通过计算二部图匹配判定模型是否相容,通过计算模型的方程数与变量数,自顶向下地分析模型构件的相容性,定位模型的奇异构件。
【Abstract】 Consistency detecting of model is a crucial subject of declarative modeling.For declarative modeling languages used for system simulation,the ideas of declarative modeling based on equations are presented,and the underlying principle of model connection and its characteristic are discussed.Based on the balance principle of energy flow of intercommunion between models,the notion of balanced model is presented,and following single assignment rule,a consistency detecting method for declarative models is proposed.The method can not only determine whether a model is consistent or not by calculating a maximum matching of a bipartite graph,but also locate the singular components by calculating the numbers of equations and variables and analyzing the consistency of every model component from top to bottom.
【Key words】 Consistency Detecting； Declarative Model； Declarative Modeling； Modelica；
- 【会议录名称】 2009系统仿真技术及其应用学术会议论文集
- 【会议名称】2009系统仿真技术及其应用学术会议
- 【会议时间】2009-08-01
- 【会议地点】中国安徽合肥
- 【分类号】TP391.9
- 【主办单位】中国自动化学会系统仿真专业委员会、中国系统仿真学会仿真技术应用专业委员会