ФОРМАЛИЗАЦИЯ АНАЛИЗА ИСТОЧНИКОВ SES АКТИВНОСТИ ДЛЯ ОПЕРАТИВНОГО КОНТРОЛЯ ВАРИАЦИЙ НДСдоклад на конференции