Petri ağları ile biyolojik sistemlerin modellenmesi
Modeling of biological systems with petri nets
- Tez No: 310396
- Danışmanlar: DOÇ. DR. MÜRVET KIRCI
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Mühendislik Bilimleri, Electrical and Electronics Engineering, Engineering Sciences
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2010
- Dil: Türkçe
- Üniversite: İstanbul Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 107
Özet
Bu çalışmada, ayrık olaylı ve eş zamanlı sistemleri modelleme ve analiz etmede kullanılan petri ağları ele alınmıştır. Bu ağların modelleme gücü daha yüksek türleri olan sürekli ve hibrit petri ağları incelenmiştir. Organizmalardaki temel biyolojik yolak çeşitlerinden kısaca bahsedilmiş, petri ağları ile biyolojik yolaklara ait modelleri oluşturma yöntemi tanımlanmıştır. Bu yönteme dayalı örnek biyolojik yolak modellemeleri yapılmıştır. Yolak modellerinin geliştirilen program aracılığıyla sayısal analizleri gerçekleştirilmiştir.Ayrık petri ağları için matematiksel tanımlar ve temel bileşenler açıklanmış, bu ağların alt sınıfları ve model karakteristikleri verilmiştir. Ayrıca bu ağların analiz edilmesi için kullanılan çeşitli yöntemlerden bahsedilmiştir. Sürekli petri ağları için ateşleme miktarı, izinlilik derecesi gibi kavramlar açıklanmış, erişilebilirlik grafının oluşturulması anlatılmıştır. Sürekli petri ağlarını ayrık petri ağlarından ayıran bazı özelliklerden söz edilmiştir. Hibrit petri ağlarındaki sürekli ve ayrık geçişlere ait izinlilik koşulları verilmiş, bazı çelişki örnekleri ele alınmıştır.
Özet (Çeviri)
In this study, petri nets which are used to model and analyze discrete event and concurrent systems are discussed. Its continuous and hybrid types which have more powerful modeling capabilities are examined. Basic biological pathway types in the organisms are briefly discussed, method for construction of the models related to biological pathways with petri nets is described. Based on this method, illustrative biological pathway models are constructed. Quantitative analyses of these pathway models are performed via a program developed.Mathematical definitions and basic components for discrete petri nets are explained, subclasses and model properties of these nets are given. Moreover, various methods used to analyse these petri nets are addressed. Concepts like firing quantity and enabling degree for continuous petri nets are explained, constitution of reachability graph is represented. Some properties distincting continuous petri nets from discrete petri nets are explained. Enabling conditions related to continuous and discrete transitions in hybrid petri nets are given, and some conflict examples are represented.
Benzer Tezler
- Tarımsal süreçlerin hibrit petri ağları ile modellenmesi
Modeling of agricultural processes with hybrid petri nets
AYHAN ÖZGÜN
Yüksek Lisans
Türkçe
2015
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜRVET KIRCI
- Deep learning based segmentation pipeline for label-free phase-contrast microscopy images
Etiketsiz faz-kontrast mikroskopi görüntüleri için derin öğrenme tabanlı segmentasyon boru hattı
AYDIN AYANZADEH
Yüksek Lisans
İngilizce
2020
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilişim Uygulamaları Ana Bilim Dalı
DOÇ. DR. BEHÇET UĞUR TÖREYİN
DOÇ. DR. DEVRİM ÜNAY
- Sakarya Karaman atıksu arıtma tesisi çıkış suyunun mikrobiyolojik ve kimyasal olarak değerlendirilmesi
Microbiological and chemical evaluation of Sakarya Karaman wastewater treatment plant effluent
DİĞDEM YELEK
- Bazı kimyasal maddelerin mutajenik potansiyellerin salmonella mikrozom testi ile değerlendirilmesi
Evaluation of some mutagenic potentials chemical meterial by salmonella microsome test
ABBAS ZOMORRODİ