Route overlap metrics to batch orders

Multiple orders per job batch scheduling with incompatible jobs

The growth in demand for semiconductors has been accompanied by intense competition between semiconductor manufacturers to satisfy customer on-time delivery needs. This paper is motivated by scheduling the wafer fabrication phase of 300-mm semiconductor manufacturing, as it contains both batch processing operations and multiple customer orders being grouped into production jobs. The resulting m...

Representation theorems for fuzzy orders and quasi-metrics

Let L be a complete residuated lattice. Then we show that any L-preorder can be represented both by an implication-based graded inclusion as defined [1] and by a similarity-based graded inclusion as defined in [2]. Also, in accordance with a duality between [0,1]-orders and quasi-metrics, we obtain two corresponding representation theorems for quasi-metrics.

Learning to schedule new orders in batch plants using aproximate dynamic programming

Production scheduling in a wide range of batch plants involves minimizing tardiness of batches already scheduled when inserting new orders. This problem is addressed here as learning an “order insertion policy” using intensive simulations in the framework of approximate dynamic programming (ADP). Simple insertion operators are defined and the values of choosing them at different schedule states...

Extending Partial Orders to Dense Linear Orders

Validating airspace Analyzer Metrics for En Route ATC Sector Complexity

The MITRE Corporation’s Center for Advanced Aviation System Development (CAASD) has developed a tool, airspaceAnalyzer, to measure sector complexity. It does so by performing automated air traffic control—separating traffic while respecting aircraft performance and restrictions on altitude and miles-intrail. It outputs a suite of raw metrics, derived from characteristics of these resolutions. W...