KLÃMA-21 Füzetek 61. szám - VAHAVA Hálózat
KLÃMA-21 Füzetek 61. szám - VAHAVA Hálózat
KLÃMA-21 Füzetek 61. szám - VAHAVA Hálózat
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
176 „KLÍMA-<strong>21</strong>” FÜZETEK: KLÍMAVÁLTOZÁS – HATÁSOK – VÁLASZOK<br />
modellezi. A rendszer tényleges működtetését<br />
(„hadrendbe állítását, operacionalizálását”)<br />
ezen elvek alapján kell elvégezni az<br />
elmélet figyelembevételével.<br />
Az Önvédelmi elv. Az őrsök vonulásának<br />
minden lépése során (minden fázisában)<br />
minden őrsejt minden reális állapotú<br />
szomszédja virtuálissá válik. A maximális<br />
virtuális fenyegetettségű sejt annak Franklin-paramétereitől<br />
függően veszélymentes<br />
alapállapotba kerül.<br />
A SORS-rendszer absztrahálja az eseménykezelés<br />
gyakorlati részleteit, nem tud<br />
(bár nem is kíván) számot adni (jelenlegi<br />
kidolgozottsága állapotában legalábbis) az<br />
őrsök tagjainak tényleges részletes tevékenységeiről<br />
(fertőzött terület fertőtlenítése, terrorista<br />
elfogása stb.).<br />
A Veszélyfokozódás és terjedés elve. Minden<br />
pozitív állapotú sejt minoránsának állapota<br />
minden fázisban reálissá válik.<br />
Az eseménykezelési eljárást másként hárítási<br />
stratégiának is mondjuk. Ennek – a<br />
SORS-modell jelenlegi in silico implementációjában<br />
– két esete van: a Defenzív és az<br />
Offenzív stratégia.<br />
Jelen dolgozatban csak a defenzív (azaz<br />
a CopyMax átmeneti függvényt alkalmazó)<br />
stratégiáról van szó. A részletekért lásd: Bukovics,<br />
2007.<br />
EGY KATASZTRÓFAHELYZET<br />
ELEMZÉSE<br />
Legyen egy sejt színhelye egy veszélyeshulladék-tároló.<br />
A sejthez tartozó kockázati<br />
rendszert a következő szaknyilatkozat határozza<br />
meg. 10<br />
10<br />
A szaknyilatkozat a következő dolgozat<br />
alapján készült: M. D. Alessandro – A. Bonne:<br />
Fault-tree analysis for probabilistic assessment of<br />
hazardous waste segregation. Computational Geology<br />
4., 45-63. pp., 1982. Ezen szaknyilatkozatot<br />
készítő grémium feltételezte, hogy a szerepeltetett<br />
prímesemények kiküszöbölése (passziválása)<br />
közvetlenül vagy közvetve a végrehajtó szervek<br />
hatáskörében van.<br />
A Szaknyilatkozat<br />
Az alábbi szöveg a TALAJSZENNYE-<br />
ZÉS2 megnevezésű esemény logikai értelmezésére<br />
szolgáló úgynevezett „szaknyilatkozat”.<br />
Sajátos – tartalomjegyzékre<br />
emlékeztető – írásmódja különleges olvasási<br />
szabályok követését teszi szükségessé.<br />
A szaknyilatkozat minden sora egy negatív<br />
tényállítást fejez ki (néha a rövidség kedvéért<br />
hiányos nyelvtani alakban).<br />
A szaknyilatkozat minden sora – kivéve az<br />
első sort – egy pontokkal elválasztott számjegysorozattal<br />
kezdődik (például 3.4.2). Ez az<br />
illető sor rendszáma. A rendszámok egy logikai<br />
alárendeltségi viszonyt fejeznek ki.<br />
Ha egy sor rendszáma csak az utolsó jegyében<br />
különbözik egy másik sor rendszámától,<br />
akkor a sor „alárendeltje”, szakkifejezéssel<br />
„explikánsa” a másik sornak.<br />
Tekintsük például a következő sort:<br />
3.4.2(V): A TALAJ SZENNYTÁROLÓ<br />
KÉPESSÉGE KIMERÜL<br />
Ennek (egyik) explikánsa az alábbi sor:<br />
3.4.2.2: szenny-immigráció következik be<br />
A rendszámot némely esetben vagy egy<br />
„(V)”, vagy egy „(&)” jel követi. Ez az illető<br />
sor logikai típusa.<br />
Kétféle logikai típus van: „diszjunkció”,<br />
ennek jele „(V)”, és „konjunkció”, jele „(&)”.<br />
Ennek megfelelően beszélhetünk egy tényállítás<br />
„konjunktív” vagy „diszjunktív” explikánsáról.<br />
Egy sor explikánsai együttesen a sor által<br />
kifejezett tényállítás (fennállásának) szükséges<br />
és elégséges feltételét fejezik ki a megadott<br />
logikai típusnak megfelelően. Diszjunktív<br />
logikai típus esetében ez azt jelenti,<br />
hogy legalább az egyik explikánsnak fenn<br />
kell állnia, konjunktív esetben pedig mindegyik<br />
explikánsnak fenn kell állnia.<br />
A példa esetében ez azt jelenti, hogy az<br />
A TALAJ SZENNYTÁROLÓ KÉPESSÉGE<br />
KIMERÜL (kifejezésnek megfelelő) tényállítás<br />
szükséges és elegendő feltétele az, hogy<br />
explikánsai egyike fennálljon.<br />
Ha egy rendszámot nem követ logikai típusjel,<br />
akkor azt mondjuk, hogy e sor egy