FSS skuska

[unity]

Ako dlho ste sa to ucili / kolko si na to nechavate casu?

[MarC]

No takže otázky boli dosť rôzne.. Samozrejme aj z tých pre externistov. Príklady už boli zaujímavejšie..
Z tých jednoduchších:
- je daná petriho sieť a vypočítať k nej S alebo T invarianty
- v B spraviť stroj, ktorý má operácie dané v zadaní.

Z tých horších:
- nakresliť obedujúcich filozofov, ale pozor! Nie klasicky, ale je špecifikované, že si napríklad neberú naraz dve vidličky, ale že berú po jednej, alebo naopak, že vezmú dve vidličky naraz, ale vracajú po jednej... Tento príklad malo viac ľudí v rôznej podobe.
- niečo ako navrhnúť B špecifikáciu pre spravovanie prerušení n-typov, pričom tie prerušenia sú nejako usporiadané podľa priority. Na tento typ príkladu povedal Korečko, že zvyčajne robí najväčšie problémy, ale že je najľahší..  No neviem. Treba si nejako vymyslieť hocičo k prerušeniam, mne napadlo niečo také, že stroj má premennú program_counter a pár operácií, ktoré si odpamätajú pc a nastavia ho na novú hodnotu (vybratú z N pomocou ANY), alebo operácia, ktorá vráti typ prerušenia (prerušenie je napr. z 0..n), alebo len skočí na adresu, ktorá je parameter operácie a pod. A Hudák za to dal plný počet..

Tiež boli príklady na vyrátanie najslabšej pre-podmienky pre nejakú GS a tak.

Opravoval Korečko a aj Hudák.. Neviem ako Korečko, ale Hudák sa na vyhodnotení niečo málo pýtal.. A trvalo to do piatej 

A čo sa týka tých 10 b, tak nie len po 2-3b pridával, ale niekto mal 45b a pridal mu normálne 10.

[Agamemnon]

- niečo ako navrhnúť B špecifikáciu pre spravovanie prerušení n-typov, pričom tie prerušenia sú nejako usporiadané podľa priority. Na tento typ príkladu povedal Korečko, že zvyčajne robí najväčšie problémy, ale že je najľahší..  No neviem. Treba si nejako vymyslieť hocičo k prerušeniam, mne napadlo niečo také, že stroj má premennú program_counter a pár operácií, ktoré si odpamätajú pc a nastavia ho na novú hodnotu (vybratú z N pomocou ANY), alebo operácia, ktorá vráti typ prerušenia (prerušenie je napr. z 0..n), alebo len skočí na adresu, ktorá je parameter operácie a pod. A Hudák za to dal plný počet..

tieto otázky boli aj v iných verziách - napr. urobiť b-stroj pre ľubovoľný komunikačný protokol, ktorý si vymyslíš:
otázka v pohode, keďže môžeš vymyslieť takmer čokoľvek

[Johny Bravo]

- niečo ako navrhnúť B špecifikáciu pre spravovanie prerušení n-typov, pričom tie prerušenia sú nejako usporiadané podľa priority. Na tento typ príkladu povedal Korečko, že zvyčajne robí najväčšie problémy, ale že je najľahší..  No neviem. Treba si nejako vymyslieť hocičo k prerušeniam, mne napadlo niečo také, že stroj má premennú program_counter a pár operácií, ktoré si odpamätajú pc a nastavia ho na novú hodnotu (vybratú z N pomocou ANY), alebo operácia, ktorá vráti typ prerušenia (prerušenie je napr. z 0..n), alebo len skočí na adresu, ktorá je parameter operácie a pod. A Hudák za to dal plný počet..

tieto otázky boli aj v iných verziách - napr. urobiť b-stroj pre ľubovoľný komunikačný protokol, ktorý si vymyslíš:
otázka v pohode, keďže môžeš vymyslieť takmer čokoľvek

napis napr. jeden

[Agamemnon]

- niečo ako navrhnúť B špecifikáciu pre spravovanie prerušení n-typov, pričom tie prerušenia sú nejako usporiadané podľa priority. Na tento typ príkladu povedal Korečko, že zvyčajne robí najväčšie problémy, ale že je najľahší..  No neviem. Treba si nejako vymyslieť hocičo k prerušeniam, mne napadlo niečo také, že stroj má premennú program_counter a pár operácií, ktoré si odpamätajú pc a nastavia ho na novú hodnotu (vybratú z N pomocou ANY), alebo operácia, ktorá vráti typ prerušenia (prerušenie je napr. z 0..n), alebo len skočí na adresu, ktorá je parameter operácie a pod. A Hudák za to dal plný počet..

tieto otázky boli aj v iných verziách - napr. urobiť b-stroj pre ľubovoľný komunikačný protokol, ktorý si vymyslíš:
otázka v pohode, keďže môžeš vymyslieť takmer čokoľvek

napis napr. jeden

ja som urobil takéto niečo - presne už nepamätám, lebo som to menil postupne ako som písal abstr. stroj:
- spojenie je identifikované prir. číslom
- vysielať sa dá, len ak je spojenie vytvorené

a k tomu som potom napísal stroj tak, že mal 2 operácie:
- prvá vytvorila spojenie - uloží sa do nejakej vnút. premennej
- druhá vysiela - prv sa otestuje, či je spojenie a potom sa pošle správa (tá je ako parameter operácie)

použil som tam sees fiktívneho stroja, kde boli fiktívne definované operácie na connect a send

[Johny Bravo]

- niečo ako navrhnúť B špecifikáciu pre spravovanie prerušení n-typov, pričom tie prerušenia sú nejako usporiadané podľa priority. Na tento typ príkladu povedal Korečko, že zvyčajne robí najväčšie problémy, ale že je najľahší..  No neviem. Treba si nejako vymyslieť hocičo k prerušeniam, mne napadlo niečo také, že stroj má premennú program_counter a pár operácií, ktoré si odpamätajú pc a nastavia ho na novú hodnotu (vybratú z N pomocou ANY), alebo operácia, ktorá vráti typ prerušenia (prerušenie je napr. z 0..n), alebo len skočí na adresu, ktorá je parameter operácie a pod. A Hudák za to dal plný počet..

tieto otázky boli aj v iných verziách - napr. urobiť b-stroj pre ľubovoľný komunikačný protokol, ktorý si vymyslíš:
otázka v pohode, keďže môžeš vymyslieť takmer čokoľvek

napis napr. jeden

ja som urobil takéto niečo - presne už nepamätám, lebo som to menil postupne ako som písal abstr. stroj:
- spojenie je identifikované prir. číslom
- vysielať sa dá, len ak je spojenie vytvorené

a k tomu som potom napísal stroj tak, že mal 2 operácie:
- prvá vytvorila spojenie - uloží sa do nejakej vnút. premennej
- druhá vysiela - prv sa otestuje, či je spojenie a potom sa pošle správa (tá je ako parameter operácie)

použil som tam sees fiktívneho stroja, kde boli fiktívne definované operácie na connect a send

ja som myslel ze napises zdrojak

[Agamemnon]

[Johny Bravo]

keby si mal cas tak kludne mozes napisat pomohol by si nam hehe

[elbeka]

pre motivaciu k uceniu :http://www.acapela-group.com/Greetings/bird-1-b907175c69e00 

[maroccojack]

hehe. fajne fajne. hned sa mi lepsie uci 

[aepi]

Ale mohli by sme mat tie otazky rovnake ako externisti - ved diplom budu mat predsa rovnaky ako my  Sad
Tak by sa im to nemalo ulahcovat Smiley

Diplom budu mat rovnaky. Ale oni si za skolu platia, to je hlavny dovod preco to maju lahsie. Proste vedenie chce aby ich na skole ostalo co najviac. Cim viac, tym viac kaceroviek pre TUKEň

cafte mladez , ale sak aky problem prejdite na externe .  za prve neplatime za skolu , za druhe sup ho do roboty a za tretie tretina casu v skole a ci je skuska lahsia zavisi len od predasajuceho niektore su niektore nie

[Johny Bravo]

vie niekto co by trebalo k tomu:
B3. vlastnost neobmedzenej nedeterminavosti - 5. vlastnost wp(s,r)

a priklad ako by ste spravili:
Vytvore B-specifikaciu stroja M na triedenie prvkov xx z N, M sucasne podporuje operacie vkladania (INSERT), odoberania (DELETE) a zistovanie clenstva MEMBER.

[Ing.Veduci]

no čiže dnes bol druhý termin. Čo sa týka teorie, tak tie otázky na nete stáčia asi na 70-80 %. Boli aj ine. Priklady boli naopak brutalne. Sice boli aj lahke ale take ze obedujuci filozofi, spravit v B-metode prerusovaci system...  Chvala bohu 6e po 30 min. odisiel Korecko tak tam ostal iba Atilla, a opisovacka vo velkom mohla zacat. O chvilu bude vyhodnotenie tak drzte palce 


EDIT: to kto zneuziva moje konto??? hmm??? ospravedlnenie prijimam cez PM... kua, som sa isto dakde neodhlasil a potom ma takto zneuziju ... fuj 

\

ktory zly stvrtak zneuzil moje konto??

[DuFuS]

Mal niekto otazky ohladne ER, TER a TB sieti?

[kissk]

ja som dostal tie otázky: A3, teda: Základné modifikácie Petriho sieti: GPN, CBPN. Mal som tam asi všetko napísané, čo je v tej Korečkovej knihe, Hudák mi opravoval a povedal, že toľko tam nestačí, treba ešte veci tam popisovať, teda čo je to prepodmienka, postpodmienka, súvis medzi CBPN a obyč. P.S., súvis medzi GPN a obyč P.S. ale napokon mi na to dal 15 b.
Ďalej prvý príklad som mal: jednodychý príklad, S-invariant napísať, dostal som len jeden invariant, na tento príklad som dostal full.
A mal som ešte: B6. Syntax štruktúry MACHINE N(p) a jej vlastnosti, na to som všetko opísal z ťaháku (dve strany!), povedal Hudák že tam patria nejaké úplne iné veci ale napokon aj nato dal 15b. Ďalší príklad žial neviem, určite tam bolo slovo FEI.
A napokon mi zapísal Hudák skúšku okolo 16:10, od jednej sme tam čakali... 

[Johny Bravo]

ma niekto vypocitany priklad na tich obedujucich filozofov?

[maroccojack]

ma niekto vypocitany priklad na tich obedujucich filozofov?

ti filozofi su (aspon ta zakladna verzia) v tych cvikach z FSS.zip co su na ftp. mna by skor zaujimalo ako sa robi ten navrh b specifikacie 
nenajde sa nejaky dobry clovek co by tu hodil nejaky vzorovy priklad?

[Agamemnon]

ma niekto vypocitany priklad na tich obedujucich filozofov?

ti filozofi su (aspon ta zakladna verzia) v tych cvikach z FSS.zip co su na ftp. mna by skor zaujimalo ako sa robi ten navrh b specifikacie 
nenajde sa nejaky dobry clovek co by tu hodil nejaky vzorovy priklad?

b-špecif: čokoľvek tam napíšeš, čo sa trochu bude držať zadania, je ok:

- máš daný port a adresu - prir. čísla
- máš identifikátor spojenia: variable spojenie
- máš operáciu init - inicializuje spojenie
- máš operáciu send - odoslanie správy
- máš fiktívny stroj connection - zabezpečuje všetky ostatné potrebné operácie - pomocou volania jeho operácií - connect, send_to_connection

Code [Select] Expand


MACHINE M(adresa, port)
CONSTRAINTS adresa _patrí_ N, port _patrí_ N
SEES CONNECTION
VARIABLES spojenie
INVARIANTS spojenie _patrí_ N
INITIALISATIONS spojenie := 0
OPERATIONS

done <-- init =
  BEGIN
    spojenie := connect(adresa, port);
    IF spojenie > 0 THEN done := true
    ELSE done := false
  END;

done <-- send(message) =
  PRE message _patrí_ N
  THEN
    IF spojenie > 0
    THEN
      send_to_connection(spojenie, message);
      done := true;
    ELSE
      done := false;
    END
  END;

END


cca, takéto niečo...

[maroccojack]

super vdaka za rychlu odpoved 

[Johny Bravo]

wow super 
mozes este aj na toto nieco napisat?
Vytvore B-specifikaciu stroja M na triedenie prvkov xx z N, M sucasne podporuje operacie vkladania (INSERT), odoberania (DELETE) a zistovanie clenstva MEMBER.
diky 

[maroccojack]

tu su nejake tutorialy na filozofov ked dakto chce http://www.informatik.uni-hamburg.de/TGI/PetriNets/introductions/aalst/
je to po anglicky ale su tam flashove animacie taze da sa to hned pochopit 

ma niekto vypocitany priklad na tich obedujucich filozofov?

hehe a tu je vysledok mojho snazenia. urobil som v TINE filozofov. su tam 2 siete, jedna je ze beru naraz vidlicky a druha ze najprv lavu. neviem ci je to spravne ale mohlo by byt
filozofi.rar - 1.19 kB

[Johny Bravo]

pekne..

priklad: A - nájsť Mw automat pre voice station (t.z. dosiahnuteľnosť)
http://leteckaposta.cz/509516317

[sunic]

Robi dost ludi skusku, alebo ako klasicky u Hudaka, polka ludi skusku nespravi ?

[JBull]

Robi dost ludi skusku, alebo ako klasicky u Hudaka, polka ludi skusku nespravi ?

Vrajze sa snazia, aby vacsina spravila...ja mam skusku v Utorok...ale co som pocul tak opravuje Hudak a Korecko....Hudak opravuje horsie, ale zas dava 10 bodov za prednasky, aj ked mas napr. 45 bodov tak da 10 bodov a mas E 55...zatial co Korecko opravuje lepsie, ale nedava 10 bodov za prednasky, pozera sa na ucast na prednaskach len v spornych pripadoch, cize ked mas napr. 49 bodov tak ti da E 51.

[smejooo]

tu su nejake tutorialy na filozofov ked dakto chce http://www.informatik.uni-hamburg.de/TGI/PetriNets/introductions/aalst/
je to po anglicky ale su tam flashove animacie taze da sa to hned pochopit 

ma niekto vypocitany priklad na tich obedujucich filozofov?

hehe a tu je vysledok mojho snazenia. urobil som v TINE filozofov. su tam 2 siete, jedna je ze beru naraz vidlicky a druha ze najprv lavu. neviem ci je to spravne ale mohlo by byt
filozofi.rar - 1.19 kB

V tych filozofoch kde beries najprv pravu a potom lavu je DEADLOCK. Netrebalo to nejako osetrit?? Ci jemu islo iba o princip ci tomu chapes ako to spravit?

Dik