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

ЗМIСТ

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

Никитина Т.С., Туркин И.Б.

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

Листровой С.В., Листровая Е.С.

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

Стрюк А.Ю., Пономарёв И.Н., Соловьёва А.В.

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

Скатков А.В., Балакирева И.А

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

Лобачев М.В., Антощук С.Г., Русинский А., Дрозд А.В.

СИЛЬНОСВЯЗАННЫЕ ВЕРСИОННЫЕ КОМПЬЮТЕРНЫЕ СИСТЕМЫ.............................. 32

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

Малиновский М.Л.

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

Зефирова О.В., Барсов В.И., Краснобаев В.А.

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

Тюрин С.Ф., Греков А.В., Ольт Г.О.

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

Романкевич В.А., Сапсай Т.Г., Ефремова А.А.

GL-МОДЕЛЬ КОМБИНИРОВАННЫХ 3-OUT-OF-N:F, 3_IC-OUT-OF-N:G СИСТЕМ................ 50

Благодарный Н.П.

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

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

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

ВОЗМОЖНОСТИ СОВМЕСТНОГО ИСПОЛЬЗОВАНИЯ СОВРЕМЕННЫХ
МЕТОДОВ АНАЛИЗА ОТКАЗОВ СИСТЕМ, ВАЖНЫХ ДЛЯ БЕЗОПАСНОСТИ................... 60

Скаткова Н.А., Тарасова А.В., Юшкина С.Б.

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

Мединцев С.Ю., Орехов А.А., Кочкарь Д.А.

СИСТЕМЫ МОНИТОРИНГА ЛЕСНЫХ РЕСУРСОВ: СОСТОЯНИЕ И ПУТИ РАЗВИТИЯ... 70

Скляр В.В.

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

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

Evtukh P.S., Borowik B.L., Korkishko L.M., Karpinskyi V.N.

THE SYSTEM MODELING OF INFORMATION LEAKAGE FROM DIGITAL DEVICES.......... 80

Фурманюк А.В.

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

Долгов В.И., Олейников Р.В., Лисицкая И.В., Сергиенко Р.В., Дроботько Е.В., Мельничук Е.Д.

ПОДСТАНОВОЧНЫЕ КОНСТРУКЦИИ СОВРЕМЕННЫХ
СИММЕТРИЧНЫХ БЛОЧНЫХ ШИФРОВ ............................................................................ 89

Горбенко І.Д., Шапочка Н.В., Козулін О.О.

ОБҐРУНТУВАННЯ ВИМОГ ДО ГЕНЕРАТОРІВ ВИПАДКОВИХ БІТІВ
ЗГІДНО ISO/IEC 18031............................................................................................................. 94

Савенко О.С., Лисенко С.М.

АЛГОРИТМИ ПОШУКУ ТРОЯНСЬКИХ ПРОГРАМ
В ПЕРСОНАЛЬНИХ КОМП’ЮТЕРАХ.................................................................................... 98

Шпак А.С., Лысенко И.В.

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

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

Ivanov D.E.

PARALLEL FAULT SIMULATION ON MULTI-CORE PROCESSORS................................... 109

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

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

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

АНАЛИЗ ДИСКРЕТНЫХ ДИНАМИЧЕСКИХ СИСТЕМ,
ЗАДАННЫХ В ФОРМЕ ЧИСЛОВЫХ СТРУКТУР................................................................ 118

Щербакова Г.Ю., Крылов В.Н.

АДАПТИВНАЯ КЛАСТЕРИЗАЦИЯ В ПРОСТРАНСТВЕ
ВЕЙВЛЕТ-ПРЕОБРАЗОВАНИЯ............................................................................................ 123

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

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

ДИСТАНЦИОННОЕ ОПРЕДЕЛЕНИЕ ПАРАМЕТРОВ ФУНКЦИИ
КОББА-ДУГЛАСА В МНОГОВЕРСИОННОМ РЕЖИМЕ
С ИСПОЛЬЗОВАНИЕМ СПЕЦИАЛИЗИРОВАННОГО
ИНТЕРВАЛЬНОГО КАЛЬКУЛЯТОРА.................................................................................. 129

Полулях М.В., Орехов А.А.

МОДЕЛЬ ДЛЯ ОЦЕНКИ КАЧЕСТВА СИСТЕМ УПРАВЛЕНИЯ КОНТЕНТОМ.................. 135

Михнич Б.Б., Симон В.Г.

ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ДИНАМИЧЕСКИ МОДИФИЦИРУЕМЫХ
МОДЕЛЕЙ РАБОЧИХ ПОТОКОВ WINDOWS WORKFLOW FOUNDATION....................... 139

Земляний А.О., Ткачук М.В., Олійник О.А.

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

Поморова О.В., Говорущенко Т.О.

АНАЛІЗ МЕТОДІВ ТА ЗАСОБІВ ОЦІНКИ ЯКОСТІ ПРОГРАМНИХ СИСТЕМ.................... 148

Дужий В.И., Шостак А.В., Дужий И.В.

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

Поляков Г.А., Толстолужская Е.Г.

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

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

Barkalov A.A., Krasichkov A.A., Miroshkin A.N.

SYNTHESIS OF MICROPROGRAM CONTROL UNIT WITH CODE
SHARING AND MODIFIED LINEAR CHAINS........................................................................ 172

Полин Е.Л., Защелкин К.В.

ВЕКТОРНЫЕ КОМПОЗИЦИОННЫЕ АВТОМАТЫ
И МЕТОД ИХ СТРУКТУРНОГО СИНТЕЗА......................................................................... 178

Бабий С.М., Миняйленко Л.А., Мохаммед Саид Газал

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

Плахтеев А.П., Плахтеев П.А.

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

Гриненко В.В.

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

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

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

Обчислення та пристрої, що реконфігуруються

Клятченко Я.М., Тарасенко-Клятченко О.В., Тарасенко В.П., Тесленко О.К.

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

Грига В.М.

МЕТОДИ ПОБУДОВИ РЕКУРСИВНИХ ПРИСТРОЇВ СОРТУВАННЯ
НА ОСНОВІ ПРОСТОРОВО-ЧАСОВИХ ГРАФІВ................................................................. 209

Мельник А.О., Аль Равашдех Д.Х., Мохаммад Аль Хабабсах

ВИМОГИ ДО ПАМ’ЯТІ СПЕЦІАЛІЗОВАНИХ ПРОЦЕСОРІВ.............................................. 213

Barkalov A.A., Zelenyova I.Y., Lavrik A.S.

OPTIMIZATION OF MICROPROGRAM CONTROL UNIT BASED ON CPLD FEATURES.... 217

Tkalich I.O., Kharchenko H.V., Vdovychenko Y.I.

FPGA-BASED DIGITAL RECIRCULATOR............................................................................. 223

Юрченко Ю.Б.

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

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

МНОГОШКАЛЬНОЕ ВЕЙВЛЕТ-МОДЕЛИРОВАНИЕ
ТРАФИКА МУЛЬТИСЕРВИСНЫХ СЕТЕЙ.......................................................................... 231

Дунець Р.Б., Тиханський Д.Я.

ДОСЛІДЖЕННЯ ЧАСТКОВОЇ РЕКОНФІГУРАЦІЇ ПЛІС...................................................... 240

Прохорова Ю.Н., Остроумов С.Б., Трубицына Е.А., Лайбинис Л.В.

ПРИМЕНЕНИЕ EVENT-B ДЛЯ СОЗДАНИЯ СИСТЕМ
НА ПРОГРАММИРУЕМОЙ ЛОГИКЕ .................................................................................. 245

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

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

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

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

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

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

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