Author Topic: FSS skuska  (Read 33724 times)

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #50 on: 09.06.2008, 02:59:49 »
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  ;)
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 #51 on: 09.06.2008, 04:39:38 »
aj oni vedia, že je tam deadlock... prečo by im to malo vadiť?
All code is crap.

42

smejooo

  • Newbie
  • *
  • Posts: 14
    • View Profile
Re: FSS skuska
« Reply #52 on: 09.06.2008, 06:56:30 »
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 

Agamemnon

  • Hero Member
  • *****
  • Posts: 2942
  • Per aspera ad Astra
    • View Profile
Re: FSS skuska
« Reply #53 on: 09.06.2008, 15:23:17 »
to je o zadaní úlohy, by som povedal
All code is crap.

42

ibonis

  • Newbie
  • *
  • Posts: 1
    • View Profile
Re: FSS skuska
« Reply #54 on: 09.06.2008, 17:36:16 »
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..:)

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #55 on: 09.06.2008, 21:43:01 »
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 :)

Code: [Select]
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
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 #56 on: 09.06.2008, 22:14:05 »
imo insert:
Code: [Select]
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:
Code: [Select]
remove(n) = PRE n _patri_ xx THEN xx := xx - n END;

a member:
Code: [Select]
m <-- member(n) = BEGIN m := n _patri_ xx END;
(toto nvm, či je ok zápis... som ovplyvnený C a pod. jazykmi :))
All code is crap.

42

Johny Bravo

  • Administrator
  • Hero Member
  • *****
  • Posts: 2974
  • Da chief!
    • View Profile
    • www.tu-ke.com
Re: FSS skuska
« Reply #57 on: 09.06.2008, 23:13:40 »
co robi ten scope?

Agamemnon

  • Hero Member
  • *****
  • Posts: 2942
  • Per aspera ad Astra
    • View Profile
Re: FSS skuska
« Reply #58 on: 10.06.2008, 00:08:48 »
co robi ten scope?

scope máš definované ako makro : 1..10 - tj. prir. číslo od 1 po 10
All code is crap.

42

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #59 on: 10.06.2008, 00:12:05 »
takze aby som vysvetlil. testoval som to v tom 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"



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 #60 on: 10.06.2008, 00:48:44 »
takze aby som vysvetlil. testoval som to v tom 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é :)
All code is crap.

42

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #61 on: 10.06.2008, 00:56:58 »
jj ja viem. ani som to tak nebral  ;)  to len aby sa dakomu nezdalo ze su to uplne nezmysly :)
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 #62 on: 10.06.2008, 01:28:06 »
supa , dik za program :)

JBull

  • Full Member
  • ***
  • Posts: 148
    • View Profile
Re: FSS skuska
« Reply #63 on: 10.06.2008, 04:14:38 »
No uz koncim s ucenim na zajtra...drzte palce nech sa podari

adrian_85

  • Newbie
  • *
  • Posts: 7
    • View Profile
Re: FSS skuska
« Reply #64 on: 10.06.2008, 18:40:08 »
su na skuske priklady z Guarded commands????

DuFuS

  • Newbie
  • *
  • Posts: 23
    • View Profile
Re: FSS skuska
« Reply #65 on: 10.06.2008, 19:34:22 »
A co vyrokova a predikatova logika? mal niekto nejaky taky priklad?

DuFuS

  • Newbie
  • *
  • Posts: 23
    • View Profile
Re: FSS skuska
« Reply #66 on: 10.06.2008, 21:11:13 »
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.
« Last Edit: 10.06.2008, 21:47:23 by DuFuS »

JBull

  • Full Member
  • ***
  • Posts: 148
    • View Profile
Re: FSS skuska
« Reply #67 on: 10.06.2008, 21:58:28 »
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...

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #68 on: 10.06.2008, 22:00:03 »
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:
No trespassing! Trespassers will be shot! Survivors will be shot again

DuFuS

  • Newbie
  • *
  • Posts: 23
    • View Profile
Re: FSS skuska
« Reply #69 on: 10.06.2008, 22:38:14 »
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?

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #70 on: 10.06.2008, 22:48:02 »
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 :)
No trespassing! Trespassers will be shot! Survivors will be shot again

JBull

  • Full Member
  • ***
  • Posts: 148
    • View Profile
Re: FSS skuska
« Reply #71 on: 10.06.2008, 23:22:04 »
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...

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #72 on: 10.06.2008, 23:36:29 »
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  :)
No trespassing! Trespassers will be shot! Survivors will be shot again

DuFuS

  • Newbie
  • *
  • Posts: 23
    • View Profile
Re: FSS skuska
« Reply #73 on: 11.06.2008, 00:39:33 »
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?

maroccojack

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: FSS skuska
« Reply #74 on: 11.06.2008, 00:57:23 »
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
No trespassing! Trespassers will be shot! Survivors will be shot again