IMG 1205101431

warszawa, dn

Nazwisko

Imię

Grupa

Nr indeksu

PKT

DiWSK - egzamin (Zestaw nr B)

1    (5 pkt) Dla podanego nlźtj układu wyznacz nioredukowalny kompletny test kotiUnlM

wszystkich niezdatność typu m c na liniach wejściowych (X0, X1, X2), linii 4 tiffl/ l/fllf wjpW™®} (Y5). Wykorzystaj funkcjonalny model niezawodnościowy układu

X2

2. (5 pkt.) Dana jest tleć procesorów o topologii jak na rys. a). Zakładając, że procesory mogą testować tylko węzły pnyległe, sprawdź, czy istnieje dla tej sieci 2-dlagnozowalnn sfrt/Mt/r* opiniowania diagnostycznego typu PMC. Jeżeli struktura taka Istnieje, przedstaw Ją W jWfwMH gralu na rys. b). Przedstaw na odwrocie uzasadnienie.

PP

M

3 (6 pkt.) Wykaż (udowodnij), Za w m*dlagnozowalnym systemie komputerowym typu PMG wg strategii JednokrokoweJ musi być spełniona zależność: |£| Ł2w+1, gdzie [fil-jest liczbą wszystkich Jednostek systemu.

Odp. na odwrotnaj stronią

(6 pkt.) Określ własności diagnostyczne struktury opiniowania diagnostycznego podeń*) hą poniższym rysunku wg modeli PMC i BGM dla strategii JednokrokoweJ Podaj Utflldftlinit (sposób określenia tych własności). -———-------- ■——_

Odp.:

t

2

4

Dla strategii JednokrokoweJ: wg modelu PMC system Jest

wg modelu BOM system jest

3

4.