Численная реализация принципа невязки и его применение к решению задачи термического зондирования атмосферы