Дипломная работа: Линия "Формализация и моделирование" учебного курса "Информатика"

МИНИСТЕРСТВО ОБЩЕГО И ПРОФФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ

КАФЕДРА ИНФОРМАТИКИ И ДИСКРЕТНОЙ МАТЕМАТИКИ

Купина Лариса Викторовна

студентка 5 курса специальность «Информатика»

математического факультета

Линия «Формализация и моделирование» учебного курса «Информатика»

Курсовая

Научный руководитель:

Гришаева Алевтина Петровна

Новосибирск 2004

СОДЕРЖАНИЕ

ВВЕДЕНИЕ

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

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

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

Важной содержательной линией в курсе информатике является линия «Формализация и моделирование».

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

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

В своей работе :

- попытаюсь отобразить наиболее существенные стороны линии «Формализация и моделирование»;

- представлю разработку урока по изучению понятия «модель» на примере математической модели;

- представлю изложение темы «Введение в информационное моделирование» и др.

Содержание линии «Моделирование и формализация»

В обязательном минимуме содержания образования по информатике присутствует линия «Моделирование и формализация» Содержание этой линии определено следующим перечнем понятий:

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

- формализация,

- материальные и информационные модели,

- информационное моделиро­вание,

- основные типы информационных моделей.

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

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

Подходы к раскрытию понятий «информационная модель», «информационное моделирование»

Подходы к раскрытию темы в учебной литературе на примере учебника Макаровой Н.В. «Информатика 7-9 кл.»

Место, которое занимает тема информационного моделирова­ния и информационной модели, в учебнике Макаровой Н.В. 7-9 кл. отличается объемностью и доступностью теоретического материала, который легко воспринимается и запоминается обучающимися. Обилие примеров, рисунков, схем, таблиц в учебнике и простота изложения материала способствует более легкому усвоению даже очень сложных для учеников тем. Так же к учебнику прилагается задачник по моделированию, в котором сформулированы понятия моделирования в разных программных средах (графический редактор, текстовый процессор, электронные таблицы, БД). В этих учебных пособиях полностью отображается образовательный минимум содержания образования линии «Моделирование и формализация».

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

Формирование представления о моделировании и формализации у обучающихся можно начать со следующего рассказа:

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

Например:

• модель самолета предназначается для исследования его полетных свойств;

• макет будущей застройки района создается с целью оценки предлагаемого архи­тектурного решения;

• схема, чертеж или рисунок изделия используется для его изготовления;

• макет строения кристаллической решетки молекул какого-либо вещества нужен для наглядного представления расположения атомов в пространстве;

• с помощью текста, описывающего явление или процесс (процесс — это последо­вательная смена состояний объекта) передаются сведения об этом явлении или процессе другим людям.

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

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

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

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

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

Например, из курса географии вы знаете, что силу подземных толчков принято измерять по десятибалльной шкале. По сути, мы имеем дело с простейшей моделью оценки силы этого природного явления. Действительно, отношение «сильнее», действую­щее в реальном мире, здесь заменено на отношение «больше», имеющее смысл в множестве натуральных чисел: слабейшему подземному точку соответствует число 1, а сильнейшему —10. Полученное упорядоченное множество из десяти чисел — это модель, дающая представление о силе подземных толчков.

Натуральные числа от 111 до 120 вместе с отношением «больше» также можно рассматривать как модель того же природного явления. Вместо целых чисел можно рассмотреть дробные с тем же отношением «больше», например: 1/11, 1/10, 1/9, ..., 1/2.

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

Рассмотренный пример позволяет сделать следующие выводы:

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

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

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

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

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

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

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

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

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

Пример 2. Всем более чем знакомо явление инфляции. Что это такое? Поясним на примере, моделирующем это явление. Предположим, у вас есть 100 яблок и вы хотите обменять их на нужные вам вещи. Носить все время с собой яблоки неудобно, но можно изготовить 100 бумажек, на каждой из которых написать слово «яблоко». Вы можете спокойно договориться о нужном для вас обмене, предъявляя не настоящие яблоки, а эти бумажки. Но вдруг у вас, не дай Бог, появилась мысль изготовить не 100, а 200 бумажек.

Какое-то время вам удается скрывать, что на самом деле у вас только 100, а не 200 яблок. Но не все вечно в этой жизни, обман раскрылся, и все «держатели» ваших бумажек могут получить уже не по целому яблоку, а только по половине. Знакомая картина.

Что общего между этими, казалось бы, совершенно различными примерами?

Если приглядеться повнимательнее, то можно увидеть, что в них использован один и тот же прием: замена предметов некоторыми знаками, некоторая «игра» с этими знаками, а затем попытка снова вернуться к реальности — с положительным результатом в первом примере, с отрицательным — во втором.

Подобных примеров можно привести множество.

Самым существенным моментом в них является замена реального предмета знаком или совокупностью знаков. Цель этих знаков—что-то сообщить о предмете, выделить его из множества других предметов. Говоря современным языком, знак должен нести инфор­мацию о предмете.

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

Вопросы

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

2. Поясните разницу между технической моделью парусника (макет) и информацион­ной моделью парусника (словесное описание, чертеж).

3. В чем сходство и различие процессов формализации и моделирования?

4. Могут ли разные явления описываться одной и той же моделью? Если да, приведите пример.

5. Можно ли по модели одного вида построить модель того же явления, но другого вида?

6. Вы имеете текст, описывающий некоторое природное явление (например, радугу). Можете ли вы построить по описанию математическую модель явления?

7. Дана математическая модель (например, Р = 2а + 2b). Можно ли по математиче­ской модели сразу построить графическую модель или предварительно необходимо сделать что-то еще (проанализировать математическую модель, построить мысленную модель, нарисовать «промежуточную» схему или рисунок и пр.)?

Упражнения

1. Постройте информационные модели вашей комнаты (например, графическое пред­ставление и словесное описание). Какую из этих моделей вам легче построить?

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

3. Рассмотрим в качестве явления какую-нибудь мелодию. В каком виде можно построить модель данного явления? Постройте эту модель.

4. Постройте несколько моделей движения маятниковых часов. Сравните эти модели.

5. Приведите примеры реализации отношения «больше» в разных предметных облас­тях. Какую из указанных вами реализации данного отношения можно рассматривать как модель другой реализации этого же отношения?

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

7. Формализуйте условие следующей задачи: арбуз весит три килограмма и еще пол-арбуза. Сколько весит арбуз?

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

Далее идет раздел «Основы классификации объектов». Изучив этот раздел учащиеся узнают:

- что такое классы и подклассы;

- что такое основание для классификации;

- наследование свойств;

- для чего нужна классификация объектов;

- как провести классификацию;

- как классифицируются компьютерные документы.

В разделе «Классификация моделей» узнают:

- что может служить основанием для классификации моделей;

- классификацию моделей по области использования, способу представления;

- каковы формы представления информационных моделей;

- что такое компьютерная модель.

В разделе «Основные этапы моделирования » изучают:

- что такое моделирование;

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

- место моделирования в деятельности человека;

- основные этапы моделирования;

- что такое компьютерная модель;

- что такое компьютерный эксперимент.

Методические рекомендации по изложению теоретического материала

Изучаемые вопросы:

• Место моделирования в базовом курсе.

• Понятие модели; типы информационных моделей.

• Что такое формализация.

• Табличная форма информационных моделей.

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

Прежде чем перейти к прикладным вопросам моделирования, необходим вводный разговор, обсуждение некоторых общих поня­тий, в частности тех, которые обозначены в обязательном мини­муме. Для этого в учебном плане должно быть выделено определен­ное время под тему «Введение в информационное моделирование». Для учителя здесь возникают проблемы как содержательного, так и методического характера, связанные с глубоким научным уровнем понятий, относящихся к этой теме. Методика информационного моделирования связана с вопросами системологии, системного ана­лиза. Степень глубины изучения этих вопросов существенно зависит от уровня подготовленности школьников. В возрасте 14 — 15 лет дети еще с трудом воспринимают абстрактные, обобщенные понятия. Поэтому раскрытие таких понятий должно опираться на простые, доступные ученикам примеры.

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

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

1) дана информационная модель объекта; научиться ее пони­мать, делать выводы, использовать для решения задач;

2) дано множество несистематизированных данных о реаль­ном объекте (системе, процессе); систематизировать и, таким образом, получить информационную модель;

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

ИНФОРМАЦИОННОЕ МОДЕЛИРОВАНИЕ

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

Понятие модели. Типы информационных моделей.

Разговор с учениками по данной теме можно вести в форме беседы. Сам тер­мин «модель» большинству из них знаком. Попросив учеников привести примеры каких-нибудь известных им моделей, учитель наверняка услышит в ответ: «модель автомобиля», «модель само­лета» и другие технические примеры. Хотя технические модели не являются предметом изучения информатики, все же стоит оста­новиться на их обсуждении. Информатика занимается информа­ционными моделями. Однако между понятиями материальной (на­турной) и информационной модели есть аналогии. Примеры ма­териальных моделей для учеников более понятны и наглядны. Обсудив на таких примерах некоторые общие свойства моделей, можно будет перейти к разговору о свойствах информационных моделей.

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

Модель — упрощенное подобие реального объекта или процесса.

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

Полезно отметить, что моделировать можно не только матери­альные объекты, но и процессы. Например, конструкторы авиа­ционной техники используют аэродинамическую трубу для вос­произведения на земле условий полета самолета. В такой трубе корпус самолета обдувается воздушным потоком. Создается мо­дель полета самолета, т. е. условия, подобные тем, что происходят в реальном полете. На такой модели измеряются нагрузки на кор­пусе, исследуется прочность самолета и пр. С моделями физичес­ких процессов работают физики-экспериментаторы. Например, в лабораторных условиях они моделируют процессы, происходящие в океане, в недрах Земли и т.д. Условимся в дальнейшем термин «объект моделирования» понимать в широком смысле: это может быть и некоторый вещественный объект (предмет, система) и реальный процесс. Закрепив в сознании учеников понимание смысла цепочки «объект моделирования — цель моделирования — модель», можно перейти к разговору об информационных моделях. Самое общее определение:

Информационная модель — это описание объекта моделирования

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

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

Форма информационной модели также зависит от цели ее созда­ния. Если важным требованием к модели является ее наглядность, то обычно выбирают графическую форму. Примеры графических моделей: карта местности, чертеж, электрическая схема, график изменения температуры тела со временем. Следует обратить внима­ние учеников на различные назначения этих графических моделей. На примере графика температуры можно обсудить то обстоятель­ство, что та же самая информация могла бы быть представлена и в другой форме. Зависимость температуры от времени можно отразить в числовой таблице — табличная модель, можно описать в виде ма­тематической функции — математическая модель. Для разных целей могут оказаться удобными разные формы модели. С точки зрения наглядности, наиболее подходящей является графическая форма.

А что обозначает слово «формализация»? Это все то, о чем говорилось выше.

Формализация — это замена реального объекта или процесса его формальным описанием, т. е. его информационной моделью.

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

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

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

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

Вводится классификация таблиц. Опи­сывается два типа таблиц: таблицы типа «объект — свойство» и «объект — объект». Это наиболее простые и наиболее часто встре­чающиеся типы таблиц. Кроме того, даны примеры применения двоичных матриц.

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

Пример. Дана двоичная матрица, отражающая связи между раз­личными серверами компьютерной сети (табл. 1).

Таблица 1.

Из таблицы 1 ученики должны определить, какой из пяти серверов является узловым?

Решение. Поскольку по данному определению узловым назы­вается тот сервер, с которым непосредственно связаны все другие серверы, то в матрице нужно искать строку, состоящую только из единиц. Это строка — С 4. Значит сервер С4 является узловым.

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

Элементы системного анализа в курсе информатики

Изучаемые вопросы:

- • Понятие системы.

- • В чем суть системного подхода.

- • Структура системы; использование графов для отображения структуры.

- • Развитие системного мышления учащихся.

Второй, дополнительный уровень изучения темы моделирования в базовом курсе связан с обсуждением таких понятий, как: система, структура, граф, деревья, сети. Необходимо отметить, что эти поня­тия постепенно начинают проникать в перечень обязательных для изучения в рамках базового курса. Перечисленные понятия относят­ся к области, которая в науке называется системологией (теорией систем). Знания элементов системологии придают целостность и по­нятийную полноту содержательной линии «Формализация и моде­лирование».

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

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

В информатике понятие «система» употребляется достаточно часто. Совокупность взаимосвязанных данных, предназначенных для обработки на компьютере — система данных. Совокупность взаимосвязанных программ определенного назначения — про­граммные системы (ОС, системы программирования, пакеты при­кладных программ и др.). Информационные системы — одно из важнейших приложений компьютерных технологий.

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

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

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

Важной разновидностью графов являются деревья. Дерево — это графическое представление иерархической структуры систе­мы. Обычно это системы, между элементами которых установле­ны отношения подчиненности или вхождения друг в друга: систе­мы власти, административные системы, системы классификации в природе и др. Ученики знакомы с понятием «дерево» примени­тельно к системе файлов на дисках компьютера. Многим из них известен смысл понятия «родословное дерево».

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

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

Дидактические цели:

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

• Раскрыть смысл модели «черного ящика». Этот подход харак­терен для кибернетики и применяется он в тех случаях, когда внутреннее устройство системы не раскрывается, а система рас­сматривается лишь с точки зрения ее взаимодействия с окружаю­щей средой. В таком случае основными понятиями, характеризую­щими систему, являются не ее состав и структура, а ее «входы» и «выходы».

• Дать представление о некоторых методах системного анализа, в частности, декомпозиции, классификации.

• Научить читать информационные модели, представленные в виде графов и строить граф-модели.

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

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

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

Линия моделирования и базы данных

Изучаемые вопросы:

• Признаки компьютерной информационной модели.

• Является ли база данных информационной моделью.

• Задачи, решаемые на готовой базе данных.

• Проектирование базы данных (БД) — задача для углублен­ного курса.

Общая схема этапов решения практической задачи на ЭВМ ме­тодами информационного моделирования выглядит следующим образом (рис. 1):

Два первых этапа относятся к предметной области решаемой задачи. На третьем этапе происходит выбор подходящего инстру­ментального средства в составе программного обеспечения ЭВМ для реализации модели. Такими средствами могут быть: электрон­ные таблицы, СУБД, системы программирования, математичес­кие пакеты, специализированные системы моделирования обще­го назначения или ориентированные на данную предметную об­ласть. В базовом курсе информатики изучаются первые три из перечисленных программных средств.

Основные признаки компьютерной информационной модели:

• наличие реального объекта моделирования;

• отражение ограниченного множества свойств объекта по прин­ципу целесообразности;

• реализация модели с помощью определенных компьютерных средств;

• возможность манипулирования моделью, активного ее исполь­зования.

Ответ на вопрос: «является ли база данных информационной моделью?» будем искать, исходя их сформулированных выше кри­териев.

Первый критерий: наличие предметной области, некоторого реального объекта (системы), к которым относится БД, практи­чески всегда выполняется. Например, если в БД содержатся све­дения о книгах в библиотеке, значит, объектом моделирования является книжный фонд библиотеки. Если БД содержит анкет­ные данные сотрудников предприятия, значит, она моделирует кадровый состав этого предприятия. Если в БД хранятся сведе­ния о результатах сдачи экзаменов абитуриентами в институт, следовательно, она моделирует процесс вступительных экзаме­нов и т. п.

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

Третий критерий, очевидно, выполняется, поскольку речь идет о компьютерной базе данных, созданной в среде некоторой СУБД.

База данных — не «мертвое хранилище» информации. Она созда­ется для постоянного, активного использования хранящейся в ней информации. Прикладные программы или СУБД, обслуживающие базу данных, позволяют ее пополнять, изменять, осуществлять по­иск информации, сортировку, группировку данных, получение от­четных документов и пр. Таким образом, четвертый критерий ком­пьютерной информационной модели также справедлив для БД.

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

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

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

БИБЛИОТЕКА(НОМЕР, ШИФР, АВТОР, НАЗВАНИЕ)

Требуется изменить структуру БД таким образом, чтобы из нее можно было узнать, находится ли книга в настоящее время в биб­лиотеке, и если книга выдана, то когда и кому.

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

БИБЛИОТЕКА(НОМЕР, ШИФР, АВТОР, НАЗВАНИЕ, НАЛИЧИЕ, ЧИТАТЕЛЬ, ДАТА)

Здесь добавлены поля:

— НАЛИЧИЕ — поле логического типа; принимает значение True, если книга находится в библиотеке, и значение False, если выдана читателю;

— ЧИТАТЕЛЬ — поле числового (или символьного) типа; со­держит номер читательского билета человека, взявшего книгу;

— ДАТА — поле типа «дата»; указывает день выдачи книги.

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

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

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

Теория реляционных баз данных была разработана в 1970-х гг. Е.Коддом. Он предложил технологию проектирования баз дан­ных, в результате применения которой в полученной БД не воз­никает отмеченных выше недостатков. Сущ­ность этой технологии сводится к приведению таблиц, составля­ющих БД, к третьей нормальной форме. Этот процесс называется нормализацией данных: сначала все данные, которые планируется включить в БД, представляются в первой нормальной форме, за­тем преобразуются ко второй и на последнем шаге — к третьей нормальной форме. Проиллюстрируем процесс нормализации дан­ных на примере.

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

Таблица 2

БД «Поликлиника»

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

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

ПОЛИКЛИНИКА (ФАМИЛИЯ, ДАТА_РОЖДЕНИЯ, УЧАСТОК, ВРАЧ, ДАТА ПОСЕЩЕНИЯ, ДИАГНОЗ)

Необходимо установить ключ записей. Здесь ключ составной, который включает в себя два поля: ФАМИЛИЯ и ДАТА_ПОСЕЩЕНИЯ. Каждая запись — это информация о конкретном посеще­нии пациентом больницы. Если допустить, что в течение одного дня данный пациент может сделать только один визит к участково­му врачу, то в разных записях не будет повторяться комбинация двух полей: фамилии пациента и даты посещения врача.

Согласно определению второй нормальной формы, все неклю­чевые поля должны функционально зависеть от полного ключа. В данной таблице лишь ДИАГНОЗ определяется одновременно фа­милией пациента и датой посещения. Остальные поля связаны лишь с фамилией, т. е. от даты посещения они не зависят. Для преобра­зования ко второй нормальной форме таблицу нужно разбить на две следующие:

ПОСЕЩЕНИЯ (ФАМИЛИЯ, ДАТА ПОСЕЩЕНИЯ, ДИАГНОЗ)

ПАЦИЕНТЫ (ФАМИЛИЯ, ДАТА_РОЖДЕНИЯ, УЧАСТОК, ВРАЧ)

В отношении ПОСЕЩЕНИЯ по-прежнему действует состав­ной ключ из двух полей, а в отношении ПАЦИЕНТЫ — одно ключевое поле ФАМИЛИЯ.

Во втором отношении имеется так называемая транзитивная зависимость. Она отображается следующим образом:

Значение поля ВРАЧ связано с фамилией пациента транзитивно через поле УЧАСТОК. В самом деле, всякий участковый врач приписан к своему участку и обслуживает больных, относя­щихся к данному участку.

Согласно определению третьей нормальной формы в отноше­нии не должно быть транзитивных зависимостей. Значит, требуется еще одно разбиение отношения ПАЦИЕНТЫ на два отношения.

В итоге получаем базу данных, состоящую из трех отношений:

ПОСЕЩЕНИЯ(ФАМИЛИЯ, ДАТА ПОСЕЩЕНИЯ, ДИАГНОЗ)

ПАЦИЕНТЫ(ФАМИЛИЯ, ДАТА_РОЖДЕНИЯ, УЧАСТОК)

ВРАЧИ(УЧАСТОК, ВРАЧ)

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

Еще одним важным свойством полученной БД является то, что между тремя отношениями существует взаимосвязь через общие поля. Отношения ПОСЕЩЕНИЯ и ПАЦИЕНТЫ связаны общим полем ФАМИЛИЯ. Отношения ПАЦИЕНТЫ и ВРАЧИ связаны через поле УЧАСТОК. Для связанных таблиц существует еще одно понятие: тип связи. Возможны три варианта типа связей: «один — к—одному», «один—ко—многим», «многие — ко — многим». В нашем примере между связанными таблицами существуют связи типа «один — ко — многим», и схематически они отображаются так:

Смысл следующий: у каждого врача (на каждом участке) мно­го пациентов; каждый пациент посещает врача множество раз.

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

На примере приведенной выше таб­лицы ПОЛИКЛИНИКА нужно увидеть три различных типа объектов, к которым относится данная информация: это паци­енты поликлиники, врачи и посещения пациентами врачей. Со­ответственно строятся три таблицы, содержащие атрибуты, от­носящиеся к этим трем типам объектов и связанные между со­бой через общие поля.

Информационное моделирование и электронные таблицы

Изучаемые вопросы:

• Что такое математическая модель.

• Понятия: компьютерная математическая модель, численный эксперимент.

• Пример реализации математической модели на электронной таблице.

Электронные таблицы являются удобной инструментальной средой для решения задач математического моделирования.

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

Рис.2. Обобщенная структура математической модели

Здесь Х и У — некоторые количественные характеристики мо­делируемой системы.

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

Цель создания компьютерной математической модели — про­ведение численного эксперимента, позволяющего исследовать мо­делируемую систему, спрогнозировать ее поведение, подобрать оптимальные параметры и пр.

Итак, характерные признаки компьютерной математической модели следующие:

• наличие реального объекта моделирования;

• наличие количественных характеристик объекта: входных и выходных параметров;

• наличие математической связи между входными и выходны­ми параметрами;

• реализация модели с помощью определенных компьютерных средств.

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

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

Для решения задачи выбирается система координат, в которой ось Х направлена по железнодорожной линии. В этой системе зада­ются координаты населенных пунктов. Допустим, что расстояние между самыми удаленными в направлении оси Х пунктами равно 10 км. Начало координат выберем так, чтобы Х-координата само­го левого пункта была равна 0. Тогда Х-координата самого правого пункта будет равна 10. Пусть координаты всех населенных пунктов в этой системе будут следующими:

1 - (0, 6); 2 - (2, 4); 3 - (5, -3); 4 - (7, 3); 5 - (10, 2).

В данном списке указан порядковый номер пункта и его коор­динаты.

Ниже приводится проект электронной таблицы (табл. 10.3), решающей эту задачу.

Таблица 3

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

Очевидно, что точность найденного решения зависит от шага перемещения станции (шага дискретизации). В приведенной таблице идя уменьшения ее размера выбран довольно грубый шаг, равный 2 км. Тогда на всем участке помещается 5 таких шагов и, следовательно, анализируется 6 возможных положений станции (включая положение, соответствующее Х = 0).

В табл. 3 формулы вычисления расстояний условно обозна­чены R(i,j). Здесь первый индекс обозначает номер населенного пункта (от 1 до 5), а второй — номер положения станции (от 1 до 6). Вот примеры некоторых формул на языке электронной табли­цы МS Ехсеl:

R(1,1) = КОРЕНЬ(($В4-D$3)^{^} 2+$С4^{^} 2)

R(1, 2) = КОРЕНЬ(($B5D$3)^2+$C5^2) и т.д.

Таблица 4

В табл. 4 приведены числовые результаты расчетов решения данной задачи. Окончательный ответ следующий: железнодорож­ную станцию следует размещать в 4 км от начала координат. При этом самым удаленным от нее окажется населенный пункт номер 1 — на расстоянии 7,21 км. Следует иметь в виду, что полученный результат довольно грубый, поскольку его погрешность по поряд­ку величины равна шагу (2 км).

Такой способ решения задачи оказывается, в некотором смыс­ле, полуавтоматическим. Ученик приходит к окончательному от­вету, анализируя полученную числовую таблицу. Визуально он определяет, какому положению станции соответствует (в каком столбце таблицы находится) найденное оптимальное расстояние 7,21 км. Если требуется уменьшить шаг дискретизации, то, изме­нив величину шага в ячейке Е1, нужно будет увеличивать число столбцов в расчетной таблице. Делается это легко, простым копи­рованием столбцов. Максимальный размер электронной таблицы, хотя и ограничен, но все-таки достаточно большой (в Exsel — 256 столбцов). Правда, в этом случае придется подправить форму­лу в ячейке D10.

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

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

Моделирование знаний в курсе информатики

Изучаемые вопросы:

• Что такое база знаний.

• Различные типы моделей знаний.

• Логическая модель знаний и Пролог.

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

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

Продукционная модель знаний построена на правилах (они на­зываются продукциями), представляемыми в форме:

ЕСЛИ выполняется некоторое условие ТО выполняется некоторое действие

На основе поступающих данных экспертная система, анализи­руя имеющиеся правила, принимает решение о необходимых дей­ствиях. Например:

ЕСЛИ температура в помещении ≤15° ТО включить отопление

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

Семантические сети. Семантической сетью называется система понятий и отношений между ними, представленная в форме ориен­тированного графа. Это одна из наиболее гибких и универсальных форм моделей знаний. На рис. 3 приведен пример, представляю­щий в форме графа сведения, заключенные в предложении: «Петух Петя является птицей, и он умеет кукарекать».

Рис. 3. Пример семантической сети

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

Имя фрейма = <слот 1><слот 2>...<слот N>

Вот пример фрейма под названием «Битва»:

Битва = <кто?><с кем?><когда?><где?><результат>

Такое представление называется прототипом фрейма. Если же в слоты подставить конкретные значения, то получится экземп­ляр фрейма. Например:

Битва = <Царевич><Кощей Бессмертный><утром><в чис­том поле><победил>

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

Логическая модель знаний представляет собой совокупность ут­верждений. О каждом утверждении можно сказать: истинно оно или ложно. Утверждения делятся на факты и правила. Совокуп­ность фактов представляет собой базу данных, лежащую в основе базы знаний. Правила имеют форму «ЕСЛИ А, ТО Б» (здесь есть сходство с продукционной моделью). Механизм вывода основан на аппарате математической логики (он называется исчислением предикатов первого порядка). Прикладные возможности этой мо­дели весьма ограничены. Логическая модель знаний лежит в осно­ве языка ПРОЛОГ.

ПРОЛОГ является языком логического программирования. Как известно, в программировании для ЭВМ существует не­сколько различных направлений (парадигм): процедурное про­граммирование, функциональное программирование, логичес­кое программирование, объектно-ориентированное программи­рование. В языке Пролог реализована логическая парадигма. Однако в рамках базового курса информатики использование Пролога очень ограничено и о программировании, в полном смысле этого слова, здесь речи не идет. Пролог рассматривается лишь как средство построения несложных баз знаний логичес­кого типа. При таком подходе систему Пролог можно рассмат­ривать как своеобразную систему управления базами знаний (по аналогии с СУБД). Она позволяет создавать базу знаний и обра­щаться к ней с запросами.

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

Требования к знаниям и умениям учащихся по линии формализации и моделирования

Учащиеся должны знать:

- что такое модель; в чем разница между натурной и информа­ционной моделью;

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

- что такое реляционная модель данных; основные элементы реляционной модели: запись, поле, ключ записи;

- что такое модель знаний, база знаний;

- из чего строится логическая модель знаний;

- какие проблемы решает раздел информатики «Искусствен­ный интеллект»;

- что такое система, системный анализ, системный подход;

- что такое граф, элементы графа;

- что такое иерархическая система и дерево;

- состав базы знаний на Прологе;

- как в Прологе представляются факты и правила;

- как в Прологе формулируются запросы (цели).

Учащиеся должны уметь:

- приводить примеры натурных и информационных моделей;

- проводить в несложных случаях системный анализ объекта (фор­мализацию) с целью построения его информационной модели;

- ставить вопросы к моделям и формулировать задачи;

- проводить вычислительный эксперимент над простейшей математической моделью;

- ориентироваться в таблично-организованной информации;

- описывать объект (процесс) в табличной форме для простых случаев;

- различать декларативные и процедурные знания, факты и правила.

- ориентироваться в информационных моделях на языке гра­фов;

- описать несложную иерархическую систему в виде дерева;

- построить базу знаний на Прологе для простой предметной области (типа родственных связей);

- сформулировать на Прологе запросы к данной базе знаний;

- работать на компьютере в среде системы программирования Пролог.

Примерное содержание и планирование линии «Формализация и моделирование» в базовом курсе средней школы по учебнику Макаровой Н.В. «информатика 7 – 9 кл.»

УРОК ПО ИЗУЧЕНИЮ ПОНЯТИЯ МОДЕЛИ

Тема урока: Математические (форма­лизованные) модели. Их роль в учебной деятельности и математической постанов­ке задач.

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

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

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

Цель урока: сформировать понятие математической модели и ее роли в учеб­ной деятельности (УД).

Задачи урока:

• выдать домашнее задание к следу­ющему уроку;

• проверить домашнее задание к те­кущему уроку;

• организовать рефлексию учащихся, направленную на их знания о моде­лях и моделировании;

• организовать обсуждение и выбор лучшего определения модели, предложенного учащимися. Обсу­дить и обосновать критерии выбора лучшего определения;

• подвести итоги работы с новым ма­териалом;

• организовать самоконтроль учащих­ся в рамках темы;

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

Логическая схема урока (ЛСУ).

Выстраивая ЛСУ при подготовке к уроку, учитель решает целый блок задач, связанных с организацией учебного про­странства, таких, как:

• анализ логической завершенности урока и его места и значения в рам­ках всей изучаемой темы;

• четкое выделение этапов урока: от­ведение на каждый из них времени, постановка цели каждого этапа и определение круга подзадач, на нем решаемых;

• соотнесение задач урока с его эта­пами;

• построение схемы объяснения но­вого материала, расстановка акцен­тов, нужных для лучшего усвоения;

• разработка методов и приемов, ко­торыми будет пользоваться учитель;

• разработка форм организации УД

и т. д.

ЛСУ может стать основой конспекта урока, который составляют учащиеся.

Сценарий урока

Этап I. Выдача домашнего задания к следующему уроку

Выдача домашнего задания в начале урока позволяет, во-первых, создать моти­вацию УД в рамках урока; во-вторых, под­черкнуть значимость домашнего задания;

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

Этап 11. Проверка домашнего задания к текущему уроку

Проверка выполнения домашнего за­дания означает:

• фиксацию его наличия;

• выявление затруднений, возникших при его выполнении (если они есть);

• анализ уровня усвоения знаний и умений прошлого урока.

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

Учащимся предлагается проанализи­ровать записанные на доске решения, т. е. ответить на вопросы:

1) Что в предложенных решениях пра­вильно, а что — нет и почему?

2) В чем сходство и различие решений учащихся с решениями, написанными на доске (в способе решения, в форме запи­си)?

3) Есть ли другие способы решения, отличные от тех, что записаны на доске?

В ходе обсуждения выбирается лучшее решение. Решение считается лучшим, если оно или наиболее рациональное, или наи­более обоснованное и т. п. Все зависит от цели и задачи, которые ставит учитель. Почему оно лучшее — обосновывается в ходе обсуждения.

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

Поясним это на следующем примере.

Домашняя задача: выполнить математи­ческую постановку задачи (МПЗ) нахожде­ния площади круглой пластины с треуголь­ным отверстием.

Два ученика на доске записывают свои версии МПЗ, сделанные дома:

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

Версия 1

Дано: а –длина стороны треугольника,

h - высота треугольника,

R -радиускруга.

Связь : S=S1-S2;

S1= π * R² – площадь круга

S 2=1/2 a * h – площадь треугольника

При: a >0, h >0, вершины треугольника не принадлежат окружности.

Версия 2

Дано: R – радиус круга.

Связь : S = S1-S2;

S1= π * R² – площадь круга

S 2=1/2 a * b * sinA – площадь треугольника

При: a >0, b >0, 0< A <180 ^о вершины треугольника не принадлежат окружности.

Учитель:

1) Проанализируйте предложенные решения (при этом надо определить, что анализировать и с какой целью).

2) Кто выполнил МПЗ первым способом? Вторым способом? Ваши мнения о? предложенных решениях? (Обсуждение.)

3) Кто рассуждал иначе?

Ученик: Я применил в разделе «Связь» для нахождения площади треугольника формулу Герона, так как удобнее производить измерение длин сторон треугольника, чем его высоты и угла.

Учитель показывает это решение с помощью кодоскопа. Подчеркивает, что применение формулы Герона в этой задаче — лучший вариант ее решения, так как наибо­лее просто реализуется на практике. Пред­лагает записывать в тетрадь не все реше­ние, а только вывод. Обращает внимание на часть раздела «При»: «вершины треугольни­ка не принадлежат окружности». Показывая бумажную модель задачи, обсуждает с учениками значимость этого замечания. Делается вывод: если вершины треугольника, принадлежат окружности, то цельность пластины круглой формы нарушается, т. е. не выполняется условие задачи.

Этап III. Объяснение нового материала

Учитель напоминает учащимся, что продолжается работа в рамках более общей темы «Этапы подготовки задачи к решению на компьютере» (используется схема этапов из учебника и большой плакат на доске). Очень кратко вспоминается на­значение уже изученных этапов, обращает­ся внимание на этап, название которого созвучно теме урока.

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

Ученики предлагают следующие цели:

1) понять, что такое модель;

2) узнать, какие они бывают;

3) узнать, в чем заключается их роль в УД.

Учитель помогает ученикам сформули­ровать цель окончательно: «понять, в чем суть термина «математическая модель» и какова ее роль в УД». Цель записывается в тетрадь.

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

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

Учитель предлагает вниманию уче­ников следующие модели:

1) модель двигателя внутреннего сго­рания;

2) модель полевой пушки;

3) модель Солнечной системы;

4) модель математического маятника.

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

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

Заслушиваются несколько определе­ний, но, по общему мнению учеников, «в них чего-то не хватает».

Учитель предлагает обратиться за по­мощью к учебнику (Каймим В. А. Основы информатики и вычислительной техники. М., 1990. С. 197.): «Как правило, это обыч­ные системы уравнений и неравенств».

Ученики делают вывод, что данное определение подходит не ко всем моде­лям, а только к математическим.

Учитель предлагает прочитать еще одно определение из учебника (с.201);

«Модели — это отражение наиболее суще­ственных свойств, признаков и отношений явлений, объектов или процессов предмет­ного мира». Затем зачитывается определе­ние, взятое из философского словаря:

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

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

Примеры:

Назначение модели Солнечной систе­мы — дать представление о Солнечной системе. Так как модель выполнена в опре­деленном масштабе, то она позволяет сравнить физические размеры планет, их Удаленность от Солнца, друг от друга и т. д.

Назначение модели двигателя внут­реннего сгорания — продемонстрировать процесс движения поршня в цилиндре дви­гателя.

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

Учитель, чтобы систематизировать учебный материал, подтвердить и уточнить сделанный вывод, предлагает ученикам прочитать § 46 учебника (с.201 — 203) и проанализировать:

1)совпадают ли сделанные на уроке выводы с выводами, приведенными в учеб­нике;

2) есть ли в тексте § 46 новая инфор­мация о моделях, которая еще не рассмат­ривалась в ходе урока (если да, то надо ее зафиксировать);

3) достигли ли ученики поставленной цели.

В результате анализа текста § 46 уча­щиеся отмечают:

1) вывод о различиях между моделями, сделанный в ходе урока, очень близок к содержанию учебника, не противоречит ему;

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

• графические представления — схема математического маятника;

• словесное описание объекта, бази­рующееся на понятиях, — математи­ческая постановка задачи (домаш­нее задание к этому уроку);

• математические модели (эта мо­дель получена при проверке домаш­него задания);

3) цель урока еще не выполнена.

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

Выявляются следующие преимущест­ва математической модели:

1) возможность достаточно легкого преобразования в компьютерную модель;

2) универсальность (в том смысле, что большинство природных процессов и объ­ектов могут быть смоделированы, а также в том, что могут существовать несколько математических моделей одного объекта или процесса);

3) полнота (можно выделить сколь угодно большое число параметров, описы­вающих модель);

4) сравнительная дешевизна исследо­вания;

5) быстрая коррекция модели;

6) безопасность испытания и т. д.

Делаются выводы:

• если задача имеет математическую модель, то она, как правило, реша­ется с помощью ЭВМ;

• в учебной деятельности ученики по­стоянно сталкиваются с различными моделями (формулы, графики, карты, макеты и т. д.).

Этап IV. Подведение итогов работы

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

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

1) Что такое модель?

2) Что такое математическая модель?

Информационно-логическая схема урока

3) Назовите примеры математических моделей.

4) Какова роль математических моде­лей в УД и МПЗ?

5) Назовите виды моделей.

6) Назовите преимущества математи­ческих моделей.

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

Конец урока.

ЗАКЛЮЧЕНИЕ

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

схема1

Содержание линии «Моделирование и формализация»

Список использованной литературы

1. Бешенков В.А., Лыскова В.Ю. , Матвеева Н.В., Ракитина Е.А. Формализация и моделирование.//Информатика и образование.-1999.-№6.-с21-27.

2. Информатика: 7-9 кл. Задачник по моделированию/Под редакцией Макаровой Н.В. – М., 2001

3. Информатика: 7-9 кл./ Под редакцией Макаровой Н.В. – М., 2003

4. Лапчик М.П., Семакин И.Г., Хеннер Е.К. Методика преподавания информатики. – Москва: Академия, 2001.

5. Лыскова В.Ю. , Ракитина У.Ф. Учебные задачи в курсе информатики.//Информатика и образование.-1998.-№4.-с49-55.

6. Лыскова В.Ю. , Ракитина У.Ф. Учебные задачи в курсе информатики.//Информатика и образование.-1998.-№4.-с49-55.

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

8. Островская Е.М. Моделирование на компьютере.//Информатика и образование.-1999.-№1.-с54-61.

9. Пономарева Е.А. , .Урок по изучению понятия модели.//Информатика и образование.-1999.-№6.-с47-50.

10. Селиванов В.Л., Гришаева А.П, Селиванова Э.Т. Организация учебно – исследовательской работы студентов и школьников по информатике. – Новосибирск: 2003

11. Семенов А.Л.. Школьная информатика от истоков к будущему.//Информатика и образование.-1998.-№3.-с79-85.