The aivika package
- 'ghc-options: -O2' is rarely needed. Check that it is giving a real benefit and not just imposing longer compile times on your users.
- Exposed modules use unallocated top-level names: Simulation
Aivika is a multi-paradigm simulation library with a strong emphasis on the Discrete Event Simulation (DES) in the first order and System Dynamics (SD) in the second one.
The library has the following features:
allows defining recursive stochastic differential equations of System Dynamics (unordered as in maths via the recursive do-notation);
supports the event-driven paradigm of DES as a basic core for implementing other paradigms;
supports extensively the process-oriented paradigm of DES with an ability to resume, suspend and cancel the discontinuous processes;
allows working with the resources (you can define your own behaviour or use the predefined queue strategies);
allows customizing the queues (you can define your own behaviour or use the predefined queue strategies);
allows defining an infinite stream of data based on the process-oriented computation, where we can define a complex enough behaviour just in a few lines of code;
allows defining processors (actually, the Haskell arrows) that operate on the infinite streams of data, because of which some models can remind of their high-level graphical representation on the diagram used by visual simulation software tools;
supports the activity-oriented paradigm of DES;
supports the basic constructs for the agent-based modeling;
allows creating combined discrete-continuous models as all parts of the library are very well integrated and this is reflected directly in the type system;
the arrays of simulation variables are inherently supported (this is mostly a feature of Haskell itself);
supports the Monte-Carlo simulation;
the simulation model can depend on external parameters;
uses extensively the signals to notify the model about changing the reference and variable values;
allows gathering statistics in time points;
hides the technical details in high-level simulation monads and even one arrow (some of these monads support the recursive do-notation).
Aivika itself is a light-weight engine with minimal dependencies. However, it has additional packages Aivika Experiment  and Aivika Experiment Chart  that offer the following features:
automating the simulation experiments;
saving the results in CSV files;
plotting the deviation chart by rule 3-sigma, histogram, time series, XY chart;
collecting the summary of statistical data;
parallel execution of the Monte-Carlo simulation;
have an extensible architecture.
All three libraries were tested on Linux, Windows and OS X.
Please read the PDF document An Introduction to Aivika Simulation Library  for more details, although it is outdated and contains a very basic description only. The most powerful features of Aivika are not yet described in this PDF document.
P.S. Aivika is actually a genuine female Mari name which is pronounced with stress on the last syllable as in French, but the Russians usually pronounce it wrong :)
|Versions||0.1, 0.2, 0.3, 0.4, 0.4.1, 0.4.2, 0.4.3, 0.5, 0.5.1, 0.5.4, 0.6, 0.6.1, 0.7, 1.0, 1.1, 1.2, 1.2, 1.2.1, 1.3, 1.4, 2.0, 2.1, 3.0, 3.1, 4.0, 4.0.1, 4.0.3, 4.1, 4.1.1, 4.2, 4.3, 4.3.1, 4.3.2, 4.3.3, 4.3.4, 4.3.5, 4.5, 4.6, 5.0.1|
|Dependencies||array (>=0.3.0.0), base (>=220.127.116.11 && <6), containers (>=0.4.0.0), mtl (>=2.1.1), random (>=18.104.22.168) [details]|
|Copyright||(c) 2009-2014. David Sorokin <email@example.com>|
|Maintainer||David Sorokin <firstname.lastname@example.org>|
|Source repository||head: git clone https://github.com/dsorokin/aivika|
|Uploaded||Sun May 18 16:33:59 UTC 2014 by DavidSorokin|
For package maintainers and hackage trustees