На головну сторінку

ЗМIСТ

Гарантоздатність сервіс-орієнтованих систем

Одарущенко О.М., Божко В.І.

АНАЛІЗ МЕТОДІВ БОРОТЬБИ З ТУПИКОВИМИ СИТУАЦІЯМИ
В КРИТИЧНИХ ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМАХ........................................................... 7

Раскин Л.Г., Серая О.В., Пустовойтов П.Е.

АНАЛИЗ ИНФОРМАЦИОННОЙ ГАРАНТОСПОСОБНОСТИ КОМПЬЮТЕРНЫХ СЕТЕЙ... 11

Сидоренко А. Н.

ЛОГИКО-ЛИНГВИСТИЧЕСКИЙ МЕТОД РАСЧЕТА СТАВКИ ДИСКОНТИРОВАНИЯ

ДЛЯ ПРИНЯТИЯ РЕШЕНИЙ ПО УПРАВЛЕНИЮ ПОРТФЕЛЕМ ЦЕННЫХ БУМАГ............. 15

Сорокин А. Б., Тычина И. И.

ОПТИМИЗАЦИЯ ПЛАНА РАСПРЕДЕЛЕНИЯ РЕСУРСА

ОРБИТАЛЬНОЙ ГРУППИРОВКИ............................................................................................... 21

Горбенко І. Д., Ілясова О. Є.

МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ПРОЦЕСІВ ПОБУДОВИ ПАРАМЕТРІВ

ЕЛІПТИЧНИХ КРИВИХ ДЛЯ КРИПТОГРАФІЧНИХ ПЕРЕТВОРЕНЬ..................................... 27

Відмовостійкі системи

Захаров Н.А.

ОТКАЗОУСТОЙЧИВЫЕ АРХИТЕКТУРЫ АСУ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИ

И СИСТЕМ ПРОТИВОАВАРИЙНОЙ ЗАЩИТЫ НА БАЗЕ

ОБЩЕПРОМЫШЛЕННЫХ ПЛК GE FANUC.............................................................................. 32

Кондратенко Ю. П., Шишкин А. С.

ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ АНАЛИЗА

УРОВНЯ ГАРАНТОСПОСОБНОСТИ ЭЛЕМЕНТОВ

АДАПТИВНЫХ РОБОТОТЕХНИЧЕСКИХ СИСТЕМ................................................................ 37

Шурыгин О.В.

ВЫБОР ОТКАЗОУСТОЙЧИВЫХ СТРУКТУР

С ВРЕМЯ-ВЕРСИОННОЙ ИЗБЫТОЧНОСТЬЮ......................................................................... 44

Функціональна безпека та живучість

Скляр В.В., Токарев В.И., Герасименко А.Д.

ИЕРАРХИЧЕСКАЯ МОДЕЛЬ ОЦЕНКИ НАДЕЖНОСТИ МНОГОКОМПОНЕНТНЫХ

ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ................................................................... 49

Харченко В.С., Бородавка Н.П.

ИСПОЛЬЗОВАНИЕ СЕТЕЙ ПЕТРИ ПРИ ПРОВЕДЕНИИ АНАЛИЗА ЖИВУЧЕСТИ

БОРТОВЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ............................................. 55

Харыбин А.В., Одарущенко О.Н.

О ПОДХОДЕ К РЕШЕНИЮ ЗАДАЧИ ВЫБОРА МЕТОДОЛОГИИ

ОЦЕНКИ СТРУКТУРНОЙ НАДЕЖНОСТИ И ЖИВУЧЕСТИ

ИНФОРМАЦИОННЫХ СЕТЕЙ КРИТИЧЕСКОГО ПРИМЕНЕНИЯ......................................... 61

Фурман І.О., Бовчалюк С.Я.

МАТЕМАТИЧНА МОДЕЛЬ ПАРАЛЕЛЬНОГО КЕРУЮЧОГО АВТОМАТА

ПІДВИЩЕНОЇ НАДІЙНОСТІ...................................................................................................... 71

Інформаційна безпека

Потий А.В., Ларгин И.В., Ткачук Ю.П.

ОПИСАНИЕ ТРЕБОВАНИЙ БЕЗОПАСНОСТИ ИНФОРМАЦИИ

В НОТАЦИИ ARIS EEPC............................................................................................................ 75

Резуненко А.А., Коваленко А.А.

МЕТОД СКРЫТИЯ ИНФОРМАЦИОННЫХ СООБЩЕНИЙ В ОБЛАСТИ

ПРЕОБРАЗОВАНИЯ СТАТИЧЕСКИХ ФОТОРЕАЛИСТИЧНЫХ ИЗОБРАЖЕНИЙ................ 81

Колесников К.В., Шадхин В.Е.

СИСТЕМНЫЙ АНАЛИЗ КРИТЕРИЕВ И ПАРАМЕТРОВ ПРОЕКТИРОВАНИЯ

СИСТЕМЫ ЗАЩИТЫ................................................................................................................... 87

Стасєв Ю. В., Кузнецов А. А., Юкальчук А. А.

РАЗРАБОТКА И ИССЛЕДОВАНИЕ КРИПТОГРАФИЧЕСКИ

СТОЙКИХ БУЛЕВЫХ ФУНКЦИЙ............................................................................................. 91

Системи контролю та діагностування

Иванов Д.Е., Скобцов Ю.А., Эль-Хатиб А.И.

РАСПРЕДЕЛЕННЫЕ АЛГОРИТМЫ МОДЕЛИРОВАНИЯ И ГЕНЕРАЦИИ ТЕСТОВ............. 97

Локазюк В.М., Ляшкевич В.Я.

ІНФОРМАЦІЙНА СИСТЕМА ПОШУКУ ДІАГНОСТИЧНОЇ ІНФОРМАЦІЇ

МІКРОПРОЦЕСОРНИХ ПРИСТРОЇВ........................................................................................ 103

Поморова О.В., Олар О.Я.

МЕТОД ПРЕДСТАВЛЕННЯ ЗНАНЬ У БАГАТОКОМПОНЕНТНИХ

ІНТЕЛЕКТУАЛЬНИХ СИСТЕМАХ ДІАГНОСТУВАННЯ

МІКРОПРОЦЕСОРНИХ ПРИСТРОЇВ........................................................................................ 110

Пономаренко А. В.

УНИВЕРСАЛЬНЫЕ ТЕСТЫ ДЛЯ СПЕЦИАЛЬНЫХ КЛАССОВ

КОНЕЧНЫХ АВТОМАТОВ....................................................................................................... 115

Твердохлебов В.А.

ТЕХНИЧЕСКОЕ ДИАГНОСТИРОВАНИЕ ИЗМЕНЕНИЙ ПАРАМЕТРОВ

И СВОЙСТВ СИСТЕМ............................................................................................................... 119

Надійність програмного забезпечення

Bošković M., Warns T., Hasselbring W.

MODEL DRIVEN INSTRUMENTATION

FOR RELATIONAL EVENT TRACES......................................................................................... 124

Vilkomir S. A.

USING MC/DC AND RC/DC CRITERIA FOR SPECIFICATION-BASED

TESTING OF SAFETY-CRITICAL SOFTWARE......................................................................... 130

Govoruschenko Т.О.

DETERMINATION OF NECESSITY AND ADVISABLE METHOD(S)

OF REPEATED APPLICATION SOFTWARE TESTING............................................................. 136

Сакада О. М., Марченко О. І.

СТРУКТУРА N-ВЕРСІЙНОГО ПЛАНУВАЛЬНИКА............................................................... 142

Скляр В.В., Белый Ю.А.

МЕТРИЧЕСКАЯ ОЦЕНКА ИЗМЕНЕНИЙ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ................................................................. 147

Syrevitch Yev. Yef., Karasyov A.L., Mehana S.S.

FUNCTIONAL VERIFICATION QUALITY METRICS AT HDL-MODEL VERIFICATION....... 153

Turkin I.B., Luchshev P.A.

FORMAL MODEL OF TECHNOLOGICAL PROCESSES'S DESCRIPTION OF

COMPLEX TECHNICAL SYSTEMS'S TESTS............................................................................. 158

Хаханов В.И., Елисеев В.В.

ПРИМЕНЕНИЕ IEEE СТАНДАРТОВ ДЛЯ ТЕСТИРОВАНИЯ

ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ.................................................................. 163

Шкиль А.С., Чегликов Д.И., Зинченко Д.Е.

РЕАЛИЗАЦИЯ ПРОЦЕДУР ИМПЛИКАЦИИ НА ГРАФОВОЙ СТРУКТУРЕ........................ 172

Телекомунікаційні системи

Дядик Д. Ф., Гаркуша С. В., Стрюк О. Ю.

АДАПТИВНИЙ МЕТОД ПЕРЕТВОРЕННЯ КОЛЬОРОВИХ КООРДИНАТ ВІДЕОДАНИХ.. 177

Кучук Г. А., Можаєв О. О., Воробйов О. В.

МЕТОД ПРОГНОЗУВАННЯ ФРАКТАЛЬНОГО ТРАФІКА.................................................... 181

Lypchanskiy1 A.I., Gharibi W.

THE APPLICATION OF LINEAR PROGRAMMING METHODS

FOR COMPUTER SYSTEMS DESIGN........................................................................................ 189

Талалаєв В.О., Здоренко Ю.М., Циніцький Б.Л.

МОБІЛЬНІ ТЕЛЕКОМУНІКАЦІЙНІ МЕРЕЖІ КРИТИЧНОГО ЗАСТОСУВАННЯ:

ЗАДАЧІ СТРУКТУРНО-ПАРАМЕТРИЧНОГО АНАЛІЗУ І СИНТЕЗУ................................... 193

Фауре Э.В.

НЕЛИНЕЙНЫЕ ПРЕОБРАЗОВАНИЯ ДИСКРЕТНЫХ СЛУЧАЙНЫХ ПРОЦЕССОВ........... 200

Системи цифрової обробки сигналів

Дубик А.Н., Слюсар В.И., Зинченко А.А.

ПРИМЕНЕНИЕ MIMO-СИСТЕМ ДЛЯ ПОВЫШЕНИЯ НАДЕЖНОСТИ

ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ КРИТИЧЕСКОГО ПРИМЕНЕНИЯ..................... 206

Приходько С.Б.

УСТОЙЧИВОСТЬ ОТ ВОЗДЕЙСТВИЯ ШИРОКОПОЛОСНЫХ ПОМЕХ

СИСТЕМЫ СВЯЗИ, ОСНОВАННОЙ НА ПЕРЕДАЧЕ СЛУЧАЙНЫХ СИГНАЛОВ.............. 210

Слюсар В.И., Васильев К.А., Уткин Ю.В.

ИССЛЕДОВАНИЕ ВОЗМОЖНОСТЕЙ ЧАСТОТНОГО УПЛОТНЕНИЯ

СИГНАЛОВ N-OFDM НА ОСНОВЕ БАЗИСНЫХ ФУНКЦИЙ ХАРТЛИ............................... 215

АНОТАЦІЇ................................................................................................................................... 219

ВІДОМОСТІ ПРО АВТОРІВ....................................................................................................... 227

АЛФАВІТНИЙ ПОКАЖЧИК..................................................................................................... 231

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

Науково-технічний журнал
“РАДІОЕЛЕКТРОННІ І КОМП'ЮТЕРНІ СИСТЕМИ“
включений до переліку наукових видань, в яких можуть друкуватися основні результати дисертаційних робіт
(див. постанову президії ВАК України №1-05/10 від 10.12.2003)

На головну сторінку