Geri Dön

Kısmen belirli ardışıl makinelerde durum indirgeme yöntemlerinin karşılaştırılması ve bilgisayar programı geliştirilmesi

Comparison of state reduction methods in incompletely specified sequential machines and developing computer program

  1. Tez No: 142893
  2. Yazar: MURAT ŞİMŞEK
  3. Danışmanlar: PROF. DR. AHMET DERVİŞOĞLU
  4. Tez Türü: Yüksek Lisans
  5. Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2003
  8. Dil: Türkçe
  9. Üniversite: İstanbul Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 69

Özet

KISMEN BELİRLİ ARDIŞIL MAKİNELERDE DURUM İNDİRGEME YÖNTEMLERİNİN KARŞILAŞTIRILMASI VE BİLGİSAYAR PROGRAMI GELİŞTİRİLMESİ ÖZET Sonlu durumlu makinelerde durum indirgemesi problemi ardışıl devrelerin karmaşıklığının azaltılması için önemlidir. Bu tezde, kısmen belirli ardışıl makinelerde durum indirgeme için Puri'nin [10] algoritması ile ilgilenilmiştir. Algoritma iyileştirilerek etkili bir bilgisayar programı geKştirilmiştir. Puri'nin algoritması, asal uyumluları kullanarak bir tarama ağacı oluşturmaktadır. Tarama ağacı maksimal uyumsuzlara bağlı olarak, elde edilen alt sınıra göre küçük tarama uzayından etkili bir şekilde oluşturulur. Ayrıca yöntemde kullanılan iki budama kriteri ile tarama uzayında daha fazla durumun elenmesi sayesinde sonlu durumlu makineye ait minimal kapalı örtü kolayca bulunabilmektedir. SMST ( State Minimization with Search Tree ) programı asal uyumlulardan veya durum tablosundan minimal makinenin bulunması için geliştirilmiştir. Program iki farklı alt programın birleşiminden meydana gelir. Birinci program, durum tablosundan maksimal uyumlular, maksimal uyumsuzlar ve asal uyumlular sınıfının bulunmasında kullanılır. Asal uyumlular sınıfını kullanan ikinci programla da minimal makine bulunur. SMST, C++ programlama dilinde Borland C++ Builder - 4 kullanılarak geliştirilmiş ve 32 bitlik Windows programda derlenmiştir. Program tek çalıştırılabilir (*.exe) dosyadan oluşur ve derleme aşamasında sadece statik bağlayıcılar kullamldığmdan herhangi bir DLL dosyaya gerek duyulmamaktadır. IX

Özet (Çeviri)

COMPARISON OF STATE REDUCTION METHODS IN INCOMPLETELY SPECIFIED SEQUENTIAL MACHINES AND DEVELOPING A COMPUTER PROGRAM SUMMARY The problem of state reduction in a finite state machine (FSM) is important to reduce the complexity of a sequential circuit. In this thesis Puri's algorithm for state minimization of incompletely specified sequential machines is concerned. The algorithm is improved and an efficient computer program is developed. Puri's algorithm constructs a search tree from prime compatibles. It efficiently builds up a relatively small search space by utilizing a tight lower bound derived from maximal incompatibles. In addition, the two pruning criteria of this method provide further state elimination in the search space so that minimal closed cover of finite state machine can be found easily. A computer program called SMST (State Minimization with Search Tree) has been developed in order to find minimal machine from prime compatible blocks or state table. The program is composed of two different subprograms. The first one is used to find maximal compatibles, maximal incompatibles and prime compatibles class from the state table. The minimal machine is found by the second one by using prime compatibles class. SMST has been developed in C++ by using Borland C++ Builder -4 and has been compiled as a 32 bits MS Windows program. As we have used only static linking during compilation stage, the program consists of a single executable file and it does not require any other DLL (dynamic link library) file.

Benzer Tezler

  1. Tez No

    847173

    Fake news classification using machine learning and deep learning approaches

    Makine öğrenimi ve derin öğrenme yaklaşımlarını kullanarak sahte haber sınıflandırması

    SAJA ABDULHALEEM MAHMOOD AL-OBAIDI

    Yüksek Lisans

    İngilizce

    İngilizce

    2023

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolGazi Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ TUBA ÇAĞLIKANTAR

  2. Tez No

    104133

    İkili karar diyagramları yardımıyla lojik devre tasarımı

    Logic design with binary decision diagrams

    UTKU ÖZCAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2001

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    PROF. DR. AHMET DERVİŞOĞLU

  3. Tez No

    175775

    Kısmen belirli ardışıl makineler için yeni bir durum indirgeme yöntemi ve bu yöntemin çeşitli lojik tasarım konularına uygulaması

    A new method for the state reduction of incompletely specified finite sequential machines and application of the developed methods to the other logic synthesis steps

    ORHAN UÇAR

    Doktora

    Türkçe

    Türkçe

    2003

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    PROF. DR. AHMET DERVİŞOĞLU

  4. Tez No

    55616

    Lojik devre tasarımı algoritmaları

    Başlık çevirisi yok

    ORHAN UÇAR

    Yüksek Lisans

    Türkçe

    Türkçe

    1996

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. AHMET DERVİŞOĞLU

  5. Tez No

    601079

    LiDAR odometry based 3D slam for autonomous ground vehicles

    Otonom kara araçlarında LiDAR odometre tabanlı 3B EZKH

    ABDULBAKİ AYBAKAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Mekatronik Mühendisliği Ana Bilim Dalı

    PROF. DR. HAKAN TEMELTAŞ

Geri Dön