Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Markov chain model" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Uncertainty analysis of the stability parameters of rock walls
    Autorzy:
    Mokhtar, S.
    Yousefirad, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/1849759.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    ściana skalna
    symulacja Monte Carlo
    model łańcucha Markowa
    oprogramowanie
    Rock Plane
    niepewność
    stabilność
    rock wall
    Monte Carlo simulation
    Markov chain model
    software
    uncertainty
    stability
    Opis:
    The purpose of this paper is to investigate the effects of natural uncertainties and effective parameters on the stability of plate-type rock walls. For this, the effective factors and geo-mechanical properties in the study area were obtained using field experiments. Stability analysis of rock walls was investigated for 40 scenarios in dry and saturated states. These parameters were then evaluated using Easyfit software and Markov chain analysis and Monte Carlo simulation by Rock Plane software. Comparison of the results of numerical and uncertainty methods shows that the rock walls with 60-80 degree slope are stable; and In saturated state they require stability due to the reduction of shear strength. Fixation of the rock walls was also investigated, indicating an optimum angle of 30° for the installation of the rock screw. The results show that the Monte Carlo simulation provides a simpler interpretation and the uncertainty methods are more accurate and reliable than the numerical methods.
    Źródło:
    Archives of Civil Engineering; 2020, 66, 4; 703-721
    1230-2945
    Pojawia się w:
    Archives of Civil Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelling CTMC with a standard programming language and using conventions from computer networking
    Modelowanie łańcuchów Markowa z czasem ciągłym przy użyciu standardowego języka programowania i z zastosowaniem konwencji z dziedziny sieci komputerowych
    Autorzy:
    Rataj, A.
    Nowak, M.
    Pecka, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/375742.pdf
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Markov chain
    continuous time
    model checking
    Java
    Opis:
    Continuous time Markov chains (CTMC) are one of the formalisms for building models. This paper discusses expressing these models in a standard programming language – Java. Using such a language as a model description allows for a partially common implementation of the production software and of the description of the model, for a greater flexibility in comparison to model-checker specific languages that often do not employ features of an object-oriented programming. Using Java also makes the parsing of models relatively fast, using optimised Java runtime environment. Our approach aims at using typical mechanisms of the Java language when implementing the model, and at the same time, following closely the concepts from computer networking and from formalisms based on it, like the queueing systems. These assumption result in techniques like plain object fields constituting the state vector, or negotiation between nodes to decide if an event happens.
    Łańcuchy Markowa czasu rzeczywistego są jednym z formalizmów używanych do budowy modeli. Artykuł ten omawia wyrażanie takich modeli w standardowym języku programowania - Javie. Użycie takiego języka umożliwia częściowo wspólną implementację oprogramowania użytkowego i opisu modelu, większą elastyczność w porównaniu do często nie używających obiektowych konwencji programistycznych języków stosowanych przez oprogramowanie weryfikujące, oraz szybką budowę modelu z użyciem zoptymalizowanego środowiska czasu wykonania Javy. Nasze podejście miało na celu wykorzystanie typowych mechanizmów języka Java przy opisie modelu i jednoczesnie trzymanie się konwencji z dziedziny sieci komputerowych i pokrewnych formalizmóm typu systemy kolejkowe. Dlatego używamy technik takich jak zastosowanie pól obiektów jako elementów wektora stanu czy negocjacja pomiędzy węzłami, czy dane zdarzenie ma mieć miejsce.
    Źródło:
    Theoretical and Applied Informatics; 2011, 23, 3-4; 229-243
    1896-5334
    Pojawia się w:
    Theoretical and Applied Informatics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Markov Model of Cyber Attack Life Cycle Triggered by Software Vulnerability
    Autorzy:
    Hoffmann, Romuald
    Powiązania:
    https://bibliotekanauki.pl/articles/1844613.pdf
    Data publikacji:
    2021
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Markov model
    cyber-attack
    vulnerability
    life cycle
    homogenous Markov process
    continuous time Markov chain
    Opis:
    Software vulnerability life cycles illustrate changes in detection processes of software vulnerabilities during using computer systems. Unfortunately, the detection can be made by cyber-adversaries and a discovered software vulnerability may be consequently exploited for their own purpose. The vulnerability may be exploited by cyber-criminals at any time while it is not patched. Cyber-attacks on organizations by exploring vulnerabilities are usually conducted through the processes divided into many stages. These cyber-attack processes in literature are called cyber-attack live cycles or cyber kill chains. The both type of cycles have their research reflection in literature but so far, they have been separately considered and modeled. This work addresses this deficiency by proposing a Markov model which combine a cyber-attack life cycle with an idea of software vulnerability life cycles. For modeling is applied homogeneous continuous time Markov chain theory.
    Źródło:
    International Journal of Electronics and Telecommunications; 2021, 67, 1; 35-41
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies