Welcome to MVSTUDIUM Group site!
Object-oriented modeling
Our research group develops software tools of
mathematical modeling in close collaboration with
scientists from Distributed Computing and Networking
Department of the Saint-Petersburg State Polytechnic
University Technical Cybernetics School.
AnyDynamics which is a newer and free version
of academic product MvStudium (MVS, Model Vision Studium, Rand Model Designer) is a simulation
modeling tool that allows the user to create and
experiment with models of complex dynamic systems. (What is AD (en).pdf)
Brief summary of AnyDynamics:
AnyDynamics is a high-performance environment for the development of component models of complex dynamical systems. AnyDynamics uses an intuitive, object-oriented high-level modeling language, based on the object paradigm of UML, allowing quick and efficient creation of complex models. AnyDynamics allows to develop continuous, discrete and hybrid (continuous-discrete) models and conduct the interactive computational experiments with them.
Main areas of application of AnyDynamics
are:
conducting scientific computational
experiments;
designing the technical systems;
carrying out a strategic audit and risk
analysis;
modeling of economic systems;
education;
development of mathematical models of
physical systems and processes with the
subsequent embedding them into external
software applications;
creating computer simulators.
AnyDynamics allows quick developing
the continuous, discrete and hybrid
(continuous-discrete) models. Input
language makes no demands for knowledge
in programming: it uses an intuitive
common form to describe mathematical
dependences and visual diagrams to
describe the structure and qualitative
changes in the behavior of the simulated
system.
Continuous behavior of
systems is described by
differential-algebraic equations of the
first and second order (scalar or
matrix) in any form (including
unresolved with respect to derivatives).
Equations are specified in a natural
mathematical representation (as in
MathCad). To describe the discrete and
hybrid behavior AnyDynamics uses visual
behavior charts, which are an extension
of UML state diagrams. Discrete actions
are specified by means of simple
algorithmic language, that uses
well-known basic elements of traditional
algorithmic languages.
The program
code of executable model is
automatically generated based on a
mathematical model and then compiled,
which leads to high performance in
conducting computational experiments.
The automatic building of the aggregate
system of equations takes into account
its structure, reduces the dimension and
part of the equations is solved
symbolically, which together with
applying the special numerical methods
makes it possible to work with large
systems of equations (thousands of
differential-algebraic equations)
including in real-time.
AnyDynamics
provides powerful tools for debugging
and demonstrating the results of
experiments, two-dimensional and
three-dimensional animation. The typical
computational experiments are supported
(receiving parametric dependencies,
calculating the probability of an event,
calculation of the value expectation of
the variable, a global sensitivity
analysis). Input language supports the
possibility of an "internal"
computational experiment during the
functioning of the model.
Visual
model can be used independently of the
development environment and be utilized
by the external application using a
special API.
Existing competitors:
MATLAB+Simulink+StateFlow+ToolBoxes,
Dymola, OpenModelica, MathModelica,
Ptolemy, AnyLogic.
AnyDynamics is the
only universal tool to create all kinds
of models of dynamic systems:
one-component continuous models;
one-component discrete event models;
one-component hybrid models;
multi-component models with continuous,
discrete or hybrid components and
oriented links («block models»);
multi-component model with continuous,
discrete and hybrid components and
undirected links («physical models»);
multi-component model with variable set
of components and variable structure of
links.
AnyDynamics embodies an attempt to combine the strengths of the UML and Modelica approach: maintain a "physical modeling" as proposed in the Modelica language and at the same time use object paradigm and the state machine of UML. «Payback» for this decision was the need to perform a part of the analysis of the aggregate system of equations at the runtime for each switching. But it turned out that this analysis can be performed with algorithms of «linear complexity» and industrial models created by AnyDynamics build of components with undirected connections work successfully in real time.
Please see AnyDynamics presentation here.
