Гарантоздатність сервіс-орієнтованих систем
Харченко В.С.
ГАРАНТОЗДАТНІСТЬ КОМП’ЮТЕРНИХ СИСТЕМ: МЕЖА
УНІВЕРСАЛЬНОСТІ
У
КОНТЕКСТІ ІНФОРМАЦІЙНО-ТЕХНІЧНИХ СТАНІВ............................................................ 7
Furmanov A.
THE ANALYSIS OF VULNERABILITY DATABASES IN VIEW OF
WEB-SERVICES ARCHITECTURE............................................................................................... 15
Syrotyuk A.
Architecture and implementing service-oriented
pharmacological system “Medicine”............................................................................ 20
Ладыженский Ю.В., Попов Ю.В., Тесленко Г.А.
ПРОГРАММНАЯ СИСТЕМА ДЛЯ РАСПРЕДЕЛЕННОГО ЛОГИЧЕСКОГО
МОДЕЛИРОВАНИЯ С ДИНАМИЧЕСКИМ ПРОТОКОЛОМ СИНХРОНИЗАЦИИ.................. 25
Божко В.И., Одарущенко О.Н.
Итерационная процедура декомпозиции проекта программной
подсистемы распределенной информационной системы
критического применения.............................................................................................. 30
Дядык Д.Ф.
метод оценки вероятности ухода алгоритма Ррм
при сжатии изображений................................................................................................. 35
Хошаба О.М., Ференець В.Д.
ОЦІНКА ЕФЕКТИВНОСТІ РОБОТИ КОМП’ЮТЕРНИХ МЕРЕЖ
НА ОСНОВІ ФУНКЦІОНУВАННЯ МУЛЬТИАГЕНТНОЇ СИСТЕМИ...................................... 40
Куланов С.А.
адаптация существующих приложений для выполнения
в grid с учетом типов данных....................................................................................... 49
Lakhyzha R.
FEATURES OF BANKING INFORMATION SYSTEMS
DEPENDABILITY
TAXONOMY................................................................................................... 53
Сидоренко А.Н.
ЛОГИКО-ЛИНГВИСТИЧЕСКИЙ МЕТОД РАСЧЕТА АКТИВОВ ПРЕДПРИЯТИЯ................. 58
Lobachova K., kharchenko
V.
using open resources: ELEMENTS OF TECHNIQUE AND RESULTS............................... 61
Відмовостійкі системи
Тюрин С.Ф., Богатырев С.В., Голубев
А.В., Греков А.В., Прохоров А.А., Прохоров Д.А.
функционально-полные толерантныЕ цифровые схемы
на базе ПЛИС фирмы «Altera».......................................................................................... 66
Kharchenko V., Prokhorova J., Ostroumov S., Kulanov V.
FAULT-TOLERANT
SOPC-BASED APPROACHES
WITH
MULTI-VERSION IIP.......................................................................................................... 71
Благодарный Н.П., Сидоренко Н.ф.
Модели запасов отказоустойчивости VLSI-архитектур
с циклическим режимом функционирования....................................................... 78
Краснобаев В.А., Барсов В.И., Яськова
Е.В.
ОТКАЗОУСТОЙЧИВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ НА ОСНОВЕ
МОДУЛЯРНОЙ АРИФМЕТИКИ: КОНЦЕПЦИИ, МЕТОДЫ И СРЕДСТВА.............................. 82
Boyarchuk A., Kharchenko V.
“making web-services fault-tolerant”:
methods and technics....................... 91
Функціональна безпека та живучість
Ястребенецкий М.А., Инюшев В.В.,
Бутова О.Н.
ОЦЕНКА УРОВНЯ
БЕЗОПАСНОСТИ ИНФОРМАЦИОННЫХ
И УПРАВЛЯЮЩИХ СИСТЕМ АЭС............................................................................................ 96
Харыбин А.В.
МЕТОД ОЦЕНКИ
ЖИВУЧЕСТИ РАСПРЕДЕЛЕННЫХ
ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ.................................................................. 104
Пацева Л.Ю., Хлепетько Ю.Н.
АППАРАТУРА
УПРАВЛЕНИЯ ОРГАНАМИ РЕГУЛИРОВАНИЯ ВВЭР-440.
ОСНОВНЫЕ
ПОДХОДЫ К ОБЕСПЕЧЕНИЮ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ..... 110
Коваленко Н.С.
ВЫБОР
ВАРИАНТОВ АНАЛИЗА И ОЦЕНКИ ЖИВУЧЕСТИ И НАДЕЖНОСТИ
ИНТЕГРИРОВАНЫХ
СИСТЕМ БЕЗОПАСНОСТИ ОБЪЕКТОВ
СО СЛОЖНОЙ ИНФРАСТРУКТУРОЙ.................................................................................... 118
Mishchenko V.
ONE
EXPERIMENT IN USING ENERGY METRICS PROPOSED
FOR SOFTWARE PROCESS ASSESSMENT................................................................................ 121
Інформаційна безпека
Рязанцев А.И., Новиков В.В., Зубенко
Е.А.
ПРОБЛЕМЫ
СОПРЯЖЕНИЯ ОБЪЕКТНО-ОРИЕНТИРОВАННЫХ МОДЕЛЕЙ ДАННЫХ
С
РЕЛЯЦИОННЫМИ БАЗАМИ ДАННЫХ В ЗАЩИЩЕННЫХ
ИНФОРМАЦИОННЫХ
СИСТЕМАХ......................................................................................... 125
Кузнецов А.А.
НЕСИММЕТРИЧНЫЕ
КРИПТОСИСТЕМЫ ДОКАЗУЕМОЙ СТОЙКОСТИ
НА АЛГЕБРАИЧЕСКИХ БЛОКОВЫХ КОДАХ......................................................................... 130
Шевченко Д.В.
КІЛЬЦЕВІ
ПІДПИСИ ТА ЇХ ВЛАСТИВОСТІ............................................................................ 139
Системи контролю та діагностування
Поморова О.В.
АПРІОРНА
ДІАГНОСТИЧНА ІНФОРМАЦІЯ В СТРУКТУРІ НЕЙРОМЕРЕЖНИХ
ЕКСПЕРТІВ
ІДЕНТИФІКАЦІЇ СТАНУ КОМПОНЕНТІВ КОМП’ЮТЕРНИХ СИСТЕМ......... 145
Кабакчей Р.М.
ВЫБОР ОПТИМАЛЬНОЙ АРХИТЕКТУРЫ
ИСКУССТВЕННОЙ НЕЙРОННОЙ
СЕТИ ПРИ ПОСТРОЕНИИ ЭКСПЕРТНОЙ
СИСТЕМЫ СРЕДСТВ ДИАГНОСТИКИ
КОРПОРАТИВНЫХ ИНФОРМАЦИОННЫХ СЕТЕЙ............................................................... 152
Мартынюк А.Н.
БАЗОВЫЕ МОДЕЛИ ПРОТОТИПА СИСТЕМЫ
СИНТЕЗА ТЕСТОВ..................................... 157
Надійність програмного забезпечення
Парнас Д.Л., Вилкомир С.А.
ИСПОЛЬЗОВАНИЕ
ТОЧНОЙ ДОКУМЕНТАЦИИ ДЛЯ ПОВЫШЕНИЯ УРОВНЯ
ДОВЕРИЯ К КРИТИЧЕСКОМУ ПРОГРАММНОМУ ОБЕСПЕЧЕНИЮ................................. 163
Дужий В.И., Дужий И.В., Шостак А.В.
РАЗРАБОТКА
МНОГОВЕРСИОННОЙ ИЕРАРХИИ РЕШЕНИЙ
ПРИ ПРОЕКТИРОВАНИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ............................................ 173
Slizovskaya I.
Methods for Improving Quality of
Software Products.................................... 177
Дубницкий В.Ю., Кобылин А.М.
Интервальное решение обратной задачи
оценки
эффективности тестирования компьютерных программ............................. 181
Andrashov A., Gordeyev A., Kharchenko V., Sklyar V.
the static analysis of a program code
Procedure
based on metrics profiling.............................................................................................. 184
Тарасюк О.М.
методика нормализации статистических данных
тестирования программного обеспечения.......................................................... 189
Иванченко О.В., Маврин C.А., Грушевой
И.В.
КОМПЛЕКСНЫЙ
ПОДХОД К ОБЕСПЕЧЕНИЮ ТРЕБОВАНИЙ
ЖИВУЧЕСТИ
ТЕЛЕКОММУНИКАЦИОННЫХ
СИСТЕМ МОРСКИХ ПОДВИЖНЫХ
ОБЪЕКТОВ.................................................................................................................................. 193
Popov P.
Software Fault-tolerance with
Off-the-Shelf Components:
From Conceptual Models to Empirical Studies...................................................... 196
Мамутов С.С., Харченко В.С., Горбенко А.В., Мохамед Саид
Газал
анализ
производительности КОММУНИКАЦИОННЫХ
протоколОВ SOAP и TCP...................................................................................................... 205
Надійність технічних засобів
Bartosik J., Korczyński W.
On an algebraic characterization of
hierarchic systems............................. 209
Lypchanskiy A., Gharibi W.
THE APPLICATION OF A LINEAR
PROGRAMMING METHOD WITH FUZZY
CONDITIONS FOR DESIGNING OF COMPUTER
SYSTEMS..................................................... 215
Foty D.
Next-Generation Wireless
Networks: New Building Blocks and
New Network Topologies.................................................................................................. 220
Коробков Н.Г., Коробкова Е.Н.
СИНТЕЗ
УНИВЕРСАЛЬНЫХ ЛОГИЧЕСКИХ МОДУЛЕЙ С ПАМЯТЬЮ............................... 229
Бирюков Д.С.
НЕНАГРУЖЕННОЕ
РЕЗЕРВИРОВАНИЕ В СТРУКТУРНО-СЛОЖНЫХ СИСТЕМАХ,
СОСТОЯЩИХ ИЗ
ЭЛЕМЕНТОВ СО МНОГИМИ СОСТОЯНИЯМИ....................................... 234
Хаханов В.И., Хассан Ктейман, Парфентий А.Н., Хаханова
И.В.
ВСТРОЕННОЕ АППАРАТНОЕ МОДЕЛИРОВАНИЕ
ПРИ ПРОЕКТИРОВАНИИ SoC.......... 242
Бабий С.М., Бурцев И.А., Ирадж Эльяси Комари
ОЦЕНКА ПОВЫШЕНИЯ ЖИВУЧЕСТИ СЕТИ ЗА
СЧЁТ ВВЕДЕНИЯ
ИЗБЫТОЧНОСТИ....................................................................................................................... 247
Радіоелектронні пристрої та телекомунікаційні
системи
Сапожников Н.Е., Скатков А.В., Быкова
Е.С.
ШИРОКОДИАПАЗОННЫЙ
ГАММА-СПЕКТРОМЕТР ПОВЫШЕННОЙ ТОЧНОСТИ......... 254
Серков А.А., Дженюк Н.В.
Методы обеспечения живучести систем на ранних стадиях
проектирования при деструктивных внешних воздействиях.................... 257
Кучук Г.А., Можаев А.А.
ПРОГНОЗИРОВАНИЕ ТРАФИКА ДЛЯ УПРАВЛЕНИЯ ПЕРЕГРУЗКАМИ
ИНТЕГРИРОВАННОЙ ТЕЛЕКОММУНИКАЦИОННОЙ
СЕТИ.............................................. 261
АНОТАЦІЇ................................................................................................................................... 272
ВІДОМОСТІ ПРО АВТОРІВ....................................................................................................... 283
АЛФАВІТНИЙ ПОКАЖЧИК...................................................................................................... 287
Шановні читачі!
Науково-технічний журнал
“РАДІОЕЛЕКТРОННІ І КОМП'ЮТЕРНІ СИСТЕМИ“
включений до переліку наукових видань, в яких можуть друкуватися основні результати
дисертаційних робіт
(див. постанову президії ВАК України №1-05/10 від 10.12.2003)
Реферативна
інформація зберігається:
– у загальнодержавній
реферативній базі даних «Україніка наукова» та публікується у відповідних
тематичних серіях УРЖ «Джерело» (вільний он-лайновий доступ до ресурсів на
Web-сервері http://www.nbuv.gov.ua);
– у реферативній
базі даних Всеросійського інституту наукової і технічної інформації (ВІНІТІ) Російської
академії наук і публікується у відповідних тематичних серіях РЖ (вільний он-лайновий
доступ до ресурсів на Web-сервері http:// www.viniti.ru).