Урок информатики на тему "формализация как важнейший этап моделирования". Формализация и моделирование Формальные описания реальных объектов и процессов презентация

Формализация и моделирование

Модель - это искусственно создаваемый объект, заменяющий некоторый объект реального мира (объект моделирования) и воспроизводящий ограниченное число его свойств. Понятие модели относится к фундаментальным общенаучным понятиям, а моделирование - это метод познания действительности, используемый различными науками.

Объект моделирования - широкое понятие, включающее объекты живой или неживой природы, процессы и явления действительности. Сама модель может представлять собой либо физический, либо идеальный объект. Первые называются натурными моделями, вторые - информационными моделями. Например, макет здания - это натурная модель здания, а чертеж того же здания - это его информационная модель, представленная в графической форме (графическая модель).

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

Информационные модели используются при теоретических исследованиях объектов моделирования. В наше время основным инструментом информационного моделирования является компьютерная техника и информационные технологии.

Компьютерное моделирование включает в себя прогресс реализмом информационной модели на компьютере и исследование с помощью этой модели объекта моделирования - проведение вычислительного эксперимента.

Формализация
К предметной области информатики относятся средства и методы компьютерного моделирования. Компьютерная модель может быть создана только на основе хорошо формализованной информационной модели. Что же такое формализация?

Формализация информации о некотором объекте - это ее отражение в определенной форме. Можно еще сказать так: формализация - это сведение содержания к форме. Формулы, описывающие физические процессы, - это формализация этих процессов. Радиосхема электронного устройства - это формализация функционирования этого устройства. Ноты, записанные на нотном листе, - это формализация музыки и т.п.

Формализованная информационная модель - это определенные совокупности знаков (символов), которые существуют отдельно от объекта моделирования, могут подвергаться передаче и обработке. Реализация информационной модели на компьютере сводится к ее формализации в форматы данных, с которыми "умеет" работать компьютер.

Но можно говорить и о другой стороне формализации применительно к компьютеру. Программа на определенном языке программирования есть формализованное представление процесса обработки данных. Это не противоречит приведенному выше определению формализованной информационной модели как совокупности знаков, поскольку машинная программа имеет знаковое представление. Компьютерная программа - это модель деятельности человека по обработке информации, сведенная к последовательности элементарных операций, которые умеет выполнять процессор ЭВМ. Поэтому программирование на ЭВМ есть формализация процесса обработки информации. А компьютер выступает в качестве формального исполнителя программы.

Этапы информационного моделирования

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

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

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

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

Государственный образовательный стандарт предусматривает изучение вопросов, относящихся к информационному моделированию, как в базовом курсе основной школы, так и в старших классах. Примерная программа курса информатики рекомендует изучение темы "Формализация и моделирование" в 8-м классе на уровне примеров моделирования объектов и процессов. Прежде всего предполагается использование графических и табличных моделей. В старших классах предусмотрено общее (теоретическое) введение в тему и изучение различных видов компьютерного моделирования на уровне математических ("расчетных"), графических, имитационных моделей, связанных с социальными, биологическими и техническими системами и процессами. Эффективной формой углубленного изучения компьютерного моделирования являются элективные курсы для старшеклассников.

Образовательные задачи, решаемые в ходе изучения информационного моделирования

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

Общее развитие и становление мировоззрения учащихся

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

Овладение моделированием как методом познания

Основной упор в каждом из такихкурсов необходимо сделать на выработку общего методологического подхода к построению компьютерных моделей и работе с ними. Необходимо

1. продемонстрировать, что моделирование в любой области знаний имеет схожие черты; зачастую для различных процессов удается получить очень близкие модели;
2. выделить преимущества и недостатки компьютерного эксперимента по сравнению с экспериментом натурным;
3. показать, что и абстрактная модель, и компьютер представляют возможность познавать окружающий мир, а иногда и управлять им в интересах человека.

Выработка практических навыков компьютерного моделирования

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

Содействие профессиональной ориентации учащихся

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

Преодоление предметной разобщенности, интеграция знаний

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

Развитие и профессионализация навыков работы с компьютером

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

Задание:

ФГКОУ СОШ № 8

Класс: 9

Предмет: информатика

Тема мероприятия: «Формализация описания реальных объектов и процессов. Виды информационных моделей. Табличные модели».

Форма мероприятия: урок.

Методическое обеспечение урока: на основе информационно-коммуникативных, личностно-ориентированных, технологии развивающего обучения, создаются условия для формирования познавательных, регулятивных, коммуникативных и личностных УУД с целью формирования у учащихся понятий формализация, информационная модель, научить строить табличную информационную модель с помощью электронных таблиц и осуществлять визуализацию модели. Развивать исследовательскую компетентность учащихся при формализации модели через структурирование учебного материала с помощью электронных таблиц.

Для слабых учащихся: Пробудить интерес к процессу моделирования путем использования посильных задач, учебных программных средств, позволяющих ученику работать в соответствии с его индивидуальными способностями.

Для средних учащихся: Развить устойчивый интерес к предмету, через построение табличных моделей.

Для сильных учащихся: Развить устойчивый интерес к процессу моделирования, через решение различных задач в Excel.

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

Тип урока: Урок формирования первоначальных предметных навыков, овладения предметными умениями.

Средства обучения: мультимедийный проектор, презентация в Power Point.

Приемы для формирования общеучебных умений и навыков: фронтальная беседа, самостоятельная индивидуальная работа, самоконтроль, групповая рефлексия.

Ход урока

Этапы урока. Цели

Деятельность учителя

Деятельность ученика

Планируемые результаты

I. Орг. момент.

Цель: Формирование навыка научной организации труда

1. Учитель проверяет готовность класса к уроку.
2. Совместно с учениками формулирует цель урока.
3. Настраивает класс на продуктивную деятельность

1.Готовятся к работе: организуют рабочее место.
2. Совместно с учителем формулируют цель урока, исходя из формулировки поставленной темы.

Регулятивные УУД (универсальные учебные действия) на основе умения организовать рабочее место

Коммуникативные УУД на основе инициативного сотрудничества в поиске информации, умения выражать свои мысли

II. Актуализация прежних знаний:

Цель:

Мотивация учащихся на предстоящую деятельность.

Фронтальное обсуждение материала, изученного на прошлом уроке.

На прошлом уроке мы познакомились с понятием модель, моделирование, формализация.

Итак, что такое модель? (Слайд 1 )

Поставьте в соответствие оригинал и модель.

Какая связь существует между количеством моделей и количеством оригиналов?

Зачем нужно изучать и рассматривать много моделей? От чего зависит выбор модели?

Отвечают на вопросы, воспроизводя изученный материал прошлого урока, устанавливают причинно-следственные связи между объектами.

Модель – это объект, который обладает некоторыми свойствами другого объекта (оригинала) и используется вместо него.

(Слайд 2 )

(Слайд 3 )

Познавательные УУД на основе умения извлекать необходимую информацию из прослушанной и увиденной информации, умения определять основное и второстепенное, устанавливать причинно-следственные связи

Цель: 1) первичная проверка усвоения пройденного материала, необходимого и достаточного для усвоения нового

Организует индивидуальную самостоятельную работу в тестовой форме. Вопросы демонстрируются на интерактивной доске.

Слайд 4-8

Учащиеся отвечают на вопросы теста. Проверяют правильность выполнения работы

Познавательные УУД на основе поиска и отбора необходимой информации и способов решения задач. Самооценка и самоанализ собственных учебных достижений.

Коммуникативные УУД на основе контроля друг друга.

III. Первичное восприятие и усвоение теоретического материала

2) Предоставить учащимся информацию по теме «Табличные модели»

Представляет новый материал в виде опорных схем, иллюстративного материала.

Слайд 9-11

Познавательные УУД на основе умения извлекать необходимую информацию из прослушанного материала. Коммуникативные УУД на основе инициативного сотрудничества совершенствуют владение диалогической формой речи

IV. Применение теоретических положений

Цель: первичное применение технологии решения задач на составление табличных моделей

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

Инструктирует о правилах ТБ при работе за компьютером

Организует деятельность учащихся по выполнению самостоятельной работы за компьютером с составлением таблицы в среде табличного процессора Excel .

Проводит гимнастику для глаз

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

Слайд 12-14

Правильное воспроизведение образцов выполнения заданий, безошибочное применение алгоритмов и правил при решении учебных задач

Регулятивные УУД через усвоение стандартных технологий решения, познавательные УУД на основе понимания сущности решения задач за компьютером в среде табличного процессора Excel , коммуникативные – общение с учителем на основе умения задавать «умные вопросы»

V . Закрепление знаний и способов деятельности

Цель: самооценка и самоанализ результатов деятельности

Проводит проверку результатов с/р, выявляет уровень знаний учащихся по теме. Организует коррекцию на основе индивидуальной работы с учащимися по технологическим карточкам

Осуществляют анализ и самоанализ результатов с/р, соотносят результат своих достижений с образцом, выполняют задания по индивидуальным карточкам

Познавательные УУД – формирование прочных знаний и умений структурировать текст, составлять табличную модель, диаграмму. Личностные УУД на основе самооценки и самоанализа собственный учебных достижений

VI .Подведение итогов, домашнее задание

Цель: подведение итогов и самооценка полученного результата

Консультирует учащихся по решению домашнего задания (Слайд 15 )

Проводит промежуточную рефлексию.

Записывают домашнее задание, комментируют, фиксируют рекомендации.

Формулируют свое отношение к уроку, используя предложенные высказывания.

Регулятивные УУД – на основе самоанализа выявить пробелы в знаниях и планирование деятельности по устранению этих пробелов

Литература: http://kpolyakov.narod.ru/

Основные определения :

Модель – некоторое упрощенное подобие реального объекта, который отражает существенные особенности (свойства) изучаемого реального объекта, явления или процесса

Моделирование – метод познания, состоящий в создании и исследовании моделей. Т.е. исследование объектов путем построения и изучения моделей

Формализация – процесс построения информационных моделей с помощью формальных языков

Объект – некоторая часть окружающего мира, рассматриваемого человеком как единое целое. Каждый объект имеет имя и обладает параметрами

Параметр – признак или величина, характеризующая какое-либо свойство объекта и принимаемая различные значения

Среда – условие существование объекта

Операция – действие, изменяющее свойство объекта

Система – совокупность взаимосвязанных объектов, воспринимаемая как единое целое

Структура – состав системы, свойства её элементов, их отношения и связи между собой

Этапы моделирования:

Постановка задачи: описание задачи, цель моделирования, формализация задачи

Разработка модели: информационная модель, компьютерная модель

3. Компьютерный эксперимент – план эксперимента, проведение исследования

Анализ результатов моделирования

Классификация моделей

Признаки классификаций моделей : 1) по области использования;

2) по фактору времени;

3) по отрасли знаний;

4) по форме представления

1) Классификация моделей по области использования:

Учебные модели – используются при обучении;

Опытные – это уменьшенные или увеличенные копии проектируемого объекта. Используют для исследования и прогнозирования его будущих характеристик

Научно - технические - создаются для исследования процессов и явлений

Игровые – репетиция поведения объекта в различных условиях

Имитационные – отражение реальности в той или иной степени (это метод проб и ошибок)

2) Классификация моделей по фактору времени:

Статические – модели, описывающие состояние системы в определенный момент времени (единовременный срез информации по данному объекту). Примеры моделей : классификация животных…., строение молекул, список посаженных деревьев, отчет об обследовании состояния зубов в школе и тд.

Динамические – модели, описывающие процессы изменения и развития системы (изменения объекта во времени). Примеры : описание движения тел, развития организмов, процесс химических реакций.

3) Классификация моделей по отрасли знаний - это классификация по отрасли деятельности человека : Математические, биологические, химические, социальные, экономические, исторические и тд

4) Классификация моделей по форме представления :

Материальные – это предметные (физические) модели. Они всегда имеют реальное воплощение. Отражают внешнее свойство и внутреннее устройство исходных объектов, суть процессов и явлений объекта-оригинала. Это экспериментальный метод познания окружающей среды. Примеры : детские игрушки, скелет человека, чучело, макет солнечной системы, школьные пособия, физические и химические опыты

Абстрактные (нематериальные) – не имеют реального воплощения. Их основу составляет информация. это теоретический метод познания окружающей среды. По признаку реализации они бывают: мысленные и вербальные; информационные

Мысленные модели формируются в воображении человека в результате раздумий, умозаключений, иногда в виде некоторого образа. Это модель сопутствует сознательной деятельности человека.

Вербальные – мысленные модели выраженные в разговорной форме. Используется для передачи мыслей

Информационные модели – целенаправленно отобранная информация об объекте, которая отражает наиболее существенные для исследователя свойств этого объекта.

Типы информационных моделей:

Табличные – объекты и их свойства представлены в виде списка, а их значения размещаются в ячейках прямоугольной формы. Перечень однотипных объектов размещен в первом столбце (или строке), а значения их свойств размещаются в следующих столбцах (или строках)

Иерархические – объекты распределены по уровням. Каждый элемент высокого уровня состоит из элементов нижнего уровня, а элемент нижнего уровня может входить в состав только одного элемента более высокого уровня

Сетевые – применяют для отражения систем, в которых связи между элементами имеют сложную структуру

По степени формализации информационные модели бывают образно-знаковые и знаковые. Напримеры :

Образно-знаковые модели:

Геометрические (рисунок, пиктограмма, чертеж, карта, план, объемное изображение)

Структурные (таблица, граф, схема, диаграмма)

Словесные (описание естественными языками)

Алгоритмические (нумерованный список, пошаговое перечисление, блок-схема)

Знаковые модели:

Математические – представлены матем.формулами, отображающими связь параметров

Специальные – представлены на спец. языках (ноты, хим.формулы)

Алгоритмические – программы

Признаки классификаций моделей:Классификация моделей по области использования

Модели процессов управления

Информационные модели процессов управления - это модели, описывающие информационные процессы управления в сложных процессах

Разомкнутая система управления - не учитывает состояние управляемого объекта управление идет по прямому каналу

Замкнутая система управления - управляющий объект получает информацию по каналу обратной связи о реальном положении дел, а по прямому каналу происходит управление

Начиная с древнейших времен, становление человеческой цивилизации неразрывно связано с моделированием, то есть с построением, изучением и использованием моделей различных объектов, процессов и явлений. Например, в разговоре мы как бы замещаем реальные объекты их именами. И от имени не требуется ничего, кроме того, чтобы однозначно обозначить необходимый объект.

В своей деятельности – в практической сфере, художественной, научной - человек всегда создает некий слепок, заменитель того объекта, процесса или явления с которым ему приходится иметь дело:

это может быть натурная копия – картина или скульптура;

это может быть модель самолета (например для изучения его аэродинамических характеристик);

это может быть макет какого-либо изделия, по которому в дальнейшем будет изготавливаться оригинал;

математическая формула, описывающая некий процесс (например, закона тяготения).

Таким образом, мы с детства сталкиваемся с понятием "модель". Модель дает нам образ реального объекта или явления, то есть модель является представлением объекта в некоторой форме, отличной от формы его реального существования. Модель – это мощное орудие познания.

К созданию моделей прибегают, когда исследуемый объект либо очень велик (модель солнечной системы), либо очень мал (модель атома), когда процесс пробегает очень быстро (модель двигателя внутреннего сгорания) или очень медленно (геологические модели), исследование объекта может привести к его разрушению (модель самолета) или создание модели очень дорого (архитектурный макет города) и т. д.

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

Таким образом, под моделью мы будем понимать некоторый объект, замещающий реальный исследуемый объект с сохранением наиболее существенных его свойств

Не бывает просто модели, «модель» - это термин, требующий уточняющего слова или словосочетания, например: модель атома, модель Вселенной. В каком-то смысле моделью можно считать картину художника или театральный спектакль (это модели, отражающий ту или иную сторону духовного мира человека).

Основные цели моделирования:

1.понять как устроен конкретный объект , какова его структура, основные свойства, законы развития и взаимодействия с окружающим миром (ПОНИМАНИЕ).

2. научиться управлять объектом (процессом) и определить наилучшие способы управления при заданных целях и критериях (УПРАВЛЕНИЕ).

3. прогнозировать прямые и косвенные последствия реализации заданных способов и форм воздействия на объект (ПРОГНОЗИРОВАНИЕ).

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

Различают модели:

1. материальные (натурные) – основываются на чем-то объективном, существующем независимо от человеческого сознания (на каких-то телах или процессах). Их делят на физические (например авиамодели) и аналоговые, основанные на процессах, аналогичных в каком-то отношении изучаемому (например процессы в электрических цепях оказываются аналогичными многим механическим, химическим и другим процессам и могут быть использованы для их моделирования). Граница между физическими и аналоговыми условна.

2. идеальные –неразрывным образом связаны с человеческим мышлением, воображением, восприятием. Можно выделить интуитивные модели –театр, литература, живопись и т.п. Единого подхода к классификации идеальных моделей нет. Можно так:

вербальные (текстовые) модели – используют последовательности предложений на диалектах естественного языка для описания той или иной области действительности. Например, милицейский протокол.

математические модели – широкий класс моделей, использующих математические методы.

информационные модели – класс моделей, описывающих информационные процессы (возникновение, передачу, преобразование и использование информации) в системах разнообразной природы.

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

Что касается компьютерного моделирования – компьютер не «мыслит» - он способен реализовывать программы, составленные человеком. Поэтому, чтобы использовать компьютер в своих целях человеку необходимо:

четко поставить проблему;

разработать модель исходных данных;

определить модель представления результатов;

разработать алгоритм решения задачи;

написать программу;

ввести программу и исходные данные в память;

отладить программу, запустить на выполнение и вывести на принтер или экран результаты.

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

Что такое формализация с научной точки зрения в общем понимании?

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

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

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

Компьютерная формализация

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

По такому принципу работают практически все метеослужбы. Имея компьютерную модель циклона, можно спрогнозировать его цикл и мощность над сушей или над водным пространством.

Вспомните фильм «Послезавтра», в котором ученый предсказал глобальное потепление, исходя именно из такой методики. У него была разработана компьютерная модель, позволявшая с определенной долей вероятности предсказать дальнейшие события.

Данные примеры доступно объясняют, что такое формализация.

Принципы моделирования объектов и процессов

Основные методы формализации - это прогнозирование и моделирование. Применяются такие технологии исключительно для получения конечных данных об объектах или процессах, которые не известны, но их можно предположить и с высокой точностью рассчитать.

Если посмотреть на виды формализации, практически все они сводятся только к логическим умозаключениям и вычислениям. Читателю не составит труда провести параллель между компьютерным моделированием, доказательством теорем и т. д. на основе аксиом и постулатов.

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

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

Этапы формализации

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

Иными словами, при моделировании поведения объекта или процесса суть происходящего нужно описать чисто математическими символами, применив математический алгоритм.

Результатом формализации является получение анализа действительного предсказуемого события, которое последует после того, как исследуемая технология будет применена на практике или определенный природный процесс войдет в стадию реального проявления.

Далее следует концептуализация поставленной задачи. Здесь есть два варианта: в первом случае это определение подхода в виде использования атрибутов и признаков; второй вариант подразумевает применение когнитивного анализа, не говоря уже о постановке задачи, сбора начально используемых данных, условий и т. д.

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

Далее следует обработка начальных данных на основе выбранного алгоритма, после чего выдается результат с указанием процента погрешности. Как правило, она не превышает 5%, а в большинстве случаев результат вероятности доходит до 99%. Любой человек или машина все равно оставляют «запас прочности» на ведь абсолютно все учесть невозможно.

Зачем все это нужно?

Если разобраться, такие принципы позволяют производить анализ поведения объектов и процессов. Иными словами, можно предугадать, как будет развиваться тот или иной процесс.

Теперь уже понятно, что такое формализация. Давайте рассмотрим простейший пример.

Применение формализации на практике, простейшие примеры

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

Формализация позволяет при заранее заданных характеристиках будущего летательного аппарата (сопротивления воздуха, бокового ветра, высоты и параметров самой аэродинамической трубы и остальных характеристик) смоделировать полет без постройки модели самолета.

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

Основные результаты

Результат математического моделирования во многом (если не на все сто процентов, то с вероятностью до 95%) может стать весомым аргументом в пользу выпуска современной техники, поможет предсказать погоду, даже спрогнозировать общественное поведение как реакцию на события в мире.

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

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

Заключение

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