Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.     

基于Modelica的CAN通信系统建模仿真

首先对CAN2.0B通信协议做了分析,介绍了Modelica多领域统一建模语言的优越性.并在CAN2.0B通信协议基础上,采用Modelica统一建模语言,建立了CAN总线的电路模型和时序状态模型.通过对改变双绞线长度和通信节点数两种工况进行仿真,确定了模型的可用性.同时分析了CAN总线相关参数对其通信性能的影响,为CAN通信设计和验证提供参考.     

基于Web的多领域可视化建模系统设计与实现

针对单机环境下基于Modelica语言的多领域建模与仿真软件不利于知识共享和积累、软件维护升级困难等不足,研究了B/S架构的多领域建模与仿真技术,设计并开发实现了基于Web的多领域建模系统WebMWorks:采用Silverlight技术和WCF技术等,实现了系统浏览器端的可视化及其与服务器程序的通信.最后,给出了系统运行实例.     

Development of a Modelica Compiler Using JastAdd

This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex physical systems. Our implementation uses the attribute-grammar based tool JastAdd. In particular, we discuss the implementation of Modelica name analysis which is highly context-dependent, type analysis which is based on structural subtyping, and flattening which is a fundamental part of the Modelica compilation process.of so called modifications, Modelica.     

基于Modelica的虚拟电工电子网络实验室设计

为方便学生通过互联网进行电类课程实验,设计一种基于Modelica的虚拟电工电子网络实验室iEEVL。该实验平台利用Modelica进行多课程的统一建模,涵盖电路原理、模拟电子技术、数字电子技术、微电子器件、单片机原理、数字信号处理原理与技术等课程。仿真结果表明,该平台具有较好的可扩展性,用户可以通过建立新的Modelica模型进行实验。     

基于Modelica的电动汽车电池建模与仿真

为了实时仿真电动汽车电池组的动态性能,应用Modelica多领域建模语言建立描述电池组的PNGV等效电路模型.通过电池的动态充放电性能实验标定电池组模型的电阻、电容等参数,并利用Dymola多领域仿真软件进行性能参数求解.将该电池模型应用在电动汽车整车的仿真分析中,实验结果表明,该模型准确度高,能实时地仿真电动汽车的动力性能.该电池组建模方法实现简单且便于扩展,可以为电动汽车的产品设计、系统性能分析提供有效的解决办法.     

CyDER – an FMI-based co-simulation platform for distributed energy resources

The increased integration of distributed energy resources (DERs) is bringing a number of challenges to the power grid. These include reverse power flows in distribution systems and potentially transmission systems and grid stability. So far, specialized tools have been developed to capture some of the impact of DERs at the distribution level. However, distribution system operators lack visibility into the overall system conditions. Furthermore, the impact of increasing DERs is not limited to the distribution level but also influences the transmission grid. To support the planning and operation of the grid, we developed a co-simulation platform called CyDER (A Cyber Physical Co-simulation Platform for Distributed Energy Resources in Smart Grids) that integrates various domain-specific simulation tools. CyDER is based on the functional mock-up interface standard. This paper gives an overview of CyDER and demonstrates its use based on two applications.     

Robustness of declarative modeling languages: Improvements via probability-one homotopy

Robustness issues with steady-state initialization remain a barrier in the practical use of declarative modeling languages for multi-domain modeling of large, complex, and heterogeneous technical systems. The objective of this paper is to illustrate how probability-one homotopy, an established method from topology, can solve this issue. This is achieved by establishing a framework for application-specific probability-one homotopy in declarative modeling languages. The analysis is based on domain-specific probability-one homotopy maps, which were reformulated in a declarative fashion. Additionally, a novel probability-one homotopy map and associated coercivity proof is introduced for a class of thermo-fluid dynamics problems. It was found that the approach enables robust initialization for declarative modeling languages on several test cases and leads to a concise declarative problem formulation.     

A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models

Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately.     

Modelica语言的过程式建模机制研究与实现

过程式建模是仿真的重要手段。本文通过比较过程式与陈述式两种建模方式，研究了Modelica语言的过程式建模特性，提出Modelica过程式建模机制的实现方案，解决了陈述式语言环境下时过程式模型的兼容问题及过程式模型方程的生成．并在多领域统一建模与仿真平台Mwork中得到了应用。