Dersler

BİLGİSAYAR MÜHENDİSLİĞİ DOKTORA PROGRAMI

DERS İÇERİKLERİ

CENG 501 İstatistiksel Veri İşleme Giriş (3-0)3

Bilgisayar ve istatistik tekniklerinin veri işleme uyarlaması ve uygulanması. Kodlama hazırlığı, veri toplama (bilgisayarlı olan ve olmayan), eleme, özetleme, tablolama ve analiz, olasılık ve şans değişkenleri, istatistiksel tahminleme ve hipotez kontrolları, sayımla elde edilen verilerin analizi. Doğrusal modeller (regresyon, korelasyon, varyans analizi).

CENG 502 Sistem Modelleme ve Bilgisayarlı Benzetim (3-0)3

Giriş, Sistem kavramı, Sistem Modelleme, Monte Carlo tekniği, Sistem Girdi değişkenlerinin tanımlanması ve seçilmesi, şans sayıları türetimi ve incelenmesi, şans değişkenleri türetilmesi, ayrık sistem benzetimi, ayrık sistem benzetim yazılımları.

CENG 504 Eniyileme Yöntemleri (3-0)3

Doğrusal programlama, doğrusal olmayan programlama, sınama-yanılma yöntemleri ve dinamik programlama tanıtılarak özellikle optimal denetim problemlerine uygulanacak. Dinamik programlama yaklaşımından kesikli ve sürekli optimal düzenleyiciler türetilecek. Doğrusal gözlemci ve ayırma teoremleri geri beslemeli denetleyici uygulamaları için geliştirecek.

CENG 505 İleri Bilgisayar Ağları

Bilgisayar ağları, kablosuz ağlar, OSI katmanları, Internet modeli, TCP-UDP/IP, kablosuz TCP, mobil IP, Ipv6, tıkanma kontrolü, servis kalitesi hizmetleri, “multicast” yönlendirme, gerçek-zamanlı haberleşme için destekler ve protokoller, ağ güvenliği, gelecek kuşak ağlar.

CENG 503 Tıp ve Biyolojide Bilgisayar Uygulamaları (3-0)3

Hastane bilgi sistemlerinin analiz ve tasarımı. Biyolojik modelleme ve tıbbi görüntü işleme algoritmalarının matematiksel, fiziksel ve fizyolojik temelleri. Beyin, kalp, sinir sistemi ve duyu organları gibi organların bilgisayarda modellemesine ilişkin konular.

CENG 508 Sayısal Görüntü İşleme (3-0)3

Bu ders fotoğraf, uzaktan algılama, tarayıcılar gibi yollarla elde edilmiş görüntüleri işlemek ve zenginleştirmek için gerekli konuları kapsar. Transformasyon teknikleri, kayıtlar ve ayırım fonksiyonlarını içerir.

CENG 608 3 Boyutlu Fotoğraf (3-0)3

Bu ders, imgelerden 3 boyutlu bilgi (özellikle şekil) çıkarımı ile ilgili algoritma ve uygulamaları kapsar. Öncelikle kamera modeli ve kalibrasyonu, 2B ve 3B projektif geometri ve ilgi noktası çıkarımı konuları işlenir. Ardından, tek imgeden geriçatım, hareketten yapı çıkarımı, siluetlerden şekil çıkarımı gibi edilgen 3B geriçatım teknikleri görülür. Ayrıca, doğrudan 3B veri elde eden aktif algılama teknikleri (uçuş süresi kameralar, yapısal ışık, lazer tarayıcılar) de işlenir.

CENG 511 İleri Bilgi Kuramı (3-0)3

Bu ders, tiplere ait metodları ortaya koyarak başlayacaktır. Ardından çarpıklık oranı kuramı ele alınacaktır. Ayrıca çok sayıda-kullanıcı kanalları ve rastgele parametreli kanallar işlenecektir. Son olarak ilintili kaynak kodlaması kavramı verilecektir.

CENG 512 İleri Hesaplama Kuramı (3-0)3

Bu ders farklı biçimsel hesaplama modellerini ortaya koyarak başlayacaktır. Sonrasında Church-Turing tezi ele alınacaktır. Ayrıca karar verilebilirlik ve indirgenebilirlik konuları işlenecektir. Son olarak, karmaşıklık ve ilgili kavramlar hakkında ayrıntılı bilgi verilecektir.

CENG 513 Derleyici Tasarımı ve Gerçekleştirimi (3-0)3

Bu ders derleyici tasarımının teorisi ve uygulaması üzerine odaklanmaktadır. Tarama ve çözümleme konuları işlenecektir. Ayrıca semantik analiz de ele alınacaktır.

CENG 514 Bilgisayar Tabanlı Sayılar Teorisi (3-0)3

Temeller, Kongruans, Denklem ve Üstler İçin Algoritmalar, Euler’in Φ Fonksiyonu ve Kodlanması, İkinci Derece Kongruanslar, Asal Sayılar, Kuadratik Kalanlar, Sürekli Kesirler, Asal Sayı Testi Algoritmaları, Büyük Asal Sayı Bulma, Eliptik Eğriler, Faktörizasyon Algoritmaları, Tamsayı Faktörizasyonunda Üstel Metotlar İçin Algoritmalar, Subeksponansiyel Faktörizasyon Algoritmaları, Ayrık Logaritma Hesaplamaları.

CENG 515 Bilgisayar Bilimlerinde Çeşitli Konular (3-0)3

Bilgisayar Bilimlerinin ileri konularından seçilen çeşitli konular seminer ortamında kapsanacaktır.

CENG 516 İleri Programlama Dilleri (3-0)3

Yeni programlama dilleri tasarlamak ve geliştirmek, modern programlama dillerinin var olan özelliklerini incelemek ve kavramak, programlama dili tasarım kararlarının gerçekleştirimler üzerindeki etkisini anlamak.

CENG 517 Bilgisayar Bilimleri Klasikleri (3-0)3

Gödel karar verilemezlik teoremi, hesaplanabilirlik, oyun kuramı üzerine görüşler, bilgi kuramı temelleri, çizgeler, bilgisayar ağları, kriptografide yeni yönelimler, Antikythera mekanizması, “declarative” programlama, ilişkisel veritabanı modeli, makineler ve zeka, hesaplama karmaşıklığı.

CENG 611 İleri Algoritmaların Tasarım ve Analizi (3-0)3

Ders içeriğinde paralel ve seri algoritmaların karmaşıklık analizlerinin öğretilmesi ve tasarım kuram ve modellerinin çalışılıp, kritik değerlendirmelerinin yapılabilir bir seviyeye öğrencilerin getirilmesi bulunmaktadır.

CENG 612 Bilgisayar Bilimlerinde Kategori Kuramı (3-0)3

Bu ders kapsamında öğrenciler kategori kuramının ispat tekniklerinde kullanımını öğrenecek ve bilgisayar bilimlerinde sunulan araştırmaları değerlendirme ve bilimsel olarak kendi araştırma sonuçlarını sunabilecek bir temel bilgi ve deneyim altyapısına sahip olacaklardır.

CENG 613 Bilgisayar Bilimlerinde Bilimsel Araştırma Yöntemleri (3-0)3

Bilimsel araştırmaya giriş, Bilimsel araştırma süreç modelleri, Entellektüel buluş, Bilimsel araştırma yöntemleri, Bilgisayar Bilimlerinde Bilimsel Araştırıcılar, Bilimsel araştırma yazıları okuma yöntemleri, Bilimsel araştırma yazılarının yapısı, Literatür tarama yöntemleri, Bibliyografi ve atıflar, Bilimsel araştırma sunumları, Bilimsel araştırma proje önerileri, Bilimsel araştırma proje planlama, Risk yönetimi, Yasal, sosyal ve etik konuları.

CENG 521 İleri İşletim Sistemleri (3-0)3

İşletim sistemleri, süreç senkkronizasyonu, dağıtık sistemler iletişimi, dağıtık sistemlerde senkronizasyon, dağıtık algoritmalar, dağıtık sistemlerde statik ve dinamik iş dağıtımı, grup iletişimi, hata toleransı, dağıtık gerçek-zamanlı sistemler.

CENG 522 İleri Gömülü Sistem Tasarımı (3-0)3

Gömülü sistemler, bilgisayar mühendisliğindeki rolü; özel ve genel amaçlı mikroişlemci tasarımı, mikrodenetleyiciler, gömülü yazılım; gerçek-zamanlı sistemler, planlama ve zamanlama problemleri; test ve performans; güvenilirlik; tasarım metodolojileri, yazılım geliştirme ortamları; süreklilik ve güncelleme problemleri;uygulamaya özel entegre devre tasarımına giriş, VHDL.

CENG 523 Gerçek-Zamanlı Sistemlerde İleri Konular (3-0)3

Gerçek-Zamanlı yazılım tasarımı konuları, gerçek-zamanlı işletim sistemleri, gerçek-zamanlı görev planlama algoritmaları, yazılım spesifikasyonlarında kullanılan formal metotlar, zaman otomatlarını kullanarak modelleme ve doğrulama, yazılım tasarımı, programlama dilleri, test, performans çözümlemesi ve eniyilemesi, belgeleme, yazılımın yeniden kullanımı, hataya dayanıklılık.

CENG 524 İleri Bilgisayar Mimarisi (3-0)3

Mikroişlemci tasarımının temelleri, komut seti mimarisi, “pipelining”, ileri bellek hiyerarşilerinin tasarımı, “multithreading”, proses seviyesinde ve komut seviyesinde parallelleştirme, işlemciler arası haberleşme modelleri, çoklu işemciler, gelecekte beklenen gelişmeler.

CENG 531 Yapay Us (3-0)3

Yapay us yaklaşımları; yüksek düzenli mantık; tasarlama; uzman dizgeler; yapay us dizgelerin çevresi; yapay us dizgelerde esnek hesaplama; simgesel olmayan öğrenme; doğal dil işleme; akıllı aracı; çoklu aracı dizgesi; anlamsal örgü; robot bilimi.

CENG 532 Uzman Sistemler ve Bilgi Mühendisliği (3-0)3

Uzman sistem geliştirilmesindeki çeşitli tekniklere giriş. Bilgi tanıtma yöntemleri, üretim sistemleri, yorum yöntemleri, belirsizlik ve ipucu kombinasyonları, uzman sistem mimarisi ve kontrolu, bilgi edinme, uzman sistem programlama dilleri, çeşitli durum analizleri.

CENG 533 Olasılıksal Çıkarsama (3-0)3

Akıllı bilgisayar etmenlerinin karmaşık, belirsizlik içeren ve dinamik ortamlarda hedeflerine yönelik davranışları göstermeleri beklenmektedir. Bu bağlamda, karmaşık problemlere atanan etmenlerin belirsizlik altında karar verebilme yetisine sahip olmaları gerekmektedir. Etmenin doğru kararları verebilmesi için bulunduğu ortam hakkında sahip olduğu bilginin yanında ortam üzerinde değişikliğe neden olabilecek hareketlerinin, hedeflerinin ve tercihlerinin iyi tanımlanmış olması gerekmektedir. Bu ders kapsamında belirsizliğin modellenmesi ve belirsizlik altında karar verme sürecinde karşılaşılan sorunlarda kullanılabilecek olasılıksal çıkarsamaya dayalı çözüm yaklaşımları tartışılmaktadır.

CENG 631 Ussal Bilişim (3-0)3

İnsan beyni; ussal kavramlar, örneklemeler ve yapılar; ussal kavramlar için matematiksel örneklemeler; bilinç evrimin örneklenmesi; iş birlikçi us; ussal makinalar.

CENG 632 Hesaplamalı Us (3-0)3

Bayes ağları; kargaşa kuramı; akıllı davranışlar; karma yapma ve karma düzenler.

CENG 541 İleri Veritabanı Yönetim Sistemleri

İlişkisel kuramı ve uzantıları: ilişkisel hesap, ilişkisel cebir, üst dereceli normal biçimler; ileri veri taban yönetim dizge kavramları: bütünlük, kurtulma, koşul zamanlı, güvenlik, sorgu eniyileştirme; nesneye dayalı veritabanları; dağıtık veri tabanları, ilgili uygulamalar ve tutanaklar: veri çoklama, veri parçalama, eşgüdümleme, yük dağılımı; koşut veritabanları; çıkarsamalı veritabanları; birleştirilmiş veritabanları ve türdeş/türdeş olmayan.

CENG 542 Stratejik Bilgi Çıkarımı (3-0)3

Bilgi keşfi ve veri madenciliği, veri ambarcılığı, veri hazırlama ve veri madenciliği ilkelleri, kavram tanımlama, ilişki kuralları madenciliği, sınıflandırma ve tahminleme, küme analizi, web madenciliği, veri madenciliği uygulamaları.

CENG 543 Bilgi Erişim Sistemleri (3-0)3

Bu ders düzensiz yapıda bilgi içeren belge koleksiyonlarında arama yapılmasını sağlayan bilgi erişim sistemlerinin bileşenleri ile ilgili konuları kapsar. Hem metin hem de resim ve video gibi zengin içerik taşıyan belge koleksiyonlarında bilgi erişimi ders içeriğinde yer almaktadır.

CENG 641 Veri Tümleme (3-0)3

Bu ders veri tümlemedeki sistem, mantık ve sosyal farklılıklar gibi zorlukları ortaya koyarak başlayacaktır. Ders ardından türdeş olmamaya çözüm olan diller, otomatik şema eşleştirme teknikleri, türdeş olmayan sistemlerde sorgu işleme ve veri tümleme için kullanılan mimariler gibi temel konuları ele alacaktır. Son olarak, ticari sistemlerde bu konuda gelinen nokta ve very uzayları tartışılacaktır.

CENG 642 Gizliliği Koruyan Veri Madenciliği (3-0)3

Bu alanda önerilen yöntemler, basit, zaman ve bellek etkin sezgisel tekniklerden, hesaplama karmaşıklığı yüksek, gizlemeyi kesin yapan algoritmalara kadar varan geniş bir yelpazede yeralmaktadır.

CENG 551 İleri Yazılım Mühendisliği (3-0)3

Bu ders yazılım mühendisliği kavramını ortaya koyarak başlayacaktır. Ardından yazılım geliştirme süreci anlatılacaktır. Ders kapsamında yazılım gereksinimleri, yazılım spesifikasyonu, yazılım analizi ve biçimsel analiz konuları işlenecektir. Ayrıca kalite yönetimi, ürün metrikleri, süreç metrikleri, COTS ve yazılım psikolojisi konuları da ele alınacaktır.

CENG 552 Yazılım Sınama (3-0)3

Yazılım sınamanın temelleri, yazılım sınama süreci ve sürekli kalite arttırımı, sonlu durum modelleri ile sınama olgularının oluşturulması, beyaz kutu ve siyah kutu yaklaşımları ile sınama yeterliliği değerlendirmesi, model temelli yazılım sınama.

CENG 651 Güvenlik İçin Formal Yöntemler (3-0)3

Biçimsel Yöntemlere Giriş, Önerme ve Betimleme Mantıkları, Program Doğrulama, CSP süreç algebrası, Protokol Doğrulama, Model Denetimi, Otomata ile Sistem Modelleme, Zamansal Mantık ile Sistem Özellikleri Tanımlama, Model Denetimi Algoritmaları, Sembolik Model Denetimi, Soyutlama Yöntemleri, SPIN Model Denetim Aracı.

CENG 561 İleri Bilgi Güvenliği (3-0)3

Veri güvenliği ile ilgili kavramlar ve uygulamalar, risk ve zayıflıkların analizi, politika oluşturma, kontrol ve koruma metotları, veritabanı güvenliği, kimlik denetleme teknolojileri, hukuk ve mahremiyet gibi konular ders kapsamında incelenecektir.

CENG 562 İnternet Güvenliği (3-0) 3

İnternet güvenliğine giriş, Temel şifreleme teknikleri, TCP/IP güvenliği, Elektronik posta güvenliği, Web güvenliği, Ağ yönetim güvenliği, Güvenlik duvarları, Saldırı tespit sistemleri, İnternet güvenlik yönetim araçları.

CENG 563 Veritabanı ve Yazılım Güvenliği (3-0)3

Güvenli veritabanları ve güvenli yazılım uygulamaları konuları, geliştirim yöntemleri ve araştırma alanları. Veritabanları ve yazılımlar için güvenlik modelleri, temelleri ve pratikleri.

CENG 564 Bilgi Sistemleri Politika, Yönetim ve Organizasyonu (3-0)3

Strateji, Güvenlik, Ulusal/Uluslararası Kripto Strateji ve Politikası, Kripto Cihazları İthalat/İhracat Rejimleri, Bilgi Yönetimi ve Politikası Geliştirme, Bilgi Sistemleri Stratejisi/Güvenliği Standart ve Politikaları, Bilgisayar Güvenliği Acil Durum Kurumları (CERTs), Süreklilik Planlaması, Beklenmeyen Durum ve Sonrası Standart ve Politikalarının Belirlenmesi, Organizasyonlar, NGO-Think Tanks, Bilgi Sistemleri ve Açık Kaynak İstihbaratı, Strateji/Politika Belirleyici Yazılımlar-Simülatörler, Elektronik Ticaret, Onay Kurumları, Elektronik Noter, Elektronik Para.

CENG 565 C4I ve Bilgi Savaşları (3-0)3

Kavramlar, Terminoloji, Komuta-Kontrol-İletişim-Bilgisayar ve İstihbarat ( Command-Control-Communications-Computers and Intelligence – C4I ) Yapısı, Hedefler ve Tehditler, Siber Uzayda Saldırı ve Önlemler, Ekonomik – Psikolojik ve İstihbarat Savaşları, Bilgi Savaşları Stratejisi, Siber Uzayda İstihbarat ve İstihbarata Karşı Koyma, Siber Terörizm.

CENG 661 İleri Asimetrik Kriptosistemler (3-0)3

Asimetrik kripto sistemlere ilişkin temel matematik konuları ve uygulama koşul ve prensipleri değerlendirilecektir. Dönem sonunda öğrencilerin güvenlik problemini analiz ederek, en uygun protokolü seçme ve uygulayabilme yeterliliğinde olması için çalışmalar kuramsal ve uygulamalı olarak yürütülecektir.

CENG 662 İleri Simetrik Kriptosistemler (3-0)3

Ders içeriğinde kriptosistem türleri ve bu kriptosistemlere yönelik, kriptanaliz yöntemleri incelenecektir.

CENG 663 Kriptanaliz (3-0)3

Ders içeriğinde kriptosistem türleri ve bu kriptosistemlere yönelik, kriptanaliz yöntemleri incelenecektir.

CENG 590 Seminer (0-2)

Bu seminer dersi, lisansüstü tezi konusunda çalışan tüm yüksek lisans öğrencileri tarafından alınmak zorundadır. Dersi alan öğrenciler, tez hakkında sunum yapmak ve gelişme ve sonuç raporları hazırlamak zorundadır.

CENG 691 Doktora Tezi (0-1) Kredisiz

Doktora derecesi için araştırma yönetimi programı, öğrenci ve fakülte üyesi arasında ayarlanmış. Tez araştırmasını veya tezin yazımını başlamasının ikinci döneminden itibaren her dönem öğrenciler bu dersi alır.

CENG 8XX Uzmanlık Alanı Dersi (4-0)Kredisiz

Yüksek lisans öğrencileri belli bir konu seçip genelinde kendi tez danışmanları olan bir öğretim üyesinin yönlendirmesiyle o konuyu inceler.

CENG 9XX Uzmanlık Alanı Dersi (4-0)Kredisiz

Lisansüstü öğrencileri bir grup halinde ya da bir doktora öğrencisinin ileri araştırma konuları seçip genelinde kendi tez danışmanları olan bir öğretim üyesinin yönlendirmesiyle seçilen konuları inceler.