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

ЗМIСТ

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

Ляшкевич В.Я., Мірош О.П.

ОЦІНКА ЕФЕКТИВНОСТІ РОБОТИ МЕТОДІВ КЛАСИФІКАЦІЇ ТЕКСТІВ........................... 9

Ладыженский Ю.В., Мирецкий А.В.

МЕТОДЫ УМЕНЬШЕНИЯ ОТКАТОВ ПРИ РАСПРЕДЕЛЕННОМ МОДЕЛИРОВАНИИ
АЛГОРИТМОВ МАРШРУТИЗАЦИИ В КОМПЬЮТЕРНЫХ СЕТЯХ..................................... 18

Андрашов А.А., Дубницкий В.Ю.

НАУКОМЕТРИЧЕСКИЙ АНАЛИЗ ТРУДОВ КОНФЕРЕНЦИИ
«ГАРАНТОСПОСОБНЫЕ СИСТЕМЫ, СЕРВИСЫ И ТЕХНОЛОГИИ (DESSERT)» ............. 21

Боярчук А.В.

РАЗРАБОТКА марковскоГО ГРАФА СОСТОЯНИЙ

КОМПОЗИТНОЙ сервис-ориентированной архитектуры................................... 26

Куланов С.А.

теоретико-множественная модель потока задач в grid-системах.......... 32

Скатков А.В., Воронин Д.Ю.

ОБЕСПЕЧЕНИЕ ГАРАНТОСПОСОБНОСТИ ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ НА ОСНОВЕ АВТОМАТИЗАЦИИ СОПРЯЖЕНИЯ
РАЗНОРОДНЫХ ПРОГРАММНЫХ СРЕД.............................................................................. 37

Щерба О.В.

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

Бессараб В.И. , Коваленко Е.Г.

Методы анализа динамики и разработка алгоритма управления
в телекоммуникационных сетях............................................................................ 47

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

Khere Ali Abdullah, Зефирова О.В., Сиора А.А., Краснобаев В.А.

МЕТОД ОБРАБОТКИ ИНФОРМАЦИИ В МОДУЛЯРНОЙ АРИФМЕТИКЕ........................... 51

Захаров Н.А., Калин С.В., Клепиков В.И., Подхватилин Д.С.

АРХИТЕКТУРА РАСПРЕДЕЛЕННЫХ СИСТЕМ УПРАВЛЕНИЯ
ЖЕСТКОГО РЕАЛЬНОГО ВРЕМЕНИ..................................................................................... 57

Белый Ю.А.

МОДЕЛИ ОТКАЗОВ И ОЦЕНКА НАДЕЖНОСТИ МУЛЬТИДИВЕРСНЫХ СИСТЕМ........... 62

Куланов В.А.

ОБ ОЦЕНКЕ ДИВЕРСНОСТИ РЕАЛИЗАЦИИ МИНИМАЛЬНЫХ ФОРМ
ФУНКЦИЙ В РАЗЛИЧНЫХ БАЗИСАХ................................................................................... 67

Поморова О.В., Чайковський Д.Ю.

МУЛЬТИАГЕНТНА СИСТЕМА ДІАГНОСТУВАННЯ
ПЕРСОНАЛЬНОГО КОМП’ЮТЕРА........................................................................................ 72

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

Бабешко Е.В., Харченко В.С.

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

Бутова О.Н., Зеленый О.В., Инюшев В.В., Ястребенецкий М.А.

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

Кочкарь Д.А., Богомолов В.В.

АНАЛІЗ ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЙ РОЗРОБКИ
СИСТЕМ ОБЛІКУ ЛІСОВИХ РЕСУРСІВ................................................................................ 90

Серков О.А., Толкачов М.Ю.

МЕТОДИКА ПІДВИЩЕННЯ ЕФЕКТИВНОСТІ ПРАЦЕЗДАТНОСТІ
ПРИСТРОЇВ БЛИСКАВКОЗАХИСТУ..................................................................................... 95

Завадская Т.В., Чут А.М.

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

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

Глухов В.С., Ногаль М.В.

СПЕЦІАЛІЗОВАНИЙ ОДНОРОЗРЯДНИЙ ПРОЦЕСОР ДЛЯ ЗАХИСТУ ІНФОРМАЦІЇ
В ГАРАНТОЗДАТНИХ СИСТЕМАХ..................................................................................... 104

Савенко О.С., Мостовий С.В.

МОДЕЛЬ ПРОГНОЗУВАННЯ СТАНУ ПРОЦЕСІВ В КОМП'ЮТЕРНІЙ СИСТЕМІ............. 109

Янсонс Я.В.

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

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

Поморова О.В., Гнатчук Є.Г.

ЕФЕКТИВНІСТЬ НЕЧІТКОЇ ЕКСПЕРТНОЇ СИСТЕМИ ДІАГНОСТУВАННЯ
КОМП’ЮТЕРНИХ ЗАСОБІВ................................................................................................. 121

Епифанов А.С.

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

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

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

Мальчева Р.В., Арутюнян А.Р

АЛГОРИТМ ДИАГНОСТИКИ ЭЛЕМЕНТОВ
КОМПЬЮТЕРНЫХ ПРОМЫШЛЕННЫХ СЕТЕЙ................................................................ 139

Скатков И.А.

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

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

СПЕКТРЫ ЧИСЛОВЫХ ХАРАКТЕРИСТИК ФАЗОВЫХ КАРТИН
ОБЪЕКТОВ ДИАГНОСТИРОВАНИЯ.................................................................................... 148

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

Жолткевич Г.Н.

НОРМАЛИЗАЦИЯ ПРОГРАММ И ПРОГРАММНЫЕ ИНВАРИАНТЫ................................ 156

Сергиенко В.В., Конорев Б.М., Новы Л., Чертков Г.Н.

КАЛИБРОВКА МЕТОДОВ ИЗМЕРЕНИЯ ИНВАРИАНТОВ КРИТИЧЕСКОГО
ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ: ПРОФИЛЬ ИНЪЕКТИРУЕМЫХ
ТЕСТОВЫХ ДЕФЕКТОВ...................................................................................................... 161

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

МЕТОДЫ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
ДЛЯ ПЛИС-КОНТРОЛЛЕРОВ НА ТАБЛИЧНОМ ЯЗЫКЕ CYCLOGRAF............................. 168

Михнич Б.Б., Олейник С.В., Соколова Е.В.

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

Мищенко В.О.

СОГЛАСОВАНИЕ ТРЕБОВАНИЙ ПРИ ФОРМАЛИЗАЦИИ
ОДНОГО МЕТОДА ЭНЕРГЕТИЧЕСКОГО АНАЛИЗА ПРОГРАММ..................................... 177

Скляр В.В.

ПРОЦЕСС УПРАВЛЕНИЯ КОНФИГУРАЦИЕЙ
КРИТИЧЕСКОГО ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ: АНАЛИЗ И ПРИМЕНЕНИЕ ТРЕБОВАНИЙ.............................................. 183

Новак С.Н., Гордеев А.А., Андрашов А.А.

СОЗДАНИЕ НАДЁЖНЫХ ИНФОРМАЦИОННЫХ СИСТЕМ,
НАХОДЯЩИХСЯ В ПОСТОЯННОМ РАЗВИТИИ................................................................ 189

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

Бабаков М.Ф., Дерюга И.И.

ОПРЕДЕЛЕНИЕ ОПТИМАЛЬНОЙ СТРАТЕГИИ УПРАВЛЕНИЯ
СОСТОЯНИЕМ ЭА С УЧЕТОМ ИЗМЕРИТЕЛЬНОЙ ПОГРЕШНОСТИ............................... 192

Кондратенко Ю.П., Шишкин А.С., Махмуд Мохаммад Салем Аль-Суод

HDL МОДЕЛЬ ЦИФРОВОГО КОНТРОЛЛЕРА
ДЛЯ САМОНАСТРАИВАЮЩЕЙСЯ СИСТЕМЫ
УПРАВЛЕНИЯ АДАПТИВНОГО РОБОТА .......................................................................... 197

Мпандо П., Орехов А.А., Харченко В.С.

СЕМЕЙСТВО МИКРОКОНТРОЛЛЕРОВ STM32: АРХИТЕКТУРА,
ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ И ВОЗМОЖНОСТИ
ПРИМЕНЕНИЯ В КРИТИЧЕСКИХ СИСТЕМАХ................................................................. 203

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

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

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

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

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

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

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

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

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