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

Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань

Д.М. Обідін
УДК 519.816
Мова статті: українська
Анотації на мовах:

Доведено теорему, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб інформація про результати перевірок накопичувалася тільки в коректних модулях.
Ключові слова: літальний апарат, розподілена база знань, ефективність системи, функціональна стійкість, верифікація
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Обідін Д.М. Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань / Д.М. Обідін  // Збірник наукових праць Харківського національного університету Повітряних Сил. – 2014. – № 2(39). – С. 140-143.