Polski
English
ZGŁOŚ PROBLEM
ODSYŁACZE
Link do zasobu (skrót):
http://azon.e-science.pl/zasoby/14867Link do zasobu (repozytorium):
https://id.e-science.pl/records/14867Metadane 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 | |
| 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 |
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)