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