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