Искать
Отображаемые элементы 471-476 из 476
Системный подход для обоснования и выбора направлений развития авиационной техники
(ХАІ, 2005)
В статье предложен системный подход для выбора направлений развития авиационной техники. Разработан сценарий обоснования и развития АТ, учитывающий уровни принятия решений ответственных
лиц, связанных с АТ.
Оптимальное восстановление рельефа в многопозиционных интерферометрических РСА
(ХАІ, 2005)
Синтезированы оптимальные алгоритмы формирования карт высот рельефа поверхности в многопозиционных интерферометрических радиолокационных системах с синтезированием апертуры антенны, показаны наиболее важные частные случаи ...
Имитационное моделирование с использованием бинарной автоматной модели
(ХАІ, 2005)
Предложена БА-модель, предназначенная для применения в имитационном моделирования поведения
систем с большим количеством взаимодействующих объектов. Введены понятия систем и подсистем конечных автоматов. Рассмотрены ...
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.
Целочисленное семантическое отображение
(ХАІ, 2007)
Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ...
Проблеми вартісної оцінки об'єктів інтелектуальної власності
(ХАІ, 2006)
Доведено необхідність освоєння та поширення потоку інновацій, що передбачає використання об’єктів
інтелектуальної власності. Визначено, що використання зарубіжних методів оцінки інтелектуальної власності призводить до ...