Reachability analysis of lac operon under parameter uncertainties
Parametre belirsizliği altında lac operon'un erişilebilirlik analizi
- Tez No: 328370
- Danışmanlar: PROF. DR. CÜNEYT GÜZELİŞ
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2012
- Dil: İngilizce
- Üniversite: Dokuz Eylül Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 114
Özet
Bu tezde, erişilebilirik analizinin zorlukları üzerine durulmuştur. Yüksek mertebeli sistem modellerinde, erişilebilirlik analizi yapabilmek için, öncelikle tek boyutta erişilebilirlik analizi çalışmaları yapılıp, gerekli tecrübe ve bilgi edinilmiştir. Bu bilgiler daha sonra, yüksek mertebeli sistem modellerinin simulasyonlarını yapma ve sonuçları yorumlamada kullanılmıştır. Bir boyut için, öncelikle uydurulmuş parça-parça doğru bir sistem çalışılmış daha sonra , lac-T nin tek boyutta erişilebilirlik analizi yapılmıştır. Ayrıca, parametrelerin belirsizliği durumunda erişilebilirlik analizi kullanılmıştır. Daha sonra, 3 boyutlu bir protein-gen modelinin simulasyonu sabit ve dinamik bölme için yapılmıştır.
Özet (Çeviri)
In this thesis, reachability analysis simulation challenges are discussed. In order to understand simulation challenges in higher orders, first one dimensional case is studied. And after that, the information and experience obtained from one dimensional case is used to simulate higher dimension systems and interpret the results. For one dimensional case, first, a trivial piecewise linear system is discussed and after that a real model of lac-T is studied in one dimension for certain parameters. In this model, how reachability analysis can be used for uncertainty of parameters is explained. And after that, a 3 dimensional gene-protein relationship case is considered, for fixed partition and dynamic partition. Results are interpreted.
Benzer Tezler
- Zamanlanmış petri ağlarında erişilebilirlik analizi
Reachability analysis of timed petri nets
AHMET YILMAZ
Yüksek Lisans
Türkçe
2009
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜRVET KIRCI
- A novel approach to reachability analysis of aerodynamic interceptors
Aerodinamik önleyicilerin ulaşılabilirlik analizine yeni bir yaklaşım
TUĞBA BAYOĞLU AKALIN
Doktora
İngilizce
2023
Havacılık ve Uzay MühendisliğiOrta Doğu Teknik ÜniversitesiHavacılık ve Uzay Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ALİ TÜRKER KUTAY
- String stability analysis of Cooperative Adaptive Cruise Control (CACC) with actuator saturation
Aktüator Satürasyonu Altında Dizi Kararlı Kooperatif Otomatik Seyir Kontrolü
HİLAL BİNGÖL
Yüksek Lisans
İngilizce
2017
Elektrik ve Elektronik MühendisliğiÇankaya ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. KLAUS WERNER SCHMIDT
- Partial order reduction for timed systems
Başlık çevirisi yok
SERDAR OĞUZ ATA
Yüksek Lisans
İngilizce
2014
MatematikAlbert-Ludwigs-Universität Freiburg im BreisgauDR. YUSRA ALKHAZRAJI
DR. ROBERT MATTMÜLLER
- Renkli petri ağlarında erişilebilirlik ağacı ve P değişmezleri analizi
Reachability tree and P invariants analysis of colored petri nets
SERKAN YORULMAZ
Yüksek Lisans
Türkçe
2009
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜRVET KIRCI