Synthesis of signal temporal logic formulas with genetic algorithms
Sinyal zamansal mantık formüllerinin sentezlenmesinde genetik algoritmaların kullanımı
- Tez No: 548438
- Danışmanlar: DR. ÖĞR. ÜYESİ EBRU AYDIN GÖL
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Bilim ve Teknoloji, Computer Engineering and Computer Science and Control, Science and Technology
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2019
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Sinyal zamansal mantık(Signal Temporal Logic, STL), devamlı sinyallerin davranışlarını anlamlandırmak için kullanılır. Anlatım gücü ve algoritmaları sayesinde, sinyal izleme prosedürleri için, donanım ve yazılım sistemlerinde kullanılacak izleme kurallarını tanımlamada kullanılır. Yine de, bir sistemin davranışını tanımlayan STL formülünü yazmak basit bir iş değildir. İzlenilecek sistemin bir uzmanının formülü üretip, ürettiği bu formülün parametrelerini, izleme anında doğabilecek hataları(yanlış ya da kaçırılan alarmlar) asgariye indirecek şekilde optimize etmesi gerekir. Dolayısıyla, formel izlemeyi basitleştirmek ve yaygınlaştırmak adına, formül oluşturma sürecinin otomatize edilme ihtiyacı vardır, ki bu çalışmanın temel motivasyonunu da bu ihtiyaç oluşturur. Farklı alanlardan gelen farklı veri kümeleri birbirlerinden boyutça farklılıklar gösterirler, ve hatta çok çok büyüyebilirler de. Bu tip durumları da düşünerek, genetik algoritma bazlı paralel bir formül sentezleme metodu üzerine çalıştık. Sunduğumuz çözüm, bir uzman yardımına ihtiyaç duymaksızın, gerekli formülü türetip parametreleri optimize edebilmekte. Dahası her bir formül yapısına ait lokal optimum parametreleri bulabilmek adına, parametre uzayı üzerinde çalışan rastlantısal bir arama metodu geliştirdik, ve bu sayede önerilen formülün daha az tekrarda amaçlanan formüle yakınsamasını sağladık.
Özet (Çeviri)
Signal Temporal Logic (STL) is used to reason about the behavior of continuous signals. Due to its expressivity and algorithms to generate signal monitors, it is used to define monitoring rules for hardware and software systems. However, it is a hard task to define an STL formula that describes the system behavior. An expert of the monitored system should write the formula and optimize its parameters to minimize the monitoring errors (false alarms and missed alarms). To simplify and disseminate the use of formal monitors, its necessary to automate the formula writing process, which motivates this study. In this dissertation, we study the problem of synthesizing STL formulas from a labeled set of system traces. The datasets from different fields may vary in size and can be quite large. In order to handle such cases, we developed a parallel formula synthesis method based on genetic algorithms. The proposed method does not require any expertise guidance; it generates formula structure and optimizes the formula parameters simultaneously. In addition, in order to find the local optimum around an individual, we developed a randomized search over the parameter space, which is shown to speed up the convergence of the proposed method.
Benzer Tezler
- 1,3-difenil-4,5-bis(hidroksiimino)-imidazolidin ve Ni(II), Cu(II), Pd(II), UO2(VI) komplekslerinin sentezi
Başlık çevirisi yok
VEFA AHSEN
Doktora
Türkçe
1984
Kimya MühendisliğiUludağ ÜniversitesiKimya Mühendisliği Ana Bilim Dalı
PROF. DR. ÖZER BEKAROĞLU
- Buca yerleşme merkezinde ekoloji yönünden önemli biyotoplar üzerinde araştırmalar
Başlık çevirisi yok
KEMAL TULUHAN YILMAZ
- Çok bileşenli distilasyon sistemlerinin optimal dizilişinin sentezi
Synthesis of optimum sequencing of multicomponent distillatron systems
İRFAN AR
Yüksek Lisans
Türkçe
1987
KimyaGazi ÜniversitesiKimya Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. AHMET BİÇER
- Isı değiştirgeç ağlarının optimum sentezi
Başlık çevirisi yok
SERAP CESUR
Yüksek Lisans
Türkçe
1987
Kimya MühendisliğiEge ÜniversitesiKimya Mühendisliği Ana Bilim Dalı
DOÇ. DR. BENO KURYEL
- Sivas'ta kadınların işgücüne katılım farklılıkları
Başlık çevirisi yok
BİNNUR ERCEM
Yüksek Lisans
Türkçe
1984
SosyolojiCumhuriyet ÜniversitesiKurumlar Sosyolojisi Ana Bilim Dalı
YRD. DOÇ. DR. FARUK KOCACIK