ЗМІСТ

ОБЧИСЛЮВАЛЬНІ СИСТЕМИ

Палагін О.В., Петренко М.Г., Михайлюк А.В.
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій

Саженюк В.С.
Алгоритм чисельного розв’язування одного класу варіаційних параболічних нерівностей

Яковлев Ю.С.
Реконфигурируемые PIM-системы: методология построения, примеры моделей

Шинкаренко В.И.
Зависимость временной эффективности алгоритмов и программ обработки больших объемов данных от их кэширования

Кивва С.Л., Кивва Т.С.
Монотонизация разностных схем для уравнения переноса

МОДЕЛЮВАННЯ І УПРАВЛІННЯ ВЕЛИКИМИ СИСТЕМАМИ

Васильев В.Н.
Оценка вероятности опасного сближения самолетов при управлении воздушным движением

Бойко Ю.В., Погорілий С.Д., Шкуліпа І.Ю.
Дослідження паралельних схем алгоритму Прима

Уланский В.В., Мачалин И.А.
Оценка показателей эффективности эксплуатации систем авионики с комбинированными структурами резервирования

Любченко Т.П.
Организация данных и структура электронного грамматического словаря немецкого языка

Серебровский А.Н.
Методы оценки вероятностей отказов в процессах прогнозирования техногенных чрезвычайных происшествий

ЯКІСТЬ, НАДІЙНІСТЬ І СЕРТИФІКАЦІЯ ОБЧИСЛЮВАЛЬНОЇТЕХНІКИ І ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Стрельников В.П.
Параметризация DM -распределения

Федухин А.В., Сеспедес-Гарсия Н.В.
Моделирование надежности восстанавливаемой системы с «холодным» резервом и ненадежным восстанавливающим органом

Стрельников П.В.
Некоторые аспекты планирования и проведения внутреннего аудита