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