Skumulowane materiały - DSK
(Egzamin)
TODO:
- Zad. 1 b)
- Zad. 3 b) c)
- Zad. 4 RMON (wady i zalety)
- Zad. 5
- Sprawdzić czy wszystkie możliwe zadania przepisane
----------------------------------------------------------------------------------------------------------------------------
Część praktyczna:
Zad. 1
Dla podanego niżej układu wyznacz kompletny test kontrolny dla wszystkich niezdatności typu s-a-c na liniach wejściowych (x0, x1, x2) oraz linii wyjściowej (y5)
a)
b)
rozwiązanie w folderze zad 1. a dokładniej trzy różniące się rozwiązania do zweryfikowania, które z nich będzie poprawne.
str. 22-30 (przy czym nie trzeba czytać wszystkiego, a raczej wytłumaczenie skąd się biora elementy w tabelce) w DSK_wyklad.pdf
<- jeżeli nie piszesz, tutaj postaw swój kursor (!!!)
Rozwiązanie:
a) to przy “s” to index wejścia
Legenda:
n0 = Y5, czyli układ bez błędów
n1 = s0(0), czyli x0 ma zawsze 0, s-a-0
n2 = s1(0), czyli x1 ma zawsze 0, s-a-0
n3 = s2(0), czyli x2 ma zawsze 0, s-a-0
n4 = s0(1), czyli x0 ma zawsze 1, s-a-1
n5 = s1(1), czyli x1 ma zawsze 1, s-a-1
n6 = s2(1), czyli x2 ma zawsze 1, s-a-1
n7 = sG3(0), czyli wyjście G3 (4) ma zawsze 0, s-a-0
n8 = sG3(1), czyli wyjście G3 (4) ma zawsze 1, s-a-1
n9 = swy(0), czyli wyjście ma zawsze 0, s-a-0
n10 = swy(1), czyli wyjście ma zawsze 1, s-a-1
r(x, n) | x0 | x1 | x2 | 4 | n0 | n1 | n2 | n3 | n4 | n5 | n6 | n7 | n8 | n9 | n10 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
x1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 |
x2 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
x3 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
x4 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
x5 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
x6 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
x7 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
x8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
Redukujemy kolumny zduplikowane (zostawiamy jedną)
n1,n2 i n7 (zostawiamy n1);
n6, n8 i n10 (zostawiamy n6);
n0 | n1 | n2 | n3 | n4 | n5 | n6 | n7 | n8 | n9 | n10 |
---|---|---|---|---|---|---|---|---|---|---|
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
(Porównujemy pozostawione kolumny z kolumną n0Tam gdzie się różnią wartości w kolumnach, tam wpisujemy 1)
r(x, n) | (n0, n1) | (n0, n3) | (n0, n4) | (n0, n5) | (n0, n6) | (n0, n9) |
---|---|---|---|---|---|---|
x1 | 1 | |||||
x2 | 1 | 1 | ||||
x3 | 1 | 1 | ||||
x4 | 1 | 1 | ||||
x5 | 1 | 1 | ||||
x6 | 1 | 1 | ||||
x7 | 1 | 1 | ||||
x8 | 1 |
x7 * (x2 + x4 + x6) * x3 * x5 * (x1 + x3 + x5) * (x2 + x4 + x6 + x7 + x8) = x3 * x5 * x7 * (x2 + x4 + x6)
(Proof: http://www.wolframalpha.com/input/?i=x7+AND+%28x2+OR+x4+OR+x6%29+AND+x3+AND+x5+AND+%28x1+OR+x3+OR+x5%29AND%28x2+OR+x4+OR+x6+OR+x7+OR+x8%29&dataset=)
Zad. 2
Wykaż (udowodnij), że w m-diagnozowalnym systemie komputerowym typu PMC wg strategii jednokrokowej liczba niezdatnych jednostek systemu musi spełniać zależność: m < |E|/2, gdzie |E| - jest liczbą wszystkich jednostek systemu.
Rozwiązanie:
Przypadek m<(|E|/2) sprowadzamy do przypadku |E|>= 2m+1:
m<(|E|/2) => 2m < |E|, a ponieważ m i |E| jest całkowitoliczbowe 2m +1 <= |E|.
Utwórzmy dwa zbiory, A i B, gdzie E = A suma B, oraz zbiory A i B nie mają części wspólnej, a także uzyskujemy syndromy przedstawione w tabelce poniżej. Wiemy wtedy, że zbiór A zawiera elementy poprawne, lub zbiór B. Zagregowane zbiory:
Ponieważ syndromy się pokrywają, nie ma możliwości określenia, który ze zbiorów zawiera elementy uszkodzone, a który sprawne.
Dopiero po nadaniu ograniczenia m < |E|/2 (m liczba błędów) możemy wyznaczyć zbiór elementów uszkodzonych, bo wtedy |A| <= m lub |B| <= m, i odpowiednio |A| lub |B| zawiera same uszkodzone elementy.
Propozycja 2: [mile widziana weryfikacja]
A nie wystarczy rozwiązać nierówności?
|E| >= 2m + 1 ← zgodnie z modelem PMC
2m <= |E| - 1
m <= (|E| - 1) / 2 < |E|/2 -> m < |E|/2
Zad. 3
Określ właściwości diagnostyczne struktury opiniowania diagnostycznego podanej na poniższym rysunku wg modeli PMC i BGM oraz strategii jednokrokowej.
a) [mile widziana weryfikacja]
Dla strategii jednokrokowej wg modelu PMC system jest:
Odp: 1-diagnozowalny
Wg modelu BGM system jest:
Odp: 1-diagnozowalny
1. Sprawdzamy warunek konieczny
|E| - liczba wierzchołków
BGM: |E| >= m +2
PMC: |E| >= 2m +1
2. Sprawdzamy warunek na opiniowanie
liczba krawędzi wchodzących dla każdego wierzchołka musi być >= m
3. Sprawdzamy warunek konieczny dla BGM (jeśli jest BGM to jest na pewno PMC)
1. Wybieramy pętelkę (np. 1 i 2)
2. Szukamy poprzednika dla 2 => 4
3. Szukamy poprzednika dla 4 => 1, 1 jednocześnie opiniuje 2
“Poprzednik mojego poprzednika nie może mnie opiniować!” - Karolo Coelho
b)
Dla strategii jednokrokowej wg modelu PMC system jest:
Odp: 1-diagnozowalny
Wg modelu BGM system jest:
Odp: 1-diagnozowalny
c)
Dla strategii jednokrokowej wg modelu PMC system jest:
Odp: 2-diagnozowalny
Wg modelu BGM system jest:
Odp: 2-diagnozowalny
Zad. 4
Podaj wady i zalety monitorowania i diagnozowania sieci komputerowej z wykorzystaniem SNMP i RMON
SNMP:
Największą zaletą SNMP jest jego popularność - praktycznie każde zarządzalne urządzenie
sieciowe wyposażone jest w agenta SNMP. Umożliwia to zastosowanie jednolitej metody
zarządzania dla wszystkich urządzeń pracujących w sieci.
Druga zaleta to elastyczność i rozszerzalność, wsparta klarownym mechanizmem przekazywania charakterystyki agenta do programu zarządzającego w postaci plików ASN.1.
Dużymi zaletami są także stosunkowo małe dodatkowe obciążenie sieci generowane przez sam protokół oraz niskie koszty wdrożenia do eksploatacji.
Krytycy SNMP twierdzą, że protokół nie jest wolny od wad. Wspomniana w nazwie prostota nie jest taka oczywista - implementowanie protokołu jest dość skomplikowane, być może adekwatne byłoby użycie w nazwie słów "umiarkowanie prosty". SNMP nie należy również do najbardziej efektywnych - każdy komunikat jest opatrzony numerem wersji SNMP i zawiera wiele deskryptorów, dodatkowo identyfikatory zmiennych przesyłane są w postaci ciągów znaków.
Wszystko to wiąże się z koniecznością transmisji sporych ilości niekoniecznie potrzebnych danych.
Poza tym zarzucić można mu słabość w kwestiach związanych z bezpieczeństwem (wersje pierwsza i druga). Jedyne zabezpieczenie w tym protokole, tzw. community string będący de facto hasłem, jest wysyłany poprzez sieć w postaci niezaszyfrowanej. Pozwala to na jego podsłuchanie przy użyciu programów typu sniffer.
SNMPv3 znacząco poprawia bezpieczeństwo protokołu poprzez wprowadzenie bardziej zaawansowanych metod uwierzytelniania.
http://fatcat.ftj.agh.edu.pl/~linux1/referaty/referat_sieci.pdf
RMON:
<TODO>
Zad. 5
Dana jest sieć procesów o topologii jak na rys a). Zakładając, że procesy moga testować tylko węzły przyległe, sprawdź, czy istnieje dla tej sieci 2-diagnozowalna struktura opiniowania diagnostycznego typu PMC. Jeżeli struktura istnieje, przedstaw ją w postaci grafu na rys. b). Przedstaw na odwrocie uzasadnienie.
Zad. 6
Wyznacz sekwencję rozróżniającą automatu zdefiniowanego następująco:
- zb. symboli wejściowych X = {x,y}
- zb. symboli wyjściowych Y = {0,1}
- zb. stanów automatu S = {p,q,r}
- tabela przejść i wyjść
Rozwiązanie:
Teoria + Przykład: DSK_wykład.pdf - strony 74 - 76, a zwłaszcza strona 75
----------------------------------------------------------------------------------------------------------------------------
Skumulowane materiały - DSK
(Zaliczenie laboratoriów)
[ IMAG1003.jpg ]
1. Czy syndrom dla stanu niezawodności systemu zawsze jest zbiorem wszystkich ciągów binarnych odpowiadających długością liczbie węzłów badanego systemu?
a) Tak, dla m >= 1
b) Tak
c) Nie, dla m > 1
d) Nie (PRAWIDŁOWA ODPOWIEDŹ) [ponieważ nie każdy węzeł opiniuje każdy, w syndromie są krawędzie a nie węzły]
2. Globalny syndrom stanu niezawodności systemu wynosi 0111000 może zostać wygenerowany tylko dla systemu o liczbie węzłów:
a) 7
b) niemniejszy niż 4 (PRAWIDŁOWA ODPOWIEDŹ) [ponieważ dla 3 wierzchołków maksymalny możliwy globalny syndrom ma 6 cyfr, a ten ma 7]
c) 6
d) 5
3. Ile składowych silnej spójności ma spójna, optymalna SOD (Struktura Opiniowania Diagnostycznego)?
a) dokładnie jedną (PRAWIDŁOWA ODPOWIEDŹ) [bo tak było w Piśmie napisane]
b) wiele bez względu na rząd części acyklicznej
c) wiele, lecz nie więcej niż m
d) zależy od rzędu części acyklicznej
4. Czy graf OD (Opiniowania Diagnostycznego) zawierający węzły o stopniu wejściowym 2 może reprezentować 2-diagnozowalną strukturę typu PMC?
a) Tak (PRAWIDŁOWA ODPOWIEDŹ) [ponieważ spełniona jest nierówność: μ−(e) ≥ m, e ∈ E; gdzie: μ−(e)jest stopniem wejściowym wierzchołka e, a m - stopniem diagnozowalności grafu diagnostycznego]
b) Nie
c) Tak, jeżeli stopień wyjściowy węzła = 1
d) Nie, jeżeli stopień wyjściowy węzła = 2
[ DSK_egzamin.docx ]
Znajomek 1:
1. Pytanie na warunek konieczny - przy SOD 10 stopnia jaka może być krotność diagnozowania (odp.: m = 4) |E| ≥ 2 * m + 1
2. Pytanie na warunek konieczny - ile węzłów może wchodzić do każdego węzła (odp.: <= m wchodzi do każdego węzła) μ−(e) ≥ m, e ∈ E; gdzie: μ−(e)jest stopniem wejściowym wierzchołka e, a m - stopniem diagnozowalności grafu diagnostycznego
3. Czy jak jest spełniony warunek konieczy Hakimiego, to... (odp.: nie ma warunku koniecznego Hakimiego, jest warunek wystarczający Hakimiego - odp. chyba tam była coś w stylu "na zajęciach nie omawialiśmy warunku koniecznego Hakimiego" - i to jest poprawna odpowiedź)
4. Czy struktura 3 rzędu jest zawsze 1-diagnozowalna: odp NIE.
1. Diagnoza jest kompletna ....
a) ...
b) ...
c) .. jeśli zdatne elementy są określane przez niezdatne elementy
d) .. jeśli niezdatne elementy są określane przez zdatne elementy
Odp. .. jeśli zdatne elementy są określane przez niezdatne elementy (ale chyba odwrotnie :/ sam już nie wiem którą z nich zaznaczyłem)
2. ... na zajęciach był wykorzystany warunek konieczny Hakimiego w zadaniu X .... przy sprawedzaniu m-diagnozowalności:
a) tak
b) nie
c) ... jeśli spełniony warunek wystarczający
d) jeśli spełnione warunki konieczne
Odp. sam nie wiem jaka wreszcie była poprawna odpowiedź (chyba coś z warunkiem wystarczającym)
3. Warunek wystarczający:
a) |E| = 2m+1
b) |E| = 2+1
c) |E| = m
d) |E|> = 2m+1 (PRAWIDŁOWA ODPOWIEDŹ)