https://vik.wiki/index.php?action=history&feed=atom&title=Adatfolyam_modellez%C3%A9sAdatfolyam modellezés - Laptörténet2026-05-02T16:44:21ZAz oldal laptörténete a wikibenMediaWiki 1.43.8https://vik.wiki/index.php?title=Adatfolyam_modellez%C3%A9s&diff=137307&oldid=prevUnknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsgaAdatFolyam}} __TOC__ ==Elmélet== Powered by Bakmester ([http://info.sch.bme.hu/document.php?cmd=download_proc&tmp_page=&doc_id=…”2012-10-21T19:58:16Z<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsgaAdatFolyam}} __TOC__ ==Elmélet== Powered by Bakmester ([http://info.sch.bme.hu/document.php?cmd=download_proc&tmp_page=&doc_id=…”</p>
<p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModVizsgaAdatFolyam}}<br />
<br />
__TOC__<br />
==Elmélet==<br />
Powered by Bakmester ([http://info.sch.bme.hu/document.php?cmd=download_proc&tmp_page=&doc_id=8760 [[InfoSite]] - RTF])<br />
<br />
* Adatfolyamháló: a működést az adatműveletek dekompozíciója szempontjából közelíti meg, míg a vezérlés az egyes állapotokban megtalálható(nemdeterminisztikus véges automaták adta) szabályokban vannak elrejtve<br />
* Modellfinomítás adatfolyamhálóknál:<br />
** fekete doboz nézet<br />
** átlátszó doboz nézet:<br />
*** '''kommunikáció finomítás''' : 2 egység közti interface definíciója változik(bővebb, kifejtés, stb)<br />
*** '''állapottér finomítás''' : belső állapotok felbontása<br />
*** '''eloszlás finomítás''' : doboz --> részháló<br />
* többszintü modellezés<br />
* szintek közötti átjárás <br />
* állapot- és viselkedési konzisztencia megőrzése<br />
* értelmezési tartomány finomírás:<br />
** tokenhalmaz finomítás<br />
** állapothalmaz finomítás {{InLineImageLink|Infoalap|FormModVizsgaAdatFolyam|halmazfinomit.PNG}}<br />
** tüzelési szabályok megfelelő finomítása<br />
* struktúra finomítás:<br />
** node helyettesítése részhálóval<br />
## struktúra módosítás<br />
## állapotmegfeleltetés:csomópont <--> részháló<br />
## tüzelési szekvenciák megfelelő kialakítása<br />
<br />
==Kérdések==<br />
===1.===<br />
'''Milyen szerepe van a csatornák kapacitásának az adatfolyam hálók működésében?'''<br />
<br />
Az adatfolyam csatorna egy végtelen FIFO csatorna, ez garantálja a teljes aszinkron működést (ha az végtelen hosszúságú). Ennek ellentéte az egy hosszúságú csatorna, amely teljes szinkronitást feltételez: egy csomópont csak akkor kezdheti meg a működését, ha a kimeneti csatornája üres, az pedig csak akkor garantált, ha az őt követő csomópont már végzett az előző token feldolgozásával.<br />
===2.===<br />
'''Hogyan jellemezhető a kizárólag végtelen kapacitású csatornákat, és a kizárólag egy tokent tartalmazó csatornákat tartalmazó adatfolyam háló működése?'''<br />
* Végtelen hosszú csatorna: aszinkron (működhet attól egy csomópont, hogy a kimeneti csatornáján van valami)<br />
* Egy hosszú csatorna: szinkron működés (csak akkor működik a csomópont, ha a kimeneti csatornáján nincs semmi)<br />
===3.===<br />
'''Adatfolyam hálók esetében hogyan jöhet létre konfliktus? A háló mely elemei lehetnek egymással konfliktusban, hogyan oldjuk fel a konfliktust? (2p)'''<br />
<br />
A konfliktus eredetileg a Petri hálók esetén két tranzíció között jöhetett létre (egy engedélyzett tranzíció elől ellopja egy másik tranzició a tokent az őt aktívan tartó csomópontból), adatfolyam hálók esetén szintén a csomópontok szolgáltatják a tokent, viszont itt azt a csatornára helyezik (tehát ha egy csatorna elől egy másik elhappolja egy másik csatorna az üzenettokent).<br />
<br />
===4.===<br />
'''Hogyan hajtjuk végre adatfolyamhálókban a struktúra finomítás műveletét (mi módosul és hogyan, mi nem módosul)?'''<br />
<br />
Egy adatfolyam csomópontot több adatfolyam csomóponttal hleyettesítünk, úgy hogy a tokenkészlet és az állapottér változatlan marad. A többi csomópontot illetve a hálózat eredeti csatornáit nem érinti, kizárólag a csomópont belső struktúrája változik meg.<br />
<br />
===5. ===<br />
'''Hogyan használhatjuk fel a nemdeterminisztikus véges automatákat (NDFSN) adatfolyam hálók esetén a háló finomítás helyességének ellenőrzésére?''' <br />
<br />
Egy NDFST le tudja írni egy adatfolyam háló egy csomópontjának viselkedését. Helyesség-ellenőrzés: talán<br />
biszimulációval?<br />
<br />
==Igaz/Hamis=<br />
<br />
{| border="1"<br />
|*Igaz/<br>Hamis?* ||*Kérdés*||*Magyarázat* <br />
|-<br />
|I||Az adatfolyamháló csomópontjainak modelljei közvetlenül transzformálhatóak Petri háló modellekbe.|| <br />
|-<br />
|H||Az adatfolyam háló csomópontjainak viselkedése minden esetben nemdetermnisztikus, ezért a módszer determinisztikus működésű rendszerek modellezésére közvetlenül nem alkalmazható.|| A csomópontok viselkedése lehet determinisztikus vagy nemdeterminisztikus. <br />
|-<br />
|H||Az adatfolyamháló csatornáinak modelljei közvetlenül transzformálhatóak Petri háló modellekbe.|| A csomópontok között ideális FIFO-nak feltételezett csatornák vannak.<br />
|-<br />
|H||Az adatfolyamháló csomópontjai handshake kapcsolatban állnak egymással.|| Nem feltétlenül kell visszaigazolást kapniuk az üzenet megérkezésétől, bár lehetőség van kétirányúsítani a csatornát. <br />
|-<br />
|H||A tokenek halmazának finomítása során közös halmazzá vonunk össze és egyetlen új tokennel jelölünk olyan tokeneket, amelyek a rendszer során hasonlóan viselkednek.|| Sokkal inkább új tokenek jönnek létre, bővül a lehetésegs átmenetek száma a csomóponton belül. <br />
|-<br />
|I||Értelmezési tartomány finomítása során nem változhat a be- és kimeneti csatornák száma.|| Csak a tokenhalmazt és a belső állapotok halmazá változtatjuk <br />
|-<br />
|I||Értelmezési tartomány finomítása során vagy a tokenek halmazát, vagy a belső állapotok halmazát finomítjuk.||(Ez értelmezés kérdése, mind a kettőt lehet külön-külön és egyszerre mindkettőt finomítani) <br />
|-<br />
|H||A halmazfinomítás lényege az, hogy az ai diszjunkt elemekhez rendelt Bi := { bi1, ..., bin} = R(ai) halmazok minden bij eleme úgy viselkedik a finomított modellben, mint a kiinduló ai elem az eredeti modellben.|| A és B halmaz esetén bármely ai-re az R(ai) része B, úgy hogy minden ij párra R(ai) metszet R(aj) = 0. Ekkor az R finomítási reláció, B az A-nak finomítása <br />
|}<br />
<br />
==Példák==<br />
<br />
<br />
-- [[AdamO|adamo]] - 2006.06.10.<br />
-- [[FarkasEGPTamas|Gegman]] - 2009.01.21.<br />
<br />
<br />
[[Category:Infoalap]]</div>Unknown user