name: aivika
version: 4.0
synopsis: A multi-paradigm simulation library
description:
Aivika is a multi-paradigm simulation library with a strong emphasis
on Discrete Event Simulation (DES) and System Dynamics (SD).
.
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 based on specified queue strategies
(FCFS\/FIFO, LCFS\/LIFO, SIRO, static priorities and so on);
.
* allows customizing the infinite and finite queues based on strategies too;
.
* allows defining a queue network based on infinite streams of data
and their processors, where we can define a complex enough
behaviour just in a few lines of code;
.
* allows simulating circuits with recursive links and delays;
.
* 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 well integrated and this is reflected directly
in the type system;
.
* the arrays of simulation variables are inherently supported;
.
* supports the Monte-Carlo simulation;
.
* the simulation model can depend on external parameters;
.
* uses extensively signals for notification;
.
* allows gathering statistics in time points;
.
* hides technical details in high-level simulation computations
(monads and arrows).
.
Aivika itself is a light-weight engine with minimal dependencies.
However, it has additional packages Aivika Experiment [1] and
Aivika Experiment Chart [2] 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.
.
The PDF documentation is available on the Aivika Wiki [3] website.
.
\[1]
.
\[2]
.
\[3]
.
P.S. Aivika is actually a genuine female Mari name which is pronounced
with stress on the last syllable.
category: Simulation
license: BSD3
license-file: LICENSE
copyright: (c) 2009-2015. David Sorokin
author: David Sorokin
maintainer: David Sorokin
homepage: http://github.com/dsorokin/aivika
cabal-version: >= 1.10
build-type: Simple
tested-with: GHC == 7.8.3
extra-source-files: examples/BassDiffusion.hs
examples/BouncingBall.hs
examples/ChemicalReaction.hs
examples/ChemicalReactionCircuit.hs
examples/FishBank.hs
examples/MachRep1.hs
examples/MachRep1EventDriven.hs
examples/MachRep1TimeDriven.hs
examples/MachRep2.hs
examples/MachRep3.hs
examples/MachineBreakdowns.hs
examples/Furnace.hs
examples/InspectionAdjustmentStations.hs
examples/InventorySystem.hs
examples/WorkStationsInSeries.hs
examples/QuarryOperations.hs
examples/TimeOut.hs
examples/TimeOutInt.hs
examples/TimeOutWait.hs
CHANGELOG.md
flag haste-inst
description: The package is built using haste-inst
default: False
library
exposed-modules: Simulation.Aivika
Simulation.Aivika.Activity
Simulation.Aivika.Activity.Random
Simulation.Aivika.Agent
Simulation.Aivika.Arrival
Simulation.Aivika.Circuit
Simulation.Aivika.Cont
Simulation.Aivika.DoubleLinkedList
Simulation.Aivika.Dynamics
Simulation.Aivika.Dynamics.Extra
Simulation.Aivika.Dynamics.Memo
Simulation.Aivika.Dynamics.Memo.Unboxed
Simulation.Aivika.Dynamics.Random
Simulation.Aivika.Event
Simulation.Aivika.Generator
Simulation.Aivika.Net
Simulation.Aivika.Net.Random
Simulation.Aivika.Parameter
Simulation.Aivika.Parameter.Random
Simulation.Aivika.PriorityQueue
Simulation.Aivika.Process
Simulation.Aivika.Process.Random
Simulation.Aivika.Processor
Simulation.Aivika.Processor.Random
Simulation.Aivika.Processor.RoundRobbin
Simulation.Aivika.Queue
Simulation.Aivika.Queue.Infinite
Simulation.Aivika.QueueStrategy
Simulation.Aivika.Ref
Simulation.Aivika.Ref.Plain
Simulation.Aivika.Resource
Simulation.Aivika.Resource.Preemption
Simulation.Aivika.Results.Locale
Simulation.Aivika.Results
Simulation.Aivika.Results.IO
Simulation.Aivika.Server
Simulation.Aivika.Server.Random
Simulation.Aivika.Signal
Simulation.Aivika.Simulation
Simulation.Aivika.Specs
Simulation.Aivika.Statistics
Simulation.Aivika.Statistics.Accumulator
Simulation.Aivika.Stream
Simulation.Aivika.Stream.Random
Simulation.Aivika.SystemDynamics
Simulation.Aivika.Table
Simulation.Aivika.Task
Simulation.Aivika.Transform
Simulation.Aivika.Transform.Extra
Simulation.Aivika.Transform.Memo
Simulation.Aivika.Transform.Memo.Unboxed
Simulation.Aivika.Unboxed
Simulation.Aivika.Var
Simulation.Aivika.Var.Unboxed
Simulation.Aivika.Vector
Simulation.Aivika.Vector.Unboxed
other-modules: Simulation.Aivika.Internal.Cont
Simulation.Aivika.Internal.Dynamics
Simulation.Aivika.Internal.Event
Simulation.Aivika.Internal.Parameter
Simulation.Aivika.Internal.Process
Simulation.Aivika.Internal.Simulation
Simulation.Aivika.Internal.Specs
Simulation.Aivika.Internal.Arrival
build-depends: base >= 4.5.0.0 && < 6,
mtl >= 2.1.1,
array >= 0.3.0.0,
containers >= 0.4.0.0,
random >= 1.0.0.3
if !flag(haste-inst)
build-depends: vector >= 0.10.0.1
other-extensions: FlexibleContexts,
FlexibleInstances,
UndecidableInstances,
BangPatterns,
RecursiveDo,
Arrows,
MultiParamTypeClasses,
FunctionalDependencies,
ExistentialQuantification,
TypeFamilies,
DeriveDataTypeable,
CPP
ghc-options: -O2
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/dsorokin/aivika