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

摘要：

为提高多领域物理系统统一建模中复杂模型的质量和可靠性,介绍Modelica对单位的支持方式以及单位之间的换算和运算规则,基于对表达式树的遍历,给出单位检查和推导机制的实现方案,通过分析该方案的时间复杂度,优化影响其效率的主要因素.在MWorks上实现该方案,并通过Modelica标准库中的模型证明该方案可行.

关键词： Modelica语言 单位检查 推导机制 表达式树

作者: 赵建军 陈闻豪

作者单位: 华中科技大学机械科学与工程学院,武汉430074

会议类型: 国内会议

会议名称: 2013计算机辅助工程及其理论研讨会

会议地点: 江苏如东

会议语种:中文

页码: 76-81

在线出版日期: 2013-07-01（万方平台首次上网日期，不代表论文的发表时间）