Analysis of dead reckaging procedures by using hybrid automata
Çıkarsamalı seyir yordamlarının karma devingenlerle analizi
- Tez No: 75941
- Danışmanlar: YRD. DOÇ. DR. HALİT OĞUZTÜZÜN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: çıkarsamalı seyir, karma devingen, dağıtık etkileşimli simülasyon IV, Dead Reckoning, Hybrid Automata, Distributed Interactive Simulation. ui
- Yıl: 1998
- 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
oz ÇIKARSAMALI SEYİR YORDAMLARININ KARMA DEVİNGENLERLE ANALİZİ Özütam, Bahadır Kaan Yüksek Lisans, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi: Yrd. Doç. Dr. Halit Oğuztüzün Temmuz 1998, 160 sayfa Bu tez çıkarsaman seyir yönteminin karma devingende modellenmesini ve çıkarsaman seyir yordamlarının karma devingenin sembolic model kontrol tekniklerini kullanarak analizini içermektedir. Çıkarsaman seyir dağıtık etkileşimli simulasyon'da ağ yükünü azaltmak amacıyla kullanılan bir yöntemdir. Karma devingen hem kesikli hem de sürekli parçalan içeren bir dinamik sistemdir. Tezde çıkarsaman seyir karma devingende modellendikten sonra bir karma devingen analiz aracı olan HyTech kullanılarak çıkarsaman seyir'in bazı önemli parametreleri üzerine analizler yapılmaktadır. Ayrıca bir karma devingen simülasyon aracı olan SHIFT kullanılarak çıkarsaman seyir ile ilgili bazı kritik durumların simülasyonu yapılmaktadır. Bu tez bu yönde gerçekleştirilmiş ilk çalışmadır.
Özet (Çeviri)
ABSTRACT ANALYSIS OF DEAD RECKONING PROCEDURES BY USING HYBRID AUTOMATA Özütam, Bahadır Kaan MS., Department of Computer Engineering Supervisor: Assist. Prof. Dr. Halit Oğuztüzün July 1998, 160 pages This thesis introduces a model of dead reckoning in hybrid automata and analyzes dead reckoning procedures by using symbolic model checking techniques for hybrid automata. Dead reckoning is a method used for reducing the network load in distributed interactive simulation. Hybrid automata are mathematical models of dynamic systems with components having both discrete and continuous transitions. After modeling dead reckoning in hybrid automata, the thesis carries out analyses on some important parameters of dead reckoning using the hybrid automata analysis tool HyTech. It also performs simulations of some critical situations about dead reckoning using the hybrid automata simulation SHIFT. This is the first work in this direction done so far.
Benzer Tezler
- Gövde boşluklu betonarme kirişlerde taşıma gücünün sonlu elemanlar yöntemiyle incelenmesi
Analysis of the ultimate strength of reinforced concrete beams with web openings by nonlinear finite element method
NECDET TORUNBALCI
- 69 numaralı Kütahya şer`iyye sicil defterinin transkripsiyonu
Transcription of the register of Kütahya in number 69
YALÇIN BACAKÇI
Yüksek Lisans
Türkçe
2001
TarihDumlupınar ÜniversitesiTarih Ana Bilim Dalı
YRD. DOÇ. DR. NECATİ AKSANYAR
- İçme suyu şebekelerinin bilgisayarlarla çözümü
Computational analysis of water networks
ERDAL ÇİÇEK
Yüksek Lisans
Türkçe
1994
İnşaat MühendisliğiFırat Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. NUSRET ŞEKERDAĞ
- Yapı sistemlerinin hesap yöntemlerinin karşılaştırılması gelişigüzel kesitlerin bileşik eğilmeye göre ekonomik hesabı
Comparison of methods of structural analysis economical design of irregular shaped reinforced concrete sections with bending moments and axial loads
TUNCAY KAYA
- Bazı depremlerin çeşitli özelliklerine göre karşılaştırılması
The Analysis of some earthquakes according to various aspects
SEMRA GÜRBÜZ ÖRMECI
Yüksek Lisans
Türkçe
1999
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. NECMETTİN GÜNDÜZ