Multi-fragmental Markov's Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures (Englisch)
- Neue Suche nach: Kharchenko, Vyacheslav
- Neue Suche nach: Ponochovnyi, Yuriy
- Neue Suche nach: Boyarchuk, Artem
- Neue Suche nach: Andrashov, Anton
- Neue Suche nach: Rudenko, Ihor
- Neue Suche nach: Kharchenko, Vyacheslav
- Neue Suche nach: Ponochovnyi, Yuriy
- Neue Suche nach: Boyarchuk, Artem
- Neue Suche nach: Andrashov, Anton
- Neue Suche nach: Rudenko, Ihor
In:
Information and communication technologies in education, research, and industrial applications
; 302-326
;
2020
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Multi-fragmental Markov's Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures
-
Beteiligte:Kharchenko, Vyacheslav ( Autor:in ) / Ponochovnyi, Yuriy ( Autor:in ) / Boyarchuk, Artem ( Autor:in ) / Andrashov, Anton ( Autor:in ) / Rudenko, Ihor ( Autor:in )
-
Kongress:ICTERI ; 15. ; 2019 ; Cherson
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2020
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.80
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.80 Angewandte Informatik -
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic ToolsDoroshenko, Anatoliy / Beketov, Oleksii / Bondarenko, Mykola / Yatsenko, Olena et al. | 2020
- 24
-
Optimized Term Extraction Method Based on Computing Merged Partial C-ValuesKosa, Victoria / Chaves-Fraga, David / Dobrovolskyi, Hennadii / Ermolayev, Vadim et al. | 2020
- 50
-
Expressibility in the Kleene Algebra of Partial Predicates with the Complement CompositionIvanov, levgen / Nikitchenko, Mykola et al. | 2020
- 68
-
Program-Oriented Logics of Renominative Level with Extended Renomination and EqualityNikitchenko, Mykola / Shkilniak, Oksana / Shkilniak, Stepan et al. | 2020
- 89
-
SMT-LIB Theory of Nominative DataOmelchuk, Liudmyla / Shyshatska, Olena et al. | 2020
- 111
-
Intelligent Support of the Business Process Model Analysis and Improvement MethodKopp, Andrii / Orlovskyi, Dmytro et al. | 2020
- 136
-
The Use of Analogy to Simplify the Mathematical Description of the Didactical ProcessPlaskura, Pawet et al. | 2020
- 163
-
Developing a Mobile Augmented Reality Application for Enhancing Early Literacy SkillsAblyaev, Marlen / Abliakimova, Afife / Seidametova, Zarema et al. | 2020
- 186
-
System for Testing Physics KnowledgeLvov, Michail / Kuzmenkov, Sergey / Kravtsov, Hennadiy et al. | 2020
- 210
-
Digital Learning Environment of Ukrainian Universities: The Main Components to Influence the Competence of Students and TeachersKuzminska, Olena / Mazorchuk, Mariia / Morze, Nataliia / Kobylin, Oleg et al. | 2020
- 231
-
Complexity Theory and Dynamic Characteristics of Cognitive ProcessesSoloviev, Vladimir / Moiseienko, Natalia / Tarasova, Olena et al. | 2020
- 257
-
Short-Term Electricity Price Forecasting: Deep ANN vs GAMMeier, Jan-Hendrik / Schneider, Stephan / Le, Chan / Schmidt, Iwana et al. | 2020
- 277
-
Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase ModelStrielkina, Anastasiia / Volochiy, Bohdan / Kharchenko, Vyacheslav / Volochiy, Serhiy et al. | 2020
- 302
-
Multi-fragmental Markov's Models for Safety Assessment of NPP I&C System Considering Migration of Hidden FailuresKharchenko, Vyacheslav / Ponochovnyi, Yuriy / Boyarchuk, Artem / Andrashov, Anton / Rudenko, Ihor et al. | 2020
- 327
-
About One Approach to Modelling Dynamics of Network Community OpinionZholtkevych, Grygoriy / Muradyan, Olena / Ohulchanskyi, Kostiantyn / Shelest, Sofiia et al. | 2020
- 348
-
Our Approach to Formal Verification of Token Economy ModelsLetychevskyi, Oleksandr / Peschanenko, Volodymyr / Poltoratskyi, Maksym / Tarasich, Yuliia et al. | 2020
- 364
-
Using Trading System Consolidated Models in Stock Exchange Price ForecastingPankratova, Liubov / Paientko, Tetiana / Lysenko, Yaroslav et al. | 2020
- 367
-
Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems)Shabanov, Dmytro / Vladymyrova, Marina / Leonov, Anton / Biriuk, Olga / Kravchenko, Marina / Mair, Quentin / Meleshko, Olena / Newman, Julian / Usova, Olena / Zholtkevych, Grygoriy et al. | 2020
- 415
-
Cluster Analysis of Countries Inequality Due to IT Development Through Macros ApplicationKobets, Vitaliy / Yatsenko, Valeria / Voynarenko, Mykhaylo et al. | 2020