Формализация и визуализация моделей
На протяжении своей истории человечество использовало различные способы и инструменты для создания информационных моделей. Эти способы постоянно совершенствовались. Так, первые информационные модели создавались в форме наскальных рисунков. В настоящее время информационные модели обычно строятся и исследуются с использованием современных компьютерных технологий. 
Описательные информационные модели. Такие модели отображают объекты, процессы и явления качественно, т. е. не используя количественных характеристик. Описательные информационные модели обычно строятся с использованием естественных языков и рисунков. 
В истории науки известны многочисленные описательные информационные модели. Так, гелиоцентрическая модель мира Коперника на естественном языке формулировалась следующим образом: 
-	Земля вращается вокруг Солнца, а Луна вращается вокруг Земли; 
-	все планеты вращаются вокруг Солнца. 
Однако более нагляден способ ее представления в виде рисунка (рис. 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 
  
       |