Друковані видання
Постійне посилання зібрання
Переглянути
Перегляд Друковані видання за Дата публікації
Зараз показуємо 1 - 20 з 341
Результатів на сторінці
Налаштування сортування
Документ Photoelectrical properties of CdxHg1-xTe epitaxial layers irradiated by nanosecond laser pulses(1995-01) Kopishynska, O. P.; Motel', P E; Borsch, V V; Gnatyuk, V A; Vlasenko, A I; Копішинська, Олена ПетрівнаДокумент Photoelectric Properties Of Polycrystalline CdxHg1-xTe Layers On Sapphire(1995-09) Kopishynska, O. P.; Vlasenko, A I; Mozol, P E.; Sukach, A V; Gnatyuk, V A; Lukyanenko, V I; Копішинська, Олена ПетрівнаДокумент Effect of laser irradiation on the photoconductivity and noise in n-Cdx Hg1−x Te single crystals(1997-07) Kopishynska, O. P.; Mozol, P E; Gnatyuk, V A; Vlasenko, A I; Копішинська, Олена ПетрівнаДокумент Синтез адаптивных алгоритмов диагностирования сложных технических систем(2009) Иванченко, О.В.; Мащенко, Е.Н.; Маврин, С.А.Документ Комплексный подход к управлению критическими инфраструктурами по техническому мегасостоянию(2010) Яцек, Я. Ф.; Иванченко, О. В.; Войтюк, А. В.; Степанов, В. А.Документ Методология FMECA: новая парадигма анализа видов и последствий отказов критических инфраструктур(2010) Харченко, В.С.; Иванченко, О.В.; Мащенко, Е.Н.Документ Техническое обслуживание компонентной составляющей критических инфраструктур(2011) Иванченко, О.В.; Ловягин, В.С.Документ Модели надёжности и безопасности критических энергетических инфраструктур(2011) Иванченко, О. В.; Бочарова, В. В.; Владимирова, Е. С.; Фомина, А. Б.Документ Математическая модель цифрового средства измерения с двухзвенным аналого-цифровым преобразователем последовательных приближений(2011) Иванченко, О. В.; Кривонос, М. В.; Бирюков, Д. Ю.Документ Цикломатическая сложность моделей компонентов критических инфраструктур(2011) Скатков, А.В.; Иванченко, О.В.Документ Управління іміджем підприємства через формування стратегії розвитку галузі конярства(2012) Копішинська, Олена Петрівна; Кучерук, Вікторія В.Документ Математичні веб-сервіси у навчанні математики(2012-04-27) Флегантов, Леонід ОлексійовичДокумент Причинно-следственная декомпозиция аварий и инцидентов критических инфраструктур(2013) Иванченко, О.В.; Харченко, В.С.Документ Задачі нелінійного програмування в економічних дослідженнях(2014) Протас, Надія Михайлівна; Шейко, Катерина ВасилівнаДокумент Дослідження ефективності застосування методу Монте-Карло при оптимізаційному моделюванні управлінських задач про призначення(2014) Копішинська, Олена Петрівна; Калініченко, Антоніна Володимирівна; Шестаченко, К. В.Публікація Assessment of the reactor trip system dependability: Two markov's chains - Based cases(DT 2014 - 10th International Conference on Digital Technologies 2014 Conference Paper2014, 2014) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe diversity approach is commonly used to ensure dependability attributes of such critical computer-based systems as nuclear power plants information and control (NPPs I&C) systems, including the Reactor Trip System. There are two basic problems emerging in this approach - the choice of product-process diversity kinds and assessment of multi-version systems dependability. This paper presents a study for dependability assessment of two architectures of a typical NPP I&C system, the Reactor Trip System: a diverse two-channel system with three parallel tracks on voting logic "2-out-of-3" in each channel and a diverse three-channel system with two parallel tracks on voting logic "1-out-of-2" in each channel. The multi-fragmentation approach is proposed to provide a detailed description of RTS hardware-software interconnection. The resulting models are stiff, which poses a problem in case of achieving the accurate numerical solution. Thus, the models are solved using a number of approaches and tools to verify the results. Obtained results can help to make informed decision between the observed RTS architectures.Публікація Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508(Probabilistic Safety Assessment and Management PSAM 12, June 2014, Honolulu, Hawaii, 2014-06) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаThe accurate dependability and safety assessment of systems for critical applications is an important task in development and certification processes. It can be conducted through probabilistic model-based evaluation using the variety of tools and techniques (T&T). As each T&T is bounded by its application area the careful selection of the appropriate one is highly important. In this paper, we present the gap-analysis of well-known modeling approach – Markov modeling, mainly for T&T selection and application procedures, and how one of the leading safety standard IEC 61508 tracks those gaps. We discuss how main assessment risks can be eliminated or minimized using metric-based approach and present the safety assessment of typical NPP I&C system, the Reactor Trip System. The results analysis determines the feasibility of introducing new regulatory requirements for selection and application of T&T, which are used for MM-based assessment of safety.Документ Аналіз тенденцій розвитку стандартів у галузі безпеки інформаційних технологій, що розгортаються у хмарних середовищах(2015) Поночовний, Юрій Леонідович; Воронянський, В. С.Документ Методи розв’язання задач багатокритеріальної оптимізації(2015) Протас, Надія Михайлівна; Шейко, Катерина ВасилівнаПублікація Metric-based Approach and Tool for Modeling the I&C System Using Markov Chains(Proceedings of ICONE-23 23rd International Conference on Nuclear Engineering May 17-21, 2015, Chiba, Japan, 2015-05-17) Odarushchenko, O. B.; Одарущенко, Олена БорисівнаMarkov’s chains (MC) are well-know and widely applied in dependability and performability analysis of safety-critical systems, because of the flexible representation of system components dependencies and synchronization. There are few roadblocks for greater application of the MC: accounting the additional system components increases the model statespace and complicates analysis; the non-numerically sophisticated user may find it difficult to decide between the variety of numerical methods to determine the most suitable and accurate for their application. Thus obtaining the high accurate and trusted modeling results becomes a nontrivial task. In this paper, we present the metric-based approach for selection of the applicable solution approach, based on the analysis of MCs stiffness, decomposability, sparsity and ragmentedness. Using this selection procedure the modeler can provide the verification of earlier obtained results. The presented approach was implemented in utility MSMC, which supports the MC construction, metric-based analysis, recommendations shaping and model solution. The model can be exported to the well-known off-the-shelf mathematical packages for verification. The paper presents the case study of the industrial NPP I&C system, manufactured by RPC Radiy. The paper shows an application of metric-based approach and MSMC tool for dependability and safety analysis of RTS, and procedure of results verification.