Синтез управления активной стабилизацией спутника на основе необходимых условий оптимальности логико-динамических систем