Package jline.solvers.nc.handlers

Class Solver_nc_pas_is

java.lang.Object
jline.solvers.nc.handlers.Solver_nc_pas_is
public final class Solver_nc_pas_is extends Object
Importance-sampling (IS) normalizing-constant analysis of a closed two-station pass-and-swap (Pinvalid input: '&S') tandem with a non-empty swap graph (Casale, Comte and Dorsman, 2026). Monte-Carlo counterpart of Solver_nc_oi for the case that the exact OI convolution does not apply (non-empty swap graph): the ordered-state chain is reducible and the recurrent communicating class carries a per-class product form whose constant G_C is estimated by Pfqn_pas_is.

Station 1 is the upstream Pinvalid input: '&S' queue (prefix of the ordering), station 2 the downstream queue (reversed suffix). The global placement order is derived from the swap graph via Pas_swap2order. Mean per-class queue lengths come directly from the auto-normalized IS; per-class throughput uses the ratio X_r = G(N - e_r)/G(N) with common random numbers; utilization and response time follow the conventions of Solver_nc_oi.

Port of matlab/src/solvers/NC/solver_nc_pas_is_analyzer.m and nc_is_pas_model.m.

  • Method Details

    • nc_is_pas_model

      public static boolean nc_is_pas_model(NetworkStruct sn)
      True when the model is a closed two-station Pinvalid input: '&S' tandem: both stations OI/PAS, no other station. The swap graph may be empty, since an order-independent queue is exactly the Pinvalid input: '&S' specialization with an empty swap graph, and Pfqn_pas_is with H=0 samples all microstates (the OI case). Used to bind the importance-sampling selectors ('is', and 'sampling' which maps to 'is' when OI/PAS stations are present). A Pinvalid input: '&S' tandem with a NON-EMPTY swap graph is reducible and lies outside the exact path of Solver_nc_oi.nc_is_oi_model(jline.lang.NetworkStruct), so it also takes this analyzer on 'default'; a pure-OI tandem on 'default'/'exact' is caught earlier by the exact OI analyzer.

    • solver_nc_pas_is

      public static SolverNC.SolverNCReturn solver_nc_pas_is(NetworkStruct sn, SolverOptions options)