Search
Now showing items 471-480 of 481
Нейросетевое моделирование подсистемы электроснабжения спутника для верификации по автоматизации испытаний
(ХАІ, 2009)
Приведены результаты построения имитационной модели подсистемы электроснабжения
спутника на основе математического аппарата искусственных нейронных сетей.
Метод идентификации рисков программного проекта на основе вероятностного подхода
(ХАІ, 2009)
Рассматриваются вероятностные модели оценки рисков, связанных с разработкой программного
продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс.
Адаптивное управление сервером данных в SCADA-системах
(ХАІ, 2009)
Показано, что требование постоянной поддержки актуальности и целостности данных, т.е. обновление информации до истечения директивных сроков, приводит к решению оптимизационной задачи
управления OPC-серверами в клиент-серверных ...
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Системный подход для обоснования и выбора направлений развития авиационной техники
(ХАІ, 2005)
В статье предложен системный подход для выбора направлений развития авиационной техники. Разработан сценарий обоснования и развития АТ, учитывающий уровни принятия решений ответственных
лиц, связанных с АТ.
Оптимальное восстановление рельефа в многопозиционных интерферометрических РСА
(ХАІ, 2005)
Синтезированы оптимальные алгоритмы формирования карт высот рельефа поверхности в многопозиционных интерферометрических радиолокационных системах с синтезированием апертуры антенны, показаны наиболее важные частные случаи ...
Имитационное моделирование с использованием бинарной автоматной модели
(ХАІ, 2005)
Предложена БА-модель, предназначенная для применения в имитационном моделирования поведения
систем с большим количеством взаимодействующих объектов. Введены понятия систем и подсистем конечных автоматов. Рассмотрены ...
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.
Целочисленное семантическое отображение
(ХАІ, 2007)
Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ...