Package jline.solvers.nc.analyzers

Class Solver_nc_lossn_analyzer

java.lang.Object
jline.solvers.nc.analyzers.Solver_nc_lossn_analyzer
public final class Solver_nc_lossn_analyzer extends Object

  • Method Details

    • solver_nc_lossn_analyzer

      public static NCResult solver_nc_lossn_analyzer(NetworkStruct sn, SolverOptions options)
      Analyzes open loss networks with FCR. Handles open queueing networks with a single multiclass Delay node inside a Finite Capacity Region (FCR) with DROP policy. The FCR admission rule is A n <= C on the per-class occupancy vector n of the region, where the rows of A are assembled from every constraint the region declares: the global job cap, the memory budget weighted by the per-class sizes, the per-class job caps, and any explicit linear constraint set with FiniteCapacityRegion.setConstraint. Rows left unbounded are DROPPED rather than given a surrogate capacity. Method selection (options.method): "rec" - MDD-rec (Lossn_rec): the same constant as the exact sum over the admissible set, obtained by one memoised walk of the decision diagram holding it. Places no integrality demand on A or C. "exact" (default) - Manjunath-Sikdar transform (Lossn_manjunath): the normalization constant is obtained exactly as a multidimensional contour integral evaluated by residues. Requires integer A and C. "erlangfp" - Erlang fixed-point (reduced-load) approximation. "mci" - Monte Carlo importance-sampling summation (Ross-Wang 1992): estimates the normalization constant g(C) and class blocking with confidence intervals (options.samples/options.seed). The default is the residue transform on an integral region and MDD-rec on a fractional one. It used to fall back to "erlangfp" there, an approximation, because the residue argument counts whole units; MDD-rec needs only that the admissible set be finite and bounded per coordinate, which it still is, so the fractional case is now exact as well. Historically the default fell back to "erlangfp" when the region declares fractional class sizes or capacities, since the residue argument counts whole units.