Boolean fonksiyonlarının maclaurin açılımları için etkin bir algoritma
Başlık çevirisi mevcut değil.
- Tez No: 17415
- Danışmanlar: DOÇ.DR. ŞEREF MİRASYEDİOĞLU
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Boolean fonksiyonları, Maclaurin açılımı, Boolean functions, Maclaurin expansion
- Yıl: 1991
- Dil: Türkçe
- Üniversite: Atatürk Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
ÖZET Bu çalışmada, verilen herhangi bir Boolean fonksiyonunun Maclaurin açılımının bilgisayar desteğinde hesaplanabilmesi için genel bir algoritmik yöntem araştırılmıştır. Bu amaçla, doğruluk çizelgesi, fonksiyon değerleri. Shannon açılımı. Kanonik form. Boolean türevi alt algoritmaları ve bunları bütünleştiren genel bir Maclaurin açılım algoritması yazılmıştır. Sonuçta, bu algoritmaların C programlama dilindeki programları verilmiştir.
Özet (Çeviri)
SUMMARY In this study, we have investigated a general algoritmic method for any given Boolean function to calculate it's Maclaurin expansion with computer program. For this reason, truth table, values of function, Shannon's expansion, canonic form, Boolean derivative, subalgorithms, and a general Maclaurin expansion algorithm including all of them have been written. Finally, we have given the programs of these algorithms in C programming language.
Benzer Tezler
- Genelleştirilmiş kapı elemanları ile boole fonksiyonlarının indirgenmesi
Minimization of boolean function realization with generalized gates
UĞUR YOZGAT
Yüksek Lisans
Türkçe
1992
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. CEM GÖKNAR
- Bn grafı yardımıyla boole fonksiyonunun minumum kontaktla gerçekleştirimi
Başlık çevirisi yok
PINAR DÜNDAR
- İkili karar diyagramları yardımıyla lojik devre tasarımı
Logic design with binary decision diagrams
UTKU ÖZCAN
Yüksek Lisans
Türkçe
2001
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. AHMET DERVİŞOĞLU
- Sonlu durum sistemleri için sembolik bir model doğrulayıcısının gerçekleştirimi
Implementation of a symbolic model checker for finite state systems
TARIK SEÇKİN
Yüksek Lisans
Türkçe
1993
Elektrik ve Elektronik MühendisliğiHacettepe ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. H. SELÇUK GEÇİM
- Sahada programlanabilir kapı dizileri ile lojik devre tasarımı
Başlık çevirisi yok
VOLKAN SEZER
Yüksek Lisans
Türkçe
1996
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. AHMET DERVİŞOĞLU