FormMiVoltAzOran

Ez az oldal a korábbi SCH wikiről lett áthozva.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.

Form Mi Volt Az Oran

2006.02.14 (kedd)

• Tematika
• Formális módszerek alkalmazása

2006.02.15 (szerda)

• • Életciklus modellek
    • Vízesés modell
    • V modell
    • Spirál modell
  • Verifikáció: jól építünk-e
  • Validáció: jót építünk-e
• Petri-hálók alapfogalmai
  • Helyek (p)
  • Tranzíciók (t)
    • Bemenő hely nélküli tranzíció mindig engedélyezett
    • Nyelő tranzíció elnyeli a tokent
  • Élek p->t és t->p
  • Állapotváltozók (tokenek), tokeneloszlás
  • Állapotátmeneti függvény
  • Dinamikus viselkedés: tüzelés
• Tiszta Petri-háló: nincsenek önhurkai

2006.02.21 (kedd)

• Diszkrét szimuláció alapjai
  • Szimuláció: egy modell működésének helyességét próbáljuk ki
  • Tevékenység: atomi egység erőforrásigénnyel és időtartammal
  • Folyamat: tevékenységek kötött sorrendben
  • Hierarchikus modellfinomítás
  • Modellezésnél egy esemény általában tranzíciónak egy állapot egy helynek feleltethető meg.
  • Erőforrások
    • logikai/tömb
    • blokkoló/nem blokkoló

2006.02.22 (szerda)

• • Uzsonnázás példája
    • állapotgráf->Petri háló
    • Véges automata (FSM): olyan petri hálók, amikben minden tranzíciónak egy bemenete és egy kimente van.
    • Nemdeterminisztikus absztrakció
      • interpretált modell
      • nem interpretált modell
    • Folyamatok összehangolása
      • kooperáció
      • erőforráshasználat
    • Modellezés menete: először modellezzük a szereplőket külön-külön, majd hangoljuk őket össze.

-- SoTi - 2006.02.14.

2006.03.07 (kedd)

Körülbelül a könyv tartalma 52-55 oldalig. Kulcsszvaakban:

• Elérhetöségi analízis.

• Elérhetöségi gráf: M0 állapotból indulva, minden állapot egy csomópont az él pedig a tüzelés mellyel az adott állapot elérhetö. Visszatérö állapot elöfordulása esetén nem fa.

• Versenyzö Tranzakciók

• Trajektória: Egy kezdöállapot, és tüzelési sorozat megadásával adunk meg egy állapotot.

• Nem korlátos petriháló: Végtelen állapot.

• Struktúrális Tulajdonságok: Nem függnek a kezdö állapotoktól

• Dinamikus Tulajdonságok: Függnek a kezdö állapottól. (TK 52. oldal)

• Korlátosság: (TK 54. oldal)

• Élö tulajdonság: Holtpontmentesség

• Megfordíthatóság: Ciklikusság van e benne?

• Fedhetöség

• Perzisztencia: (TK 55.)

• Fair tulajdonságok. (majd következö órán részletesen)

• K korlátosság: Bármely állapotban max K token

-- Rezsö - 2006.03.08

2006.03.08 (szerda)

Állapottér reprezentációról volt szó. Ezenbelül a fedési gráfról, annak trükkjeiröl, és generálásáról.

• Fedési gráf: Olyan állapotgráf, amelyben végtelen állapottér megjelenítésére is alkalmas. Az állapotvektorokban omegával jelöljük azokat a helyeket, ahol a végtelenségig nöhet a tokenek száma egy ciklikus tüzelés következtében. (erröl volt szó fél órán keresztül)

• Tiltó él: Egy karika a vonalnál jelöli a tiltó élet. Ha a tiltó felöl van egy token, akkor nem tüzelhet. Ha ilyen van, akkor a fedési gráf nem müködik.

• Perzisztencia: (TK 55. asszem)

• Fairség: többjelentésü szó.
  • Korlátozott fairség
  • Globális fairség

• Fedési fa generáló algoritmus

• Elérhetöségi probléma egyszerüsítése:
  • Átlapolás (Interleaving)
    • Két külön folyamat, amely ugyanoda visz. A jó programok keresik az átlapolódásokat, hogy kisebb legyen a feldolgozandó állapotok száma.
  • Szimmetria

• Szimuláció

-- Rezsö - 2006.03.09.