Digitális technika Hazárdok
Jelterjedési késleltetés hatása 1 1 1 1 1 1 1 1
Jelterjedési késleltetés kialakulásának okai Építőelemek fizikai felépítéséből → katalógus adat Összeköttetések megvalósítása (szórt induktív, kapacitív elemek) → méretezés Probléma: késleltetési idők változnak Modellezés → elosztott hálózatok (koncentrált késleltető elemek + ideális kapuáramkörök)
Koncentrált késleltetések
Késleltetésből eredő zavar szemléltetése Kritikus: Δt1 + Δt3 < Δt4 + Δt6 Konklúzió: a hálózat felépítése magában hordozza az hibás működés lehetőségét („a” és „b” ÉS kapu egyszerre vált állapotot). Jelenség leírása: X, X’ szomszédos bemeneti kombinációk, hozzátartozó F(X) = F(X’) kimeneti kombinációval. Ha bement X-ről X’-re vált, és ezalatt átmenetileg előáll egy F” ≠ F(X) = F(X’), vagyis a kimeneten az F → F” → F függvényérték sorozat zajlódik le a késleltetési viszonyoktól függően, akkor a hálózatban STATIKUS HAZÁRD van.
Statikus hazárdmentesítés „a” ÉS kapu végig 1, amíg az AB hurokhoz tartozó bemeneti kombinációk között vannak a változások (csak a C változhat). „b” ÉS kapu végig 1, amíg az AC hurokhoz tartozó bemeneti kombinációk között vannak a változások (csak a B változhat). Adjunk hozzá egy új BC hurkot. BC
Hazárdmentesítés diszjunktív (kétszintű ÉS – VAGY) hálózatoknál Keresd meg azon 1 kimeneti értéket előállító bemeneti kombinációk közül azokat, melyek szomszédosak, de nincsenek egy hurokkal lefedve. Fedd le őket egy hurokkal. Keress tovább
Dinamikus Hazárd A Statikus hazárd bekövetkezését (felső ág) követi az alsó ágon az 1→0 jelváltozás. Háromszintű ÉS-VAGY-ÉS hálózatoknál
Dinamikus hazárd X, X’ szomszédos bemeneti kombinációk, hozzátartozó eltérő F(X) ≠ F(X’) kimeneti kombinációval. Ha bement X-ről X’-re vált, és ezalatt a kimeneten átmenetileg előáll egy F(X) → F(X’) → F(X) → F(X’) függvényérték sorozat zajlódik le a késleltetési viszonyoktól függően, akkor a hálózatban DINAMIKUS HAZÁRD van. Megszűntetése a gyökérok (statikus hazárd) megszüntetésével végezhető el.