Analiza zależności czasowych w drzewach niezdatności systemów związanych z bezpieczeństwem

Widok

Metadane zasobu

Tytuł	Analiza zależności czasowych w drzewach niezdatności systemów związanych z bezpieczeństwem
Osoby	Autorzy: Paweł Skrobanek Partner: Politechnika Wrocławska
Opis	Teza pracy: "Istnieje formalna metoda analizy drzew niezdatności z zależnościami czasowymi (na podstawie wstecznej analizy czasowych sieci Petri’ego modelujących drzewa niezdatności), która pozwoli na analizę bardziej złożonych drzew niezdatności niż w przypadku klasycznej analizy czasowych sieci Petri’ego modelujących drzewa niezdatności oraz zapewni jednoznaczność, precyzję i automatyzację procesu analizy." (Polski) Uwagi: Praca doktorska.
Słowa kluczowe	"teoria grafów"@pl, "czasowe sieci Petriego"@pl, "model sieci Petriego"@pl, "sieci Petriego"@pl, "bezpieczeństwo systemów komputerowych"@pl, "Model matematyczny"@pl
Klasyfikacja	Typ zasobu: praca dyplomowa Dyscyplina naukowa: dziedzina nauk technicznych (2011) Grupa docelowa: naukowcy, studenci Szkodliwe treści: Nie
Charakterystyka	Miejsce powstania: Wrocław Czas powstania: 2005 Liczba stron: 142 Promotor: Jan Magott Język zasobu: Polski Identyfikatory: OAI: 1142
Linki zewnętrzne	Dolnośląska Biblioteka Cyfrowa
Licencja	ID-NC-ND
Informacje techniczne	Deponujący: Olga Schabowicz Data udostępnienia: 23-07-2018
Kolekcje	Kolekcja Politechniki Wrocławskiej, Kolekcja e-Biblio PWr

Cytowanie

Skopiowano

Paweł Skrobanek. Analiza zależności czasowych w drzewach niezdatności systemów związanych z bezpieczeństwem. [praca dyplomowa] Dostępny w Atlasie Zasobów Otwartej Nauki, . Licencja: ID-NC-ND, https://azon.e-science.pl/licencje/ID-NC-ND_PWr.pdf. Data dostępu: DD.MM.RRRR.

Podobne zasoby

Czas wykonania programów współbieżnych dla modeli synchronizacji opisanych siecią Petri

Wojciech Noworyta, praca dyplomowa, Politechnika Wrocławska, dziedzina nauk technicznych / informatyka (2011)

Modele matematyczne i metody kompensacji wibracji robota z elastycznym ramieniem, badania symulacyjne i eksperymentalne

Ryszard Leniowski, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Konstrukcja i testowanie automatów rozmytych za pomocą technik metaheurystycznych

Krzysztof Zaniewski, praca dyplomowa, Instytut Badań Systemowych PAN w Warszawie, dziedzina nauk technicznych / informatyka (2011)

Algorytmy automatycznego modelowania asynchronicznych procesów współbieżnych

Zbigniew Banaszak, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Reprezentacja ruchu robota w sieciowych modelach ESP

Janusz Kuś, Zbigniew Banaszak, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Modelowanie stanu robota z zastosowaniem sieci Petriego

Gabriel Kost, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Zobacz więcej