TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2007/2008 => 4. ro?ník => Topic started by: Johny Bravo on 19.05.2008, 23:52:36
-
su vypisane terminy (kto este nebol v IS-e)
-
Otazky z FSS - 1.termin
1. Vypocet Petriho siete: markingy, realizácia, jazyky P.S.
2. Zovšeobecnena substitucia: syntax a sémantika Z.S.
1 - priklad petriho siet kde trebalo vypocitat T-invarianty (nebol zlozity siet)
2 - priklad definovanie Strojt co mal 3 operacie,
- prvy vyberanie z dvoch cisel max
- druhy pridanie prvok k mnozine SS co patri do N
- nedeterministicky vyber z SS
Priklady skoro co boli na cvika :buttrock: :buttrock:
Vela stastia.
:smokin: :smokin: :beer1: :beer1: :alc: :alc:
-
A to ste si netahali otazky?
-
ako to prebieha na vyhodnoteni? Skusa iba Hudak? Ci ma aj nejakych pomocnikov?
-
ako to prebieha na vyhodnoteni? Skusa iba Hudak? Ci ma aj nejakych pomocnikov?
Nas neskusal Hudak, ale mozno len preto, lebo sme tam boli len traja. Skusal Korecko a Hudak len podpisal index :bananadance:
-
Nemá niekto chýbajúce otázky z otázok pre externistov? Chýbajú tam A7 - A10, A14, A17 - A20, A23, B3, B13 a ktovie, ešte koľko po A24 a B19..
Nemá to niekto kompletné?
-
Podla mna:
A7-A10 - Zvystne algoritmicke problémy PS(BP, CP,HSB, deadlock...) - ER, TER a TB siete
A14 -VAS(Vektorový Adičný Systém)-charakteristika a vzťah ku Petriho Sieťam.
A17-A20 - Mozno nejake prikazy LGC
B3 - možno Prekážky na ceste použitia FDT; Mýty o FDT.
B13 - rovnake ako B12 :D
Ale mohli by sme mat tie otazky rovnake ako externisti - ved diplom budu mat predsa rovnaky ako my :(
Tak by sa im to nemalo ulahcovat :)
-
Ludia ucite sa aj taketo veci?
Neautonomne PS
Pr-T nets
Dokazy vlastnosti LGC (tie tvrdenia,co su v koreckovych skriptach ale aj s dokazmi a je ich viac)
Paralelne systemy
... atd, skratka veci co napr nie su v tych koreckovych skriptach, ale na prednaske boli spomenute (teda aspon niektore z tych veci co som vypisal). Ale neviem, ci toto vsetko treba vediet, su to dost blbosti :)
-
Ale mohli by sme mat tie otazky rovnake ako externisti - ved diplom budu mat predsa rovnaky ako my :(
Tak by sa im to nemalo ulahcovat :)
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
-
Nemá niekto chýbajúce otázky z otázok pre externistov? Chýbajú tam A7 - A10, A14, A17 - A20, A23, B3, B13 a ktovie, ešte koľko po A24 a B19..
Nemá to niekto kompletné?
hm my mozeme dostat aj tie chybajuce? nie len co je tuna: http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf ?
-
Nemá niekto chýbajúce otázky z otázok pre externistov? Chýbajú tam A7 - A10, A14, A17 - A20, A23, B3, B13 a ktovie, ešte koľko po A24 a B19..
Nemá to niekto kompletné?
hm my mozeme dostat aj tie chybajuce? nie len co je tuna: http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf ?
môžeme? :) môžeš dostať akékoľvek otázky, ak sa budú týkať tém - kľudne spojiť otázky, rozdeliť, čokoľvek... nemusíš vôbec dostať presne takéto otázky
-
Nemá niekto chýbajúce otázky z otázok pre externistov? Chýbajú tam A7 - A10, A14, A17 - A20, A23, B3, B13 a ktovie, ešte koľko po A24 a B19..
Nemá to niekto kompletné?
hm my mozeme dostat aj tie chybajuce? nie len co je tuna: http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf ?
môžeme? :) môžeš dostať akékoľvek otázky, ak sa budú týkať tém - kľudne spojiť otázky, rozdeliť, čokoľvek... nemusíš vôbec dostať presne takéto otázky
no hej ale sanca na to nie je velka.. (dufam) :xmas:
-
Nemá niekto chýbajúce otázky z otázok pre externistov? Chýbajú tam A7 - A10, A14, A17 - A20, A23, B3, B13 a ktovie, ešte koľko po A24 a B19..
Nemá to niekto kompletné?
hm my mozeme dostat aj tie chybajuce? nie len co je tuna: http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf ?
môžeme? :) môžeš dostať akékoľvek otázky, ak sa budú týkať tém - kľudne spojiť otázky, rozdeliť, čokoľvek... nemusíš vôbec dostať presne takéto otázky
no hej ale sanca na to nie je velka.. (dufam) :xmas:
ja tiež dúfam, že nebude vymýšľať veľmi s otázkami
-
A ako to je stymi 10 bodmi....davaju ich?
-
hm my mozeme dostat aj tie chybajuce? nie len co je tuna: http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf ?
Väčšinou (na SOJ, PT a TI) to bolo tak, že zverejnili otázky a z nich sme si ťahali na skúške bez ohľadu na to, či sme tú otázku niekde brali alebo nie. Teraz otázky nezverejnili.. Korečko jasne povedal, že tamtie otázky sú pre externistov a pre denných ich je oveľa viac.. Ale že tie pravdepodobne profesor nezverejní.
-
No ja som korečka pochopil tak, že môžeme dostať všetko čo bolo na prednáškach.
A že keď sa im bude chcieť, tak okruh otázok zverejnia.
Ja mám z toho taký pocit, že záleží na tom, či sa im bude chcieť vymýšľať ďalšie otázky ku tým čo sú pre externistov. Avšak asi budú musieť, keďže tam je otázok 17 či koľko, a ľudí na 1 termíne je 30...
-
Ja mám z toho taký pocit, že záleží na tom, či sa im bude chcieť vymýšľať ďalšie otázky ku tým čo sú pre externistov. Avšak asi budú musieť, keďže tam je otázok 17 či koľko, a ľudí na 1 termíne je 30...
Podľa mňa tie otázky už majú dávno vymyslené, keďže číslovanie otázok pre externistov nie je pravidelné :) . Veľa čísel tam chýba, takže zrejme len sa im nechce ukázať nám ich :) . Však zajtra uvidíme..
-
no a ako je to s tymi 10 bodmi za prednasky???
-
no a ako je to s tymi 10 bodmi za prednasky???
nic z toho podla mna :P ked budes mat 80b napr tak ti za prednasky ten 1 bod prida
-
no a ako je to s tymi 10 bodmi za prednasky???
nic z toho podla mna :P ked budes mat 80b napr tak ti za prednasky ten 1 bod prida
jj ale ked budes mat 41 urcite nedostanes E :)
-
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
-
A to sa otazky a priklady netahaju? davaju nejake skupiny?
-
korecko rozdaval otazky a priklady na zaciatku. Otazky boli A a B skupiny. Cislo korespodovali s tymi pre externistov. Priklady boli xI a xII. xI byva tazsie
-
Napíšem kým nezabudnem.
A9. strom dosiahnutelnosti pre P.S. a jeho vlastnosti
ďalšia otázka z A - cesty v strome dosiahnuteľnosti
ďalšia otázka z A - prefixový jazyk pri strome dosiahnuteľnosti
môj príklad A - nájsť Mw automat pre voice station (t.z. dosiahnuteľnosť)
B - navrhnúť B špec. pre výpočtové stredisko pre n>1 počítačov. bolo treba zapojiť fantáziu a niečo tam vymyslieť.
tie otázky teda dosť brutál, ktoré som videl u niektorých, najmä ten prefixový jazyk, to ani netuším čo je :)
-
a ohľadom tých 10b za prednášky, korečko povedal, že v prípade sporných momentov sa prihliadne na účasť - t.z. ak mám 49b tak mi pridá 2b, tak nejak to povedal...
-
Ako dlho ste sa to ucili / kolko si na to nechavate casu?
-
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.
-
- 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
-
- 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 :)
-
- 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 :)
-
- 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
-
:)
-
keby si mal cas tak kludne mozes napisat :) pomohol by si nam hehe
-
pre motivaciu k uceniu :http://www.acapela-group.com/Greetings/bird-1-b907175c69e00 (http://www.acapela-group.com/Greetings/bird-1-b907175c69e00) :guitar:
-
hehe. fajne fajne. hned sa mi lepsie uci bv
-
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
-
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.
-
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
-
Mal niekto otazky ohladne ER, TER a TB sieti?
-
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:
-
ma niekto vypocitany priklad na tich obedujucich filozofov?
-
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? :)
-
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
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...
-
super :) vdaka za rychlu odpoved :thumbsup:
-
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
-
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 (http://www.subory.sk/download/150812/filozofi.rar)
-
pekne..
priklad: A - nájsť Mw automat pre voice station (t.z. dosiahnuteľnosť)
http://leteckaposta.cz/509516317
-
Robi dost ludi skusku, alebo ako klasicky u Hudaka, polka ludi skusku nespravi ?
-
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.
-
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 (http://www.subory.sk/download/150812/filozofi.rar)
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
-
nj. viem ze je tam ten deadlock. ale neviem to osetrit :) a uz vobec neviem ci mu to bude vadit alebo nie. ja si myslim ze tam ide o princip. on nech si mysli co chce ;)
-
aj oni vedia, že je tam deadlock... prečo by im to malo vadiť?
-
aj oni vedia, že je tam deadlock... prečo by im to malo vadiť?
asi preto ze vo vseobecnosti sa snazime urobit bezpecnu siet, a nie siet nebezpecnu, tak logicky keby som ja skusajuci tak by mi to asi vadilo bk
-
to je o zadaní úlohy, by som povedal
-
zdravim, su niekde na lokalke aspon ako tak dake otazky vypracovane ? cize nech sa to clovek moze ucit rovno a nemusi to po prednaskach hladat a dokopy davat.. pripadne v pripadne nahlych vypadkov na skuske moze externu pamat pouzit..:)
-
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
tu je nieco co som stvoril ale neviem ci to tak moze byt. tu sort operacia asi len dajak pomocou nejakej fiktivnej machine ako v tom druhom priklade. ocenim navrhy na vylepsenie :)
MACHINE moje
VARIABLES xx
DEFINITIONS scope==0..10
INVARIANT xx <: scope
INITIALISATION xx:={}
OPERATIONS
insert(n)= PRE n:scope & card({n}/\xx)=0 THEN xx:= xx \/ {n} END;
remove(n)= PRE n:scope & card({n}/\xx)>0 THEN xx:= xx - {n} END;
m<--member(n)= PRE n:scope THEN m:=bool(card({n}/\xx)>0) END
END
-
imo insert:
insert(n) = PRE n:scope THEN xx:=xx _zjednotenie_ {n} END;
ten test na kardinalitu tam máš kvôli čomu?
zase remove by som urobil takto:
remove(n) = PRE n _patri_ xx THEN xx := xx - n END;
a member:
m <-- member(n) = BEGIN m := n _patri_ xx END;
(toto nvm, či je ok zápis... som ovplyvnený C a pod. jazykmi :))
-
co robi ten scope?
-
co robi ten scope?
scope máš definované ako makro : 1..10 - tj. prir. číslo od 1 po 10
-
takze aby som vysvetlil. testoval som to v tom ProB (http://www.stups.uni-duesseldorf.de/ProB/) co sme aj na cvikach s tym robili. a vsetky 3 operacie tam fungovali ako mali.
ten test na kardinalitu tam máš kvôli čomu?
tie testy su tam len preto aby ponukalo moznost na insert (resp. remove) iba ak tam prvok nie je (resp. je)
co robi ten scope?
ten "scope" je len definition cize to robi len to ze vsade kde sa vyskytne tak to "nahradi" tym "0..10"
-
takze aby som vysvetlil. testoval som to v tom ProB (http://www.stups.uni-duesseldorf.de/ProB/) co sme aj na cvikach s tym robili. a vsetky 3 operacie tam fungovali ako mali.
ja som nechcel tvrdiť, že to, čo si napísal, je zlé :)
-
jj ja viem. ani som to tak nebral ;) to len aby sa dakomu nezdalo ze su to uplne nezmysly :)
-
supa , dik za program :)
-
No uz koncim s ucenim na zajtra...drzte palce nech sa podari
-
su na skuske priklady z Guarded commands????
-
A co vyrokova a predikatova logika? mal niekto nejaky taky priklad?
-
Priklady z Guarded commands na skuske asi su, kamos mal ako teoreticku trebalo spravit nutne dokazy teda tie 4 vlastnosti dokazat co je pri takom DO prikaze akoze zabite.
Inak to k tomu dead locku vo filozofoch co si beru po 1 vydlicke tak to sa da poriesit tak ze sa prida prechod ktory je odpalitelny ak kazdy z filozofov ma po 1 vydlicku, a po jeho odpaleni sa vratia vydlicky tam kam maju nie je to idealne riesenie ale ine ma nenapada. Este je problem v tom ze najprv sa berie stale prava vydlicka, to by asi chcelo spravit ze sa moze zobrat lubovolna ako prva ale nad tym sa mi nechce dumat ak dostanem na skuske tak tam budem nad tym hutat.
-
Takze konecne mam Fss z krku...ako bolo dnes na skuske? Na dozore bol Korecko a Attila...na zaciatku prisiel iba Attila a zacal davat otazky, pricom boli textom hore, cize ste mohli vybrat ake otazky chcete....ale po asi piatich minutach prisiel Korecko a vyberanie otazok skoncilo...cize iba par stastlivcov malo stastie, ze si otazky vybralo, nasledne uz otazky boli rozdavane Koreckom...Korecko teraz neodisiel, ale skoro celu skusku sedel vpredu pri stole...chodil len Attila...a ked ste sa ho nieco spytali snazil sa dost pomahat...k oprave, opravovali vsetci traja - Korecko, Attila, Hudak...Korecko s Attilom vlastne tvorili dvojicu, lebo Attila opravoval Ackovu polku pisomky a Korecko B metody...u korecka+attilu spravili vsetci...jedine Hudak vyhadzoval...a vyhodil celkom dost...
-
moje otazky a priklady z dnesnej skusky:
A15 predikatovy transformer wp(S,R)
B1 formalne specifikacie: motivacia, priklady, sucasny stav
1. priklad - bola nakreslena petriho siet a bolo treba pre nu vyriesit problem zivotnosti (urcit ci je ziva) a zdovodnit to
2. priklad - bol napisana pomerne jednoducha B-masina a bolo treba pre nu urobit povinne dokazy
dalsie co mali ini ludia - napr. priklad kde treba transformovat kapacitne obmedzenu siet na normalnu
potom otazky B15, B16
gl :pimp:
-
Juj tak to si ma teraz vystrasil este vaic ako som bol a ako si to podelili 15 na 15? Mam aspon 50 percentnu sancu na skusku? :D. Hudak nedaval 10b za prezenciu ako pominule terminy? Ved tam komusi pridal 10b a mal E koli tomu. Ja mam vo stvrtok termin a uz salejem doma :( nechapem nicomu vsetko sa mi pletie nic si nepamatam aaaaaaaaaaaaaaa.
A este otazka : ako je to s otazkami vsetko je na samostatnych papieroch, teda vyber total random? alebo su nejak skombinovane otazky?
-
zase az take hrozne to nebolo. myslim ze viac ako siestich nevyhodil. a tak sa mi zda ze sa kus aj snazil vytiahnut ludi ze im daval dalsie otazky cize to uz asi fakt tam nemohli mat skoro nic napisane ked ich vyhodil (bez urazky;) ). zalezi na otazkach ake dostanes. a myslim ze sa dalo aj celkom v pohode opisovat :)
-
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...
-
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...
nj. ked sa to vyjadri v percentach tak to nieje az take pekne cislo :)
-
A ako si to podelili to neviete ci nejak nahodne alebo na polky alebo podla nejakeho vzorca :0 ze kto ma malo ide k hudakovi kto ma vela ide k hudakovi a kto ma tak akurat ide ku cviciacim?
-
tazko povedat. ja som odovzdal 3. v poradi a bol som pri atillovi a clovek co odovzdal hned po mne bol pri hudakovi. bude tam asi nejaky stochasticko nedeterministicky algoritmus :D
-
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.
-
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
-
Ludia co je to ten MUTEX? To je vzajomne vylucenie procesov?
-
Ludia co je to ten MUTEX? To je vzajomne vylucenie procesov?
jj... mutual exclusion
-
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.
-
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
-
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
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fwww.dufus.dnt.sk%2Fobr%2Fvylucenie3.JPG&hash=45e77bbbb8cddcfbd47963598b1f5ab953c60ec3)
-
je to ok
-
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.
-
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
-
no ved to prave chceme vediet ako, ked vies. zeby som nemusel pocitat sustavu so 7 neznamymi
-
takto:
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fagamemnon.yw.sk%2Fmutex.JPG&hash=0ad8c8edb55a23f30c68d1715933abdb16d2f7cf)
p0 - zdieľaný zdroj...
p1, p2 - procesy 1 a 2
-
mno ze my (tretiaci) prideme o taky sexi predmet :emot-shakehead:
-
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 :(. :buttrock:
-
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 :(. :buttrock:
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
-
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.
-
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 :)
-
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
-
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? :D boze ja uz fakt nicomu nechapem :D:D:D:D
-
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 :)
-
ja som dostal otázku ze naco je ten invariant, preco to je tak, k comu sluzi... :D boh vie ap
-
ja som dostal otázku ze naco je ten invariant, preco to je tak, k comu sluzi... :D boh vie ap
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 :)
-
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 ;)
-
tak nestresujte, da sa to celkom v pohode naucit za par dni ;)
alebo za 1 :D :buttrock:
-
tak nestresujte, da sa to celkom v pohode naucit za par dni ;)
alebo za 1 :D :buttrock:
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 :)
-
neviem to
hlavne ze som stihol dohrat mafiu, vyfajcit milion cigariet a nikam som nechodil, aby som sedel doma a chystal sa uz ist ucit
priklady som aspon pozrel, skusim externy vstup, socialne inzinierstvo a sucit. Pripadne hodit sa na zem a usedavo plakat, na chvilu prestat, pozriet sa dolezitym do tvare a spustit to este silnejsie
v gatiach mam nakladene, dufam ze to po ceste do muciarne to vytrasiem
slubujem vam ze sa aspon vyvoniam :D
MACHINE RUHANIE
SETS skuska={presiel,nepresiel}, modlil={jj,ee}
INITIALISATION skuska={nepresiel} && modlil = {ee}
OPERATIONS
modlit =
PRE prosim prosim prosim (https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg2.menstennisforums.com%2F500%2Fthumbs%2Fpray.gif&hash=13e552262c839ebbe5e03d54efb69ef511df0908)
Petri náš, ktorý si na nebesiach,
posväť sa sieť tvoja,
príď formalizacia tvoja,
Buď vôľa tvoja ako na papieri, tak i v stroji.
Studentom dennym daj prejst
a odpusť nám našu nevedomost,
ako si i my odpúšťame,
a neuveď nás do medzirocniku,
ale zbav nás skuskoveho.
V mene otca i syna i hudaka spreteho. END.
Po dnesnom termine mi neostava nic ine nez vyskrtnut tuto vetu a ospravedlnit sa. ah:
THEN modlil:=jj
END;
skuska =
SELECT modlil=jj THEN skuska={presiel} END;
ELSE uradprace:=uradprace+menostudenta END;
END;
-
uz ma nic tak dlho nepobavilo. Super
-
1984: dobreeeee :j_grin:
myslim ze u vacsiny studentov to vyzera pocas semestra takto:
http://hellofabest45.hyperphp.com/index.htm
-
caute, dnesny termin klasika, Korecko s Attilom, opravoval aj Hudak, asi polku, bolo nas 21, nepresli asi len dvaja, jeden od Hudaka a jeden od Attilu a Korecka...
-
nepresli dvaja len z tych co dosli na vyhodnotenie, no aspon dalsi traja to vzdali
-
ako to vyzeralo na skuske 17.6 ?
-
priklady rozdaval korecko postupne, potom na asi 5min odisiel po priklady na TI (TI pisali asi traja). Potom takmer cely cas sedel za katedrou a Atilla sa prechadzal, ked nieco bolo nejasne, snazil sa vysvetlit. Vyhodnotenie malo byt od 12:30 (12:15 isiel na obed K+A, o 13:00 H), realne vsak zacalo az neskoro po 13:30. U Korecka nepresli asi dvaja, aj ked evidentne mal snahu prilepsovat (ak chybalo par bodov, bud sa spytal nejaku lahsiu otazku alebo ucast na prednaskach a bolo E). Ku Hudakovi isli asi siesti, jeden nezobral Ecko, dvoch vyhodil a traja spravili. Vsetky znamky boli Decka/Ecka a myslim jedno Cecko. Nakoniec vsetko podpisal a po 15:00 sme isli prec.
-
diki za info.
Ani ma neprekvapuje ze vyhodnotenie zacali neskor ako malo byt. Je to pre nich typicke. Robia si co chcu.
-
Ako by ste spravili program pre automat ktory vydava colu, mineralku a este pivo. Ked cola stoji 10, pivo 8 a mineralka 3sk? :)
-
Ako by ste spravili program pre automat ktory vydava colu, mineralku a este pivo. Ked cola stoji 10, pivo 8 a mineralka 3sk? :)
- prijmi_mince(suma)
- vydaj_tovar(vyber_tovaru {1/2/3}) - kontrola, či máš dostatočný kredit...
:)