Содержание РЭКС 6 2008

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

ЗМIСТ

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

Бахмач Е.С., Сиора А.А., Скляр В.В., Токарев В.И., Харченко В.С

ПЛИС-ПЛАТФОРМА В КРИТИЧЕСКИХ ПРИЛОЖЕНИЯХ:
ГАРАНТОСПОСОБНЫЕ МАСШТАБИРУЕМЫЕ РЕШЕНИЯ
ДЛЯ ИНФОРМАЦИОННЫХ И УПРАВЛЯЮЩИХ СИСТЕМ АЭС........................................ 12

Ирадж Эльяси Комари, Горбенко А.В.

АНАЛИЗ ГАРАНТОСПОСОБНОСТИ РАСПРЕДЕЛЕННОЙ ИУС
НЕФТЕГАЗОВОГО КОМПЛЕКСА С ИСПОЛЬЗОВАНИЕМ
РАСШИРЕННЫХ FME(C)A-ТАБЛИЦ.................................................................................... 20

Локазюк В. М., Котляр Є. Й.

МАТЕМАТИЧНІ МОДЕЛІ ПІДВИЩЕННЯ ЕФЕКТИВНОСТІ
ТЕХНОЛОГІЇ ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ
ЗАБЕЗПЕЧЕННЯ ВИРОБНИЦТВА ВЗУТТЯ ......................................................................... 24

Syrotyuk A., Bokhan K., Oksuchenko O., Kharchenko S.

MEDICAL INFORMATION SYSTEMS: ANALYSIS OF DEVELOPMENT
AND APPLICATION EXPERIENCE......................................................................................... 32

Ляхов А.Л., Демиденко М.И.

НАДЕЖНОСТЬ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ
УЧЕБНЫМ ПРОЦЕССОМ В ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЯХ...................................... 39

Cherkaskyy M.

INTERDEPENDENCE OF COMPLEXITY CHARACTERISTICS
AND COMPUTER SYSTEMS DEPENDABILITY.................................................................... 46

Скаткова Н.А.

ГАРАНТОСПОСОБНЫЕ ТЕХНОЛОГИИ
РЕКОНФИГУРАЦИИ АВТОМАТИЗИРОВАННЫХ
ТРАНСПОРТНО-ПРОИЗОДСТВЕННЫХ СИСТЕМ .............................................................. 52

Туркин И.Б., Соколова Е.В., Шепетов Ю.А., Никитина Т.С.

ПРАКТИЧЕСКИЕ АСПЕКТЫ РЕАЛИЗАЦИИ
ДИНАМИЧЕСКОГО ПЛАНИРОВАНИЯ ЗАПРОСОВ
В КЛИЕНТ-СЕРВЕРНЫХ СИСТЕМАХ НА ОСНОВЕ OPC.................................................... 58

Slizovskaya I.

CLASSIFICATION OF THE INFORMATION
INTEGRITY RECOVERY METHODS IN THE SYSTEMS
OF VARIOUS COMPLEXITY.................................................................................................. 62

Фурманов А.А.

АВТОМАТНО-ГРАФОВАЯ МОДЕЛЬ
СЕРВИС-ОРИЕНТИРОВАННЫХ ПРИЛОЖЕНИЙ................................................................ 66

Бойко А.Л.

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

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

Заславский В.А.

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

Коробков Н.Г., Коробкова Е.Н.

ПРИЛОЖЕНИЕ ОБОБЩЁННЫХ ЛОГИЧЕСКИХ ФУНКЦИЙ
К СИНТЕЗУ ЦИФРОВЫХ АВТОМАТОВ С ПЕРЕСТРАИВАЕМЫМИ ПАРАМЕТРАМИ..... 79

Мельник А.О.

ТЕХНОЛОГІЇ ПРОЕКТУВАННЯ КОМП'ЮТЕРНИХ ПРИСТРОЇВ
ДЛЯ ВИСОКОПРОДУКТИВНИХ РЕКОНФІГУРОВНИХ ПРИСКОРЮВАЧІВ...................... 88

Каравай М.Ф., Пархоменко П.П., Подлазов В.С.

К НОВОЙ ТОПОЛОГИИ ОТКАЗОУСТОЙЧИВЫХ КЛАСТЕРОВ
И ЛОКАЛЬНЫХ УПРАВЛЯЮЩИХ СЕТЕЙ........................................................................... 93

Хаханов В.И., Хаханова А.В., Литвинова Е.И.

АЛГЕБРО-ЛОГИЧЕСКИЙ МЕТОД
РЕМОНТА ВСТРОЕННОЙ ПАМЯТИ SOC............................................................................ 99

Никольский С.Б.

АНАЛИЗ ВРЕМЕННОЙ ИЗБЫТОЧНОСТИ КОМПЬЮТЕРНЫХ
СИСТЕМ С КОЛЬЦЕВОЙ СТРУКТУРОЙ............................................................................ 110

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

Ястребенецкий М.А.

УПРАВЛЕНИЕ СТАРЕНИЕМ КРИТИЧЕСКИХ СИСТЕМ................................................... 114

Клевцов А.Л.

ОПЫТ ПРОВЕДЕНИЯ ЭКСПЕРТИЗ ЯДЕРНОЙ И РАДИАЦИОННОЙ
БЕЗОПАСНОСТИ НОВЫХ И МОДЕРНИЗИРУЕМЫХ
ИНФОРМАЦИОННЫХ И УПРАВЛЯЮЩИХ СИСТЕМ АЭС............................................... 122

Иванченко О.В., Каряка А.В., Маврин С.А., Филимонов И.Л.

ОЦЕНКА УРОВНЯ НАДЕЖНОСТИ ТЕЛЕКОММУНИКАЦИОННЫХ
СИСТЕМ МОРСКИХ ПОДВИЖНЫХ ОБЪЕКТОВ
ДЛЯ ИХ ТЕХНИЧЕСКОГО ОБСЛУЖИВАНИЯ ПО СОСТОЯНИЮ..................................... 128

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

Нейванов А.В., Рохмаил А.Н., Головашич С.А.

ОБЕСПЕЧЕНИЕ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ
В РАСПРЕДЕЛЁННЫХ ВЫЧИСЛИТЕЛЬНЫХ СЕТЯХ....................................................... 134

INFORMATION SECURITY INCIDENT-TOLERANT
IMMUNE-INSPIRED MULTI-AGENT SYSTEM ................................................................... 138

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

Мартынюк А.Н.

ТЕСТОПРИГОДНАЯ ДЕКОМПОЗИЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ................................ 142

Krivoulya G., Laptev M., Wajeb Gharibi

THE DIAGNOSTIC MODEL OF COMPUTER SYSTEM
IN THE FORM OF PETRI NET.............................................................................................. 146

Лаврут О.О., Кір’янов Д.В., Лаврут Т.В., Скідан О.О.

ДІАГНОСТИКА ЗАСОБІВ ЗВ’ЯЗКУ ЗБРОЙНИХ СИЛ УКРАЇНИ
НА ОСНОВІ НЕЙРОМЕРЕЖЕВИХ ТЕХНОЛОГІЙ.............................................................. 150

Пригожев А.С.

ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ПРИОБРЕТЕНИЯ ЗНАНИЙ
ДЛЯ ЭКСПЕРТНОЙ СИСТЕМЫ ПОДДЕРЖКИ ПОЛЬЗОВАТЕЛЯ
НА ОСНОВЕ АЛГОРИТМИЧЕСКИХ АЛГЕБР..................................................................... 155

Скобцов Ю.А., Скобцов В.Ю., Хинди Ш.Н.

ИЕРАРХИЧЕСКИЕ ЭВОЛЮЦИОННЫЕ АЛГОРИТМЫ ПОСТРОЕНИЯ
ПРОВЕРЯЮЩИХ ТЕСТОВ ЦИФРОВЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ.............. 159

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

МЕТОДЫ ОПРЕДЕЛЕНИЯ ВОЗДЕЙСТВИЙ В ДИСКРЕТНЫХ
ФАЗОВЫХ КАРТИНАХ ПРИ ТЕХНИЧЕСКОМ ДИАГНОСТИРОВАНИИ........................... 164

Благодарный Н.П., Остроумов Б.В., Сидоренко Н.Ф., Яценко С.Я.

МЕТОДИКА САМОДИАГНОСТИРОВАНИЯ VLSI-АРХИТЕКТУР
С ЦИКЛИЧЕСКИМ РЕЖИМОМ ФУНКЦИОНИРОВАНИЯ................................................. 171

Тюрин С.Ф., Гревцев А.М.

ПОЛУЧЕНИЕ ТЕСТОВ ФУНКЦИОНАЛЬНО-ПОЛНОГО
ТОЛЕРАНТНОГО ЭЛЕМЕНТА............................................................................................. 177

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

Скляр В.В., Ястребенецкий М.А., Харченко В.С.

ОЦЕНКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННЫХ
И УПРАВЛЯЮЩИХ СИСТЕМ АЭС ПРИ ЭКСПЕРТИЗЕ ЯДЕРНОЙ
И РАДИАЦИОННОЙ БЕЗОПАСНОСТИ............................................................................... 180

Дубницкий В.Ю., Кобылин А.М, Кобылин О.А.

СИСТЕМА ДИСТАНЦИОННОГО ОЦЕНИВАНИЯ ИНТЕРВАЛЬНОЙ
НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ,
ПРЕДНАЗНАЧЕННОГО ДЛЯ ВЫПОЛНЕНИЯ ФИНАНСОВЫХ РАСЧЕТОВ...................... 186

Манжос Ю.С.

БАГАТОІНВАРІАНТНИЙ МЕТОД ПІДВИЩЕННЯ НАДІЙНОСТІ
ПРОГРАМНИХ ЗАСОБІВ...................................................................................................... 193

Ляхов А.Л., Верёвкин С.В.

НАДЁЖНОСТЬ СИСТЕМ МОНИТОРИНГА ДЕЯТЕЛЬНОСТИ
УЧЕБНЫХ ЗАВЕДЕНИЙ....................................................................................................... 197

Волкова С.О., Трунов О.М.

ДОСЛІДЖЕННЯ ІСНУЮЧИХ ПІДХОДІВ ПІДВИЩЕННЯ ЯКОСТІ
ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ КРИТИЧНОГО ЗАСТОСУВАННЯ................................ 202

Годунова Т.В., Туркин И.Б.

ОЦЕНКА ЭФФЕКТИВНОСТИ ДИВЕРСИФИКАЦИИ ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ В АППАРАТНО-ПРОГРАММНЫХ
КОМПЛЕКСАХ КРИТИЧЕСКОГО НАЗНАЧЕНИЯ.............................................................. 209

Гахов А.В., Мищенко В.О.

ПОИСК МАТЕМАТИЧЕСКОЙ МОДЕЛИ ПРИ АНАЛИЗЕ
СВЯЗИ МЕЖДУ ВИДАМИ КАЧЕСТВА РАСЧЁТНЫХ ПРОГРАММ................................... 214

A MULTIFUNCTIONAL SYSTEM FOR ASSESSING AND COMPARING
SOFTWARE DEPENDABILITY............................................................................................. 219

Остроумов С.Б., Прохорова Ю.Н., Андрашов А.А., Герасименко А.Д.

О ТЕСТИРОВАНИИ ПРОГРАММНО-АППАРАТНЫХ СРЕДСТВ
ДЛЯ ПЛИС-ОРИЕНТИРОВАННЫХ КРИТИЧЕСКИХ ПРИЛОЖЕНИЙ............................... 224

Надійність технічних засобів

Домнич В.С.

КЛАССИФИКАЦИЯ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ
ПО СВОЙСТВАМ ИХ СПЕКТРОВ....................................................................................... 229

Мохамад Али, Михаль О.Ф.

ПЕРСПЕКТИВЫ РЕАЛИЗАЦИИ ЛОКАЛЬНО-ПАРАЛЛЕЛЬНЫХ
ВЫЧИСЛЕНИЙ НА МНОГОЯДЕРНЫХ ПРОЦЕССОРАХ.................................................... 234

SPECIFICATION OF REQUIREMENTS FOR THE IMPLEMENTATION
OF ASICS AND FPGA IN I&C SYSTEMS IMPORTANT
TO SAFETY IN GERMAN NPP.............................................................................................. 238

Фурман И.А.. Малиновский М.Л., Аллашев А.Ю., Бовчалюк С.Я.

ОПЫТ И ПЕРСПЕКТИВЫ ПАРАЛЛЕЛЬНОЙ РЕАЛИЗАЦИИ
АЛГОРИТМОВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ
ОБЪЕКТАМИ КРИТИЧЕСКОГО ПРИМЕНЕНИЯ................................................................ 245

Бабий С.М., Перепелицын А.Е., Тарасюк О.М.

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

Палагин А.В., Опанасенко В.Н.

ПОСТРОЕНИЕ РЕКОНФИГУРИРУЕМЫХ УСТРОЙСТВ НА БАЗЕ ПЛИС......................... 257

Тарасенко В.П., Тесленко А.К., Роговенко А.И.

СОЗДАНИЕ ПАРАМЕТРИЧЕСКИХ ЯДЕР (SOFTCORES)
ДЛЯ ВЫПОЛНЕНИЯ ОПЕРАЦИЙ В КОНЕЧНЫХ ПОЛЯХ................................................. 261

Радіоелектронні пристрої та телекомунікаційні засоби

Мороз В.В.

ВРЕМЕННАЯ ИНТЕРПОЛЯЦИЯ НА ОСНОВЕ АНАЛИЗА
ВЕЙВЛЕТНЫХ ДОМЕНОВ.................................................................................................. 264

Польщиков К.А., Одарущенко О.Н.

МЕТОД ОЦЕНКИ ЭФФЕКТИВНОСТИ УПРАВЛЕНИЯ
ИНФОРМАЦИОННЫМИ ПОТОКАМИ В ТЕЛЕКОММУНИКАЦИОННОЙ
СЕТИ СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ.............................................................................. 269

Кондратенко В.Ю.

АЛГОРИТМ ФАЗЗИФІКАЦІЇ НЕЧІТКИХ СИГНАЛІВ
НА ОСНОВІ ПОЛІНОМІАЛЬНИХ МОДЕЛЕЙ ФУНКЦІЙ НАЛЕЖНОСТІ........................... 277

Антощук С.Г., Николенко А.А., Бабилунга О.Ю., Ткаченко Е.В.

МОДЕЛЬ ФОРМИРОВАНИЯ ОБРАЗОВ ПРИ РАСПОЗНАВАНИИ
ПОЛУТОНОВЫХ ИЗОБРАЖЕНИЙ...................................................................................... 283

Кочкарь Д.А., Богомолов В.В., Остапчик А.В.

АЛГОРИТМ ФОРМИРОВАНИЯ ПЛАНАРНОГО ГРАФА
ПРИ ПОДГОТОВКЕ ЦИФРОВЫХ ЛЕСНЫХ КАРТ............................................................. 288

Антощук С.Г., Поплавский А.А., Ткаченко Е.В., Кондратенко В.Ю.

СТАТИСТИКА НЕЧИСЛОВЫХ ДАННЫХ В МОДЕЛЯХ
ПРЕДВАРИТЕЛЬНОЙ ОБРАБОТКИ ИЗОБРАЖЕНИЙ......................................................... 293

Бохан К.А., Федоренко Н.И.

СРАВНИТЕЛЬНЫЙ АНАЛИЗ ВИДОВ НЕЙРОННЫХ
СЕТЕЙ ДЛЯ ОБРАБОТКИ МУЛЬТИМЕДИА ДАННЫХ...................................................... 298

Комп’ютерні системи та інформаційні технології

Семенов С.Г.

РАСПРЕДЕЛЕНИЕ КАНАЛЬНЫХ РЕСУРСОВ СЕТЕВОГО ОБОРУДОВАНИЯ
ПРИ ИНФОРМАЦИОННОМ ОБМЕНЕ В ЕДИНОЙ
АВТОМАТИЗИРОВАННОЙ СИСТЕМЕ УПРАВЛЕНИЯ...................................................... 307

Кучук Г.А., Можаев А.А., Ильина И.В.

МЕТОД ОПРЕДЕЛЕНИЯ БАЗОВОГО МНОЖЕСТВА ПУТЕЙ
ПЕРЕДАЧИ ИНФОРМАЦИИ В КОМПЬЮТЕРНОЙ СЕТИ
СИСТЕМЫ КРИТИЧЕСКОГО ПРИМЕНЕНИЯ.................................................................... 311

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

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

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

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

^{Науково-технічний журнал

“}^{РАДІОЕЛЕКТРОННІ
І КОМП'ЮТЕРНІ СИСТЕМИ“

включений до переліку наукових видань, в яких можуть друкуватися основні
результати дисертаційних робіт

(див. постанову президії ВАК України №1-05/10 від 10.12.2003)}

Реферативна інформація зберігається:

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

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

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