Computadores de aeronave, teoría de operación y mantenimiento de los mismos