Computer Engineering / Bilgisayar Mühendisliği

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

Browse

Filters

2016 - 20182

Settings

Author: search.filters.author.Dede, Mehmet İsmet CanInstitution Author: search.filters.institutionAuthor.Kiper, Gökhan

Search Results

Now showing 1 - 2 of 2
  • Conference Object
    Cerrahın Anlık Yönlendirilebildiği Robot Yardımlı Endoskop Kontrol Sistemi Mimarisi - Neuroboscope
    (Boğaziçi Üniversitesi, 2018) 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.
  • Conference Object
    Neuroboscope Sisteminin Model Tabanlı Sınaması
    (Otomatik Kontrol Türk Milli Komitesi, 2016) Uzun, Bengisu; Ayav, Tolga; Dede, Mehmet İsmet Can; Berker, Mustafa; Işıkay, İlkay; Hanalioğlu, Şahin; Özdemirel, Barbaros; Kiper, Gökhan; Tatlıcıoğlu, Enver; Maaroof, Omar W.; Işıtman, Oğulcan; Ateş, Gizem; Yaşır, Abdullah
    NeuRoboScope projesinde, endoskopik hipofiz cerrahisinde kullanılan optik-kamera sisteminin, cerrahın kullandığı cerrahi aletleri takip ederek yönlendirilmesini amaçlayan emniyet kritik bir sistemin tasarlanması amaçlanmıştır. Bu bildiri, sistem gereksinimleri üzerinden tüm sistemin modellenmesini ve oluşturulan bu modelin sınanmasını ele almaktadır. Böylece, tasarım evresinden önce tasarımın dayanağı olan sistem gereksinimlerinin doğrulanması hedeflenmiştir. Sistem bir zamanlı otomat ağı olarak modellenmiş ve UPPAAL model sınama aracı kullanılarak, sistemin başta emniyet kritik olmak üzere diğer önemli özellikleri sınanmıştır.