Національний аерокосмічний університет ім. М.Є. Жуковського “Харківський авіаційний інститут”

ISSN 1814-4225. РАДІОЕЛЕКТРОННІ І КОМП’ЮТЕРНІ СИСТЕМИ. – 2014. – № 5 (69). – 176 с.

ISSN 1814-4225. РАДИОЭЛЕКТРОННЫЕ И КОМПЬЮТЕРНЫЕ СИСТЕМЫ. – 2014. – № 5 (69). – 176 с.

ISSN 1814-4225. RADIOELECTRONIC AND COMPUTER SYSTEMS. – 2014. – № 5 (69). – 176 с.

Матеріали, що містяться в журналі, опубліковані за рішенням VII міжнародної науково-технічної конференціїї

«Гарантоздатні системи, сервіси та технології (DESSERT 2014)»

СТАТТІ (articleS)

Автори (мова оригіналу)	Назва статті (article title)			Сторінки (pages)
	English	Українська мова	Русский язык
Безпека критичних інфраструктур
Chen D., Asplund F., Östberg K.	A SYSTEMATIC APPROACH TO RISK MANAGEMENT IN ITS CONTEXT – CHALLENGES AND RESEARCH ISSUES	СИСТЕМНИЙ ПІДХІД ДО УПРАВЛІННЯ РИЗИКАМИ В ІТС – ПРОБЛЕМИ ТА ЗАВДАННЯ ДОСЛІДЖЕННЯ	СИСТЕМНЫЙ ПОДХОД К УПРАВЛЕНИЮ РИСКАМИ В ИТС – ПРОБЛЕМЫ И ЗАДАЧИ ИССЛЕДОВАНИЯ	7–11 (5)
Иванченко О. В., Харченко В. С.	METHOD OF CAUSAL AND COSEQUENCE CRITICAL INFRASTRUCTURES DECOMPOSITION OF ACCIDENTS AND INCIDENTS	МЕТОД ПРИЧИННО-НАСЛІДКОВОЇ ДЕКОМПОЗИЦІЇ АВАРІЙ ТА ІНЦИДЕНТІВ КРИТИЧНИХ ІНФРАСТРУКТУР	МЕТОД ПРИЧИННО-СЛЕДСТВЕННОЙ ДЕКОМПОЗИЦИИ АВАРИЙ И ИНЦИДЕНТОВ КРИТИЧЕСКИХ ИНФРАСТРУКТУР	12–17 (6)
Prochazkova D.	PRESENT CONCEPT OF INTEGRAL SAFETY OF NUCLEAR FACILITIES	СУЧАСНІ КОНЦЕПЦІЇ ІНТЕГРАЛЬНОЇ БЕЗПЕКИ ЯДЕРНИХ ОБ’ЄКТІВ	СОВРЕМЕННЫЕ КОНЦЕПЦИИ ИНТЕГРАЛЬНОЙ БЕЗОПАСНОСТИ ЯДЕРНЫХ ОБЪЕКТОВ	18–22 (5)
Prochazkova D., Prochazka J.	CRISIS MANAGEMENT PRINCIPLES AND COMPETENT CRISIS PLAN	ПРИНЦИПИ КРИЗОВОГО КЕРУВАННЯ ТА КОМПЕТЕНТНИЙ АНТИКРИЗОВИЙ ПЛАН	ПРИНЦИПЫ КРИЗИСНОГО УПРАВЛЕНИЯ И КОМПЕТЕНТНЫЙ АНТИКРИЗИСНЫЙ ПЛАН	23–28 (6)
Дубницький В. Ю., Кобилін А. М.	COMPARATIVE ANALYSIS OF RESULTS OF PLANNING OF NORMS OF BANK SAFETY BY FACILITIES OF CLASSIC AND NON-STANDARD INTERVAL ARITHMETIC	ПОРІВНЯЛЬНИЙ АНАЛІЗ РЕЗУЛЬТАТІВ ПЛАНУВАННЯ НОРМАТИВІВ БАНКІВСЬКОЇ БЕЗПЕКИ ЗАСОБАМИ КЛАСИЧНОЇ ТА НЕСТАНДАРТНОЇ ІНТЕРВАЛЬНОЇ АРИФМЕТИКИ	СРАВНИТЕЛЬНЫЙ АНАЛИЗ РЕЗУЛЬТАТОВ ПЛАНИРОВАНИЯ НОРМАТИВОВ БАНКОВСКОЙ БЕЗОПАСНОСТИ СРЕДСТВАМИ КЛАССИЧЕСКОЙ И НЕСТАНДАРТНОЙ ИНТЕРВАЛЬНОЙ АРИФМЕТИКИ	29–33 (5)
Якість та надійність ПЗ
Говорущенко Т. О., Красій А. В.	MATHEMATICAL MODELLING OF SOFTWARE REQUIREMENTS SPECIFICATIOIN AND SOFTWARE CHARACTERISTICS	МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ СПЕЦИФІКАЦІЇ ВИМОГ ТА ХАРАКТЕРИСТИК ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ	МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ СПЕЦИФИКАЦИИ ТРЕБОВАНИЙ И ХАРАКТЕРИСТИК ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ	34–39 (6)
Буй Д. Б., Колегаев А. М.	Formal Methods in Software Development	Формальні методи розробки програмного забезпечення	ФОРМАЛЬНЫЕ МЕТОДЫ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ	40–44 (5)
Буй Д. Б., Пузікова А. В.	THEORY OF NORMALIZATION IN RELATIONAL DATABASES (A SURVEY)	ТЕОРІЯ НОРМАЛІЗАЦІЇ В РЕЛЯЦІЙНИХ БАЗАХ ДАНИХ (ОГЛЯД)	ТЕОРИЯ НОРМАЛИЗАЦИИ В РЕЛЯЦИОННЫХ БАЗАХ ДАННЫХ (ОБЗОР)	45–49 ()
Конорев Б. М., Сергиенко В. В., Харченко В. С., Жолткевич Г. М.	ESTIMATING OF CRITICAL SOFTWARE LATENT FAULTS WITH REQUIRED TRUSTWORTHINESS	ПРОГНОЗУВАННЯ ІМОВІРНОСТІ ПРИХОВАНИХ ДЕФЕКТІВ КРИТИЧНОГО ПЗ ІЗ ЗАДАНОЮ ТОЧНІСТЮ	ПРОГНОЗИРОВАНИЕ ВЕРОЯТНОСТИ СКРЫТЫХ ДЕФЕКТОВ КРИТИЧЕСКОГО ПО С ЗАДАННОЙ ТОЧНОСТЬЮ	50–54 (5)
Маевский Д. А., Маевская Е. Ю., Жеков О. П.	VERIFICATION OF THE SOFTWARE RELIABILITY MODELS	ВЕРИФІКАЦІЯ МОДЕЛЕЙ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ	ВЕРИФИКАЦИЯ МОДЕЛЕЙ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ	55–59 (5)
Яремчук С. А.	INFORMATION TECHNOLOGY EVALUATION OF QUALITY And increase reliability SOFTWARE	інформаційна технологія оцінювання якості та підвищення НАДІЙНОСТІ програмного забезпечення	ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ОЦЕНИВАНИЯ КАЧЕСТВА И ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ	60–64 (5)
Белобородов А. Ю., Горбенко А. В., Харченко В. С.	QUEUING THEORY APPLICATION TO STUDY DISCLOSURE AND ELIMINATION PROCESSES OF SOFTWARE VULNERABILITIES	ЗАСТОСУВАННЯ АППАРАТУ ТЕОРІЇ МАСОВОГО ОБСЛУГОВУВАННЯ ДЛЯ ДОСЛІДЖЕННЯ ПРОЦЕССІВ ВИЯВЛЕННЯ ТА УСУНЕННЯ ВРАЗЛИВОСТЕЙ ПРОГРАМНИХ ЗАСОБІВ	ПРИМЕНЕНИЕ АППАРАТА ТЕОРИИ МАССОВОГО ОБСЛУЖИВАНИЯ ДЛЯ ИССЛЕДОВАНИЯ ПРОЦЕССОВ ВЫЯВЛЕНИЯ И УСТРАНЕНИЯ УЯЗВИМОСТЕЙ ПРОГРАММНЫХ СРЕДСТВ	65–69 (5)
Зелені обчислення та комунікації
Туркин И. Б., Вдовитченко А. В., Самир А. С.	OVERVIEW OF THE METHODS OF THE ADAPTIVE CONTROL BY POWER CONSUMING OF PERSONAL COMPUTERS	АНАЛІЗ МЕТОДІВ АДАПТИВНОГО КЕРУВАННЯ ЕНЕРГОСПОЖИВАННЯМ ПЕРСОНАЛЬНИХ КОМП’ЮТЕРІВ	АНАЛИЗ МЕТОДОВ АДАПТИВНОГО УПРАВЛЕНИЯ ЭНЕРГОПОТРЕБЛЕНИЕМ ПЕРСОНАЛЬНЫХ КОМПЬЮТЕРОВ	70–75 (6)
Кривцов А. Ю., Гонтовий С. В.	ANALYSIS OF GREEN METRICS AND TOOLS FOR EVALUATING ENERGY EFFICIENCY OF SOFTWARE	АНАЛІЗ ЗЕЛЕНИХ МЕТРІК ТА ІНСТРУМЕНТІВ ДЛЯ ОЦІНКИ ЕНЕРГОЕФЕКТИВНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ	АНАЛИЗ ЗЕЛЕНЫХ МЕТРИК И ИНСТРУМЕНТОВ ДЛЯ ОЦЕНКИ ЭНЕРГОЭФФЕКТИВНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ	76–80 (5)
Діагностування та надійність комп’ютерних систем
Емельянов В. А.	CONCEPTUAL MODEL OF THE INTELLIGENT DECISION SUPPORT SYSTEM FOR THE TECHNICAL DIAGNOSTICS	КОНЦЕПТУАЛЬНА МОДЕЛЬ ІНТЕЛЕКТУАЛЬНОЇ СИСТЕМИ ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ ДЛЯ ПРОЦЕСУ ТЕХНІЧНОЇ ДІАГНОСТИКИ	КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ДЛЯ ПРОЦЕССА ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ	81–85 (5)
Дегтярев А. Н.	INTERSYMBOL INTERFERENCE LEVEL REDUCTION IN MULTIBEAM WAVE PROPAGATION	ЗНИЖЕННЯ РІВНЯ МІЖСИМВОЛЬНІ ІНТЕРФЕРЕНЦІЇ ПРИ БАГАТОПРОМЕНЕВОГО ПОШИРЕННЯ РАДІОХВИЛЬ	СНИЖЕНИЕ УРОВНЯ МЕЖСИМВОЛЬНОЙ ИНТЕРФЕРЕНЦИИ ПРИ МНОГОЛУЧЕВОМ РАСПРОСТРАНЕНИИ РАДИОВОЛН	86–90 (5)
Ivanov D. E.	A NEW PARALLEL FAULT SIMULATION ALGORITHM OF VLSI FOR MULTICORE WORKSTATIONS	НОВИЙ ПАРАЛЕЛЬНИЙ АЛГОРИТМ МОДЕЛЮВАННЯ НВІС З ПОШКОДЖЕННЯМИ ДЛЯ БАГАТОЯДЕРНИХ РОБОЧІХ СТАНЦІЙ	НОВЫЙ ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ МОДЕЛИРОВАНИЯ СБИС С НЕИСПРАВНОСТЯМИ ДЛЯ МНОГОЯДЕРНЫХ РАБОЧИХ СТАНЦИЙ	91–95 (5)
Романкевич В. А.	SELF-TESTING OF MULTIPROCESSOR SYSTEMS WITH BUS ARCHITECTURE	Самотестування багатопроцесорних систем із шинною архітектурою	САМОТЕСТИРОВАНИЕ МНОГОПРОЦЕССОРНЫХ СИСТЕМ С ШИННОЙ АРХИТЕКТУРОЙ	96–99 (4)
Kupin A. I., Kumchenko Y. O.	USAGE OF TRAINING METHODS TO PARAMETERIZATION OF MULTILAYER NEURAL COMPUTING STRUCTURES FOR TECHNOLOGICAL PROCESSES	ВИКОРИСТАННЯ МЕТОДІВ НАВЧАННЯ ДЛЯ ПАРАМЕТРИЗАЦІЇ БАГАТОВИМІРНИХ НЕЙРОМЕРЕЖЕВИХ СТРУКТУР ТЕХНОЛОГІЧНОГО ПРИЗНАЧЕННЯ	ИСПОЛЬЗОВАНИЕ МЕТОДОВ ОБУЧЕНИЯ ДЛЯ параметризации многомерных нейросетевых СТРУКТУР ТЕХНОЛОГИЧЕСКОГО НАЗНАЧЕНИЯ	100–104 (5)
Твердохлебов В. А.	COMBINATION of solving of problems of control, diagnosing and parrying of defects	СУМІЩЕННЯ РІШЕНЬ ЗАВДАНЬ КОНТРОЛЮ, ДІАГНОСТУВАННЯ І ПАРИРУВАННЯ ДЕФЕКТІВ	СОВМЕЩЕНИЕ РЕШЕНИЙ ЗАДАЧ КОНТРОЛЯ, ДИАГНОСТИРОВАНИЯ И ПАРИРОВАНИЯ ДЕФЕКТОВ	105–109 (5)
Долгов Ю. А.	INVESTIGATION OF EXACTNESS OF SMALL SIZE SAMPLE PERAMETERS WITH DIFFERENT METHODS	ДОСЛІДЖЕННЯ ТОЧНОСТІ ВИЗНАЧЕННЯ ПАРАМЕТРІВ ВИБІРОК МАЛОГО ОБ'ЄМУ РІЗНИМИ МЕТОДАМИ	ИССЛЕДОВАНИЕ ТОЧНОСТИ ОПРЕДЕЛЕНИЯ ПАРАМЕТРОВ ВЫБОРОК МАЛОГО ОБЪЕМА РАЗЛИЧНЫМИ МЕТОДАМИ	110–113 (4)
Мандзій Б. А., Щербовських С. В.	MATHEMATICAL RELIABILITY MODEL FOR FAILURE CAUSE ANALYSIS FOR SYSTEM WITH SEGREGATED STANDBY REDUNDANCY	МАТЕМАТИЧНА МОДЕЛЬ НАДІЙНОСТІ ДЛЯ АНАЛІЗУ ПРИЧИН НЕПРАЦЕЗДАТНОСТІ СИСТЕМИ ІЗ РОЗДІЛЬНИМ ЗАМІЩУВАЛЬНИМ РЕЗЕРВУВАННЯМ	МАТЕМАТИЧЕСКАЯ МОДЕЛЬ НАДЕЖНОСТИ ДЛЯ АНАЛИЗА ПРИЧИН НЕРАБОТОСПОСОБНОСТИ СИСТЕМЫ С РАЗДЕЛЬНЫМ ЗАМЕСТИТЕЛЬНЫМ РЕЗЕРВИРОВАНИЕМ	114–118 (5)
Дмитриева О. А.	INTEGRATION STEP CONTROL IN PARALLEL IMPLEMENTATION OF GENERIC COLLOCATION BLOCK METHODS	КЕРУВАННЯ КРОКОМ ІНТЕГРУВАННЯ ПРИ ПАРАЛЕЛЬНІЙ РЕАЛІЗАЦІЇ УЗАГАЛЬНЕНИХ КОЛОКАЦІЙНИХ БЛОКОВИХ МЕТОДІВ	УПРАВЛЕНИЕ ШАГОМ ИНТЕГРИРОВАНИЯ ПРИ ПАРАЛЛЕЛЬНОЙ РЕАЛИЗАЦИИ ОБОБЩЕННЫХ КОЛЛОКАЦИОННЫХ БЛОЧНЫХ МЕТОДОВ	119–123 (5)
Zaitseva E., Levashenko V.	INVESTIGATION OF MULTI-STATE SYSTEM AVAILABILITY CHANGE DEPENDING ON SOME COMPONENTS STATES	ДОСЛІДЖЕННЯ ПРАЦЕЗДАТНОСТІ СИСТЕМИ З ДЕКІЛЬКОМА РІВНЯМИ ПРАЦЕЗДАТНОСТІ ЗАЛЕЖНО ВІД ЗМІНИ СТАНУ ДЕКІЛЬКОХ ЕЛЕМЕНТІВ	ИССЛЕДОВАНИЕ РАБОТОСПОСОБНОСТИ СИСТЕМЫ С НЕСКОЛЬКИМИ УРОВНЯМИ РАБОТОСПОСОБНОСТИ В ЗАВИСИМОСТИ ОТ ИЗМЕНЕНИЯ СОСТОЯНИЯ НЕСКОЛЬКИХ ЭЛЕМЕНТОВ	124–128 (5)
Гарантоздатність та резіл’єнтність хмарних систем
Лисенко С. М., Савенко О. С., Нічепорук А. О.	TECHNIQUE FOR POLYMORPHIC CODE OF THE BOTNET’S BOTS	МЕТОД ВИЯВЛЕННЯ ПОЛІМОРФНОГО КОДУ БОТІВ БОТНЕТ-МЕРЕЖ	МЕТОД ВЫЯВЛЕНИЯ ПОЛИМОРФНОГО КОДА БОТОВ БОТНЕТ-СЕТЕЙ	129–134 (6)
Мазуренко Н. И., Харченко В. С., Горбенко А. В.	WEB- SYSTEM DYNAMICAL RECONFIGURATION BASED ON METRIC ANALYSIS OF VULNERABILITY DATABASES OTS-COMPONENTS	ДИНАМІЧНЕ РЕКОНФІГУРУВАННЯ ВЕБ-СИСТЕМИ ШЛЯХОМ МЕТРИЧНОГО АНАЛІЗУ БАЗ ДАНИХ ВРАЗЛИВОСТЕЙ OTS-КОМПОНЕНТІВ	ДИНАМИЧЕСКАЯ РЕКОНФИГУРАЦИЯ ВЕБ-СИСТЕМЫ НА ОСНОВЕ МЕТРИЧЕСКОГО АНАЛИЗА БАЗ ДАННЫХ УЯЗВИМОСТЕЙ ОТS-КОМПОНЕНТОВ	135–139 (5)
Відмовобезпека систем на програмованій логіці
Дрозд М. А., Дрозд Ю. В.	A PROBLEM OF HIDDEN FAULTS FOR INSTRUMENTATION AND CONTROL SAFETY-CRITICAL SYSTEMS	ПРОБЛЕМА СКРИТИХ НЕСПРАВНОСТЕЙ ДЛЯ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ КРИТИЧНОГО ЗАСТОСУВАННЯ	ПРОБЛЕМА СКРЫТЫХ НЕИСПРАВНОСТЕЙ ДЛЯ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ КРИТИЧЕСКОГО ПРИМЕНЕНИЯ	140–145 (6)
Скобцов В. Ю.	CHARACTERISTIC SEQUENCES IN TEST DIAGNOSTICS CONTEXT OF DEVICES WITH MEMORY	ХАРАКТЕРИСТИЧНІ ПОСЛІДОВНОСТІ В КОНТЕКСТІ ТЕСТОВОЇ ДІАГНОСТИКИ ПРИСТРОЇВ З ПАМ'ЯТТЮ	ХАРАКТЕРИСТИЧЕСКИЕ ПОСЛЕДОВАТЕЛЬНОСТИ В КОНТЕКСТЕ ТЕСТОВОЙ ДИАГНОСТИКИ УСТРОЙСТВ С ПАМЯТЬЮ	146–151 (6)
Tyurin S. F.	FAULT TOLERANT LOGIC ELEMENT - FTLUT FPGA	ВIДМОВОСТIЙКI ЛОГIЧНI ЕЛЕМЕНТ ПЛІС FPGA	ОТКАЗОУСТОЙЧИВЫЙ ЛОГИЧЕСКИЙ ЭЛЕМЕНТ ПЛИС FPGA	152–159 (8)
Куланов В. А., Перепелицын А. Е.	FLEXIBLE FPGA COMPUTER SYSTEMS DESIGN OF REED-SOLOMON CODES	ПРОЕКТУВАННЯ ГНУЧКИХ АРХІТЕКТУР ОБЧИСЛЮВАЛЬНИХ СИСТЕМ НА ПЛІС НА ПРИКЛАДІ РЕАЛІЗАЦІЇ КОДІВ РІДА-СОЛОМОНА	ПРОЕКТИРОВАНИЕ ГИБКИХ АРХИТЕКТУР ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ НА ПЛИС НА ПРИМЕРЕ РЕАЛИЗАЦИИ КОДОВ РИДА-СОЛОМОНА	160–164 (5)
Клятченко Я. М., Тарасенко- Клятченко О. В., Тарасенко В. П., Тесленко О. П.	RELIABILITY EVALUATION METHOD OF FUNCTIONING LOGIC NETWORKS IN THE DISTORTION OF INPUT DATA DETERMINED	МЕТОД ОЦІНКИ ДОСТОВІРНОСТІ ФУНКЦІОНУВАННЯ ЛОГІЧНИХ МЕРЕЖ В УМОВАХ ДЕТЕРМІНОВАНИХ СПОТВОРЕНЬ ВХІДНИХ ДАНИХ	Метод оценки достоверности функционирования логических сетей в условиях детерминированных искажений входных данных	165–169 (5)
Співпраця університетів та ІТ-індустрії
Харченко В. С., Скляр В. В.	UNIVERSITY AND IT-INDUSTRY COOPERATION: STRUCTURE, RESULTS AND PERSPECTIVES IN UKRAINE	КООПЕРАЦІЯ УНІВЕРСИТЕТІВ ТА ІТ-ІНДУСТРІЇ: СТРУКТУРА, РЕЗУЛЬТАТИ ТА ПЕРСПЕКТИВИ В УКРАЇНІ	КООПЕРАЦИЯ УНИВЕРСИТЕТОВ И IT-ИНДУСТРИИ: СТРУКТУРА, РЕЗУЛЬТАТЫ И ПЕРСПЕКТИВЫ В УКРАИНЕ	170–174 (5)

Шановні читачі!

Науково-технічний журнал «РАДІОЕЛЕКТРОННІ І КОМП'ЮТЕРНІ СИСТЕМИ»:

- входить до затвердженого ДАК Переліку наукових фахових видань України, в яких можуть друкуватися основні результати дисертаційних робіт на здобуття наукових ступенів доктора і кандидата наук (див. постанову президії ВАК України № 1-05/3 від 8.07.2009 р.);

- зберігається у загальнодержавній реферативній базі даних «Україніка наукова» та публікується у відповідних тематичних серіях українського реферативного журналу «Джерело» (вільний он-лайновий доступ до ресурсів на Web-сервері http://www.nbuv.gov.ua) (Україна);

- зберігається у реферативній базі даних Всеросійського інституту наукової і технічної інформації (ВІНІТІ) Російської академії наук і публікується у відповідних тематичних серіях РЖ (вільний он-лайновий доступ до ресурсів на Web-сервері http://www.viniti.ru) (Російська Федерація);

- включений в міжнародні бібліометричні та наукометричні бази даних: наукової електронної бібліотеки eLIBRARY.RU (Російська Федерація), Index Copernicus (Польща), INSPEC (Institution of Engineering and Technology, Великобританія), Google Scholar.