1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 2(39)'2014
  5. Метод накопления верификационной информации при исполнении верификации в распределенных базах знаний

Метод накопления верификационной информации при исполнении верификации в распределенных базах знаний

Д.Н. Обидин
Аннотации на языках:

Доказана теорема, которая показывает, что для получения результата верификации с высокой достоверностью необходимо, чтобы информация о результатах проверок накапливалась только в корректных модулях.
Ключевые слова: летательный аппарат, распределенная база знаний, эффективность системы, функциональная устойчивость, верификация