Yeni rota için toplam sipariş artışı kadar kap eklemek, düğüm-zaman-konfigürasyon bazındaki hazır-serbest kapasiteyi ve yeni durakların çevrim süresine eklediği beklemeyi birlikte göstermez.
Dondurulmuş kapasite defteri: Yeni rota ISOTEC ihtiyacı
Yeni rotanın kaç kabı kaç dakika boyunca bağlı tuttuğu ham olay zamanlarından belirlenir; süreler baz ve yeni ağ için aynı düğüm n, zaman t ve uyumlu konfigürasyon c hücrelerine dönüştürülür. Her hücre x=(n, t, c) olarak kodlanır. Talep D_rota, kova süresi Δt_h [saat], hücre kümesi ve durum sözlüğü sonuçtan önce dondurulur. Δt_h>0 olmalı; bütün kap sayıları sonlu, tamsayı ve ≥0 olmalıdır.
Bağlı artış ve hazır-serbest kapasite. Her x hücresinde U_baz, baz senaryoda bağlı; A_baz ise aynı yerde ve anda hazır-serbest uyumlu kap sayısıdır. P_baz bu iki birbirini dışlayan sayının uzlaşmış toplamıdır. U_yeni, yeni rota eklenince bağlı olması gereken sayıyı gösterir. Aynı fiziksel kimlik aynı t kovasında en fazla bir (n, c) hücresinde ve U/A durumlarından yalnız birinde sayılır; ardışık t kovalarında süreklilik aynı kimlikle korunur. Eksik hücre, uyumsuz konfigürasyon veya kimlik-durum-havuz uzlaşmazlığı bütün havuz kararını N/A yapar.
Marjinal kap-gün integrali. Marjinal bağlı süre için her hücredeki yeni ve baz bağlı sayılarının işaretli farkı kova süresiyle çarpılır, bütün hücrelerde toplanır ve 24'e bölünür. Yalnız pozitif farklardan kurulan L serisi de ΔCD_+ [kap-gün] olarak ayrıca bütünleştirilir. ΔCD ile ΔCD_+ zaman integralidir; tek başına satın alınacak stok değildir ve saat/24, kap adedi olmadan kap-gün sayılmaz. Tam denklemler karar kartında birimleriyle verilir.
Marjinal havuz kartı bağlı artışı, aynı hücrede hazır-serbest kapasiteyi ve geriye kalan net açığı ayrı gösterir. Kap-gün integrali stok adediyle aynı birimmiş gibi toplanmaz.
| Hücre x=(n,t,c) | Kova süresi Δt_h [saat] | P_baz,x=U_baz,x+A_baz,x [kap] | U_baz,x / A_baz,x / U_yeni,x [kap] | L_x=azami(0,U_yeni,x-U_baz,x) [kap] | S_x=azami(0,L_x-A_baz,x) [kap] | ΔCD=Σ_x[(U_yeni,x-U_baz,x)×Δt_h]/24 [kap-gün] | K_tepe=max_t Σ_{x:t(x)=t} S_x [kap] | B* / karar |
|---|---|---|---|---|---|---|---|---|
| Kimlikli ortak hücre | Pozitif | Kimlik uzlaşması | Üç ayrı durum | Pozitif bağlı artış | Hazır kapasite sonrası açık | Zaman integrali | Aynı anda toplam net açık | En küçük geçen veya N/A |
| Uzlaşma örneği | Pozitif | 100=50+50 | İlgili 50 / 50 / 60 | 10 | 0 | Ayrı rapor | 0 | B*=0 / kapılar geçerse |
Net tepe açık ve sıfır talep
Net açık için her hücrenin hazır-serbest sayısı pozitif bağlı artıştan düşülür ve negatif sonuç sıfırlanır. Her t anında düğüm ve konfigürasyonlar üzerindeki açıklar toplanır; zaman içindeki en yüksek toplam K_tepe olur. P_baz=100, U_baz=50, A_baz=50 ve U_yeni=60 ise L=10, S=0, K_tepe=0; diğer kapılar geçerse B*=0 olur. D_rota=0 iken yeni rotaya bağlı olay yoksa ΔCD=ΔCD_+=K_tepe=B*=0'dır; olay varsa, hücre eksikse veya bu eşitlik uzlaşmıyorsa sonuç N/A'dır.
En küçük ek havuz kararı
B_max sonlu ve B_max∈Z≥0 ise adaylar B={0,…, B_max} aynı dondurulmuş defterde oynatılır. Hizmet, hazır kap, dönüş, konfigürasyon ve durum kapılarının tümünü geçen en küçük aday B* seçilir. B*<K_tepe geçersizdir; B*>K_tepe ancak belgelenmiş düğüm, konfigürasyon veya yeniden-hazırlama kısıtıyla kabul edilir. Pozitif ΔCD_+ tek başına B*>0 gerekçesi değildir. Geçen aday yoksa marjinal havuz kararı N/A'dır.
