Содержание РЭКС 7 2009

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

ЗМIСТ

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

Рвачова Н.В.

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

Кулик А.С., Чухрай А.Г., Анценбергер П.

ЗАДАЧИ РАЗРАБОТКИ АДАПТИВНОГО
КОМПЬЮТЕРНОГО СРЕДСТВА ОБУЧЕНИЯ SQL............................................. 19

Кузнецова Ю.А., Соколова Е.В.

АДАПТИВНОЕ УПРАВЛЕНИЕ СЕРВЕРОМ ДАННЫХ
В SCADA-СИСТЕМАХ......................................................................................... 26

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

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

Гордеев А.А., Гордеева Д.В., Гончаренко А.А.

ОЦЕНКА КАЧЕСТВА УДОБСТВА В ИСПОЛЬЗОВАНИИ
БИЗНЕС-КРИТИЧЕСКИХ ВЕБ-СЕРВИСОВ........................................................ 37

Базилевич Р.П., Кутельмах Р.К.

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

Харченко В.С.

ГАРАНТОЗДАТНІ СИСТЕМИ ТА БАГАТОВЕРСІЙНІ ОБЧИСЛЕННЯ:
АСПЕКТИ ЕВОЛЮЦІЇ.......................................................................................... 46

Сиротюк А.И.

АРХИТЕКТУРИРОВАНИЕ ГАРАНТОСПОСОБНЫХ
ВЕБ-ИНФРАСТРУКТУР: АНАЛИЗ БАЗОВЫХ ВАРИАНТОВ............................. 60

Фурманов А.А., Лахижа И.Н., Харченко В.С.

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

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

Yaskova K.V., Barsov V.I., Krasnobayev V.A., Kowman S.A., Khery Ali Abdyllah

METHOD OF REALIZATION OF ARITHMETIC OPERATIONS
ON THE BASIS OF THE USE OF MODULYARNOY NUMBER SYSTEM............. 70

Романкевич А.М., Майданюк И.В., Потапова Е.Р.

О СЛОЖНОСТИ ПРЕОБРАЗОВАНИЯ GL-МОДЕЛЕЙ
НА РАННИХ ЭТАПАХ ПРОЕКТИРОВАНИЯ
ОТКАЗОУСТОЙЧИВЫХ МНОГОПРОЦЕССОРНЫХ СИСТЕМ.......................... 74

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

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

Федухин А.В., Сеспедес-Гарсия Н.В.

МОДЕЛИРОВАНИЕ НАДЕЖНОСТИ НЕВОССТАНАВЛИВАЕМОЙ
СИСТЕМЫ СО СТРУКТУРОЙ ТИПА «K ИЗ N»
C РЕКОНФИГУРАЦИЕЙ...................................................................................... 82

Дубницкий В.Ю., Проценко А.Г.

СРАВНИТЕЛЬНЫЙ АНАЛИЗ ДАТЧИКОВ СЛУЧАЙНЫХ
ЧИСЕЛ СИСТЕМ STATGRAPHICS И MATHCAD............................................... 85

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

Извалов А.В., Неделько В.Н., Неделько С.Н., Палённый А.С., Сорока М.Ю.

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

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

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

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

МЕТОД ОПТИМАЛЬНОГО ВЫБОРА СРЕДСТВ СНИЖЕНИЯ
КРИТИЧНОСТИ ОТКАЗОВ ПО РЕЗУЛЬТАТАМ FME(C)A – АНАЛИЗА.......... 100

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

Капгер И.В., Южаков А.А.

ПРИМЕНЕНИЕ КРИПТОГРАФИЧЕСКОГО ПРЕОБРАЗОВАНИЯ
СООБЩЕНИЙВ ПРОМЫШЛЕННЫХ СЕТЯХ
LON ПО ГОСТ 28147-89..................................................................................... 106

Скатков И.А., Смагина А.О.

АНАЛИЗ ГАРАНТОСПОСОБНОСТИ КРИПТОГРАФИЧЕСКОЙ
ЗАЩИТЫ СИСТЕМ НЕОДНОРОДНОГО СОСТАВА......................................... 111

Коваленко Н.С., Коваленко А.Н.

МОДЕЛИ И МЕТОДЫ РАЗРАБОТКИ ИНТЕГРИРОВАННЫХ
СИСТЕМ ОХРАНЫ СО СЛОЖНОЙ СТРУКТУРОЙ.......................................... 118

Чевардин В.Е., Пономарев И.Н., Прокопенко В. Г.

ОЦЕНКА СТОЙКОСТИ МАС-КОДОВ
И ПЕРСПЕКТИВНЫЕ ПУТИ РАЗВИТИЯ.......................................................... 122

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

Иванченко О.В., Паткаускас А.В., Маврин C.А., Корощенко Н.Н.

ОБОБЩЕННЫЙ КРИТЕРИЙ СИНТЕЗА АДАПТИВНОЙ
СИСТЕМЫ ТЕХНИЧЕСКОГО ДИАГНОСТИРОВАНИЯ СЛОЖНЫХ
ПРОМЫШЛЕННЫХ ОБЪЕКТОВ....................................................................... 127

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

ДВУХУРОВНЕВЫЙ АЛГОРИТМ ГЕНЕРАЦИИ
ПРОВЕРЯЮЩИХ ТЕСТОВ ДЛЯ СХЕМ С ПАМЯТЬЮ.................................... 136

Елисеев К.В.

ГЕОМЕТРИЧЕСКИЕ ОБРАЗЫ В ИССЛЕДОВАНИИ КРИВЫХ,
ПРЕДСТАВЛЯЮЩИХ ЭЛЕКТРОКАРДИОГРАММЫ....................................... 141

Гурвич Н.В., Ситников В.С., Теплетчук А.М.

ЭЛЕКТРОННАЯ ДИАГНОСТИКА И КОНТРОЛЬ ФОРСУНОК. ....................... 145

AN EXPERT SYSTEM FOR COMPUTER FAILURE DIAGNOSIS........................ 150

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

СИНХРОНИЗАЦИЯ КОМПОЗИЦИЙ ТЕСТОВЫХ ПРОЦЕССОВ..................... 154

Котляр Є.Й.

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

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

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

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

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

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

ON COMBINING EVENT-B AND WORKFLOW.................................................. 177

Жолткевич Г.Н., Перепелица И.Д., Соляник Ю.В., Тави М.

ОБ ОДНОЙ МОДЕЛИ ПРОГРАММ В ЗАДАЧАХ
ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ...................................................................... 182

Андрашов А.А., Кременчуцкий Ю.А., Харченко В.С.

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

Конорев Б.М., Сергиенко В.В., Чертков Г.Н., Алексеев Ю.Г.

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

Ляхов А.Л., Захаров С.А.

ПРИНЦИПЫ РАЗРАБОТКИ СПЕЦИФИКАЦИЙ КОМПЬЮТЕРНЫХ
ОБУЧАЮЩИХ СИСТЕМ................................................................................... 200

Мандрикова Л.В., Манжос Ю.С., Хоменко В.В.

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

Туркин И.Б., Лучшев П.А.

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

Мищенко В.О.

МЕТРИКИ РАСШИРЕНИЙ ПРОГРАММ
ВЫЧИСЛИТЕЛЬНОГО НАЗНАЧЕНИЯ.............................................................. 219

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

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

Володарский Е.Т., Кошевая Л.А.

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

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

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

Поляков Г.А., Толстолужский Д.А.

МЕТОДИКА КОМПЛЕКСНОЙ СЕМАНТИКО - ЧИСЛОВОЙ
ВЕРИФИКАЦИИ СИ‑ПРОГРАММ И ИХ ВРЕМЕННЫХ
ПАРАЛЛЕЛЬНЫХ МОДЕЛЕЙ............................................................................ 240

Харченко В.С., Одарущенко О.Н., Руденко А.А., Одарущенко Е.Б., Поночовный Ю.Л.

МОДЕЛИРОВАНИЕ ОБСЛУЖИВАЕМЫХ КОМПЬЮТЕРНЫХ СИСТЕМ
С УЧЕТОМ ВТОРИЧНЫХ ДЕФЕКТОВ ПРОГРАММНЫХ СРЕДСТВ.............. 245

Погребняк Т.П., Орехова А.А.

ОЦЕНКА КАЧЕСТВА ИНТЕРФЕЙСОВ МЕДИЦИНСКИХ СИСТЕМ:
МОДЕЛЬ И ЭЛЕМЕНТЫ МЕТОДИКИ .............................................................. 250

Яновский М.Э.

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

Lobachova K.I.

THE CONCEPT AND ARCHITECTURE OF SAFETY
CASES: ELEMENTS OF ANALYSIS.................................................................... 261

EXAMINING SOFTWARE ENGINEERING
REQUIREMENTS IN SAFETY-RELATED STANDARDS..................................... 268

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

Копылов Ю.А., Коновалов В.И.

ОБРАБОТКА ДИСКРЕТНОЙ ИНФОРМАЦИИ
С ПОМОЩЬЮ МАТРИЧНЫХ ОПЕРАТОРОВ................................................... 275

Слюсар В.І., Троцько О.О.

МЕТОДИ ЗАБЕЗПЕЧЕННЯ ГАРАНТОЗДАТНОГО ЗВ’ЯЗКУ З БПЛА
З ВРАХУВАННЯМ ЕФЕКТУ ДОППЛЕРА.......................................................... 280

Дядык Д.Ф., Стрюк А.Ю.

МЕТОД ПРЕДВАРИТЕЛЬНОЙ ОЦЕНКИ СТЕПЕНИ
СЖАТИЯ ИЗОБРАЖЕНИЙ................................................................................. 283

Щербаков В.Е., Лукин К.А.

МОДЕЛИРОВАНИЕ СИСТЕМЫ ПЕРЕДАЧИ/ПРИЕМА
ДАННЫХ МЕЖДУ ТРАНСПОРТНЫМИ
СРЕДСТВАМИ НА АВТОБАНЕ.......................................................................... 288

Слюсар В.И., Зинченко А.А., Волошко С.В., Масесов Н.А.

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

Корж Ю.Н., Тыртышников А.И., Мартыненко А.М.

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

Польщиков К.О., Лаврут О.О., Дружинін С.В.

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

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

Хаханов В.И., Сушанов А.В., Гузь О.А., Горобец А.А.

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

Хаханов В.И., Чумаченко С.B., Tiecoura Yves, Галаган С.С.

ВСТРОЕННОЕ ДИАГНОСТИРОВАНИЕ ЦИФРОВЫХ СИСТЕМ...................... 314

Хаханов В.И., Литвинова Е.И., Ngene Christopher Umerah

СЕРВИСНОЕ ОБСЛУЖИВАНИЕ СОВРЕМЕННЫХ
ЦИФРОВЫХ СИСТЕМ НА КРИСТАЛЛАХ........................................................ 319

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

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

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

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

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

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

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

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

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

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