-
Predstavitev logičnih funkcij z minimalnimi urejenimi binarnimi odločitvenimi grafiČasar, Aleš ...V članku so opisane podatkovne strukture in algoritmi za predstavitev logičnih funkcij z minimalnimi urejenimi binarnimi odločitvenimi grafi (ROBDD). Za hitro iskanje podatkov je uporabljena zgoščena ... tabela, dodatne informacije o spremenljivkah in funkcijah pa so shranjene v binarnih drevesih. Osnova za operacije nad funkcijami je rekurzivni algoritem operacije ITE. V članku je poudarek na programskih tehnikah, ki so potrebne, da iz ideje nastane program. Prvič sta opisana rekurzivni algoritem za sestavljanje fukcij in postopek čiščenja s števcem formul, ki je učinkovitejši od doslej predlaganih. Rezultati testiranj kažejo, da je v aplikacijah, ki obdelujejo logične funkcije, opisana predstavutev zelo učinkovita.Vir: Elektrotehniški vestnik. - ISSN 0013-5852 (59 (1992), 5 ; str. 299-307)Vrsta gradiva - članek, sestavni delLeto - 1992Jezik - slovenskiCOBISS.SI-ID - 4599556
Avtor
Časar, Aleš |
Meolic, Robert |
Brezočnik, Zmago |
Horvat, Bogomir, 1936-
Teme
računalništvo |
minimalni urejeni binarni odločitveni graf |
logične funkcije |
operator If Then Else |
sestavljanje logičnih funkcij |
dokazovanje logičnih vezij |
zgoščena tabela |
ROBDD |
Booleove funkcije |
logična vezja |
verifikacija |
strojna oprema |
ekvivalenca funkcij |
testiranje tavtologije |
grafi |
binarni odločitveni grafi |
computer science |
reduced order binary decision diagram |
ROBDD |
Boolean function |
logic functions |
If Then Else operator |
composition of logic functions |
logic design verification |
hash table |
equivalence of functions |
tautology testing |
logic circuits |
hardware |
verification |
graphs |
binary decision graphs
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Časar, Aleš | 15672 |
Meolic, Robert | 17878 |
Brezočnik, Zmago | 02071 |
Horvat, Bogomir, 1936- | 03015 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.