基于表达式树的Modelica单位检查和推导  

Unit check and derivation in Modelica based on expression tree

作　　者：赵建军[1] 陈闻豪[1] 

机构地区：[1]华中科技大学机械科学与工程学院,武汉430074

出　　处：《计算机辅助工程》2013年第4期76-81,共6页Computer Aided Engineering

摘　　要：为提高多领域物理系统统一建模中复杂模型的质量和可靠性,介绍Modelica对单位的支持方式以及单位之间的换算和运算规则,基于对表达式树的遍历,给出单位检查和推导机制的实现方案.通过分析该方案的时间复杂度,优化影响其效率的主要因素.在MWorks上实现该方案,并通过Modelica标准库中的模型证明该方案可行.To improve the quality and reliability of the complex models in the unified modeling of multi-domain physical system, the unit support modes and the unit conversion and calculation rules in Modelica are introduced, and the implementation scheme for unit check and derivation mechanism is proposed on the basis of expression tree traversal. The main factors that affects the efficiency are optimized by analyzing the time complexity of the scheme. The scheme is realized on MWorks and proved to be feasible by a model in the standard library of Modelica.

关 键 词：MODELICA 表达式树 多领域物理系统 统一建模 模型可靠性 MWorks 

分 类 号：TB9[一般工业技术—计量学] TP391.7[机械工程—测试计量技术及仪器]