Logicke Systemy - Zadania

[doc.returner]

na piatkovom termine bolo: Kruhove pocitadlo s periodou 7 pomocou EA typu T, NOR

Uz sa tesim na opravak

[Padres]

a este co take bolo?

A este klasicky priklad z KLO co je na FTP. Presny nepamatam uz.
Zo SLO co som pocul boli aj nejake pocitadlo suciastok ci co a potom ten zasobnik na vodu (co je v skriptach), viacej som uz nezaregistroval.

[doc.returner]

Zrobil som pre istotu optimalizaciu pre tie 4 vnutorne stavy perverz pocitadla a vysli taketo hodnoty pre kodovanie...

S0 - 00   Y0 - 00
S1 - 01   Y1 - 01
S2 - 11   Y2 - 11
S3 - 10   Y3 - 10

Dalo by sa zrejme aj inak, ale S0 nesmie byt susedne s S2 a Y0 nesmie byt susedne s Y2...

[doc.returner]

a este co take bolo?

Zrobil som zoznam, dopln ak nieco chyba...

1. Synteza reverzibilneho kruhoveho pocitadla s periodou 4 pomocou JK a NAND
2. Zasobnik, RS, NOR
3. Sumator pre 2 binarne cisla cez NAND
4. Zasobnik na suciastky, kapacita zasobnika 3, ma to pocitat v binarnom kode pocet suciastok a pri naplneni generovat signal na vyprazdnenie zasobnika. JK a NAND.
5. Uloha dana tabulka prechodov a vystupov a urobit optimalne kodovanie
6. Zamok na postupnost X2, X1, X3
7. MEDA - tam trebalo imparator ci co za frasa, bola dana tabulka a v nej ake stavy maju nastat a ake je vystupne kodovanie.

[maTo]

ked najdem ten lajster s mojim zadanim, doplnim a ma k tomu dakto aj daco vypracovane?

[webmasterr]

no bez zapisania mozes prist jedine ked si ides opravit napr len teoriu

cize zbytocne sa budem bacu pytat, ci nemozem ist na niektory "plny" termin? myslim ked budem vediet ze som ani priklady nespravil, nie iba na ustnu 

[doc.returner]

ked najdem ten lajster s mojim zadanim, doplnim a ma k tomu dakto aj daco vypracovane?

1.a   kruhove_pocitadlo.jpg - perioda 3
1.b   SLO modulo7.DOC - z pistone, teraz som nasiel. Perioda 7

2.   slo-plnenie_zasonika.doc - anglicky, ale da sa. Videl som to zadanie vypracovane s dalsim stavom, ktory udaval "chybu" senzorov v pripade ze nameraju hladinu sucastne nad Hmax a pod Hmin, ale tam treba robit protisubehove. Nehovoriac o tom ze tretim vnutornym stavom ti pribudne vnutorna premenna p2 a tympadom by si musel robit nie s jednym, ale s dvoma EA...

3. sumator_NOR (malo byt NAND).doc

4. Ak niekto najde vypracovany ten zasobnik na 3 suciastky dajte prosim vediet... Tusim ze to funguje podobne ako to kruhove pocitadlo, ale nie som si dokonale isty...

5. Tusim nieco ako asynchr_tabulka.doc, je to aj v prednaske LS8-3.pdf, len s rozmernejsou tabulkou vystupov... Optimalne kodovanie a huste tabulky budiacich funkcii, odporne

6. Tych zamkov je viac, ale napr zamok_X1X3X1X3X2.doc

7. meda1.jpg, meda2.jpg

[staninko]

ja som schemu zapojenia pri 2 priklade nemal a nejak mu to nevadilo

[kOsTi]

15b?

[ApokalypS]

myslim, ze schema uz je najmenej..

[staninko]

no to je tiez pravda ze 15 b mi nedal ale ako myslel som to tak ze nic sa o schemu ani nepytal ze preco nemam alebo tak

[doc.returner]

pri kodovani tabulky delta a lambda su zadane? alebo odkial ich dostanem?
a dalej - ako postupovat pri pisani r1,r2 atd a pi1,pi2 atd ??

pridavam jeden sken zo cvika..

Tu to je celkom dobre popisane http://bukovec.fei.tuke.sk/projekty/syntlog/syntlog2/text.php?menu_id=134&father=52

Nenasiel som tam ale vysvetlenie pre to r1, r2, ... r_n resp pi1, pi2, ... pi_n tak sa ti to posnazim vysvetlit.

Takze najprv - index i v r_i je len symbolicky, nic neoznacuje (riadok, stlpec, nic - je to proste poradie). Cisla v mnozine identifikuju stavy - 1 je S1, 2 je S2 atd...
Mnoziny r vzdy rozdelujes len do dvoch tried/skupin/podmnozin ci jak to nazvat - preto nebudes mat napr. r = {1; 2,3; 4}, vzdy totiz oznacujes prvky z jednej podmnoziny hodnotou 1 a druhu hodnotou 0.
Tie r ziskas tak, ze urobis vsetky mozne kombinacie kodovania stavov, s ktorymi robis. Napriklad ak mas stavy S1, S2, S3, S4 tak budes mas nasledovne mnoziny:

r1 = {1; 2,3,4}
r2 = {2; 1,3,4}
r3 = {3; 1,2,4}
r4 = {1,2; 3,4}
r5 = {1,3; 2,4}
r6 = {1,4; 2,3}

Ak som to dobre rozpisal, mali by tam byt vsetky mozne kombinacie oznacovania jednotlivych stavov.


Skusim priklad, majme napr stavy S1, S2 a S3. To znamena ze vyjadris

r1 = {1; 2,3}
r2 = {2; 1,3}
r3 = {3; 1,2}

Toto je najvacsie mnozstvo kombinacii troch stavov, kedze ostatne by boli identicke. Napr. r = {3,2; 1} by bolo identicke s r1.

Dalej uvazujme ze mame danu nasledujucu tabulku prechodov:

     S1  S2  S3
X1  S2  S1  S2
X2  S3  S1  S2
X3  S3  S2  S3

Ak to zakodujes pomocou r1, dostanes:

     S1  S2  S3
X1  1    0    1
X2  1    0    1
X3  1    1    1

Podla r2:

     S1  S2  S3
X1  0    1    0
X2  1    1    0
X3  1    0    1

Podla r3:

     S1  S2  S3
X1  1    1    1
X2  0    1    1
X3  0    1    0


Teraz nahliadas na jednotlive stlpce a porovnas ich, ci su zhodne. Ak ano, patria do rovnakej podmnoziny/skupiny/triedy/daco v ramci mnoziny pi. A teda:

pi1 = {2; 1,3}   - 1 a 3 su zhodne po kodovani s r1
pi2 = {1; 2; 3}  - vsetky stlpce su rozne po kodovani s r2
pi3 = {1; 2; 3}  - vsetky stlpce su rozne po kodovani s r3


Od tohto bodu uz vyber velmi nechapem. Viem len to ze ide o susednosti a mal by si teda striehnut po takom kodovani, ktore ti zaruci najviac susednosti (tympadom dostanes jednoduchsie budiace funkcie a v zavere jednoduchsi logicky obvod).

Po pravde mam radsej ten druhy sposob optimalizacie ktory je vysvetleny na tej stranke. Trosku trva kym tu metodu clovek pochopi, ale potom to ide jak po masle. 

[ApokalypS]

dik.. celkom chapem

[johnyo13]

ked je zadane ze treba kodovat optimalne, tak treba kodovat optimalne vstupy, vystupy, aj stavy? alebo bude zadane presne co ma byt optimalne?

[doc.returner]

ked je zadane ze treba kodovat optimalne, tak treba kodovat optimalne vstupy, vystupy, aj stavy? alebo bude zadane presne co ma byt optimalne?

Najlepsie je optimalizovat vsetko... Optimalizacia vystupov speje z optimalizacie vnutornych stavov, ktora speje z optimalizacie vstupnych stavov. Prvorado by si podla mna mal mat optimalizovane vnutorne stavy, ale ked mas vela vstupov (viac ako 4 rozne vstupne stavy), tak by sa zislo aj tie zoptimalizovat...

[Viper_No1]

ked je zadane ze treba kodovat optimalne, tak treba kodovat optimalne vstupy, vystupy, aj stavy? alebo bude zadane presne co ma byt optimalne?

Najlepsie je optimalizovat vsetko... Optimalizacia vystupov speje z optimalizacie vnutornych stavov, ktora speje z optimalizacie vstupnych stavov. Prvorado by si podla mna mal mat optimalizovane vnutorne stavy, ale ked mas vela vstupov (viac ako 4 rozne vstupne stavy), tak by sa zislo aj tie zoptimalizovat...

jj a optimalizacia speje k tomu, ze potom budes mat jednoduchsie budiace a vystupne funkcie..

[johnyo13]

jj, tomu viac menej rozumiem, len by ma zaujimalo, ci tu nie je niekto, kto vie jak to baca berie, ci to uzna...napr. ked zakodujem optimalne len stavy pomocou nahodne zakodovanej tabulky vstupov...

[Martin18]

mal niekto ,alebo viete o niekom kto mal prvu ulohu inu ako funkciu?(napr. prevodnik kodov)

[kOsTi]

minuleho roku ano toho roku som o tom este nepocul...

[JCube]

nebude nic take...more...drzim palce vsetkym homies from da hood co idu so mnou pokorit kokotiny

[doc.returner]

Nevedel by mi este niekto narychlo vysvetlit kedy sa prekryvaju prechody?

http://bukovec.fei.tuke.sk/projekty/syntlog/RozhranieMD/skladMD/MaticaQm/MaticaQm.htm
^Tu napriklad rozvazuju prechody, ale prechod --10 (na konci) nepokryju prechodom 101- (na zaciatku)

Je tam nejaka podmienka ze musia byt zhodne aspon v dvoch poziciach ci ako to je?

[puq]

jj, tomu viac menej rozumiem, len by ma zaujimalo, ci tu nie je niekto, kto vie jak to baca berie, ci to uzna...napr. ked zakodujem optimalne len stavy pomocou nahodne zakodovanej tabulky vstupov...

neviem sa mi zda ze niekto mal v zadani ze musi pouzit optimalne kodovanie...a neviem ci sa ten dotycny na to vyjebal a nic nenapis alebo to zakodoval nahodne ale baca mu to neuznal

[ApokalypS]

Nevedel by mi este niekto narychlo vysvetlit kedy sa prekryvaju prechody?

http://bukovec.fei.tuke.sk/projekty/syntlog/RozhranieMD/skladMD/MaticaQm/MaticaQm.htm
^Tu napriklad rozvazuju prechody, ale prechod --10 (na konci) nepokryju prechodom 101- (na zaciatku)

Je tam nejaka podmienka ze musia byt zhodne aspon v dvoch poziciach ci ako to je?

mam taky pocit, ze nezavisi kolko je tam "-"

[Tanka]

Nevedel by mi este niekto narychlo vysvetlit kedy sa prekryvaju prechody?

http://bukovec.fei.tuke.sk/projekty/syntlog/RozhranieMD/skladMD/MaticaQm/MaticaQm.htm
^Tu napriklad rozvazuju prechody, ale prechod --10 (na konci) nepokryju prechodom 101- (na zaciatku)

Je tam nejaka podmienka ze musia byt zhodne aspon v dvoch poziciach ci ako to je?

nemozes to pokryt pretoze pokryvas iba vtedy a ak je v jednom riadku nieco napr. --10 a v druhom to iste + nieco naviac napr 0-10 vtedy mozes pokryt jeden riadok druhym.
V tomto pripade tam mas 101- a --10 to znamena ze ta nula na konci robi problem.
--10 by si mohol pokryt ak by tam bolo 1010...

dufam ze aspon trochu pochopitelne lebo o takomto case a v takomto zufalom stave uz vysvetlovat neviem

edit. a ako pisal klypso na pocte - nezalezi

[doc.returner]

Tak ale potom je divne ze pokryli prechod 1--0 prechodom 101-
Cim viac to studujem, tym menej tomu chapem