Geri Dön

A verification approach for dynamics of metamodel based conceptual models of the mission space

Metamodel tabanlı görev uzayı kavramsal modellerinin dinamiklerine yönelik bir doğrulama yaklaşımı

PDF İndir

  1. Tez No: 276629
  2. Yazar: UTKAN ERYILMAZ
  3. Danışmanlar: PROF. DR. SEMİH BİLGEN
  4. Tez Türü: Doktora
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2011
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Enformatik Enstitüsü
  11. Ana Bilim Dalı: Bilişim Sistemleri Bölümü
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 190

Özet

Kavramsal modeler simülasyon dünyasına problem uzayının detaylı bir şekilde tasviri için öne sürülmüşlerdir. Askeri görev uzayı için gelitirilmiş en yeni kavramsal model geliştirme yaklaşımlardan biri, süreç tanımı, UML tabanlı notasyon ve destekleyici aracı sağlayan KAMA yaklaşımıdır. KAMA yaklaşımının öne çıkması yaklaşımla ilgili rehber bilgi mevcut olması ve yaklaşımın gerçek dünyada vaka çalışmalarına uygulanmasından kaynaklanmaktadır. Kavramsal modellin güvenilirliği yapısal bir notasyon ve araçlarla yükseltilmesine rağmen, güvenilirliği artırmak için doğrulama ve geçerleme faaliyetlerinin gerçekleştirilmesi gereklidir. Bir kavramsal model static ve dinamik olmak üzere iki kategoride bilgi içerir. Dinamik bilgi zamanla meydana gelen değişiklikleri betimler. Bu çalışmada KAMA notasyonunda betimlenmiş kavramsal modellerin dinamik özellikleri incelenmiş ve bunları temel alan bir doğrulama yaklaşımı önerilmiştir. KAMA notasyonundaki dinamik bakış açıları ve örnek kavramsal modeler kavramsal modellerdeki dinamik özelliklerin karakterizasyonu için gerekli bilgiyi sağlarlar. Bu karakteristikler temel olarak kullanılarak, formel ve yarı formel yaklaşımları ve destekleyici araçları içeren bir yaklaşım tanımlanmıştır. Dinamik doğrulama için gerekli ek özeliklerin tanımlanması için KAMA`nın genişletilmiş bir biçimi geliştirilmiştir ve bu notasyona KAMA-DV adı verilmiştir. Yaklaşım gerçek yaşamdan iki farklı örnek üzerinde uygulanmış ve etkililiği önceki doğrulama çalışmalarıyla karşılaştırılmıştır.

Özet (Çeviri)

Conceptual models were introduced in the simulation world in order to describe the problem domain in detail before any implementation is attempted. One of the recent approaches for conceptual modeling of the military mission space is the KAMA approach which provides a process description, a UML based notation, and a supporting tool for developing conceptual models. The prominence of the approach stems from availability of guidance and applications in real life case studies. Although the credibility of a conceptual model can be leveraged through use of a structured notation and tools, the verification and validation activities must be performed to arrive at more credible conceptual models. A conceptual model includes two categories of information: static and dynamic. The dynamic information describes the changes that occur over time. In this study, the dynamic characteristics of the conceptual models described in KAMA notation are explored and a verification approach based on these is proposed. The dynamical aspects of KAMA notation and example conceptual models provide the necessary information for characterization of the dynamical properties of conceptual models. Using these characteristics as a basis, an approach is formulated that consists of formal and semiformal techniques as well as supporting tools. For description of additional properties for dynamic verification, an extended form of KAMA is developed, called the KAMA-DV notation. The approach is applied on two different real-life case studies and its effectiveness is compared with earlier verification studies.

Benzer Tezler

  1. Tez No

    510111

    Üretim maliyetlerinin sistem dinamiği yaklaşımı ile modellenmesi: Beyaz eşya sektöründe bir uygulama

    Production cost modelling by system dynamics approach: An application in white goods sector

    ERİM AYDIN

    Yüksek Lisans

    Türkçe

    Türkçe

    2018

    İşletmeİstanbul Teknik Üniversitesi

    İşletme Mühendisliği Ana Bilim Dalı

    DOÇ. DR. HÜR BERSAM BOLAT

  2. Tez No

    401591

    Enabling dynamics in face analysis

    Başlık çevirisi yok

    HAMDİ DİBEKLİOĞLU

    Doktora

    İngilizce

    İngilizce

    2014

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolUniversiteit van Amsterdam

    PROF. DR. THEO GEVERS

    PROF. DR. A. W. M. SMEULDERS

  3. Tez No

    335009

    Dinamik sistemler için gerçek zamanda bulanık mantıkla kontrolör tasarımı

    Fuzzy logic controller design for dynamic systems in real time

    GÖKHAN GÜL

    Yüksek Lisans

    Türkçe

    Türkçe

    2012

    Elektrik ve Elektronik MühendisliğiHava Harp Okulu Komutanlığı

    Elektronik Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. AYDEMİR ARISOY

  4. Tez No

    381842

    Sönümleyiciler ile bağlı betonarme perde duvarlı yüksek yapılarda eşdeğer sönümleme yöntemlerinin incelenmesi

    Evaluation of equivalent damping methods for RC coupled wall high-rise buildings with coupling dampers

    MUHAMMET EMRE ERDEMLİ

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    İnşaat Mühendisliğiİstanbul Teknik Üniversitesi

    İnşaat Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. BARIŞ ERKUŞ

  5. Tez No

    608066

    Observer based condition monitoring of an electrohydraulic actuation system

    Bir elektro hirolik eyleyici sistemin gözlemci tabanlı durum denetlenmesi

    EMRE MURAT POYRAZ

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    Makine MühendisliğiOrta Doğu Teknik Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. ALİ EMRE TURGUT

    DR. HAKAN ÇALIŞKAN

Geri Dön