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