Е. А. Симановский введение в информатику учебное пособие
Глава 4.Модели решения функциональных и вычислительных задач
жүктеу/скачать 0.8 Mb.
|
- Бұл бет үшін навигация:
- Классификация и формы представления моделей
Глава 4.Модели решения функциональных и вычислительных задач
Моделирование – это исследование объектов познания на их моделях; построение и изучение моделей реально существующих предметов и явлений (живых и неживых систем, инженерных конструкций, разнообразных процессов — физических, химических, биологических, социальных) и конструируемых объектов (для определения, уточнения их характеристик, рационализации способов их построения и т. п.). Моделирование как познавательный приём неотделимо от развития знания. По существу, моделирование как форма отражения действительности зарождается в античную эпоху одновременно с возникновением научного познания. Однако в отчётливой форме (хотя без употребления самого термина) моделирование начинает широко использоваться в эпоху Возрождения; Брунеллески, Микеланджело и другие итальянские архитекторы и скульпторы пользовались моделями проектируемых ими сооружений; в теоретических же работах Г. Галилея и Леонардо да Винчи не только используются модели, но и выясняются пределы применимости метода моделирования. И. Ньютон пользуется этим методом уже вполне осознанно, а в 19—20 вв. трудно назвать область науки или её приложений, где моделирование не имело бы существенного значения. Исключительно большую методологическую роль сыграли в этом отношении работы Кельвина, Дж. Максвелла, Ф. А. Кекуле, Бутлерова и других физиков и химиков — именно эти науки стали, можно сказать, классическими «полигонами» методов моделирования. Появление же первых электронных вычислительных машин (Дж. Нейман, 1947) и формулирование основных принципов кибернетики (Н. Винер, 1948) привели к поистине универсальной значимости новых методов — как в абстрактных областях знания, так и в их приложениях. Моделирование ныне приобрело общенаучный характер и применяется в исследованиях живой и неживой природы, в науках о человеке и обществе.
Единая классификация видов моделирования затруднительна в силу многозначности понятия «модель» в науке и технике. Её можно проводить по различным основаниям: по характеру моделей; по характеру моделируемых объектов; по сферам приложения моделирования (моделирование в технике, в физических науках, в химии, моделирование процессов живого, моделирование психики и т. п.) и его уровням («глубине»), начиная, например, с выделения в физике моделирования на микроуровне (моделирование на уровнях исследования, касающихся элементарных частиц, атомов, молекул). В связи с этим любая классификация методов моделирования обречена на неполноту, тем более, что терминология в этой области опирается не столько на «строгие» правила, сколько на языковые, научные и практические традиции, а ещё чаще определяется в рамках конкретного контекста и вне его никакого стандартного значения не имеет (типичный пример – термин «кибернетическое» моделирование). Предметным называется моделирование, в ходе которого исследование ведётся на модели, воспроизводящей основные геометрические, физические, динамические и функциональные характеристики «оригинала». На таких моделях изучаются процессы, происходящие в оригинале – объекте исследования или разработки (изучение на моделях свойств строительных конструкций, различных механизмов, транспортных средств и т. п.). Если модель и моделируемый объект имеют одну и ту же физическую природу, то говорят о физическом моделировании. Явление (система, процесс) может исследоваться и путём опытного изучения какого-либо явления иной физической природы, но такого, что оно описывается теми же математическими соотношениями, что и моделируемое явление. Например, механические и электрические колебания описываются одними и теми же дифференциальными уравнениями; поэтому с помощью механических колебаний можно моделировать электрические и наоборот. Такое «предметно-математическое» моделирование широко применяется для замены изучения одних явлений изучением других явлений, более удобных для лабораторного исследования, в частности потому, что они допускают измерение неизвестных величин. Так, электрическое моделирование позволяет изучать на электрических моделях механические, гидродинамические, акустические и другие явления. Электрическое моделирование лежит в основе т. н. аналоговых вычислительных машин. При знаковом моделировании моделями служат знаковые образования какого-либо вида: схемы, графики, чертежи, формулы, графы, слова и предложения в некотором алфавите (естественного или искусственного языка). Важнейшим видом знакового моделирования является математическое (логико-математическое) моделирование, осуществляемое средствами языка математики и логики. Знаковые образования и их элементы всегда рассматриваются вместе с определенными преобразованиями, операциями над ними, которые выполняет человек или машина (преобразования математических, логических, химических формул, преобразования состояний элементов цифровой машины, соответствующих знакам машинного языка, и др.). Современная форма «материальной реализации» знакового (прежде всего, математического) моделирования – это моделирование на цифровых электронных вычислительных машинах, универсальных и специализированных. Такие машины – это своего рода «чистые бланки», на которых в принципе можно зафиксировать описание любого процесса (явления) в виде его программы, т.е. закодированной на машинном языке системы правил, следуя которым машина может «воспроизвести» ход моделируемого процесса. Признаки классификаций моделей: 1) по области использования; 2) по фактору времени; 3) по отрасли знаний; 4) по форме представления
Различают следующие типы информационных моделей: Табличные – объекты и их свойства представлены в виде списка, а их значения размещаются в ячейках прямоугольной формы. Перечень однотипных объектов размещен в первом столбце (или строке), а значения их свойств размещаются в следующих столбцах (или строках) Иерархические – объекты распределены по уровням. Каждый элемент высокого уровня состоит из элементов нижнего уровня, а элемент нижнего уровня может входить в состав только одного элемента более высокого уровня Сетевые – применяют для отражения систем, в которых связи между элементами имеют сложную структуру По степени формализации информационные модели бывают образно-знаковые и знаковые. Например: Образно-знаковые модели : Геометрические (рисунок, пиктограмма, чертеж, карта, план, объемное изображение) Структурные (таблица, граф, схема, диаграмма) Словесные (описание естественными языками) Алгоритмические (нумерованный список, пошаговое перечисление, блок-схема) Знаковые модели: Математические – представлены математическими формулами, отображающими связь параметров. Специальные – представлены на специальных языках (ноты, химические формулы). Алгоритмические – программы.
|