|
|
|
|
|
|
 |
 |
|
A Formal Approach for Modeling and Simulation
|
|
|
|
|
|
| Organization: | INRIA Sophia Antipolis, COPRIN |
|
|
|
|
|
|
Wolfram Technology Conference 2011
|
|
|
|
|
|
Champaign, Illinois, USA
|
|
|
|
|
|
Modeling some behaviors of a system is a complex multi-step and multi-layered description process closely related to the numerical simulation and visualization of these behaviors. At the bottom level layer, physical characteristics are defined in terms of quantities and associated to symbols, units, and values. At the top level layer, systems are expressed as a set of interconnected components involving such quantities. Intermediate layers are used to express how components are acting on each other, how quantities are dependent together, and how that can be effectively represented in terms of equations with the help of physical formalisms and theories. By adding a few constructions, we show how to turn the rich programming and mathematical language of Mathematica into a generic declarative modeling language that is rich enough to represent the most complex models of large-scale systems. Ad-hoc compilers are then able to produce from these source models any kind of simulation code as target. An industrial application of these theoretical concerns has led to the development of an integrated environment for modeling and simulation used by one of the leaders in the aircraft industry for the design of flight dynamics models and the automatic generation of components of the flight simulators.
|
|
|
|
|
|
|
|
|
|
|
|
http://www.wolfram.com/events/technology-conference-2011
|
|
|
 |
|
|
| AFormalApproachForModelingAndSimulation.cdf (1.3 MB) - CDF Document | | AFormalApproachForModelingAndSimulation.nb (1.3 MB) - Mathematica Notebook |
|
|
|
|
|
|
|
| | | | | |
|
For the newest resources, visit Wolfram Repositories and Archives »
