Sirvi Kuupäev , alustades "2010-05-19T09:41:30Z" järgi

Filtreeri tulemusi aasta või kuu järgi

Nüüd näidatakse 1 - 1 1

Superpositional graphs and finding the description of structure by counting method
(2010-05-19T09:41:30Z) Peder, Ahti
Digitaalskeemide diagnostikas on vigade simuleerimisel üheks efektiivsemaks andmestruktuuriks struktuurselt sünteesitud binaarsed otsustusdiagrammid. Paljud nimetatud diagrammide omadused sõltuvad tema skeleti, superpositsioonigraafi, vastavatest omadustest, seega oli eesmärk välja töötada superpositsioonigraafide klassi kirjeldavad omadused. Et aga superpositsioonigraaf kui andmestruktuur ei sisalda endas saamise ajalugu siis otsitavad omadused ei tohi kasutada superpositsiooni. Tavameetoditega aga sellist omaduste komplekti ei õnnestunud leida. Käesolevas töös on leitud superpositsioonigraafide klassi kirjeldavad omadused uue lähendamismeetodiga. Võtmetähtsusega on seejuures translaator, mis etteantud lausearvutusvalemite pere ja selle parameetrite väärtustele leiab vastava lausearvutusvalemi. Translaatorit ja kehtestavate väärtustuste loendajat kasutades leiame samm-sammult õigemat arvjada genereeriva omaduste komplekti. Metoodika põhiidee on efektiivselt leida struktuuri kirjeldusega mittesobivaid mudeleid ning seejärel parandada lähendiks olevat omaduste komplekti seni kuni leitud komplekt genereerib sellise arvjada, mis piisavalt suurte parameetri väärtuste korral langeb kokku orientiiriks võetud arvjadaga. Siis püstitame hüpoteesi, et viimasena leitud lähend on otsitav ja tõestame hüpoteesi. Metoodikat kasutades saame ka lihtsasti veenduda, et leitud omaduste hulk ei sisalda ülearuseid. Töös esitame ka superpositsioonigraafide klassi kirjeldamiseks vajaliku matemaatilise teooria ja anname nimetatud klassi kirjeldavate omaduste kontrollimiseks vajalikud algoritmid.