Search
Now showing items 1-4 of 4
Метод перечисления символьных последовательностей
(ХАІ, 2012)
Рассмотрены свойства символьных последовательностей и способы их формального представления в виде серийных последовательностей. Введены операции на множестве символьных последовательностей, позволяющие проводить их ...
Модель управляющих алгоритмов испытаний бортовых систем космических аппаратов
(ХАІ, 2012)
Показано, что из-за сложности и иерархичности управляющих алгоритмов существует необходимость в разработке модели управляющего алгоритма испытаний бортовых систем космических аппаратов, которая предназначена для ...
Проблемы надежности программно-аппаратных средств беспилотных систем
(ХАІ, 2012)
Приведен анализ результатов испытаний беспилотных систем, выявлены основные элементы
аппаратного и программного обеспечения с наименьшей надежностью. Рассмотрены существующие
подходы решения вопросов оценки и методы ...
Метод визуализации управляющих алгоритмов реального времени
(ХАІ, 2012)
Показано, что для повышения наглядности программного обеспечения, реализующего управляющий алгоритм, снижения трудоемкости процессов тестирования и отладки управляющих алгоритмов реального времени, а также возможности их ...