Математические модели объектов контроля и диагностики для определения технического состояния систем электроснабжения летательных аппаратов