Doktora Tezleri

Permanent URI for this communityhttps://hdl.handle.net/20.500.12416/1645

Browse

Browsing Doktora Tezleri by Subject "Ayrık Olaylı Sistemler"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Item
    Citation Count: Nooruldeen, Anas (2020). Order-preserving models for discrete event systems: Theory and applications / Ayrık olaylı sistemler için sırasal devamlılığı koruma modelleri: Kuram ve uygulamalar. Yayımlanmış doktora tezi. Ankara: Çankaya Üniversitesi, Fen bilimleri Enstitüsü.
    Order-preserving models for discrete event systems: Theory and applications
    (2020) Nooruldeen, Anas; Çankaya Üniversitesi, Fen Bilimleri Enstitüsü, Elektronik ve Haberleşme Mühendisliği Bölümü
    Esnek Üretim Sistemleri (FMS), farklı ürün türlerinin aynı imalat sistemleri üzerinde işlenmesi ile karakterizedir. Bir FMS çakışması yoluyla farklı ürün türlerine ait yolların ve farklı ürün türlerinin, makine veya taşıma bantları gibi aynı üretim bileşenlerini paylaşmaları mümkündür. Yani, FMS ile ilgili kontrol birimlerini tasarlarken ürünleri doğru bir şekilde işlemek için FMS aracılığıyla taşınan ürünleri takip etmek gereklidir. Farklı ürünlerin sıralı düzeninin FMS'nin dinamik modelleri tarafından yakalanması özellikle önem arz etmektedir. Bu bağlamda ayrık olaylı sistemlerin (DES) modelleme formalizmi FMS'nin sıralı davranışını yakalamaya olanak sağladığı için uygundur. Dolayısıyla bu tezde, DES çerçevesinde FMS'nin denetleyici kontrolüne yönelik yeni bir modelleme tekniği geliştirilmiştir. Tez bilhassa farklı ürün türlerinin üretim bileşenlerini paylaşabileceği ve bu üretim bileşenlerinin ise çoklu ürünleri barındırabileceği FMS'nin genel bir durumunu ele almaktadır. İlk olarak söz konusu üretim bileşeni için uygun bir modelin, bu ürünün türünü ve üretim bileşenlerine giren ve çıkan ürünlerin sırasını takip etmesi gerektiğine dikkat çekilmiştir. Sonrasında sırasal devamlılığı koruma dilleri, FMS için yeni bir model olarak sunulmuştur. Bu sırasal devamlılığı koruma dillerinin birçok önemli özelliği, usulen ispat edilmiş ve FMS modellemesi için faydaları tartışılmıştır. Bununla birlikte, sonlu durum otamatı kullanılarak gerekli sırasal devamlılığı koruma modellerini algoritmik olarak oluşturmaya ilişkin genel bir yöntem önerilmiştir. Geliştirilen bu yöntemin uygulanabilirliği birkaç uygulama örneği ile gösterilmiştir.