| Формализация и визуализация моделейНа протяжении своей истории человечество использовало различные способы и инструменты для создания информационных моделей. Эти способы постоянно совершенствовались. Так, первые информационные модели создавались в форме наскальных рисунков. В настоящее время информационные модели обычно строятся и исследуются с использованием современных компьютерных технологий. Описательные информационные модели. Такие модели отображают объекты, процессы и явления качественно, т. е. не используя количественных характеристик. Описательные информационные модели обычно строятся с использованием естественных языков и рисунков. В истории науки известны многочисленные описательные информационные модели. Так, гелиоцентрическая модель мира Коперника на естественном языке формулировалась следующим образом:-	Земля вращается вокруг Солнца, а Луна вращается вокруг Земли;
 -	все планеты вращаются вокруг Солнца.
 Однако более нагляден способ ее представления в виде рисунка (рис. 4.12). 
 
   |  |  
   | Рис. 4.12. Описательная модель гелиоцентрической системы мира Коперника |  
 
 В физике явление электростатического взаимодействия двух зарядов описывается на естественном языке так: "Два одноименных заряда отталкиваются, а два разноименных - притягиваются". Для наглядности можно нарисовать линии напряженности электростатического поля и эквипотенциальные поверхности (рис. 4.13). 
 
   |  |  
   | Рис. 4.13. Описательная модель взаимодействия электрических зарядов |  
 
 В химии строение молекулы воды можно качественно описать на естественном языке: "Молекула воды состоит из атома кислорода и двух атомов водорода". Для наглядности строение молекулы можно нарисовать (рис. 4.14). 
 
   |  |  
   | Рис. 4.14. Описательная модель молекулы воды |  
 
 Формализация информационных моделей. С помощью формальных языков строятся формальные информационные модели. Математика является наиболее широко используемым формальным языком. С использованием математических понятий и формул строятся математические модели. Математика включает различные формальные языки, с некоторыми из них (алгебра и геометрия) вы знакомитесь в школе. В естественных науках (физике, химии и др.) строятся формальные модели явлений и процессов. В большинстве случаев для этого применяется универсальный математический язык алгебраических формул. Однако в некоторых случаях используются специализированные формальные языки (в химии - язык химических формул, в музыке - нотная грамота и т. д.). 
   | Ньютон формализовал гелиоцентрическую систему мира, открыв закон всемирного тяготения и законы механики и записав их в виде формул.  |  
  |  
   | В электростатике взаимодействие электрических   зарядов   описывается   формулой закона Кулона. |  |  
   | В химии строение молекулы воды описывается химической формулой.	 |  |  Процесс построения  информационных моделей с помощью формальных языков называется формализацией. В процессе познания окружающего мира человечество постоянно использует моделирование и формализацию. При изучении нового объекта сначала обычно строится его описательная информационная модель на естественном языке, затем она формализуется, т. е. выражается с использованием формальных языков. Визуализация формальных моделей. В процессе исследования формальных моделей часто производится их визуализация. Для визуализации алгоритмов используются блок-схемы, пространственных соотношений между объектами - чертежи, моделей электрических цепей - электрические схемы. При визуализации формальных моделей с помощью анимации может отображаться динамика процесса, производиться построение графиков изменения величин и т. д. В настоящее время широкое распространение получили компьютерные интерактивные визуальные модели. В таких моделях исследователь может менять начальные условия и параметры протекания процессов и наблюдать изменения в поведении модели. В качестве примера визуализации формальной модели можно привести компьютерную визуальную интерактивную модель гидравлической машины (рис. 4.15). 
 
   |  |  
   | Рис. 4.15. Компьютерная визуальная интерактивная модель гидравлической машины |  
 
 В компьютерном эксперименте можно изменять площади поршней S1 и S2 и массы грузов m1 и m2 в обоих коленах и вывести формулу соотношения между площадями поршней и действующими на них силами. Контрольные вопросы 1.	Какие вы знаете описательные информационные модели? 2.	Какие вы можете назвать формализованные информационные модели? Задания для самостоятельного выполнения Практическое задание. Ознакомиться с визуализированными интерактивными моделями из различных предметных областей в Интернете по адресу http://www.college.ru 
 
 |