1. Science
  2. Publications
  3. Information Processing Systems
  4. 7(105)'2012
  5. The verification of the distributed knowledge base for future aircraft control system with minimized verification structures

The verification of the distributed knowledge base for future aircraft control system with minimized verification structures

D.M. Obidin
Annotations languages:

The article highlights the simplified model of verification for the distributed knowledge base of intelligent future aircraft control system on the basis of minimized verification structures. The statement and characteristics of minimized verification structures are given.
Keywords: distributed knowledge base, verification, moving diagnostic core, future aircraft, minimized verification structure
Reference:
Obidin, D.M. (2012), "Veryfikatsiia rozpodilenoi bazy znan systemy upravlinnia perspektyvnoho litalnoho aparata na osnovi pobudovy minimalno dostatnikh struktur" , Information Processing Systems, Vol. 7(105), pp. 130-134.