Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Метод накопления верификационной информации при исполнении верификации в распределенных базах знаний Method of verification data storage within performance of verification in distributed knowledge bases |
|
| Creator |
Д.М. Обідін
Д.Н. Обидин D.М. Obidin |
|
| Subject |
Кібернетика та системний аналіз
УДК 519.816 літальний апарат, розподілена база знань, ефективність системи, функціональна стійкість, верифікація летательный аппарат, распределенная база знаний, эффективность системы, функциональная устойчивость, верификация aircraft, distributed knowledge base, system efficiency, functional stability, verification |
|
| Description |
Доведено теорему, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб інформація про результати перевірок накопичувалася тільки в коректних модулях.
Доказана теорема, которая показывает, что для получения результата верификации с высокой достоверностью необходимо, чтобы информация о результатах проверок накапливалась только в корректных модулях. The theorem, according to which in order to obtain verification result with high degree of reliability, the information about check results should be stored only in correct modules, is proved. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2014
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/3555
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2014. — № 2(39). 140-143
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2014. — № 2(39). 140-143 Scientific Works of Kharkiv National Air Force University. — 2014. — № 2(39). 140-143 2073-7378 |
|
| Language |
ukr
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/3555/zhups_2014_2_35.pdf
|
|