Что такое формализация? Метод формализации. Понятие, суть, этапы, результат, примеры, виды формализации














Один и тот же объект может иметь множество моделей, а разные объекты могут описываться одной моделью. География- различные типы географических карт (политические, физические, и т.д.) представляют один объект- землю, но отражают различные модели. Физика- все материальные тела (человек, машина и т.д.) рассматриваются как материальная точка Модель материальной точки Модель Земли Объект- Земля








Постановка задачи начинается с ее описания. Цель описания задачи - подробно описать исходный объект, условия, в которых он находится, и желаемый результат (отправной и конечный пункты моделирования). Процесс построения информационной модели с помощью формальных языков называется формализацией Что моделируется? Процесс движения объекта «автомобиль» Вид движенияРавноускоренное Что известно о движении? Начальная скорость (V0), ускорение (а), максимально развиваемая скорость (Vmax) Что надо найти? Скорость (Vi) в заданные моменты времени (ti). Как задаются моменты времени? От нуля через равные интервалы (t)? Что ограничивает расчеты? Vi



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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Модели и окружающий мир Человек в своей деятельности постоянно создает и использует модели окружающего мира. 1. Модели позволяют представить в наглядной форме объекты и процессы, недоступные для непосредственного восприятия: Физика : модели двигателей; География: глобус – модель земли(реальный размер очень большой) ; Химия – модели кристаллическая решетка, молекул (реальные размеры очень маленькие); Биология – по муляжу человека изучаем внутреннее строение 2. при Проектировании механизмов и устройств, зданий, электрических цепей используют модели – чертежи и макеты. Математика – изучение объемных фигур 3. Теоретические модели (для развития науки) – теории законов, гипотез и тд. Иногда создание таких моделей коренным образом меняет представления человека об окружаюжем мире: Коперник- гелиоцентрическая система мира, модель атома Резерфорда-Бора, геном человека) 4. Художественное творчество - перенос реальной действительности на полотно, скульптура, театр, басня – отношения между животными – отношения между людьми Один и тот же объект может иметь множество моделей: объект "ЧЕЛОВЕК" его модели :1) химия - БИОХИМИЧЕСКИЙ СОСТАВ 2) анатомия - СКЕЛЕТ, СТРОЕНИЕ ВНУТРЕННИХ ОРГАНОВ 3) физика - МАТЕРИАЛЬНАЯ ТОЧКА

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

Приведите классификацию информационных моделей.

Все многообразие моделей делится на три класса:

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

· воображаемые модели (геометрическая точка, математический маятник, идеальный газ, бесконечность);

· информационные модели – описания моделируемого объекта на одном из языков кодирования информации (словесное описание, схемы, чертежи, карты, рисунки, научные формулы, программы и пр.).

Полная классификация информационных моделей:

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

Дескриптивная модель – словесное описание объекта, выраженное средствами того или иного языка.

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

Статические модели отображают объект в какой-то момент времени без учета происходящих с ним изменений, как находящийся в состоянии покоя или равновесия (отсутствует параметр времени).

Динамические модели описывают поведение объекта во времени.

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

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

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

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

Гносеологическая модель – описание объективных законов природы.

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



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

Аналоговая модель – аналог объекта, который ведет себя как реальный объект, но не выглядит как таковой.

15. Что такое моделирование? Назовите его этапы.

Моделирование – это:

· построение моделей реально существующих объектов (предметов, явлений, процессов);

· замена реального объекта его подходящей копией;

· исследование объектов познания на их моделях.

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

1. Постановка целей моделирования.

2. Анализ моделирования объекта и выделение всех его известных свойств.

3. Анализ выделенных свойств и определение существенных из них.

4. Выбор формы представления модели.

5. Формализация.

6. Анализ полученной модели на противоречивость.

7. Анализ адекватности полученной модели объекту и цели моделирования.

16. В чем заключается суть формализации?

Формализация – это приведение существенных свойств и признаков объекта моделирования к выбранной форме.

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

Для того, чтобы обозначить объект, нужно ввести некоторый набор знаков.

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

1. Способность знака выступать в качестве заместителя денотата (объекта).

2. Нетождественность знака и денотата – знак никогда не может полностью заменить обозначаемое.

3. Многозначность соответствия «знак – денотат».

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

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

Таблицы – форма представления информации в удобном для анализа и обработки виде. Таблицы бывают типа «объект – объект», «объект – свойство», «объекты – свойства – объекты». Таблица характеризуется названием, количеством столбцов и их названиями, количеством строк и их названиями, содержимым ячеек.

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

18. Определите понятие «информационный процесс».

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

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

19. Какие виды информационных процессов вам известны?

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

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

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

Отбор информации производится на основе ее анализа и оценки ее свойств в соответствии с выбранным критерием оценки. Отобранная информация сохраняется.

Хранение информации – это распространение ее во времени. Хранение информации невозможно без выполнения процессов кодирования, формализации, структурирования, размещения, относящихся к общему процессу преобразования информации.

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

Обработка информации составляет основу процесса преобразования информации.

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

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

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

ФОРМАЛИЗАЦИЯ

ФОРМАЛИЗАЦИЯ

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

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

Пункт (2) существенным образом отличает ФГот Г. В Г не обязательно есть фиксированные правила вывода, и для получения новых утверждений можно опираться на содержательный терминов и имеющийся . Если, напр., в Гсодержится , что α произошло раньше события β, то мы обязаны по содержательным основаниям относить к верным утверждениям теории Гтакже и то, что β произошло позже а. Вместе с тем мы не обязаны фиксировать это. Иначе в ФТ. Здесь логические связи между отношениями раньше и позже должны быть явным образом отображены. И если указанные отношения обозначаются как “” соответственно, то ФГдолжна содержать , позволяющее переходить от (αα). Очевидно, в ФТ придется указать также на указанных отношений. Кратко говоря, в ФГпридется отобразить логику данных отношений, необходимую для описания соответствующей предметной области. При этом сама эта логика может зависеть от того, напр., будет считаться непрерывным или дискретным, бесконечно или конечно делимым, даже если в Г эти вопросы не обсуждаются. Т. о., формализация состоит не просто в том, чтобы осуществить запись Гв некотором символическом языке, но в том, чтобы выявить и отобразить при этом логику, которой будут удовлетворять высказывания с теми терминами, которые фигурируют в Т. Решение такой проблемы является профессиональной задачей логики вообще и может исследоваться независимо от тех или иных конкретно взятых содержательных теорий и задач, связанных с их формализацией. Так, напр., в логике формализуются теории алогических, эпистемических, деонтических, временных и другие модальностей, полные относительно некоторых содержательных семантик. Вопрос о возможности формализации теории Гесть поэтому не только о готовности к этой процедуре со стороны Г, но и о том, в достаточной ли степени разработан для этой цели имеющийся и математический аппарат.

В связи с пунктом (3) надо иметь в виду, что ФГв явном виде содержит всю необходимую для формализации теории Глогику и математику и соответствующий им правил или содержательно интерпретируемых теорем, напр., контрапозиции импликации: (Α-ϊΒ)->(-ιΒ-*-τΑ) и т. п., которым фактически нет соответствия в Т. Кроме того, Т обычно не детерминирует всех логических взаимоотношений высказы

ваний, содержащих используемую в ^терминологию. Поэтому ФТ практически всегда задает ту или иную экспликацию этой терминологии. Если даже отвлечься от возможности использования в ФГразличных базовых логик и математик, то уже только оправданные содержанием Г логические различия в экспликациях терминологии позволяют построить для одной и той же содержательной теории Г альтернативных формализации. При этом теория Гв зависимости от того, какая конкретная формализация будет сочтена адекватной, будет в той или иной степени менять свой смысл. Дело логика указать, чем отличаются возможные альтернативы, но не в его компетенции считать какую-то из них более предпочтительной, не говоря уже более верной. Чтобы иметь возможность содержательного обсуждения теории ФТ, в частности, говорить о ее непротиворечивости, полноте, доказуемости или недоказуемости в ней теорем определенного рода, используется т. н. (в отличие от языка, на котором сформулирована ФТ), и все верные утверждения такого рода относят к метатеории МФТ.

Проблему формализации содержательной теории Гв ФГможно считать решенной, если в рамках метатеории.МФГудается показать, что каждому истинному в принятой интерпретации предложению Т соответствует доказуемое утверждение Φ Γ ( полноты), и наоборот (теорема адекватности). В силу разных причин такого положения не всегда удается добиться. Об этом говорит, в частности, известная теорема К. Геделя (1931) о неполноте непротиворечивой формализованной арифметики. Дело в том, что некоторая формализуемая теория Гможет содержать столь богатый выразительными возможностями язык, что в ее рамках могут строится утверждения о формализующей ее системе ФГи, значит, отображаться в последней. Происходит т. н. замыкание языка и метаязыка. Любая непротиворечивая формализация теории Т оказывается принципиально неполной, так как любое ФГпорождает класс новых содержательно истинных в МФТтл в самой Гпредложений. Именно такого рода теорией Гоказывается содержательная арифметика. В объектном языке формализующей эту арифметику теории ФТ можно строить утверждения о самой этой теории, которые при содержательной интерпретации становятся истинными предложениями теории Т. В ФГвоспроизводится, в частности, некоторая парадокса лжеца (см. Парадокс логический), т. к. всегда находится формула, утверждающая свою собственную недоказуемость в ФТ. Такая формула содержательно истинна именно потому, что в ФТ недоказуема. Ее в Г и при этом недоказуемость в ФГговорит о неполноте последней. Теорема Геделя не исключает возможности полной формализации более узких фрагментов математики. Теореме Геделя о неполноте не следует придавать преувеличенного, во всяком случае универсального философского значения и распространять ее следствия на теории, при формализации которых принципиально отсутствуют и не могут возникнуть рассмотренные выше причины, препятствующие полной формализации всех истинных предложений содержательной математики. Лит.: КаиниС. К. Введение в метаматематику. М., 1957.

Ε. А. Сидоренко

Новая философская энциклопедия: В 4 тт. М.: Мысль . Под редакцией В. С. Стёпина . 2001 .


Синонимы :

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Задание:

    Составить схему ключевых понятий.


Загрузка...
Top