Formális módszerek - Házi feladat 8-14

A VIK Wikiből
A lap korábbi változatát látod, amilyen (vitalap) 2012. október 21., 20:57-kor történt szerkesztése után volt. (Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModHazi8tol14}} <br> ==8. Hibás italautomata== ==9. Mobil kommunikáció== ==10. Síliftek megbízható működése== Konzulens: Vágó…”)
(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)
Ugrás a navigációhoz Ugrás a kereséshez

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

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



8. Hibás italautomata

9. Mobil kommunikáció

10. Síliftek megbízható működése

Konzulens: Vágó Dávid, honlap, email: vd419@hszk.bme.hu

Hallgatók

Jó tudni

Azok a részletek, amik nincsenek konkrétan a feladatban specifikálva, azokról te döntheted el, hogy hogyan valósítod meg, de ezen döntéseidnek legyen nyoma a dokumentációban. Lényegében a házi feladat első része, az állapottérképes (vagy más szabványos, magasszintű, grafikus) leírás pont arra szolgál, hogy ezeket a tervezői döntéseket bemutassa. A Petri-hálós modellezéssel kapcsolatban felmerült annak a problémája, hogy a feladat (a jelenlegi megfogalmazás szerint) végtelen sok állapopot tartalmaz, ezért semmilyen eszközzel nem elemezhető. Természetes ilyen esetben a végtelen állapotszámot meg kell szüntetni (például kapacitáskorlátok bevezetésével). A síliftes (10) feladatnál a parkolóba érkező emberek számát nyilván korlátozni kell, hogy analizálhatni lehessen a hálót.

11. Banana Jeans

12. Akvárium tisztításának modellezése

13. szerencsétlen-e vagy :)

14. Automata marsjáró vezérlõegysége

-- adamo - 2006.05.05.