Messages

Uplna je len jedna, skratena je len jedna, iredundantnych moze byt viac, a mozu byt znodne s minimalnymi.

Neviete, budu aj ine terminy, okrem tych dvoch co su vypisane? Teda po tom 15.5.

pozrite si archiv

[h]

H1 - dolna uroven hladiny, H2- horna uroven hladiny, h - aktualna uroven hladiny

dajme tomu, a - vstuypny signal,premenna, reprezentujuca data od "dolneho" senzora S1
                     b - vstupny signal, premenna, reprezentujuca data od "horneho" senzora S2

a = 0 , ak aktualna uroven hladiny tekutiny h este nepresiahla uroven hladiny, ktoru sleduje senzor S1(dolnu uroven hladiny - H1) , cize h < H1
a = 1 , ak aktualna uroven hladiny tekutiny h presiahla uroven hladiny, ktoru sleduje senzor S1, cize h >= H1

b = 0 , ak aktualna uroven hladiny tekutiny h este nepresiahla uroven hladiny, ktoru sleduje senzor S2(hornu uroven hladiny - H2), cize h < H2
b = 1 , ak aktualna uroven hladiny tekutiny h presiahla uroven hladiny, ktoru sleduje senzor S2, cize h >= H2

Mas 2 vstupne premenne , teda 4 mozne stavy, zistis ktore pouzijes >

ab(00) - X0 - zasobnik je prazdny
ab(01) - X1 -chyba , lebo tento stav indikuje ze , aktualna hladina je pod dolnou urovnou hladiny H1(a=0) a zaroven ze je nad hornou hladinou H2(b=1) // mozno pocitat pri navrhu navrhu,   vtedy sa podla (mojho) navrhu vypne plnenie
ab(10) - X2 - zasobnik je poloprazdny/poloplny - aktualna hladina je niekde medzi H1 a H2
ab(11) - X3 - zasobnik je plny - aktualna hladina je na, alebo nad urovnou H2
X = {X0,X1,X2,X3}

Ma jeden vystupny signal - y, ktory ovlada el. clen - napustaci ventil NV >
y = 0, napustaci ventil je uzavrety(zasobnik sa nenaplna)
y = 1, napustaci ventil je otvoreny(zasobnik sa naplna)
Teda moze mat dva vystupne stavy Y0 - situacia, kedy je plnenie vypnute, Y1 - situacia kedy je plnenie zapnute. Y = {Y0,Y1}.

Obvod je asi najlepsie robit  ako Moore, lebo kazdemu vnut. stavu mozno priradit prave jeden vystupny stav.
Teda ak si oznacis S0 ako stav, kedy sa zasobnik nenaplna(ma priradeny vyst. stav Y0), tak sledujes ako sa budu menit nasledujuce stavy pre jednotlive vsupy.
Na vstup pride X0 - to jest, ze aktualna hladina je pod urovnou H1 = zasobnik prazdny > musi prejst do stavu , kedy sa zacne naplnat, a to je stav S1.
Na vstup pride X1 - to jest chyba senzora - ostane v tom istom stave - S0 - nenaplna sa.
Na vstup pride X2 - to jest, ze zasobnik je poloprazdny, uroven medzi H1 a H2, ostane v tom istom stave - S0 - nenaplna sa.
Na vstup pride X3 - to jest ze, ze zasobnik je plny - ostane v tom istom stave - S0 - nenaplna sa.


Objavil sa dalsi stav - S1, to jest vnutorny stav, kedy sa zasobnik naplna( ma priradeny vystupny stav - Y1), skumas vsetky nasledujuce stavy pre vsetky mozne(uvazovane) vstupy.
Na vstup pride X0 - zasobnik je prazdny, tesne pred okamihom naplnania, ostava v tom istom istom vnut. stave S1 - plni sa.
Na vstup pride X1 - chyba senzora // mozno s tymto vstupnym stavom uvazovat pri navrhu, ale mozno ho vynechat, ja uvazujem  , teda prechod do S0 - plnenie vypnute
Na vstup pride X2 - zasobnik poloprazdny, ostava v tom istom istom vnut. stave S1 - plni sa.
Na vstup pride X3 - to jest ze, ze zasobnik je plny - prechod do S0 - plnenie vypnute.

Vela veci sa da robit tak aj tak, niektore logicky len tak, alebo tak, ak si to vies obhajit tak asi by nemal byt problem si myslim.

Hlavnou ulohou optimalneho kodovania u synch. obvodov je co najjednoduchsi navrh obvodu a u asunchronnych je hlavnou ulohou kodovania odstranenie kritickych subehov.
Ked su riesenne ako synchronne, tak to mozes mat zakodovane ako chces a subehy ta nezaujimaju, to je proste len vysledok tych algoritmov, cim lepsie zohladnena susednost. Ak mas synchronny obvod, tak jednotlive preklapacie obvody sa preklopia az vtedy, ked dostanu synchronizacny impulz od nejakeho generatora impulzov. Pri ass. obvode to nehrozi ,preklapacie obvody sa preklopia, ked pride nejaky vstupny signal, pricom je dolezite to, aky je aktualny vnutorny stav.

A k tomu impulznemu rezimu, to je dobry dotaz, ja som to tam dal preto lebo Moore pracuje v impulznom rezime, no neviem ci to je na 100% dobre. A k tomu vysvetleniu, ja to chapem asi tak ako to je v skriptach, prepisovat to nebudem , skusim pozriet na nete ci nieco nenajdem viac zrozumitelnejsie.

Asi tak , v synchronnom obvode ti subeh proste vzniknut nemoze, a aj zo zadania by som povedal ze sa jedna o asynchronny system, lebo prechod z jedneho stavu do druheho sa uskutocni len vtedy, ak sa na vstupe obvodu objavi pozadovany vstupny stav. Teda zmena velicin systemu sa moze udiat v lubovolny okamih, a nie je pevne dana nejakym synchronizacnym signalom.

Cize k tomu prikladu s analogovym pocitacom MEDA, priklad je zda sa v poriadku.
Cize proces abstraktnej syntezy bude nasledovny :

1. Definovanie vstupnych signalov, urcenie mnoziny vstupnych stavov
Mame dve vstupne signaly a1 a a2, kde a1 - vstupny signal, ktory nastavuje vzdy novy rezim v poradi PRÍPRAVA – RIEŠENIE – ZASTAVENIE a signal a2 je signal indikujuci zahltenie.
Ako kazdy elektricky signal, aj tieto signaly mozu byt 0 alebo 1 a su privedene na vstupny kanal realizovaneho obvodu.
Cize v skratke, ak a1=0 , potom obvod nenastavuje novy rezim a ak a1 = 1, potom obvod nastavuje novy rezim v uvedenom poradi. //Ak by sme mali len tento vstupny signal, tak potom mnozina vstupnych stavov by bola X0 a X1, kde v skratke X0 - nenastavuje novy rezim, X1 - nastavuje novy rezim. Viac kombinacii neexistuje, teda X = {X0,X1}.//
No v tomto pripade existuje este jeden vstupny signal a2, tj. a2 = 0 - neindikacia zahltenia a a2 = 1 - indikacia zahltenia.

Teda kombinaciou 2 vstupnych premennych a1, a2 dostaneme 4 mozne stavy, ktore mozu vzniknut, resp. objavit sa na vstupe realizovaneho obvodu - X0(kombinacia vstupnych premennych(kod stavu) -00),  X1(01), X2(10), X3(11). Overime ci vsetky vzniknute stavy aj pouzijeme, teda  X0 - nenastavenie noveho rezimu pri neindikujucom zahlteni - ok, X1 - nenastavenie novehu rezimu pri indikujucom zahlteni - ok,X2 - nastavenie noveho rezimu pri neindikujucom zahlteni - ok a X3 - nastavenie noveho rezimu pri indikujucom zahlteni.
Dostali sme mnozinu zakodovanych  vstupnych stavov X = {X0,X1,X2,X3}.

2. Definovanie vystupnych signalov, urcenie mnoziny vystupnych stavov
Mame dve vystupne signaly z1 a z2, kde z1,z2 - vystupne signaly, ktore nastavuju prislusny rezim PRÍPRAVA, RIEŠENIE, ZASTAVENIE s takymi hodnotami, ako je to uvedene v tabulke. Cize dostavame vystupne stavy(jeden pre kazdy rezim) nasledovne Y0(kombinacia vystupnych prem. z1, z2 - 00), Y1(01) a Y3(11).
Dostali sme mnozinu zakodovanych  vystupnych stavov Y = {Y0,Y1,X3}.

3.Definovanie mnoziny vnutornych stavov, urcenie mnoziny vystupnych stavov
Predpokladam, ze obvod pozostava z 3 vnutornych atavov S0 - "priprava", S1 - "riesenie", S2 - "zastavenie". Ako sa obvod chova pri danych vstupoch a aktualnych vnut. stavoch mozno urobit intuitivne a hned kreslit graf prechodov a vystupov, ja rozpisem v kroku 4.

4.Zostrojenie KA
Obvod mozno realizovat ako Mealy, aj ako Moore, no obvod budem realizovat ako KA typu Moore, kedze obvod pracuje v impulznom rezime a kazdemu vnutornemu stavu mozno priradit prave jeden vystupny stav.
Ak sa obvod nach. v pociatocnom stave S0 - "Priprava" (je mu priradeny vystupny stav Y0) na vstupe sa objavi X0, X1 - nenastavuje novy rezim, teda ostava v stave S0.
Ak sa na vstupe objavi X2 - nastavi dalsi rezim v poradi -  "RIesenie", teda obvod prejde do stavu S1. A ak sa vstupe objavi stav X3(11) - odvod ostane v stave - S0, kedze zo zadania vyplyva, ak je a2=1 obvod  zostava v rezime PRIPRAVA.

Pribudol novy stav S1 - "Riesenie" (je mu priradeny vystupny stav Y3) a skumame prechody pri kazdom vstupe. Ak sa na vstupe objavi X0 - nenastavuje novy rezim , ostane v S1.
Ak sa na vstupe objavia X1,X3 - vstup s indikaciou zahltenia, obvod musi prejst do stavu S2 - "Zastavenie"( vyplyva zo zadania) a ak sa na vstupe objavi X2 - nastavenie dalsieho rezimu v poradi S2 - "Zastavenie".

Pribudol novy stav S2 - "Zastavenie "(je mu priradeny vystupny stav Y1) a a skumame prechody pri kazdom vstupe. Ak sa na vstupe objavi X0 - nenastavuje novy rezim , ostane v S2.
Ak sa na vstupe objavia X1,X3 - vstup s indikaciou zahltenia, obvod musi ostat v  stave S2 - "Zastavenie"( vyplyva zo zadania) a ak sa na vstupe objavi X2 - nastavenie dalsieho rezimu v poradi S0 - "Priprava".

Koniec abstraktnej syntezy, test ci mozno redukovat KA nakreslenie grafu prechodov a vystupv. To su tie dva grafy Mealy a Moore na tych obrazkoch, co su v podstate spravne.
Mozno pristupit k strukturnej synteze obvodu.
Prvym krokom je kodovanie vstupnych vystupnych a vnutornych stavo. Kodovanie vstupov a vystupov uz mame mozme zakodovat vnutorne stavy. Kedze sa jedna o asynchronny obvod je potreba zvolit take kodovanie aby nevznikali  subehy. Na zakodovanie 3 vnutornych stav potrebujeme 2 premenne, nejake p1 a p2.
Hladame take kodovanie, kde vsetky prechody medzi stavmi su elementarne, cize meni sa len jedna premenna. Kedze stavu S0 priradili kod 00, stavu S1 kod 11 a stavu S2 kod 01( podobne ako kodovanie vystupov), vidime ze pri prechode zo stavu S0 do stavu S1 sa meni viac ako jedna vnutorna premenna. Je potrebne dourcovat prechodovy medzistav, pre ktory plati,ze pri kazdom vstupe bude jeho nasledujucim stavom stav S1(to je ta "1" na tom obrazku). Dany medzistav ziskame zmenou niektorej sa meniacej premennej , tj. dostaneme stav S1' s kodom 10.Pri kazdej dalsej dvojici prechodov uz subeh nevznika, cize dany subeh, ktory tam bol na za zaciatku ani nemoze byt kriticky.

Mame 4 stavy, no na zakodovanie 4 vnut. stavov potrebujeme stale len 2 prmeenne, cize potreba pouzitia 2 EA, a sice narastol pocet vnutornych stavov, ale neviedlo to k zvyseniu zlozitosti navrhu budiacich funkcii obvodu.

Zalezi s kym mas, ale tak malo by to byt nieco co je(bude) zakladom do teoretickej casti bakalarky.

Inak kedze je to klas. zapocet staci ked je udeleny do konca skuskoveho.

toto znie celkom logicky no vyplyva mi z toho to, ze staci aby som si spravil medzistav na kazdu mozno zmenu stavu, v ktorom by vznikal subeh a len to cele optimalne zakodoval ako asynchronne a nemusel by som riesit subehy.
tento napad je samozrejme zly, lebo keby to bolo take jednoduche tak sa to bude pouzivat - nevies ale jednoducho vysvetlit preco by to zlyhalo?

Samozrejme da sa to robit ako si napisal, a to je to susdene kodovanie,ze kompletne odstranis subehy, problem je v tom ze by sa ti neumerne zvysil  pocet vnutornych stavov, viacej premennych na zakodovanie vnutornych stavov a teda aj vacsi pocet elementarnych automatov a kedze sa baziruje na co naoptimalnejsej realizacii obovdu ujo baca by ta asi nepochvalil ;p
Algoritmus protisubehoveho kodovania je len ina forma riesenia, reto v tych zadaniach sa vyzaduje protisubehove a nie len susedne kodovanie.

Inak take pocitadlo sa da riesit aj asynchronne s pouzitim odstranenia seckych subehov napr.

To s tou mapou je trochu cudne. V prvom rade si myslim ze je zle oznacene zahlavie tabulky, cize nie S/X ale malo by byt X/S, potom by boli prechody do neurceneho stavu cez chybajuci 4 vstupny stav v stlpci.

CIze v tom syntlogu je uloha kde mas 3 vstupne stavy X0, X1 a X2, 4 vnutorne stavy S0, S1,S2, S3 ale nemas urcene vystupne stavy ... :|, dokonca ani tabulku vystupov cize nemas sancu vidiet ako si ONI zakodovali vstupne stavy. Nemozes z toho co mas pouzit pravidlo P1', lebo nezistis pocty poziadaviek pv z tabulky vystupov, a teda neurcis vazeny sucet.. proste bordel.

Cize oni si nejak zakodovali vstupy, ty nevies ako, mozes tak akorat skumat.

No ale k tej mriezke hlavnych implikantov, ak ju vyriesis , dostanes funkciu pokrytia, tam je ze Ø = ABA, no podla mna by malo byt len Ø = AB, ale to nie je problem. Teda na zakodovanie vnutornych stavov budes potrebovat 2 premenne.
Keďže existuje len jeden iredundantný súbor hlavných implikantov, ktorý obsahuje 3 hlavné implikanty A a B, kde A = 1010, B = 1100  máme na výber len jednu možnosť protisúbehového kódovania pre výber optimálneho kódovania, ktorú aj použijes. Nemusis teda hladat vhodny optimalny kod pomocou algoritmu , ktory vychadza z rozdelenia vnutornych stavov na triedy.

Každý hlavný implikant určuje rozdelenie stavov podľa premenných a každá vnútorná premenná pi rozdeľuje množinu vnútorných stavov na podmnožinu, kde premenná nadobúda hodnotu 0 a na podmnožinu, kde nadobúda hodnotu 1.
Kodovaciu tabulku dostanes take ze zoberies kodovaciu maticu a prvy stlpec predstavuje kodovanie stavu S0, druhy S1, treti S2 a 4 ty S3

A kedze optimalnych kodov je vela , aj tu existuje niekolko moznosti a volieb kodu. Ak pouzijes hlavny implikant A a B , dostanes kodovane stavy S0 - 11, S1 - 01, S2 - 10 a S3 - 00. Pre poriadok , ak by si upravil tento kod na strukturne ekvivalentny( ako - syntlog ) dostanes S0 - 00, S1 - 10, S2 - 01 a S3 - 11.
Ak pouzijes hlavny implikant B a A(vymenis riadky) , dostanes kodovane stavy S0 - 11, S1 - 10, S2 - 01 a S3 - 00. Pre poriadok , ak by si upravil tento kod na strukturne ekvivalentny dostanes S0 - 00,S1 - 01, S2 - 10 a S3 - 11. Robi sa to preto aby si mal stav S0(aj X0, Y0) zakodovany ako 00(000 pri 3 premennych).

Nasledne zostrojis kodovanu tabulku prechodov. V tej tabulke je pouzita volba HI B a A, teda kody stavov S0 - 11, S1 - 10, S2 - 01 a S3 - 00.
V hore uvedenej tabulke sa postupne doplnia prechody a nasledne aj kody stavov. ZIstil som, ze kodovanie vstupov je  nasledovne: vstup X0 ma kod 10, X1 - 00 a X2 - 11, a chybajuci 4 vstup ma kod 01.

Teda tato tabulka ma usporiadane stavy(v zahlavi) podla kodov vnutornych stavov v poradi 00, 01, 10 , 11 co zodpoveda stavom S3,S2, S1 a S0. A tiez usporiadane vstupy(v zahlavi tab.) podla kodov stupnych stavov v poradi 00, 01, 10 a 11, co zodpoveda vstupnym stavom X1, X3(nedefinovany, cize prechod z vnutornych stavov je neurceny), dalej X0 a X2.

Cize v dalsom kroku sa zakoduju nasledujuce stavy, pre dany stav a dany vstup. To sa urobi z tabulky prechodov.
Cize pre prvy riadok tabulky(vstup X1 s kodom 00) >> δ(S3,X1) = S2, a S2 ma kod 10, dalej  δ(S2,X1) = S0, a S0 ma kod 11, dalej δ(S1,X1) = S0 a S0 ma kod 11 a nakoniec δ(S0,X1) = S3 a S3 ma kod 00.
Takto sa urcia kody vsetkych stavov S(t+1).

Ak mas takto pekne(nepekne) zakodovanu tabulku tak robis kontrolu na subehy. Subeh vznikne pri danom prechode ak sa meni viac ako jedna vnutorna premenna, porovnanim S(t) a S(t+1) pre dany vstup.
Cize napr. pre vstup X1(prvy riadok tabulky) zo stavu S3 s kodom 00 prechadza pri vstupe X1 do stavu S2 s kodom 01, pozries sa na kody, 00 vs 01 meni sa len jedna premenna , teda subeh nevznika. Takto sa skontroluje kazdy prechod, pri kazdom vstupe. Ak by vznikol subeh , potreba hladat medzistavy, teda odstranenie subehov susednym kodovanim, ale to som snad uz popisoval.

Velky wall of text snad som sa nikde nepomylil, nechsa sa mi to teraz kontrolovat

Proste zakodovat stavy(vstupne, vnutorne, vystupne) musis, pretoze potrebujes kodovanu tabulku prechodov a vystupov(modifikovanu kodovanu tabulku prechodov pri asynchronnych SO) potrebujes pre zostrojenie kodovacich tabuliek budiacich a vystupnych funkcii. Kazdy vstupny/vnutorny/vystupny stav musi byt urceny jedinecnou kombinaciou prisl. premennych.

Pri kodovani by si mal stale dodrziavat tie dve podmnieky a to jednoznacnost, cize kazdemu stavu pridelit jednoznacne kombinacie vstup./vnut./vyst. premennych a optimalnost, cize to tebou zvolene kodovanie by malo viest na co najjednoduchsiu realizaciu budiacich a vystupnych funkcii.

Optimalne kodovanie sa vo vseobecnosti uskutocnuje rozne pre synchronne a asynchronne SO.
Pri synchronnych SO mas na vyber bud optimalne kodovanie pomocou pravidiel P1', P1 a P2 a P2' pre zakodovanie vstup., vnut. a vystupnych stavov. Druhou metodou(algoritmom) pre optimalne kodovanie synchronnych SO je algoritmus vychadzajuci z rozdeleni mnoziny vnutornych(vystupnych) stavov na triedy podla jednolivych vnutornych(vystupnych) premennych. Tato druha metoda vsak neumoznuje kodovanie vstupnych stavov.

Cize ak dostanes priklad syn. SO zadaneho tabulkou prechodou/vystupov a mas tam uvedene aby si pouzil optimalne kodovanie a nic viac. Mozes si vybrat z dvoch metod, bud pouzitie pravidiel alebo algoritmus vychadzajuci z rozdelenia mnozin stavov premennymi. Ak sa rozhodnes pouzit pravidla , je to dobre vysvetlene na syntlogu a da sa pochopit. Ak sa rozhodes pouzit druhu metodu, spravne by si mal zakodovat mnozinu vstupnych stavov podla pravidla P1', a pokracovat v kodovani vnutornych a vystupnych stavov podla algoritmu. Je to dost blbo vysvetlene v knihe a je tam snad i zle urcenie niektorych indexov, potom clovek tazko pochopi o co sa jedna.

Niektore sady prikladov ti priamo nehovoria by si pouzil optimalne kodovanie, ako napr plneie zasobnika(plnic tekutiny - zasobnik co len plni), davkovac tekutiny(zasobnik - pusta/vypusta - skripta). Cize zakodujes podla logiky. Mohol by si to este optimalizovat niektorym postupom ale neverim ze by sa to robilo takto, staci ti to urobit len spravne.

Pri asynchronnych SO, resp. pri danej sade prikladov sa vyzaduje odstranenie kritickych subehov. Na to sa pouzije algoritmus odstranenia kritickych subehov, cize jednotlive dvojice prechodov nemozu mat pri danom vstupe rovnake mnoziny prechodovych spolocnych medistavov. Moze dojst k nespravnej funkcii obvodu, kedze obvod by mohol prejst do nespravneho konecneho stavu cez niektory medistav. Plati to vsak len v pripade ze konecne stavy su rozne. Ak pri danom vstupe maju viacere dvojice prehodov spolocny konecny stav a urcitu spolocnu mnozinu medzistavov , cez ktore sa moze uskutocnit prechod do konecneho stavu, vznika tiez subeh , nie vsak kriticky.

Pri asynchronnom SO, zadaneho tabulkou prechodov/vystupov, potrebujes tiez nejak zakodovat vstupne vnutorne a vystupne stavy.
Videl som zadania, kde si proste povedali, ze zakoduju vstupne  a vystupne stavy "nejako" a dalej nic nerobili. Vstupne stavy by som zakodoval pravidlom P1' a vystupne stavy algoritmom  rozdelenia mnoziny vystupnych stavov na tiredy vystupnymi premennymi. Na zakodovanie vnutornych stavov pouzijes tiez algoritmus rozdelenia vnutornych stavov na triedy podla jednolivych  premennych, no najprv je potrebne odstranit kriticke subehy.

Aplikacia protisubehovo kodovania pozostava z 7(?) krokov a to:
1.Urcenie vstupneho stavu pri ktorom su vsetky vnut.stavy stabilne a rozviazania dvojic prechodov
2.Vytvorenie matice podmienok
3.Minimalizacia matice podmienok
4.Urcenie suboru hlavnych implikantov
5.Riesenie mriezky hlavnych implikantov
6.Vyber optimalneho kodu (tu sa riesi optimalne kodovanie pomocou algoritmu rozdelenia mnoziny vnut. stavov na triedy jedn, premennymi, riesenim je matica kodovania pomocou ktorej mozes zostrojit kodovaciu tabulku a mapu kodov vnut. stavov)

7.Zhodnotenie a riesenie kritickych subehov - moze sa stat, ze protisubehove kodovanie odstrani kriticke subehy , no mozu sa objavovat nekriticke subehy, ktore je potrebne odstranit, co sa   robi susednym kodovanim. Teda do mapy kodov, resp kodovacej tabulky doplnis (potrebne mozne) medzistavy a ich kody. Da sa to robit zistit aj z mapy kodov.
Potom zostrojis modifikovanu kodovanu tabulku(modifikovana preto lebo obsahuje (potrebne mozne) medzistavy s kodmi) a robis kontrolu na subehy. Subeh - meniaca sa viac ako 1 vnutorna premenna

[ Predstav si prechod zo stavu S3 s kodom 000  do stavu S0 s kodom 110 vznikne vznike pri vstupe X1 subeh, teda je potrebne dourcit mnozinu susednych medzistavov a to bud z mapy kodov alebo manualne, a to tak, ze su to tie stavy ktore vzniknu zmenou niektorej z meniacich sa vnutornych premennych , cize prechodove medzistavy by boli  Sa s kodom 010 a Sb s kodom 100.
Teda pre prechod S3 - S0 existuje mnozina U(3,0) = {S3,Sa,Sb,S0} a v mape kodov mozes vyznacit konfiguraciu medzistavov, ktore pri danom vstupe vedu na ten rovnaky koecny stav.

Ak pri tom istom vstupe X1 vznike subeh pri prechode dajme tomu zo stavu S2 s kodom 101 do stavu S1 s kodom 011. Tak medyistavy ziskame opat z mapy kodov, resp. to budu stavy ktore vzniknu zmenou niektorej z meniacich sa vnutornych premennych  cize prechodove medzistavy by boli  Sd s kodom 111 a Sc s kodom 001.
Teda pre prechod S3 - S0 existuje mnozina U(2,1) = {S2,Sc,Sd,S1},

Ako mozne potrebne medzistavy mozu samozrejme posluzit aj existujuce povodne vnutorne stavy.
Subehy ostali, no nie su kriticke. Dokaz z definicie, kedy prienik mnozin U(3,0) a U(2,1) je prazdna mnozina, pri j rozne od n,(rozne koncove stavy).]

No snad som nepopisal nejake bludy, ak ano opravte ma. LS forever

To je to co som pisal vyssie, ze zostrojis automat pomocou derivacie udalosti, akorat je s tym problem ten ze budes musiet nasledne automat zredukovat pomocou algoritmu vytvarania maximalnych tried zlucitelnosti, teda tried ekvivalenciek,kedze automat je(bude) uplne urceny automat.

Je to vsak len jedna z moznosti ako to urobit a je len na tebe ako to urobis.

Navrhnite riadiaci obvod pre riadenie režimov integrátora na analogovom počítači MEDA. Režímy integrátora majú byť ovládané impulzným signálom a1, ktorý nastavuje vždy nový režím integrátora v poradí PRÍPRAVA – RIEŠENIE – ZASTAVENIE...Ak však signál a2, ktorý indikuje zahltenie, je rovný 1, nesmie byť integrátor v stave RIEŠENIE t.j. prechádza do stavu ZASTAVENIE resp. zostáva v režime PRÍPRAVA. Pre nastavenie jednotlivých režimov integrátora potrebujeme dva signály, ktorých hodnoty v jednotlivých režimoch sú nasledovné:
Režim:   PRÍPRAVA   RIEŠENIE   ZASTAVENIE
Signály
   z1                1                   0                  0
   z2                1                   0                  1
- Pri návrhu použite EA typu T a LČ typu NAND.

Dalsia verzia prikladu:
Navrhnite riadiaci obvod pre riadenie režimov integratora na analogovom poictaci MEDA. Režimy integratora maju byt ovladane impulznym signalom a1, ktory nastavuje vzdy novy rezim integratora v poradi PRIPRAVA - RIESENIE - ZASTAVENIE ... Ak však signal a2, ktory indikuje zahltenie, je rovny 1, nesmie integrator byt v stave RIESENIE t.j. prechadza do stavu ZASTAVENIE resp. zostava v rezime PRIPRAVA. Pre nastavenie jednotlivych rezimov integratora potrebujeme dva signaly, ktorych hodnoty v jednotlivých režimoch sú nasledovné:

Režim: PRIPRAVA    RIESENIE    ZASTAVENIE
Signály
z1            0              1                 0
z2            0              1                 1

Pri návrhu použite EA typu T.

K tomu meda snad s inymi signalmi a Nor http://tinypic.com/view.php?pic=2iihp47&s=5 a http://tinypic.com/view.php?pic=o6ehef&s=5

... alebo Lalovu tak zapocet mas isty...

Kvoli takym vyucujucim sa oplati ist studovat techiku do Kosic. /endofsarcasm To fakt musia triet biedu na tej fakulte ked nechaju ucit takych ludi ako je ona.

Ak si vytiahnes priklad, ktory sa da riesit sposobom ze derivaciou udalosti zostrojis automat(obvod ktory na vystupe generuje 1 ak vstupne slovo je zakoncene xxxx), a tak to budes aj riesit ty, tak  sa ta moze spytat na tie uvedene hovadiny. Kedze funkcia automatu sa da popisat regularnou udalostou a to suvisi s regularnymi vyrazmi a pod.

Moze sa spytat co je to regularna udalost, univerzalna udalost, ak je zakoncene napr koncovkou 0011, tak vies ze udalost , ktoru automat ma rozpoznat svojim vystupom bude vyjadrena ako regularny vyraz R={0 u 1 } . 0011, kde {0u1} je nejaka forma iteracie, teda mnozina univerzalnych prvkov 0 a 1, ktore sa vzdy budu(mozu) na vstupe opakovat a 0011 je zakoncenie.
Ale zeby na tom baziroval, asi nie.

Ake mas zadanie? napis znenie

Check the videos inside this profile , some might be usefull http://www.twitch.tv/notch/

Neviete mi povedat, rozdaval uz Suba druhe zadania?

Ked chcu "zapiste funkcie v roznych formach", co sa tym mysli?

Mysli sa tym aby si zapisal funkciu v uplnej / skratenej / iredundantnej / minimalnej - dinjukntivnej a konjuktivnej forme(obycajne je ich viac) a pouzil pritom rozne metody riesenia: od karnaf. mapy po Q-M metodu, procom vysledky by sa mali rovnat.

V zadani je obycajne potreba minimalneho suctu clenov, urobis si tabulku potrebnych vstupov a vyberies tu ktora ma najmenej vstupov.

Zakladom je mat iredundante formy , tak konjunktivne ako aj dijunktivne a potom z nich urobis prvu a druhu shcefferovu normalnu formu a prvu a druhu piercovu normalnu formu a pozries sa na pocet vstupov(obycajne maju druhe normale formy viac vstupov, pretoze maju este jednu negaciu navyse, ale nie je to pravidlo) a znich zostavis obvod ktory obssahuje LEN nor-y alebo nand-y.

Pri realizácii obvodu pomocou log. členov NOR vychadzame z Pierceho normálnej formy, prvej alebo druhej, ktora ma menej vstupov a pri realizácii obvodu pomocou log. členov NAND vychadame zo Shefferovej normálnej formy, tiez prvej alebo druhej.

Tak ak sa s tym trapite snad vam viac objasni moje zadanie z minuleho roka , je to taky vycuc zo skript a Plocica slajdov. Neviem ci translacna schema a denotacna smenatika je celkom v poriadku, ale to vam asi netreba. Prikladam aj kod realizujuci danu, navrhnutu gramatiku. Toto zadanie je z predmetu PPJ(byvaleho), ale takmer kopiruje FJaP

http://www.ulozto.cz/10677093/ukazka-1-pdf
http://paste.ideaslabs.com/show/lsROZhW9YE //blbo pastlo niektore veci , ale da sa precitat myslim

Toto z tej knizky je presne to iste, este ja som to opisal ked som na to chodil a som to ukazal Simonakovi a zeby sa vela pytal, ani ne.

Neviem preco, ale vidi sa mi ze Simonak nie je velmi oblubeny. Odhliadnuc od toho ze jeho prednasky boli, su a budu nudne, jeho pristup k studiu ako takemu bol jeden z viac serioznejsich, ake som na TU zazil. Mal som s nim Assembler a USA a nie zeby som ho obhajoval, alebo co, no prislo mi to tak ze pred odovzdavanim zadani som sa naucil najviac z tych predmetov, lebo som proste musel ovladat tu problematiku, pricom casto sa pyta(l) na veci ktore so zadanim nesuviseli priamo a musel si ich vediet, lebo vtedy zacinali natahovacky. No ak sa clovek neprisiel na VS ucit, tak neviem na co, i ked priznavam niektore tie veci co ON uci su viac menej pre studentov neatratktivne a v praxi malo pouzitelne. No to je problem celej FEI.

Vaclavik je v pohode a co sa mi najviac pacilo u nho bol korektny pristup. Co sa tyka preberania zadani, spytal sa na konkretnu vec a bud si vedel alebo nie a to islo

odpoved z KPI:

Dobrý deň,

na tieto predmety sa musíte zapísať ešte raz. Keďže ide o povinné predmety
budú Vám akceptované v 2 kole.