Презентация, доклад Основные этапы разработки и исследования моделей на компьютере.

моделей называется формализацией

Математика является наиболее широко используемым формальным языком. Однако в некоторых случаях используются специализированные формальные языки (в химии – язык химических формул(например Н2О), в музыке нотная грамота и т.д.)
В процессе исследования формальных моделей часто производится их визуализация.

моделей электрических цепей – электрические схемы. С помощью анимации может отображаться динамика процесса, производиться построение графиков изменения величин. В настоящее время широкое распространение получили компьютерные интерактивные визуальные модели.

Компьютерная модель.
Компьютерный эксперимент.
Анализ полученных результатов и корректировка исследуемой модели.

параметры объекта, а несущественными параметрами пренебрегают.

Формализованная модель.
С помощью формул, уравнений или неравенств фиксируются формальные соотношения между начальными и конечными значениями свойств объектов, нужные ограничения, или применение приближенных математических методов.

с использованием ЭТ и других приложений: систем компьютерного черчения, СУБД, ГИС.
4. Компьютерный эксперимент.
Ввести исходные данные и получить результат.
5. Анализ полученных результатов и корректировка исследуемой модели.
В случае несоответствия полученных результатов
измеряемым параметрам реальных объектов, можно сделать вывод, что на предыдущих этапах были допущены ошибки или неточности.

данный отрезок пополам.
Формальная модель. Зафиксируем формальную модель в форме алгоритма.
1. Построить отрезок АВ.
2. Построить окружность с центром в точке А, радиус которой больше половины отрезка АВ.
3. Построить окружность с центром в точке В такого же радиуса.
4.Через точки пересечения окружностей C и D провести прямую. Точка N пересечения прямых AB и CD делит отрезок АВ пополам.
Построение компьютерной модели. Реализуем геометрическое построение в соответствии с разработанным алгоритмом с использованием системы КОМПАС.
Компьютерный эксперимент. С помощью инструмента Измерение между двумя точками измерить половины отрезка и сравнить их длины.
Исследование модели. Если длины половинок отрезка оказались равны, то чертёж выполнен правильно и данный геометрический метод действительно делит отрезок пополам. В противном случае построение нужно повторить и исправить допущенные ошибки.