Кафедра інформаційних систем та технологій
Постійне посилання на фонд
Переглянути
Перегляд Кафедра інформаційних систем та технологій за Дата публікації
Зараз показуємо 1 - 20 з 363
Результатів на сторінці
Налаштування сортування
Документ Влияние мощного лазерного излучения на дефектную структуру и свойства слоев CdxHg1-xTe(1993) Власенко, А. И.; Мозоль, Петр Е.; Гнатюк, Владимир А.; Копишинская, Елена П.Документ Влияние особенностей структуры эпитаксиальных слоев CdxHg1-xTe на электрические и фотоэлектрические свойства при лазерном облучении(1993-11) Мозоль, Петр Е.; Власенко, А. И.; Гнатюк, Владимир А.; Копишинская, Елена П.Документ 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) Поночовний, Юрій Леонідович; Воронянський, В. С.