Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Now showing 1 - 20 of 64

13. Ulusal Yazılım Mühendisliği Sempozyumu
(Izmir Institute of Technology, 2019) Ayav, Tolga; Tekir, Selma; Erten, Murat
The 13th National Software Engineering Symposium (UYMS) of Turkey was held Izmir Institute of Technology on 23-25 September 2019. There has been a great interest in this year’s symposium, as in previous years. UYMS is a platform which helps bring together the software industry and the academicians working in this area. It is being organized since 2003 and it plays an important role in shaping the future of the software industry in Turkey. We would like to thank all the participants whose contributions led to the successful realization of this symposium. We would also like to express our belief that these contributions will lead to a better and more productive efforts in the field of software engineering. Along with the main area of UYMS, in the thematic areas of Software Test Engineering, Software Engineering for Health, Software Modeling, and Graduate Theses, a total of 77 papers were accepted this year. At least three referees reviewed each paper and the papers were evaluated based on these reviews. We thank all the program committee members who served as referees.
Citation - Scopus: 3
Android Uygulaması Testi için İdeal Test Ön Çalışması
(CEUR Workshop Proceedings, 2018) Mercan, Gizem; Akgündüz, Evrim; Kılınççeker, Onur; Challenger, Moharram; Belli, Fevzi
This paper proposes a hybrid method combining well-known holistic test and mutation testing in software testing for Graphical User Interface (GUI) testing of an android application. Moreover, this hybrid method satisfies requirements of ideal testing that is well known and important in software testing. Presence and absence of GUI based faults are tested within this work experimentally and comparatively in the scale of given or constructed model. First step of the method is modeling the given GUI of android application by Finite State Machine (FSM) and then converting this FSM to Regular Expression (RE). Then, test sequences are generated from a context table that is obtained analysis of the RE model. This process defines first part of the Holistic Testing namely positive testing. In second part called negative testing, the test sequence generation procedure is applied mutants of the FSM obtained after applying selected mutation operators. The generated test sequences from original and mutant models are executed on mutant and original android applications respectively. Test sequences are filtered by using pre-defined selection criteria for both positive and negative testing to achieve ideal test suites that are satisfying requirements of the ideal testing.
Artırılmış Gerçeklik için Brıef Betimleyicileri ve Yerelliğe Duyarlı Karma Yöntemi ile Nesne Arama
(Pamukkale Üniversitesi, 2017) Özuysal, Mustafa
Bu çalışmada mobil artırılmış gerçeklik için kullanılabilecek bir nesne arama yöntemi sunulmaktadır. Temel olarak yöntem anahtar nokta betimleyicilerinin eşleştirilmesine ve bu anahtar nokta eşlerinin geometrik kıstaslar ile süzülmesine dayanmaktadır. Eşlemenin hızlandırılması için gerekli iyileştirmeler detayları ile verilmektedir. Ayrıca, Yerelliğe Duyarlı Karma işleminin performansının bilgi erişim yaklaşımlarından faydalanılarak arttırılabileceği de gösterilmiştir
Bağlamsal Doğrulama için Bir Yazılım Tasarım Şablonu
(Dokuz Eylül Üniversitesi, 2017) Tuğlular, Tuğkan
Yazılım tasarım şablonları, tekrar eden yazılım tasarım problemleri için hazır çözümler sunar. Model-Görünüm-Denetçi (İng. MVC) gibi bileşik tasarım şablonları ise, var olan tasarım şablonlarının biraraya getirilmesi ile daha büyük ölçekli problemleri çözmek için geliştirilmektedir. Bu çalışmada bağlamsal doğrulama problemi için bir bileşik tasarım şablonu geliştirilmiştir. Bağlamsal doğrulama, bir işlem gerçekleş- tirilmeden önce o işlem için gerekli tüm nesnelerin gerekli koşulları sağladığının doğrulanması anlamına gelmektedir. Bileşik tasarım şablonu geliştirme yöntemi ile ortaya konan bağlamsal doğrulama tasarım şablonu; tek sorumluluk, açık-kapalı ve bağımlılığı tersine çevirme nesne temelli tasarım ilkelerine göre geliştirilmiştir. Geliştirilen bağlamsal doğrulama tasarım şablonu bünyesinde Ziyaretçi, Strateji, Dekoratör ve Bildirim tasarım şablonlarını barındırmaktadır. Ortaya konan bağlamsal doğrulama tasarım şablonu, kullanım şekli itibariyle iki örnek uygulama üzerinde tartışılmıştır.
Belge Sorumluluk İş-birliği Modelleme Yöntemi ile Otomatik Kod Üretimi
(IEEE, 2020) Tuğlular, Tuğkan; Leblebici, Onur
UML is highly preferred for design in current software development approaches. However, the conceptual gap between entities in business processes and classes in UML designs is not small. To reduce this gap, this paper proposes using documents that are vital to every business. The proposed new method called Document Responsibility Collaboration puts the concept of documents at the center. In the proposed method, documents are meta-models of classes in terms of programming, and at the same time, they are meta-models of relationships in terms of permanence. The proposed Document Responsibility Collaboration method uses the domain concept in which domains are made up of documents, and a document defined in a domain can work with another document in any domain to fulfill its responsibility. Document Responsibility Collaboration method defines a process, which starts at the transition from analysis to design phase and continues to the code generation phase. An example from the order management domain is provided to validate the recommended method. © 2020 IEEE.
Bir Ağ Yönetim Sistemi: Guardilan
(Türkiye Bilişim Derneği, 2003-09) Talay, Salih; Ayav, Tolga; Özardıç, Onur; Altıntaş, Erhan
Bilgisayar ağlarındaki hızlı gelişime rağmen ağ yönetim sistemleri bu gelişimin gerisinde kalmaktadır. Ağların hızla gelişmesi, ağda oluşan trafik tiplerindeki çeşitlilik, ve kaynaklardaki kısıtlılık Servis Kalitesi ve Network Yönetimi konularını daha önemli hale getirmiştir. Bu bildiride, İzmir Yüksek Teknoloji Enstitüsü’nün yerel bilgisayar ağı için geliştirilen GuardiLAN projesi sunulacaktır. GuardiLAN ilk aşamada 3 kısımdan oluşan, modüler ve web tabanlı bir ağ yönetim sistemidir. Birinci kısım ağ topolojisinin belirlenmesinden ve takibinden sorumlu olup, ikinci kısım kullanıcıların IP adreslerinin ve MAC adreslerinin düzenli olarak kontrolüyle ağ güvenliğinin yükseltilmesini sağlamaktadır. Son kısım ise geniş alan ağı bağlantısının etkin kullanımı için geliştirilmiş bir akıllı bant genişliği yönetim aracıdır.
Bir Platform Oyununa Kullanıcı Performansı Temelinde Yapay Zeka Uyarlaması
(CEUR Workshop Proceedings, 2015) Türkmen, Sercan; Mungan, Hilmi Yalın; Tekir, Selma
Oyun programlama, video oyunlarının yazılım geliştirme bölümüdür. Diğer yazılımlardan farklı olarak oyun içindeki nesnelerin sürekli güncellenmesini gerektirmektedir. Güncelleme işlevinde, nesnenin dünya içinde bulunduğu yer, hız, ivme gibi fiziksel özellikleri, çarpışma işlemleri, animasyon güncellemeleri ve kullanıcı girdisinin ele alınması gibi çok çeşitli işlemler kapsanmaktadır. Yüksek güncelleme frekansı gereksinimi de dikkate alındığında yazılan kodun performansı ve kalitesi ön plana çıkmaktadır. Oyun alanı, yazılım karakteristiklerinden kullanılabilirliğin ötesinde kullanıcının eğlenmesini sağlamayı hedeflemektedir. Yapay zekanın uygulama alanlarının ve tekniklerinin gelişmesi oyunların eğlendirici yönünü arttırmaktadır. Bu çalışmada, bir platform oyunu (Dawn) geliştirilerek oyun içerisindeki kurguyu, geçerli kullanıcıya göre uyarlayan bir yapay zeka entegre edilmesi amacıyla platform oyununu karakterize edebilecek öznitelikler çıkarılmış ve ölçülmüştür. Genel olarak, çıkarılan öznitelikler girdi ve çıktı öznitelikleri olarak gruplandırılarak girdi özniteliklerinin çıktı öznitelikleri ile ilişkisi ortaya konmaya çalışılmıştır. Belirlenen en temel çıktı özniteliği, kullanıcı performansıdır. Kullanıcı performansının ölçümünde bölüm tamamlanma zamanı, kahramanın ölüm nedeni ve bölümlerde uğradığı zarar öznitelikleri baz alınmıştır. Sistem, bu sayede bölüm içerisindeki düşman seçimini ve bir sonraki bölüm önerisini kullanıcının performansına göre belirlemektedir.
Bir Yazılımın Dayanıklılığını Ölçmeye Yönelik Bir Yöntem
(Türk Patent ve Marka Kurumu, 2021-06-21)
Buluş, bir yazılımın girdilere karşı dayanıklılığını ölçmeye yönelik; FIPS (Fonksiyon 5 Girdi Parametresi Durumu) düğümleri (A) ile, kod içerisinde birbirinden bağımsız olarak girdilere karşı zafiyetler için gerekli önlemlerin alınıp alınmadığını kontrol edilerek sayısal değerlerin alınması, FIPS düğümlerinde (A) alınan bu değerlerin incelenen zafiyetlere ilişkin zafiyet düğümlerine (B) aktarılması ve bilgilerin işlenmesi, zafiyet düğümlerinde (B) işlenen bilgilerin uygulama düğümüne (C) aktarılması, 10 uygulama düğümünün (C) gelen bilgileri değerlendirerek, yazılımın genel olarak dayanıklılığına dair çıkarsama yaparak bir ölçüm vermesi işlem adımlarını içeren bir yöntem ile ilgilidir.
Birleşimsel Devreler için Fourier Analizi Tabanlı Otomatik Test Örüntüsü Oluşturma
(IEEE, 2015) Ayav, Tolga
Fourier analysis of boolean functions has attracted great attention from computer scientists in the last decade but it still has few application areas. This work presents a Fourier analysis-based automatic test pattern generation method for combinational circuits.
Cerrahın Anlık Yönlendirilebildiği Robot Yardımlı Endoskop Kontrol Sistemi Mimarisi - Neuroboscope
(Boğaziçi Üniversitesi, 2018-04-12) Dede, Mehmet İsmet Can; Kiper, Gökhan; Ayav, Tolga; Tatlıcıoğlu, Enver; Özdemirel, Barbaros; Maaroof, Omar; Ateş, Gizem; Berker, Mustafa; Işıkay, İlkay; Hanalioğlu, Şahin
Bu bildiride ele alınan çalışmada endoskopik hipofiz cerrahisinde kullanılan optik-kamera sistemini, cerrahın anlık isteklerini takip ederek yönlendirilmesine izin verecek robotik sistem geliştirilmektedir. Cerrah kendisi ameliyat sahasında ameliyatı gerçekleştirirken robotu yönlendirmesi gerekmektedir. Bu gereksinim için geliştirilmekte olan özgün alt bileşenler ve toplam sistem mimarisi bildiri içinde tanıtılmıştır ve çalışmanın sonuçları benzer minimal invaziv ameliyatların robot destekli ameliyata dönüşmesine imkan verebilecektir. Bildiride sistemin gereksinimlerinin oluşturulması için yapılan testler anlatılmıştır. Üzerinde durulan sistem gereksinimlerinden birisi robotun çalışma alanı, diğeri ise cerrahın kullanım kolaylığı ile ilgilidir.
Çevik Yazılım Geliştirmede Bdd/tdd Yöntemlerinin ve Yazılım Kalite Araçlarının Kullanılması: Bir Yazılım Mühendisliği Dersindeki Tecrübe
(CEUR Workshop Proceedings, 2016) Akyol, Gökhan; Gümüşkaya, Haluk
Çevik yazılım geliştirme modeli iyi uygulandığında, yazılım proje yönetimini, yazılım takım elemanları arasındaki iletişimi ve yazılım geliştirme süreçlerini ve süresini iyileştirmektedir. Çevik yazılım geliştirme modelinde, son kullanıcının yazılım geliştirme sürecinin içinde olduğu bir yazılım ürünü, değişen gereksinimlere daha hızlı cevap verir. Bu çalışmada Davranış Tabanlı Tasarım (BDD-Behavior Driven Design) ve Test Tabanlı Geliştirme (TDD-Test Driven Development) tekniklerinin SaaS (Software as-a Service) uygulamaları geliştirmede beraber kullanıldığı bir bütünleşik çevik yazılım geliştirme süreci ve çerçevesinde, günümüzde kullanılabilecek yazılım test ve kalite ölçme araçları karşılaştırılmaktadır. Sunulan çevik yazılım geliştirme süreci ve çerçevesi bir son sınıf Yazılım Mühendisliği dersinde üç yıl öğrencilerin geliştirdikleri projelerde uygulanmıştır. Bu çalışma, dört farklı proje gerçekleştirme teknolojileri ve platformları (Ruby/Rails, Java EE/Spring, C#/ASP.NET ve PHP/(Zend, Codeigniter, Laravel) kullanılarak, Microsoft Azure ve Heroku bulut servis sağlayıcılarında çalışan SaaS uygulamaları geliştirmede kullanılan BDD ve TDD test ve kalite araçlarıyla elde edilen tecrübeyi sunmaktadır.
Citation - WoS: 1
Citation - Scopus: 4
Çok-etiketli Film Türü Sınıflandırması için Türkçe Konu Modellemesi Veri Kümesi
(Institute of Electrical and Electronics Engineers, 2020) Jabrayilzade, Elgün; Poyraz Arslan, Algın; Para, Hasan; Polatbilek, Ozan; Sezerer, Erhan; Tekir, Selma
Statistical topic modeling aims to assign topics to documents in an unsupervised way. Latent Dirichlet Allocation (LDA) is the standard model for topic modeling. It shows good performance on document collections, documents being relatively long texts but it has poor performance on short texts. Topic modeling on short texts is on the rise due to the potential of social media. Thus, approaches that are able to nd topics on short texts as well as long texts are sought. However, there is a lack of datasets that include both long and short texts which have the same ground-truth categories. In this work, we release a Turkish movie dataset which contain both short lm descriptions and long subscripts where lm genre can be considered as topic. Furthermore, we provide multi-label movie genre classication results using a Feed Forward Neural Network (FFNN) taking LDA document-topic or Doc2Vec dense representations. © 2020 IEEE.
Citation - Scopus: 3
Derin Öǧrenme ile Zemin Dokusu Sınıflandırma
(IEEE, 2018) Ozuysal, Mustafa
In this study, we investigate the use of transfer learning on various deep neural network architectures pretained on the ImageNet data set for ground texture classification purposes. We introduce a new ground texture data set collected from seven different areas. We retrain deep neural network's last layer or when possible the full set of layers on this data set. The results show that it is possible to discriminate the ground textures even when very small images are used.
DFIS- Çoklu destek eşiklerinde dinamik sık kümeler madenciliği ve gizleme platformu
(2018) Ergenç Bostanoğlu, Belgin
Bu proje kapsamında, veri madenciligi alanının en çok kullanılan yöntemi olan, iliski kuralları (association rules) madenciliginin basetmeye çalıstıgı zorluklardan, veri büyüklügü, veri dinamizmi, sık kümelerin (frequent itemsets) özel destek esik (support threshold) degerlerinin dikkate alınması ve paylasımında ortaya çıkabilecek duyarlı (sensitive) bilgilerin gizlenmesi (sensitive knowledge hiding) problemleri ile aynı anda ugrasan sınama platformunun gelistirilmesi hedeflenmektedir. Önerilecek olan platformdaki temel (baseline) iliski kuralı madenciligi islevi veri büyüklügü ile basedebilmek için veritabanını çoklu taramayacak, kolay yönetilebilir veri tipleri kullanacak ve etkin bellek kullanımı yapacaktır. Söz konusu islev, tüm platform için tek bir destek esik degeri ile çalısmak yerine veri kümelerine özel destek esik degerleri ile çalısabilir olacaktır. Platform parçalarından biri de temel iliski kuralı madenciligi islevinin dinamik sürümüdür; bu sürüm veri güncellemeleri geldiginde tüm iliski kuralı bulma sürecini bastan çalıstırmak yerine, güncellemeyi içeren veritabanı parçası ve önceki sonuçları dikkate alarak güncel sık kümeleri dinamik olarak bulur. Platform son olarak veritabanını, duyarlı bilgi çıkarımları yapılamayacak halde paylasmaya hazırlayabilecek yani dinamik sık küme gizleme (itemset hiding) islevi içermektedir.
Doğal Dil Çıkarımı Modellerinde Bert Vektörlerinin Başarım Değerlendirmesi
(Institute of Electrical and Electronics Engineers Inc., 2021) Oğul, İskender Ülgen; Tekir, Selma
Doğal dil çıkarımı, düşünce ifade eden cümlelerin arasındaki ilişkiyi; karşıtlık, gerekseme veya tarafsızlık olarak sınıflandırmayı hedefler. Sınıflandırma görevini gerçekleştirmek için metinsel kaynaklar, vektör ya da gömme olarak adlandırılan matematiksel gösterimlere dönüştürülür. Bu çalışmada, hem statik (Glove, OntoNotes5) hem de bağlamsal (BERT) kelime gömme yöntemleri kullanılmıştır. Fikirsel cümleler arasındaki mantıksal ilişkilerin sınıflandırılması zordur zira cümleler karmaşık gramer yapılarına sahiptir ve cümlelerin işlenerek mantıksal gösterimlere dönüştürülmesi geleneksel doğal dil işleme çözümleri ile yetersiz kalmaktadır. Bu çalışma, sınıflandırma görevini gerçekleştirmek için ayrıştırılabilir ilgi ve doğal dil çıkarımı için gelişmiş LSTM (ESIM) derin öğrenme modellerini kullanmıştır. En iyi sonuç olan %88 doğruluk değeri SNLI veri kümesi üzerinde ESIM-BERT ile elde edilmiştir.
Citation - Scopus: 1
Doǧal İmgelerde Çizge Tabanlı Gösterimle Karakter Bölütlenmesi
(IEEE, 2018) Koksal, Ali; Isik, Zerrin
Computer vision approaches like shape based descriptors use silhouettes of objects in images. In this paper, a method to extract silhouettes of objects by segmenting images is proposed in order to describe them, especially characters that are obtained from natural images by using shape based descriptors. This method is binary segmentation approach that has a graph-based representation. Dominant intensity values of segments of an image and cut off intensity value to separate those segments are computed dynamically. Thus, characters that have similar dominant intensity value to the background can be segmented as well. Moreover, the performance of the proposed graph based method is compared with the performance of the global thresholding and it is observed that the success of the proposed method is better than the global thresholding.
Doğruluk Problemi için Veri Kümesi Hazırlanması
(CEUR Workshop Proceedings, 2018) Karabayır, Arif Kürşat; Tek, Ozan Onur; Çınar, Özgür Fırat; Tekir, Selma
Internet has become one of the most important information sources. With the advent of Internet, the ease of access and sharing of information have caused the emergence of conflicting information. The increase in conflicting information makes it a challenge to find the truth out of it. This problem is named as the veracity problem. The algorithms that were developed in response to this problem accept structured data as in¬ put. Thus, to be able to use these algorithms on Internet, there is a need to transform the unstructured data on the Internet into a structured form. This need is hard to fulfill in a domain-independent and automatic way considering the variety on Internet. In this work; structured data preparation to test the effectiveness of the truth-finder algorithms is experienced. The process of transforming the unstructured data on the Internet into a structured form is described in steps to contribute its generalization in a domain-independent way. As a result of this process, a new quotes data set is constructed and a truth-finder algorithm is tested on this dataset by giving some comments on it.
Düşük Sükroz Derişimlerinin Görünür Bölge Spektroskopisi ve Yapay Sinir Aǧları ile Kestirimi
(IEEE, 2017) Mezgil, Bahadir; Erdogan, Duygu; Alduran, Yesim; Yildiz, Umit Hakan; Yildiz, Ahu Arslan; Bastanlar, Yahn
Low sucrose concentrations in solutions is estimated by means of localized surface plasmon resonance of immobilized gold nanoparticles. The ultraviolet-visible spectra (UV-Vis) of samples with different sucrose concentrations were prepared and used to train artificial neural networks. In our study, MATLAB Neural Networks Toolbox was used and effect of different input sizes and network structures on the estimation accuracy is investigated. It is observed that using complete spectrum instead of peak point results in higher accuracy.
Duyarga Ağları için Bir Γ Eşuyumcusu Tasarım ve Uygulaması
(IEEE, 2008) Özsoyeller, Deniz; Erciyeş, Kayhan; Dağdeviren, Orhan
Implementation of synchronous algorithms in distributed systems in general is less troublesome than the implementation of asynchronous algorithms. Synchronizers provide synchronous execution of an asynchronous algorithm in distributed systems. In this study, we propose a gamma synchronizer for Wireless Sensor Networks (WSNs). This synchronizer consists of a and beta synchronizers. In our work, the WSN is first divided into clusters and then these clusters are connected using a ring protocol. Synchronization is provided using the beta synchronizer in the cluster and a synchronizer among the clusters. We describe the clustering algorithm and the ring formation algorithm for the WSNs and give the results obtained so far.
Endüstriyel Nesnelerin İnterneti Uygulamaları için Fpga Destekli ve Bağlam Tabanlı Erişim Kontrol Güvenlik Sistemi
(2023) Ercan, Ahmet Tuncay; Genç, Didem; Tomur, Emrah
Endüstri 4.0 ile birlikte üretimin her alanında gittikçe artan bilgisayar destekli sistemlerin yarattığı farklı ve karmaşık ağ topolojileri, artan veri miktarı, firmaların güvenlik ihtiyaçlarını artırmaktadır. Bundan dolayı farklı endüstriyel sektörlerde kullanılan farklı cihaz ve veri kullanımı şirketler, kendi kritik akıllı üretim sistemlerine yönelik güvenilir bir risk yönetim sistemine ihtiyaç duymaktadır. İşletmeler bu yüzden sahip oldukları Endüstriyel Kontrol ve Bilişim Sistemlerini korumayı amaçlarlar. Bu çalışmada üretim alanında kullanılabilecek, endüstriyel cihazlar ve/veya bunlara bağlı sensörlerin erişim kontrolü bağlamında güvenlik ihtiyaçlarını karşılayacak ve kenar bilişim kapsamında çalışacak FPGA (Alanda Programlanabilir Kapı Dizileri) destekli bir güvenlik platformu tasarlanmış ve çalışma yöntemi açıklanmıştır. Akıllı üretim cihazlarının bulunduğu bir imalathane ortamında çalışan cihaz, sensor, akıllı kontrol kutusu ve ağ geçidi gibi bileşenler üzerinde bağlam-tabanlı bir erişim denetim sistemi kullanımı gösterilmiş ve örnek bir çoklu kimlik doğrulama yöntemi tasarlanmıştır.

Browse

Browsing Computer Engineering / Bilgisayar Mühendisliği by Language "tr"