SLO | ENG

Večja pisava | Manjša pisava

Izpis gradiva

Naslov:Uporaba urejenih odločitvenih grafov pri računalniški obdelavi logičnih funkcij : diplomsko delo visokošolskega študija
Avtorji:Meolic, Robert, Univerza v Mariboru (Avtor)
Datoteke:.pdf dipl.pdf (560,59 KB)
 
Jezik:Slovenski jezik
Vrsta gradiva:Diplomsko delo (m5)
Tipologija:2.11 - Diplomsko delo
Organizacija:FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Opis:Odločitveni grafi so uspešna podatkovna struktura za predstavitev logičnih funkcij. V diplomskem delu so podane potrebne matematične osnove za njihovo razumevanje in računalniški algoritmi za njihovo učinkovito realizacijo. Podrobno so opisani urejeni binarni odločitveni grafi (OBDD), urejeni funkcijski odločitveni grafi (OFDD) in urejeni binarni odločitveni grafi s potlačenimi ničlami (0-sup-BDD). Dodan je pregledni opis prostih binarnih odločitvenih grafov (FBDD), razširjenih binarnih odločitvenih grafov (XBDD), urejenih Kroneckerjevih funkcijskih odločitvenih grafov (OKFDD) in diferenčnih binarnih odločitvenih grafov (\delta BDD). Za ROBDD, ROFDD in 0-sup-BDD so podani razčlenitveno pravilo, pravilo minimizacije in algoritmi za logične operacije, ki so tudi izpeljani. Algoritmi so bili realizirani v programskem jeziku C. Prikazani so rezultati testov, v katerih se primerja učinkovitost različnih vrst odločitvenih grafov pri preverjanju enakosti logičnih funkcij, pri predstavitvi množic kombinacij in pri predstavitvi slik.
Ključne besede:Boolova algebra, logične funkcije, binarni odločitveni grafi, funkcijski odločitveni grafi, podatkovne strukture
Leto izida:1995
Založnik:[R. Meolic]
Št. strani:98
Izvor:Maribor
UDK:681.3.01:519.1
COBISS_ID:1821974 Povezava se odpre v novem oknu
Licenca:CC BY 4.0
To delo je dosegljivo pod licenco Creative Commons Priznanje avtorstva 4.0 Mednarodna
Število ogledov:294
Število prenosov:26
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
Področja:KTFMB - FERI
Ostalo
:
  
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:Bookmark and Share

Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Sekundarni jezik

Jezik:Angleški jezik
Naslov:Using Ordered Decision Diagrams for Computer-Aided Manipulation of Boolean Functions : diploma work
Opis:Decision Diagrams are successful data structure for representation of Boolean functions. Mathematical background needed for their understanding and computer algorithms for their efficient implementation are given in this diploma work. Ordered Binary Decision Diagrams (OBDDs), Ordered Functional Decision Diagrams (OFDDs) and Zero-Suppresed Binary Decision Diagrams (0-sup-BDDs) are described in details. Also, a short overview of Free Binary Decision Diagrams (FBDDs), Extended Binary Decision Diagrams (XBDDs), Ordered Kronecker Functional Decision Diagrams (OKFDDs) and Differential Binary Decision Diagrams (\delta BDDs) is included. For ROBDD, ROFDD, and 0-sup-BDD the decomposition rule and reduction rule are shown and algorithms for logical operations are derived. Algorithms were realized in programming language C. Efficiency of various types of decision diagrams is compared. Results of tests in the domains of Boolean function equality testing, representing combination sets, and representing images are given.
Ključne besede:Boolean algebra, Boolean functions, Binary Decision Diagrams, Functional Decision Diagrams, data structures


Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici