Search
Now showing items 1-9 of 9
Создание функционально безопасных программных систем на основе виртуальных машин
(ХАІ, 2007)
Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены ...
Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства
(ХАІ, 2007)
Показаны проблемы экспертизы, основанной на оценке семантической корректности программного
обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью.
Предложен метод эффективного представления ...
Методика оцінки епідемічних ситуацій та прогнозування розвитку захворюваності на грип та ГРВІ
(ХАІ, 2007)
Розглянуто проблему контролю захворюваності на грип та ГРВІ. Запропоновано методику вирішення цієї проблеми шляхом розрахунку епідемічних порогів захворюваності. Розроблено програмний комплекс,
який оптимізує роботу ...
Аналитическое решение задачи оценки спектральной плотности случайного процесса по экспериментальным данным
(ХАІ, 2007)
Предложен метод вычисления спектральной плотности, основанный на простом способе аппроксимации
эмпирической корреляционной функции, показана возможность его осуществления на простом примере.
Организационно-функциональное моделирование процессов финансирования научно-исследовательских и опытно-конструкторских разработок в условиях конкуренции
(ХАІ, 2007)
Разработаны модели различных принципов организационного управления ресурсами распределенной
технико-экономической системы, позволяющие провести количественный анализ эффективности диверсификации финансирования ...
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)
Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов
(КА). Рассмотрены некоторые ...
Проектирование сложных проблемно-ориентированных комплексов на основе модели траекторий вычислительных процессов
(ХАІ, 2007)
Выполнен анализ известных современных технологий разработки проблемно-ориентированных программных комплексов. Обоснована необходимость создания новых методов и технологий разработки для
целого класса задач, обеспечение ...
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.
Целочисленное семантическое отображение
(ХАІ, 2007)
Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ...