Package jline.solvers.mva.handlers

Class Solver_debemva

java.lang.Object
jline.solvers.mva.handlers.Solver_debemva
public final class Solver_debemva extends Object
Handler for debeMVA, de Nitto Persone and Di Lonardo's MVA-based approximation of closed networks with finite Blocking-After-Service (BAS) buffers. Ports of MATLAB debemva_scope_reason.m and solver_debemva.m.

Results are the paper's: QLen is n_i after the last pass and RespT the per-visit residence time t_i, blocking included. The paper counts a blocked job at the station holding it, whereas LINE's CTMC/JMT/LDES count it at the full destination. The capacity test is strict (options.tol is not used) and the pass budget per population is max(options.iter_max, 1e5).

  • Method Details

    • scopeReason

      public static String[] scopeReason(NetworkStruct sn)
      Why method 'debemva' cannot solve sn, or null when it can: {reason, kind}, kind being the error kind of the refusal (LINE:unsupported:<kind>). One predicate, read by SolverMVA's support gate and by solver_debemva(jline.lang.NetworkStruct, jline.solvers.SolverOptions) at run time.

      Scope: a closed single-class network of single-server FCFS queues with exponential service and finite capacities under Blocking-After-Service, plus delays of any service distribution, which may feed a finite buffer but may not have a binding capacity themselves. Every buffer that can bind must block its feeders BAS-style, declared on itself or on a feeder.

    • solver_debemva

      public static MVAResult solver_debemva(NetworkStruct sn, SolverOptions options)