82 ` Глава 4 некоторую степень подтвержденности. Обе эти задачи так и остались до конца не решенными. Существует также „бихевиористская” точка зрения на проблему верификации, согласно которой принятие — или непринятие гипотезы — это скорее дело убеждения, чем логики. Процедура верификации является лищь звеном в системе правил, которую признают как часть преобладающей парадигмы системы. знаний, поэтому приходится заниматься лишь теми задачами, которые могут быть решены в рамках данной системы правил. „Подтверждение” достигается путем использования определенных эвристических правил. Эти правила устанавли- ваются в соответствии с системами знаний, существующих на данном уровне. Трудности верификации состоят в отсутствии строгой индуктивной логики доказательства истинности модели (типотезы). Поэтому процесс верификации зависит от четкого представления о том, что данная модель описывает и что получается в ходе натурных экспериментов, т.е.° знание закономерностей, в частности, исследуемых нами динамических процессов, полученное в результате анализа многолетних натурных наблюдений путем изучения оценок вероятностных характеристик течений при разном — комплексе — условий, позволило обосновать выбор периода осреднения данных и методов фильтрации определенных видов движений. При верификации моделей важно иметь соответствие между пространственными и временными шагами при численных расчетах. Так, достаточно малый временной шаг численнойн модели { < 10-30 мин при диагностических расчетах дает возможность описать (при сохранении соответствующих членов в — уравнениях — движений) — инерционные — колебания, а пространственный шаг, при котором выполнены расчеты, равный 5 или 10 км, не позволяет описать эти же движения, так как характерные горизонтальные размеры этих колебаний течений соответствуют 1 км. На рис. 4.3.8. показаны измеренные поля температуры воды на поверхности Онежского озера и расчеты течений на диагностической модели. Слишком болышой шаг сетки (порядка 5 км и более) не позволяет разрешить прибрежную зону, имеющую условно размеры бароклинного радиуса деформации Россби. В крупных стратифицированных озерах в период гидрологического лета он составляет несколько километров. Таким образом, не удается описать корректно бароклинные волны Кельвина, течения, ТЕРМО-ГИДРОФИЗИЧЕСКИЕ ПРОЦЕССЫ В ОЗЕРАХ 83 Рис. 4.3.8. Измеренные поля температуры воды на поверхности Онеж- ского озера и расчеты течений на диагностической модели связанные с прибрежным потоком (соаза! )её) и течения в узкой фронтальной зоне термобара, в то время как в привлекаемых для верификации натурных данных эти особенности — находят отражение. В связи с этим для сравнения результатов требуется лучшее разрешение сеточной областью прибрежной зоны. В настоящее время для крупных глубоководных озер наилучшее разрешение при использовании данных наблюдений за полями температуры получено для Онежского озера, где пространственный шаг измерений составлял 4 км. Для оз. Севан шаг сетки был 1 км, но при этом надо учесть, что оно в 9 раз по площади меньше Онежского, а интерполяция значений температуры — воды выполнялась в сеточных областях всего по 2-3 десяткам точек наблюдений, в то время как для — Онежского — озера непосредственные наблюдения температуры воды получены в течение одной съемки (т.е. за 1 сут) для 248 точек (рис. 4.3.9). По результатам таких подробных измерений удалось оценить мезомасштабные структуры, выявить небольшие вихревые неоднородности. При верификации расчетов течений Онежского озера на ди- агностических и адаптационных моделях учитывался опыт верификации моделей, накопленный для Великих американских озер. В частности, принималась во внимание относительная простота циркуляции вод озер в период гомотермии. Так,