FSS skuska

[jerry123]

zase az take hrozne to nebolo. myslim ze viac ako siestich nevyhodil.

A kolko pisomiek opravoval? mne sa zda, ze ich nebolo viac nez 10-12...cize ked niekto vyhodi 50-60% tak je to podla mna dost...ale mas pravdu, ze sa snazil vytiahnut pomocnymi otazkami...a otazky, priklady su kazde zvlast...

Co sa tyka Hudaka, tak aj ked si mal napisane toho dost a prisiel na to ze nevies co tam mas a nerozumies tomu tak si letel.

[jerry123]

Moje otazky -  priblizne
ot: dokaz vlastnosti 1-4 pre sekvenciu wp(S,R)
pr: mutex pre tri procesy- nakrreslit siet, vypocitat S invariant a dokazat ze siet je Ok
ot: Klasifikacia form spec. Uvedte na prikadoch (xcel aj priklady)
pr: B stroj pre
1 vyber maximmum z dvojice cisel
2 nedeterministicky vyber akcie pridania do mnoiziny ss alebo zachovanie stavu
3 nepamatam sa uz

[DuFuS]

Ludia co je to ten MUTEX? To je vzajomne vylucenie procesov?

[Agamemnon]

Ludia co je to ten MUTEX? To je vzajomne vylucenie procesov?

jj... mutual exclusion

[DuFuS]

Ok dik pocujte a mal niekto priklad na predikatovu a vyrokovu logiku, lebo sa mi velmi nechcu ucit tie pravidla expanzia atd. mal to niekto?

A nema nakresleny niekto ten mutex pre 3 procesy pre 2 som nasiel v zosite a teraz skusam pre 3 ale po celodnovom cumeni to FSS uz proste kreslim bludy.aaaaaaaaaaaa zadrbava mi uz kvalitne.

[Agamemnon]

Ok dik pocujte a mal niekto priklad na predikatovu a vyrokovu logiku, lebo sa mi velmi nechcu ucit tie pravidla expanzia atd. mal to niekto?

A nema nakresleny niekto ten mutex pre 3 procesy pre 2 som nasiel v zosite a teraz skusam pre 3 ale po celodnovom cumeni to FSS uz proste kreslim bludy.aaaaaaaaaaaa zadrbava mi uz kvalitne.

som to mal na skúške... proste tam len pridáš ďalšiu vetvu do toho

[DuFuS]

Malo by to byt ok : ak si niekto mysli ze to je zle nech povie lebo ja si uz neverim ani ze 1+1=2

[Agamemnon]

je to ok

[jerry123]

je to ok

na kolko percent si si isty? Hudak nacrtol ako by to malo byt. A bolo to jednoduchsie. Len uz nepamatam ako to bolo. Nakreslil to za 10 sekund.

[Agamemnon]

je to ok

na kolko percent si si isty? Hudak nacrtol ako by to malo byt. A bolo to jednoduchsie. Len uz nepamatam ako to bolo. Nakreslil to za 10 sekund.

100... hovorím, že som to mal na skúške... síce trochu inak nakreslené - do hviezdy som to nakreslil... ale bolo to to isté...

btw - dá sa to aj inak urobiť, jednoduchšie... s menším počtom prechodov

[sunic]

no ved to prave chceme vediet ako, ked vies. zeby som nemusel pocitat sustavu so 7 neznamymi

[Agamemnon]

takto:



p0 - zdieľaný zdroj...
p1, p2 - procesy 1 a 2

[Ing.Veduci]

mno ze my (tretiaci) prideme o taky sexi predmet 

[DuFuS]

Lol tak pocitat 7 rovnic a pocitat 3 tak to je ina kava . A ake to je jednoduche ale nenapadlo by ma to sameho takto. No ja to vidim tam ze stvrtok aerolinky FSS stevard Atila 2. pilot Korecko a 1. pilot Hudak priakzu dat sedadlo do vodorovnej polohy priputat sa a zazelaju prijemny let .

[Agamemnon]

Lol tak pocitat 7 rovnic a pocitat 3 tak to je ina kava . A ake to je jednoduche ale nenapadlo by ma to sameho takto. No ja to vidim tam ze stvrtok aerolinky FSS stevard Atila 2. pilot Korecko a 1. pilot Hudak priakzu dat sedadlo do vodorovnej polohy priputat sa a zazelaju prijemny let .

to, čo som dal, je mutex pre 2 procesy... pre 3 procesy tam máš o prechod viac...
takže pre 2 procesy to máš 5 rovníc voči 3
pre 3 procesy to máš 7 voči 4

[DuFuS]

Pocujte je normalne ze ked si pocitam S invariant tej schemy zjednodusenej pre 2 procesy co si tu hodil Agamemnon ze my tu vyslo nieco take ze x1=x2 a x3=x1 defakto neviem co s tym teraz ja som lama.

[Agamemnon]

Pocujte je normalne ze ked si pocitam S invariant tej schemy zjednodusenej pre 2 procesy co si tu hodil Agamemnon ze my tu vyslo nieco take ze x1=x2 a x3=x1 defakto neviem co s tym teraz ja som lama.

je... to isté ti vyjde aj z tej veľkej schémy

[Agamemnon]

za nezávislé premenné postupne dosadzuj 0 a 1... závislé premenné vieš z toho dopočítať... postupne sa ti to tam poškrtá, lebo niektoré riadky budeš mať lineárne závislé a mali by ti ostať 2 riadky... to máš invarianty

[DuFuS]

No ale z toh vyplyva ze nezavisla je len x2 a ked za x2 dosadim 0 bude nula aj x1 aj x3 a ked 1 tak vsetko bude 1 a to je nejak divne nie? boze ja uz fakt nicomu nechapem :D:D:D

[Agamemnon]

aha, ok ja som si to trochu poposúval ono... vyzerá, že to máš ok... ono, ja už si presne tie invarianty nepamätám možno príde a poradí niekto, kto bude mať skúšku teraz

[smejooo]

ja som dostal otázku ze naco je ten invariant, preco to je tak, k comu sluzi... boh vie 

[Agamemnon]

ja som dostal otázku ze naco je ten invariant, preco to je tak, k comu sluzi... boh vie 

s-inv: nemení sa počet tokenov v sieti
t-inv: sekvencia prechodov, ktorých odpálením sa z m0 dostaneš znovu do m0

aspoň myslím

[Cofein]

zdar, tak som i ja z tych stastnych, co to maju za sebou takze moje postrehy a poznatky zo skusky:

teoreticka z PS: popiste zakladne modifikacie PS (GPN, CBPN). tu mi korecko strhol par bodov za to, ze vraj som nemal spravene GPN -> CBPN (vraj prechod z jednej siete do druhej, vraj sa to aj na cviku robilo, ale neviem o tom)

priklad z PS: vypocitajte T-invariant. dostal som taky speci priklad, ze vysiel jediny T invariant a to trivialny (y=(0,0,0,0)). nezlaknite sa, moze byt. znamena to, ze neexistuje taka sekvencia prechodov,pomocou ktorej by som sa dostal z m0 naspat do m0

teoreticka z B: syntax Machine N(p)+ vlastnosti. asi najlahsia, co sa stade dala dostat. zas mi akurat korecko strhol par bodikov za detaily uplne

priklad z B: sietovy protokol p2p. neni to tazke, mozte si vymysliet vlastnu specifikaciu, podobny priklad uz tu na fore bol rieseny. tam mi korecko strhol za logicku chybu, na to pozor. ze ked chcete pouzit nejake dalsie abstraktne stroje a potom pouzivat ich metody/premenne a tak, musite pouzivat INCLUDE/EXTEND . SEES/USES byt nemoze, lebo to je len read only a neumoznuje pristup k metodam toho dalsieho stroja. za to ma korecko dost zoskrtal

ale tak co sa budem stazovat 17(zapocet)+20+15+23+9 = 84 B

vcera opravovali Attila, Korecko a Hudak. atila a korecko pustili vsetkych, aj ked niektorych tesnotka na ecko, ale preli u nich vsetci. hudak mal asi fajny skusaci den, skusal cca 10 ludi, z toho tusim 6 vyhodil. korecko neopravuje zle, len je strasny detailista a skrta body za vyslovene hluposti.
a co sa tykalo priebehu pisomky. korecko sedel vpredu pri stole a riesil si svoje veci. attila chodil pomedzi ludi a pomahal kolko to len slo, takze si ho na pisomke kludne zavolajte, poradi vam (ked uz nepovie rovno odpoved, dobre vas k nej navedie)
a mozem konstatovat, ze aj ked toto je posledna hudakovina, TI-cko minuly rok bolo v porovnani s tymto tu ovela tazsie. tak nestresujte, da sa to celkom v pohode naucit za par dni

[abcddd]

tak nestresujte, da sa to celkom v pohode naucit za par dni

alebo za 1  

[Cofein]

tak nestresujte, da sa to celkom v pohode naucit za par dni

alebo za 1  

ja som sa tomu intenzivne venoval tak 2.5-3 dni potom bolo este par dni do skusky, tak som si to sem tam preletel a potom to par ludi doucoval