AC and DC aircraft electrical theory