Browsing FEN BİLİMLERİ ENSTİTÜSÜ by Author "Elektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı"
Now showing items 1-20 of 31
-
A comparative study of theorem provers
Yahaya, Adamu Sani (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
Abubakar, Umar Suleiman (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
Saleh, Tahir Lawan (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
Zakariyya, Rabiu Saleh (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
Mohammed, Sunusi Garba (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
Bashir, Muhammad (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 ... -
Automatic defect detection in fabrics using computer vision techniques
Rabiu, Abubakar (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 ... -
Design and fabrication of optical isolators for photonic integrated circuits
Serhatlioğlu, Murat (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
Ergen, Serdar (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
Uysaltürk, Mahir Can (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 ... -
Evaluating techniques to reduce errors made by novice programmers
Mohammed, Murtala (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
Gedik, Mehmet Akif (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
Özdil, Ahmet (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
Musa Aliyu, Farouk (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 ... -
Evaluation of web image search engines
Karapinar, Rabia (MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Günümüzde internetde bir çok resim var ve bu sayı her geçen gün hızla artıyor. Çok çeşitli resimleri internetde insanlar paylaşıyorlar. Yığın halini oluşturmuş bu resimleri uygun bir görsellikte sunmak önemli bir araştırma ... -
Experimental and simulation studies of a grid connected solid oxide fuel cell
Fedakar, Seyfullah (MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Son yıllarda, artan enerji talebinden dolayı yakıt pillerine olan ilgi artmıştır. Bunun yanısıra yakıt pilleri temiz ve verimli bir elektrik kaynağıdır ve yakıt pillerinin yaygın bir şekilde evsel ve sabit uygulamarı ... -
Fabrication of NdFeB thin film for application in superconductor and ferromagnetic hybrid systems and characterization by using low temperature scanning hall probe microscopy
Usman, Sunusi Suleiman (MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu çalışmada deneysel incelemeler gerçekleştirilmiştir. Çalışma, kalıcı mıknatıslanma için manyetik malzemelerin üretim tekniklerinin yanı sıra görüntü işleme tekniklerini de içerir. Bu deneysel çalışmada kullanılan örnekler, ... -
Generating libraries of highly correct and safe functions by using proof-based formal methods
Wakhid, Ayub Rokhman (MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu tezde, büyük ölçekli yazılım oluşturabilmek için kullanılabilecek yüksek düzeyde doğruluğa sahip ve güvenilir fonksyonların formal tanımlarından oluşan bir kütüphane üretildi. Büyük programların doğruluğunu ve güvenliğini ... -
Invisible 2D data matrix detection with smart phone by using geometric correction for hough transform
Sun, Halit (MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Günümüzde birçok farklı alanda kullanılan karekod sistemleri otomatik olarak hızlı bir şekilde bilgisayara veri girişini sağladığı için günlük hayatta ve iş hayatında büyük kolaylıklar sağlamaktadır. En yaygın kullanım ... -
Managing the human factors in information security through computational intelligence methods
Oğuz, Murat (MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bilgi güvenliğinde en zayıf halkanın insan olduğu kabul edilmektedir. Bireysel farklılıklar, kişisel özellikler ve kavrama yeteneği gibi faktörler, insan davranışlarını etkilemektedir ve insan davranışlarını bilgi güvenliğinde ...