Author Topic: FSS skuska  (Read 33726 times)

unity

  • Full Member
  • ***
  • Posts: 124
    • View Profile
Re: FSS skuska
« Reply #25 on: 03.06.2008, 18:45:15 »
Ako dlho ste sa to ucili / kolko si na to nechavate casu?

MarC

  • Newbie
  • *
  • Posts: 11
    • View Profile
Re: FSS skuska
« Reply #26 on: 03.06.2008, 23:58:41 »
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  :j_undecided:

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

  • Hero Member
  • *****
  • Posts: 2942
  • Per aspera ad Astra
    • View Profile
Re: FSS skuska
« Reply #27 on: 04.06.2008, 01:07:09 »
- 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
All code is crap.

42

Johny Bravo

  • Administrator
  • Hero Member
  • *****
  • Posts: 2974
  • Da chief!
    • View Profile
    • www.tu-ke.com
Re: FSS skuska
« Reply #28 on: 04.06.2008, 04:16:30 »
- 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

  • Hero Member
  • *****
  • Posts: 2942
  • Per aspera ad Astra
    • View Profile
Re: FSS skuska
« Reply #29 on: 04.06.2008, 04:23:50 »
- 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 :)
All code is crap.

42

Johny Bravo

  • Administrator
  • Hero Member
  • *****
  • Posts: 2974
  • Da chief!
    • View Profile
    • www.tu-ke.com
Re: FSS skuska
« Reply #30 on: 04.06.2008, 05:32:50 »
- 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 :D

Agamemnon

  • Hero Member
  • *****
  • Posts: 2942
  • Per aspera ad Astra
    • View Profile
Re: FSS skuska
« Reply #31 on: 04.06.2008, 06:09:12 »
:)
All code is crap.

42

Johny Bravo

  • Administrator
  • Hero Member
  • *****
  • Posts: 2974
  • Da chief!
    • View Profile
    • www.tu-ke.com
Re: FSS skuska
« Reply #32 on: 04.06.2008, 18:26:45 »
keby si mal cas tak kludne mozes napisat :) pomohol by si nam hehe

elbeka

  • Newbie
  • *
  • Posts: 8
    • View Profile
Re: FSS skuska
« Reply #33 on: 05.06.2008, 00:41:54 »

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #34 on: 05.06.2008, 02:03:17 »
hehe. fajne fajne. hned sa mi lepsie uci  bv
No trespassing! Trespassers will be shot! Survivors will be shot again

aepi

  • Newbie
  • *
  • Posts: 2
    • View Profile
Re: FSS skuska
« Reply #35 on: 05.06.2008, 13:15:36 »
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

  • Administrator
  • Hero Member
  • *****
  • Posts: 2974
  • Da chief!
    • View Profile
    • www.tu-ke.com
Re: FSS skuska
« Reply #36 on: 05.06.2008, 16:32:53 »
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

  • Hero Member
  • *****
  • Posts: 2033
  • Ucit sa, ucit sa, ucit sa...
    • View Profile
Re: FSS skuska
« Reply #37 on: 05.06.2008, 17:11:46 »
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...  :hammer: 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  :beer1:


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

ktory zly stvrtak zneuzil moje konto?? :D
Co bolo, to bolo. Terazky som Ing.Veduci
Predpokladám, že väčšina z vás má doma počítač. Buď to, alebo ste si túto stránku vycucali z vredu na nohe.

DuFuS

  • Newbie
  • *
  • Posts: 23
    • View Profile
Re: FSS skuska
« Reply #38 on: 05.06.2008, 18:19:38 »
Mal niekto otazky ohladne ER, TER a TB sieti?

kissk

  • VIP
  • Newbie
  • *****
  • Posts: 34
    • View Profile
Re: FSS skuska
« Reply #39 on: 05.06.2008, 19:12:42 »
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...  :emot-sleepyhead:

Johny Bravo

  • Administrator
  • Hero Member
  • *****
  • Posts: 2974
  • Da chief!
    • View Profile
    • www.tu-ke.com
Re: FSS skuska
« Reply #40 on: 06.06.2008, 18:18:18 »
ma niekto vypocitany priklad na tich obedujucich filozofov?

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #41 on: 07.06.2008, 14:58:42 »
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  bu
nenajde sa nejaky dobry clovek co by tu hodil nejaky vzorovy priklad? :)
No trespassing! Trespassers will be shot! Survivors will be shot again

Agamemnon

  • Hero Member
  • *****
  • Posts: 2942
  • Per aspera ad Astra
    • View Profile
Re: FSS skuska
« Reply #42 on: 07.06.2008, 15:12:01 »
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  bu
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]
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...
All code is crap.

42

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #43 on: 07.06.2008, 15:19:29 »
super :) vdaka za rychlu odpoved  :thumbsup:
No trespassing! Trespassers will be shot! Survivors will be shot again

Johny Bravo

  • Administrator
  • Hero Member
  • *****
  • Posts: 2974
  • Da chief!
    • View Profile
    • www.tu-ke.com
Re: FSS skuska
« Reply #44 on: 07.06.2008, 15:38:30 »
wow super  bp
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

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #45 on: 07.06.2008, 23:12:05 »
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  :metal:

ma niekto vypocitany priklad na tich obedujucich filozofov?
hehe a tu je vysledok mojho snazenia. bp 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
« Last Edit: 08.06.2008, 00:17:17 by maroccojack »
No trespassing! Trespassers will be shot! Survivors will be shot again

Johny Bravo

  • Administrator
  • Hero Member
  • *****
  • Posts: 2974
  • Da chief!
    • View Profile
    • www.tu-ke.com
Re: FSS skuska
« Reply #46 on: 08.06.2008, 05:03:23 »
pekne..

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

sunic

  • Newbie
  • *
  • Posts: 12
    • View Profile
Re: FSS skuska
« Reply #47 on: 08.06.2008, 16:17:05 »
Robi dost ludi skusku, alebo ako klasicky u Hudaka, polka ludi skusku nespravi ?

JBull

  • Full Member
  • ***
  • Posts: 148
    • View Profile
Re: FSS skuska
« Reply #48 on: 08.06.2008, 18:13:10 »
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

  • Newbie
  • *
  • Posts: 14
    • View Profile
Re: FSS skuska
« Reply #49 on: 09.06.2008, 02:46:35 »
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  :metal:

ma niekto vypocitany priklad na tich obedujucich filozofov?
hehe a tu je vysledok mojho snazenia. bp 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