aivika: A multi-paradigm simulation library
Aivika is a small simulation library that covers many paradigms. It allows integrating a system of ordinary differential equations. Also it can be applied to the Discrete Event Simulation. It supports the event-oriented, process-oriented and activity-oriented paradigms. Aivika also supports the Agent-based Modeling. Finally, it can be applied to System Dynamics.
It is possible due to using a very general approach when the basic modeling entity is just a function of simulation time. The paradigms are mainly distinguished by sets of the functions that are used to model the activities. These sets are small and do not pretend to be comprehensive. Aivika is mostly a proof-of-concept project rather than a big library that knows everything.
The library widely uses monads. The dynamic system is represented as a computation in the Dynamics monad. There is also the Process monad to represent the discontinuous processes which can suspend at any time and then resume later. There is also the Simulation monad that represents a simulation run, in which scope the previous two monads exist. Almost everything is expressed through these monads, including the event handlers, agent handlers and even integrals except for the parameters and statistics that already use the IO monad.
The PDF documentation is available at https://github.com/dsorokin/aivika/blob/master/doc/aivika.pdf. Please note that the documentation is outdated and it corresponds to version 0.2 but it can still be helpful.
Modules
[Index]
- Simulation
- Aivika
- Simulation.Aivika.Dynamics
- Simulation.Aivika.Dynamics.Agent
- Simulation.Aivika.Dynamics.Base
- Simulation.Aivika.Dynamics.Buffer
- Simulation.Aivika.Dynamics.Cont
- Simulation.Aivika.Dynamics.EventQueue
- Simulation.Aivika.Dynamics.FIFO
- Simulation.Aivika.Dynamics.LIFO
- Simulation.Aivika.Dynamics.Parameter
- Simulation.Aivika.Dynamics.Process
- Simulation.Aivika.Dynamics.Random
- Simulation.Aivika.Dynamics.Ref
- Simulation.Aivika.Dynamics.Resource
- Simulation.Aivika.Dynamics.Signal
- Simulation.Aivika.Dynamics.Simulation
- Simulation.Aivika.Dynamics.SystemDynamics
- Simulation.Aivika.Dynamics.UVar
- Simulation.Aivika.Dynamics.Var
- Simulation.Aivika.PriorityQueue
- Simulation.Aivika.Queue
- Simulation.Aivika.Statistics
- Simulation.Aivika.Dynamics
- Aivika
Downloads
- aivika-0.4.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 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, 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, 5.1, 5.2, 5.3, 5.3.1, 5.4, 5.5, 5.6, 5.7, 5.8, 5.9, 5.9.1, 6.0.0, 6.1, 6.1.1 |
---|---|
Dependencies | array (>=0.3.0.0), base (>=3 && <6), containers (>=0.4.0.0), mtl (>=1.1.0.2), random (>=1.0.0.3) [details] |
Tested with | ghc ==7.4.1 |
License | BSD-3-Clause |
Copyright | (c) 2009-2012. David Sorokin <david.sorokin@gmail.com> |
Author | David Sorokin |
Maintainer | David Sorokin <david.sorokin@gmail.com> |
Category | Simulation |
Home page | http://github.com/dsorokin/aivika |
Uploaded | by DavidSorokin at 2012-10-29T15:25:58Z |
Distributions | NixOS:6.1.1 |
Reverse Dependencies | 9 direct, 2 indirect [details] |
Downloads | 41222 total (70 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |