Browsing MELİKŞAH ÜNİVERSİTESİ by Title
Now showing items 1-20 of 57
-
A comparative study of theorem provers
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Teorem ispatlayıcılar ve ispat yardımcıları genellikle matematiksel problemleri çözmek için ya da yazılım ve donanımların formal olarak doğrulanmasında kullanılır. Yazılımların bakım işleminin yüksek maliyetli olmasını ... -
A general approach for the synthesis of petri net based liveness enforcing supervisors in flexible manufacturing systems
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu tezde, kördüğüm problemi olan bir esnek üretim sisteminin Petri ağı modeli için bir canlılık uygulayıcı gözetici hesaplanması konusunda genel bir yöntem önerilmektedir. Bu tezde önerilen kördüğüm kontrolu yaklaşımında, ... -
A near-optimal approach for the synthesis of petri net based liveness enforcing supervisors in flexible manufacturing systems
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bir esnek üretim sisteminde (Flexible Manufacturing System – FMS), kördüğüm olarak adlandırılan istenmeyen bir durum, paylaşılan kaynakların varlığı sebebiyle oluşabilir. Petri ağları (Petri nets – PN), FMS'in analizi, ... -
A petri net based divide and conquer method for the synthesis of liveness enforcing supervisors in FMS
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Esnek üretim sistemlerinde (Flexible Manufacturing Systems – FMS) kördüğümler paylaşılan kaynaklar nedeniyle ortaya çıkar ve feci sonuçlara yol açarlar. Petri ağları FMS' lerde kördüğüm problemlerini çalışmak için ... -
A study on the computational complexity reduction of petri net based liveness-enforcing supervisors in flexible manufacturing systems
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Esnek üretim sistemlerinde (Flexible Manufacturing Systems – FMS) paylaşılan kaynakların varlığı kördüğüm durumlarına sebep olabilir. FMS bağlamında, bütünsistem bloke olduğundan kördüğümler istenmez. FMS tasarımında ve ... -
A study on the structural complexity reduction of petri net based liveness-enforcing supervisors in flexible manufacturing systems
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Esnek üretim sistemlerinde (Flexible Manufacturing Systems – FMS) kördüğümün önlenmesi (canlılık-yürürlüğe koymak) amacıyla şu ana kadar pek çok çalışma yapılmıştır. Petri ağları FMS'te kördüğüm oluşumlarını imkansız ... -
Application of power electronic devices on smart grid
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Dünya çapında elektrik güç ihtiyacı artmasından dolayı günümüzdeki güç sistemleri birçok problemler karşı karşıyadır; güvenilirlik problemi, kısa devre arızaları ve gerilim uyuşmazlığı gibi problemler bunlardan bazılarıdır. ... -
Automatic defect detection in fabrics using computer vision techniques
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Dokuma ürünlerinin kalite kontrolü problemi, içerdiği belirsizlikler nedeniyle oldukça karmaşık bir problemdir ve bütünleşik gerçek zamanlı çözümler gerektirmektedir. Yıllar içinde tekstil endüstrisi tarafından daha iyi ... -
Avukatlık sözleşmesinde ücret
(MELİKŞAH ÜNİVERSİTESİ/Sosyal Bilimler Enstitüsü, 2018-08-06)Avukatlık sözleşmesi doktrinde yer edinmiş olsa da ilk defa hukuk literatürüne 1136 sayılı Avukatlık Kanununda değişiklik yapılmasını öngören 4667 sayılı kanun ile girmiştir. Avukatlık Kanununun 163 vd. maddelerince ... -
Design and fabrication of optical isolators for photonic integrated circuits
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Son zamanlarda, fotonik tümleşik devreler üzerinde yapılan çalışmalar yoğunlaşmıştır. Birden çok aygıtın tem bir yonga üzerinde bir araya getirilmesi ile elde edilen bu yapılarda, ışığı tel yönlü iletmesinden dolayı optik ... -
Design of a wireless network infrastructure for a university campus
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Güvenilir bir kablosuz internet hizmeti üniversite kampüsleri için çok önemlidir. Hem öğrenciler hem de çalışanlar kampüsün bütün alanlarında sürekli ve sağlıklı bir kablosuz internet hizmeti beklemektedir. Kullanıcılar ... -
Detection and decoding of the invisible data matrix with smart phone by using hough lines and online learning
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Günümüzde, barkod tanıma hayatımızın heryerinde, birçok farklı pazarda günlük alışılmış işlem haline gelmiştir. Barkodların kullanım alanı süpermarketlerden, fabrikalara, askeri endüstriye, sağlık endüstrisine ve daha ... -
Development of linear motor for vibrating sample magnetometer
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Manyetik malzemelerin ilk keşiflerinden beri, malzemelerin manyetik özelliklerini ölçen sistemler bilim dünyasında popüler oldular. Çoğu ticari üretimler manyetik özelliklerin en doğru sonuçlarını verebilmek için birbirleriyle ... -
Effect of boron addition and retained austenite on the mechanical properties of high strength low alloy (HSLA) SAE 8620 steel
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu çalışma SAE 8620 çeliğinin mekanik özellikleri ve mikroyapı ilişkisinin farklı bor oranları (ppm oranında) ile değişimini incelemektedir. SAE 8620 çeliği 1630ᴼC de eritilmiş, oluşan ergiğe farklı oranda (ppm) doğrudan ... -
Effect of boron on the mechanical properties of high strength low alloy AISI 4140 steel
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu çalışma sıcak haddeleme işlemi ile şekilllendirilmiş, normalizasyon sonrası 850 oC, 860 oC, 880oC, 900oC, 960oC ve 1000oC'de tavlanıp hava, su ve yağ atmosferinde soğutulan 2.1ppm, 11.4ppm, 17.2ppm, 25,6ppm, 31,7ppm ... -
Energy absorption behaviour of filament wound glass and carbon epoxies composite tubes
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Karbon ve cam elyaf takviyeli epoksi kompozit tüpler üzerinde bası deneyleri yapıldı. Çap, sarım açısı, silindirik tüplerin cidar kalınlığı ve elyaf cinsinin kuvvet-deplasman ilişikleri ve enerji yutma kapasitesi üzerindeki ... -
Evaluating techniques to reduce errors made by novice programmers
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Araştırmalar programlama becerilerinin öyle kolay kazanılmadığını göstermektedir. Eğitmenler, öğrencilere bilgi iletmek için çok fazla zaman harcamalarına rağmen öğrenciler hala programlamayı anlamakta zorlanmaktadırlar. ... -
Evaluation of online translation services` output quality
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Sosyal, çoklu ortam ve eğitim gibi pek çok sahada insanlar yabancı kaynaklardaki yeni bilgilere her zamankinden daha fazla öğrenme ihtiyacı duyuyorlar. Her insan yabancı bir dile bir uzman kadar hâkim olamayabilir. Bu durum ... -
Evaluation of recognition algorithms on embedded systems
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bir video veya resim kaynağından alınan resimlerin tanımlanması, yüz bulma ve yüz tanıma olarak bilinen bilgisayarla görü çalışmalarıdır. Son yıllarda bilgisayarların hesaplama gücünün artmasıyla yüz bulma ve tanıma daha ... -
Evaluation of semantic web search engines
(MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Kullanıcı sorgularına direk cevaplar verebilmek ve kullanıcı sorgularını daha iyi anlayıp daha doğru sonuçlar üretebilmek için, Google ve Bing arama motorları anlamsal arama motorlarını geliştirmişlerdir. Bunun için büyük ...