Package jline.examples.java.solvers

Class SolverExamples

java.lang.Object

jline.examples.java.solvers.SolverExamples

public class SolverExamples
extends Object

The solver-comparison examples of matlab/examples/solvers.

These exist to show a solver against a closed form rather than against another solver: each builds a model whose exact answer is known on paper, so the printed table can be read as a correctness statement and not only as a number. The CTMC is the reference solver throughout, since it enumerates the chain rather than approximating it.

Constructor Summary

Constructors

Constructor	Description
SolverExamples()

Method Summary

Modifier and Type	Method	Description
static void	ctmc_tandem_mm1()	Two M/M/1 queues in series, solved exactly.
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SolverExamples

public SolverExamples()

Method Details

ctmc_tandem_mm1

public static void ctmc_tandem_mm1()

Two M/M/1 queues in series, solved exactly.

Burke's theorem is what makes the closed form available: the departure stream of a stationary M/M/1 queue is Poisson at the arrival rate, so the second station sees the same 0.6 the first one does and the two stations are independent M/M/1 queues. Each therefore has queue length rho/(1-rho) -- 1.5 at station one, 1.0 at station two -- and the CTMC below reproduces both without being told any of it.

main

public static void main(String[] args)