Bagaj Taşıma Sistemi havaalanlarında kontrol edilen bagajların hareket eden bir bant vasıtasıyla uçağa taşıma ve uçaktan bagaj teslim noktasına taşınma modelidir. Bu sistem Biçimsel Diller ve Otomata dersinde Sonlu Devinim Otomata (NFA) konusu ile alakalıdır. Yapılan uygulama OPCAT üzerinde modellenerek C# üzerinde simülasyonu yapıldı.
1 - NFA Diyagramı
4 - Takım Üyeleri
NFA KABUL DURUMU (iki adet örnek verilmiştir):
ID OK OK OK OK OK NO-MORE-FLIGHT
ID OK OK OK OK OK ANOTHER-FLIGHT OK OK NO-MORE-FLIGHT
NFA RET DURUMU (iki adet örnek verilmiştir):
ID OK OK OK OK OK
ID OK OK OK OK LOST-BAGGAGE
NFA Alfabesi:
∑ {ID, OK, missing document,baggage overload,invalid item,lost baggage,no more flight,another flight}
Simülasyonun karşımıza çıkan ilk arayüzü yukarıdaki görseldir. Bu arayüz de yolcunun uçuş numarası ve kimlik numarasına göre check-in işlemini gerçekleştiriyor. Eğer yolcu biletini henüz almamış ise biletini alması için add passenger arayüzüne geçiş yapmak zorundadır.
Add Passenger arayüz tasarımı yukarıdaki görseldir. Burada kişinin bilgileri alınır ve yeni yolcu oluşturulur.Back Check -In kısmı ile de yolcu check-in kısmına yönlendirilir.
Check-In işlemi tamamlandıktan sonra Baggage Handling System’in arayüzü karşımıza çıkmaktadır. Bu sistemde genel amaç bagajların başlangıç konumundan varış konumuna nasıl taşındığını göstermektir.
Check-in kısmını başarıyla geçen yolcu bu arayüz de bagajının ağırlığını kontrol ettirir.Eğer belirlenen kilogram sınırını aşmış ise fazladan bagaj hakkı satın alır.
Baggage Check işlemini başarıyla geçen bagaj Securtiy arayüzüne gelir ve içerisinde şüpheli bir eşya var mı yok mu kontrol edilir. Eğer şüpheli bir eşya var ise çıkarılması beklenir.
Securtiy işlemini başarıyla geçen bagaj bu arayüz de Sort işlemine tabi tutulur. Bu Sort işlemi sırasında kaybolan bir bagaj var ise Lost Property Table kısmına yönlendirilir.
Sort işlemini başarıyla geçen bagaj bu arayüz de uçağa yüklenir. Eğer yükleme aşamasında kaybolan bir bagaj var ise Lost Property Table kısmına yönlendirilir.
Uçak varış noktasına geldiğinde bu arayüz de bagajların indirme işlemi yapılır.
Transfer olacak bagaj burada bantlar üzerinde valiz taşıma tabi tutulur.
Kaybolan bagajlar bu kısma gelerek Baggage ID bilgisine göre yolcuya verilir.
Bütün işlemlerden başarıyla geçen bagaj Baggage Claim’e gelerek yolcuya verilir.
