Лаборатория № 1 им.М.С.Пинскера >> Математическая теория информации и управ... >> Методы анализа компьютерных моделей непр...
Необходимость в данном направлении исследований вызвана тем, что в последнее время благодаря бурному развитию возможностей вычислительной техники компьютерное моделирование все чаще стало применяться для исследования именно тех ситуаций, когда строгие теоретические методы анализа оказываются неработоспособными, а эмпирически подтвержденных методов еще не накоплено. Это привело к росту количества примеров, в которых результаты компьютерного моделирования оказываются весьма далеким от реального поведения моделируемых объектов. Работа по теоретическому осмыслению возникающих ситуаций проводилась в двух направлениях — анализ условий грубости динамических систем по отношению к негладким возмущениям и анализ эффектов дискретизации непрерывных систем. Удалось установить, что основные признаки глобального поведения динамических систем грубы по отношению к произвольным малым по равномерной норме непрерывным возмущениям. Ключевой идеей явилось использование предложенного д.ф.-м.н. В.С. Козякиным и д.ф.-м.н. А.В. Покровским понятий полугиперболичности и взаимного шедоуинга, под которым понимается существование (для любого малого по равномерной норме возмущения исходной системы) траектории, равномерно аппроксимирующей любую данную траекторию исходной системы и наоборот. Результаты исследований отражены в готовящейся к изданию монографии «Semi-hyperbolicity and bi-shadowing» (P.M. Diamond, P.E. Kloeden, В.С. Козякин, А.В. Покровский). Новые модели и методы анализа эффектов дискретизации непрерывных систем позволили качественно и количественно объяснить один из наиболее неприятных при численном моделировании эффектов, кардинально искажающих результаты компьютерного моделирования, — так называемый коллапс динамической системы под влиянием процедур дискретизации и указать принципиальные пути борьбы с этим явлением. Также были разработаны методы оценки потери информации при дискретизации случайных объектов. Результаты исследований отражены в обзорно-постановочной статье В.С. Козякина и Н.А. Кузнецова «Достоверность компьютерного моделирования с точки зрения теории информации» (Информационные процессы, 2007, т. 7, № 3, с. 323–368).
|