1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 7(105)'2012
  5. Верификация распределенной базы знаний системы управления перспективного летательного аппарата на основе построения минимально достаточных структур

Верификация распределенной базы знаний системы управления перспективного летательного аппарата на основе построения минимально достаточных структур

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

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