1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 2(39)'2014
  5. Method of verification data storage within performance of verification in distributed knowledge bases

Method of verification data storage within performance of verification in distributed knowledge bases

D.М. Obidin
Annotations languages:

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.
Keywords: aircraft, distributed knowledge base, system efficiency, functional stability, verification