Havuz hesabı her zaman diliminde doğru lokasyonda hazır olan kimlikli varlıklarla başlar. Şube tepe adetlerinin toplamı gerçek eşzamanlı talebi göstermez.
Talep, doğrulanmış hazır adet, yoldaki transfer ve açık aynı zaman çizgisinde izlenir. Bilinmeyen veya çift kaydedilmiş varlık hazır sayılmaz.
Kimlikli olay ve durum sözlüğü
| Olay türü | Zorunlu kayıt | Eski durumdan yeni duruma geçiş | Olay zamanı ve konum | Geçiş sahibi |
|---|---|---|---|---|
| Göreve ayırma | Varlık ve görev kimliği | Hazırdan ayrılmış/kullanımda | Kesim saati ve çıkış lokasyonu | Yerel operasyon |
| Alıcı devri | Kimden-kime, kabul veya ret | Kullanımda durumunun kabul/ret sonucuna geçişi | Devir zamanı ve alıcı noktası | Teslim eden ile yetkili alıcı |
| Boş dönüş kabulü | Varlık, fiziksel bulgu ve kabul kararı | Dönüşte durumundan kabul, karantina veya bakım durumuna | Kabul zamanı ve tesis | İade kabul sahibi |
| Hazır serbest bırakma | Yöntem sürümü ve kontrol sonucu | İşlemde durumundan hazır durumuna | Serbest bırakma zamanı ve hazır lokasyon | Yetkili kontrol rolü |
| Lokasyon transferi | Kaynak-hedef, taşıma kimliği ve kabul | Hazırdan transferde, sonra hedefte hazır | Çıkış ve varış zaman damgaları | Gönderen ve alan lokasyon sahipleri |
Her fiziksel olay tekil kimlik, zaman, konum ve durum geçişi taşır. Düzeltme eski kaydı silmeden ona bağlanır; dijital statü fiziksel kabulü izlemiş olmalıdır.
Zaman dilimli ağ dengesi
| Zaman dilimi ve lokasyon | Zorunlu talep | Dilim başı doğrulanmış hazır | Kabul edilen dönüş | Gelen/giden transfer ve varış saati | Göreve ayrılan | Dilim sonu hazır | Karşılanamayan talep ve işlem |
|---|---|---|---|---|---|---|---|
| Olağan görev dilimi | Onaylı görev adedi | Kimlik ve hazır statüsü doğrulanan adet | Dilimde serbest bırakılan adet | Kaynak-hedef ve net transfer | Kabul edilen görevler | Olay uzlaştırması sonrası adet | Açık yoksa olağan sınırı koru |
| Yerel pik | Üst talep dilimi | Pik öncesi yerel hazır | Zamanında dönen hazır adet | Pik öncesi yetişen net transfer | Pencere içinde başlayan görev | Sonraki dilime devreden hazır | Açığı geçici transfer veya rezervle kapat |
| Ortak ağ piki | Eşzamanlı lokasyon talepleri | Her lokasyonun ayrı hazır kesiti | Ortak dönemdeki geçerli dönüş | Çakışan transfer kapasitesi ve süre | Lokasyon bazlı kabul edilen görev | Ağ ve lokasyon bakiyesi | Kritik görevi önceliklendir; kalıcı katmanı değerlendir |
| Dönüş/tesis kesintisi | Korunacak zorunlu görev | Kesinti dışındaki hazır adet | Geciken ya da serbest kalmayan dönüş | Kullanılabilir alternatif rota | Gerçekleşen görev | Karantina/bakım ayrıldıktan sonra hazır | Bölgesel tampon ve geri dönüş yolunu aç |
Dilim sonu hazır = dilim başı hazır + kabul edilip serbest bırakılan dönüş + gelen transfer - göreve ayrılan - giden transfer - bakım veya karantinaya geçen varlık. Kısa açık = en büyük(0, zorunlu talep - kesim saatinde göreve ayrılabilir hazır adet). Bütün terimler adet ve aynı zaman dilimindedir.
Havuz boyutu ve hizmet ölçüsü
E_hizmet={s_1,…,s_m}, model çalışmadan hizmet zamanı, lokasyon, görev türü ve benzersiz görev kimliğiyle dondurulan zorunlu hizmet görevi kümesidir. D_hizmet [görev] = |E_hizmet|. P tam sayı filo adedinde N_karşılanan(P), kesim saatinde doğru lokasyondaki doğrulanmış hazır varlıkla ilk denemede eksiksiz başlatılan görevleri sayar. Hizmet oranı R_hizmet(P) [%] = 100 × N_karşılanan(P) / D_hizmet. Geç, başarısız, açık, iptal, durumu bilinmeyen veya başka lokasyondaki stokla ilişkilendirilen görev E_hizmet ve D_hizmet içinde kalır. D_hizmet=0 ise R_hizmet(P) N/A'dır ve havuz satın alma kararı verilmez. Talep planı, görev sonucu, fiziksel olay günlüğü ve varlık durum defteri kimlik ve zaman diliminde uzlaşmıyorsa oran veya filo adedi yayımlanmaz.
Model başlamadan P_asgari,P_azami∈Z≥0 [adet] olan sonlu tam sayı sınırları, P_azami≥P_asgari koşulu, zorunlu senaryolar ve sonlu θ∈[0,100] [%] hizmet eşiği imzalanır. Bu sınır veya eşiklerden biri eksik, sonlu değil, negatif, yanlış birimde ya da aralık dışında ise S_uygulanabilir kurulmaz, P* N/A kalır ve satın alma yapılmaz. S_uygulanabilir={P∈Z | P_asgari≤P≤P_azami, bütün zorunlu senaryolar geçer, R_hizmet(P)≥θ ve bütün durum girdileri uzlaşır} sonlu kümesidir. S_uygulanabilir boş değilse P* [adet] = min S_uygulanabilir; boşsa P* N/A kalır ve satın alma yapılmaz. Bilinmeyen kimlik, uzlaşmayan durum, eksik transfer süresi veya sonlu olmayan talep girdisi sıfıra çevrilmez; çözülene kadar S_uygulanabilir kurulamaz ve havuz kararı bloke edilir. Yeni talep, çevrim veya transfer kanıtı eski P* sürümünü silmeden modeli yeniden açar.
Kararın kanıt sınırı. Bu model Isotec için bir izleme, durum üretme veya transfer kabiliyeti varsaymaz. Olay kayıtları kurumun gerçek süreçlerinden, ürün kapsamı güncel tekliften ve hazır olma kararı fiziksel kabul yönteminden gelir. Veri bulunmuyorsa görünür bir ölçüm açığı bırakılır; tahmini kimlik ya da statüyle havuz küçültülmez.
