Модель и моделирование

Введение Моделирование в научных исследованиях стало применяться еще в глубокой древности и постепенно захватывало все новые области научных знаний: техническое конструирование, строительство и архитектуру, астрономию, физику, химию, биологию и, наконец, общественные науки. Большие успехи и признание практически во всех отраслях современной науки принес методу моделирования ХХ в. Однако методология моделирования долгое время развивалась независимо отдельными науками. Отсутствовала единая система понятий, единая терминология. Лишь постепенно стала осознаваться роль моделирования как универсального метода научного познания. Термин "модель" широко используется в различных сферах человеческой деятельности и имеет множество смысловых значений. Модель - объект или описание объекта, системы для замещения (при определенных условиях предложениях, гипотезах) одной системы (т.е. оригинала) другой системы для изучения оригинала или воспроизведения его каких - либо свойств. Модель - результат отображения одной структуры на другую. Под моделированием понимается процесс построения, изучения и применения моделей. Оно тесно связано с такими категориями, как абстракция, аналогия, гипотеза и др. Процесс моделирования обязательно включает и построение абстракций, и умозаключения по аналогии, и конструирование научных гипотез. Главная особенность моделирования в том, что это метод опосредованного познания с помощью объектов-заместителей. Модель выступает как своеобразный инструмент познания, который исследователь ставит между собой и объектом и с помощью которого изучает интересующий его объект. Именно эта особенность метода моделирования определяет специфические формы использования абстракций, аналогий, гипотез, других категорий и методов познания. Возможности моделирования, то есть перенос результатов, полученных в ходе построения и исследования модели, на оригинал основаны на том, что модель в определенном смысле отображает (воспроизводит, моделирует, описывает, имитирует) некоторые интересующие исследователя черты объекта. Моделирование как форма отражения действительности широко распространено, и достаточно полная классификация возможных видов моделирования крайне затруднительна, хотя бы в силу многозначности понятия "модель", широко используемого не только в науке и технике, но и в искусстве, и в повседневной жизни. Применительно к естественным и техническим наукам принято различать следующие виды моделирования: • концептуальное моделирование, при котором совокупность уже известных фактов или представлений относительно исследуемого объекта или системы истолковывается с помощью некоторых специальных знаков, символов, операций над ними или с помощью естественного или искусственного языков; • физическое моделирование, при котором модель и моделируемый объект представляют собой реальные объекты или процессы единой или различной физической природы, причем между процессами в объекте-оригинале и в модели выполняются некоторые соотношения подобия, вытекающие из схожести физических явлений; • структурно-функциональное моделирование, при котором моделями являются схемы (блок-схемы), графики, чертежи, диаграммы, таблицы, рисунки, дополненные специальными правилами их объединения и преобразования; • математическое (логико-математическое) моделирование, при котором моделирование, включая построение модели, осуществляется средствами математики и логики; • имитационное (программное) моделирование, при котором логико-математическая модель исследуемого объекта представляет собой алгоритм функционирования объекта, реализованный в виде программного комплекса для компьютера. Разумеется, перечисленные выше виды моделирования не являются взаимоисключающими и могут применяться при исследовании сложных объектов либо одновременно, либо в некоторой комбинации. Кроме того, в некотором смысле концептуальное и, скажем, структурно-функциональное моделирование неразличимы между собой, так как те же блок-схемы, конечно же, являются специальными знаками с установленными операциями над ними. Компьютерное моделирование Традиционно под моделированием на ЭВМ понималось лишь имитационное моделирование. Можно, однако, увидеть, что и при других видах моделирования компьютер может быть весьма полезен, за исключением разве физического моделирования, где компьютер вообще-то тоже может использоваться, но, скорее, для целей управления процессом моделирования. Например при математическом моделировании выполнение одного из основных этапов - построение математических моделей по экспериментальным данным - в настоящее время просто немыслимо без компьютера. В последние годы, благодаря развитию графического интерфейса и графических пакетов, широкое развитие получило компьютерное, структурно-функциональное моделирование, о котором подробно поговорим ниже. Положено начало использованию компьютера даже при концептуальном моделировании, где он используется, например, при построении систем искусственного интеллекта. Таким образом, мы видим, что понятие "компьютерное моделирование" значительно шире традиционного понятия "моделирование на ЭВМ" и нуждается в уточнении, учитывающем сегодняшние реалии. Начнем с термина "компьютерная модель". В настоящее время под компьютерной моделью чаще всего понимают: • условный образ объекта или некоторой системы объектов (или процессов), описанный с помощью взаимосвязанных компьютерных таблиц, блок-схем, диаграмм, графиков, рисунков, анимационных фрагментов, гипертекстов и т. д. и отображающий структуру и взаимосвязи между элементами объекта. Компьютерные модели такого вида мы будем называть структурно-функциональными; • отдельную программу, совокупность программ, программный комплекс, позволяющий с помощью последовательности вычислений и графического отображения их результатов, воспроизводить (имитировать) процессы функционирования объекта, системы объектов при условии воздействия на объект различных, как правило случайных, факторов. Такие модели мы будем далее называть имитационными моделями. Компьютерное моделирование - метод решения задачи анализа или синтеза сложной системы на основе использования ее компьютерной модели. Суть компьютерного моделирования заключена в получении количественных и качественных результатов по имеющейся модели. Качественные выводы, получаемые по результатам анализа, позволяют обнаружить неизвестные ранее свойства сложной системы: ее структуру, динамику развития, устойчивость, целостность и др. Количественные выводы в основном носят характер прогноза некоторых будущих или объяснения прошлых значений переменных, характеризирующих систему. Компьютерное моделирование для рождения новой информации использует любую информацию, которую можно актуализировать с помощью ЭВМ. Основные функции компьютера при моделировании: • выполнять роль вспомогательного средства для решения задач, решаемых обычными вычислительными средствами, алгоритмами, технологиями; • выполнять роль средства постановки и решения новых задач, не решаемых традиционными средствами, алгоритмами, технологиями; • выполнять роль средства конструирования компьютерных обучающе - моделирующих сред; • выполнять роль средства моделирования для получения новых знаний; • выполнять роль "обучения" новых моделей (самообучающиеся модели). Разновидностью компьютерного моделирования является вычислительный эксперимент. Компьютерное моделирование, вычислительный эксперимент становится новым инструментом, методом научного познания, новой технологией также из-за возрастающей необходимости перехода от исследования линейных математических моделей систем . Предметом компьютерного моделирования могут быть: экономическая деятельность фирмы или банка, промышленное предприятие, информационно-вычислительная сеть, технологический процесс, любой реальный объект или процесс, например процесс инфляции, и вообще - любая Сложная Система. Цели компьютерного моделирования могут быть различными, однако наиболее часто моделирование является, как уже отмечалось ранее, центральной процедурой системного анализа, причем под системным анализом мы далее понимаем совокупность методологических средств, используемых для подготовки и принятия решений экономического, организационного, социального или технического характера. Компьютерная модель сложной системы должна по возможности отображать все основные факторы и взаимосвязи, характеризующие реальные ситуации, критерии и ограничения. Модель должна быть достаточно универсальной, чтобы по возможности описывать близкие по назначению объекты, и в то же время достаточно простой, чтобы позволить выполнить необходимые исследования с разумными затратами. Все это говорит о том, что моделирование, рассматриваемое в целом, представляет собой скорее искусство, чем сформировавшуюся науку с самостоятельным набором средств отображения явлений и процессов реального мира. Общая классификация моделей Отображая физическую систему (объект) на математическую систему (например, математический аппарат уравнений) получим физико - математическую модель системы или математическую модель физической системы. В частности, физиологическая система - система кровообращения человека, подчиняется некоторым законам термодинамики и описав эту систему на физическом (термодинамическом) языке получим физическую, термодинамическую модель физиологической системы. Если записать эти законы на математическом языке, например, выписать соответствующие термодинамические уравнения, то получим математическую модель системы кровообращения. Эту модель можно назвать физиолого - физико - математической моделью или физико - математической моделью. Модели, если отвлечься от областей, сфер их применения, бывают трех типов: познавательные, прагматические и инструментальные. • Познавательная модель - форма организации и представления знаний, средство соединение новых и старых знаний. Познавательная модель, как правило, подгоняется под реальность и является теоретической моделью. • Прагматическая модель - средство организации практических действий, рабочего представления целей системы для ее управления. Реальность в них подгоняется под некоторую прагматическую модель. Это, как правило, прикладные модели. • Инструментальная модель - является средством построения, исследования и/или использования прагматических и/или познавательных моделей. Познавательные отражают существующие, а прагматические - хоть и не существующие, но желаемые и, возможно, исполнимые отношения и связи. По уровню, "глубине" моделирования модели бывают эмпирические - на основе эмпирических фактов, зависимостей, теоретические - на основе математических описаний и смешанные, полуэмпирические - использующие эмпирические зависимости и математические описания. Требования к модели Основные требования к модели: • наглядность построения; • обозримость основных свойств и отношений; • доступность ее для исследования или воспроизведения; • простота исследования, воспроизведения; • сохранение информации, содержавшиеся в оригинале (с точностью рассматриваемых при построении модели гипотез) и получение новой информации. Проблема моделирования состоит из трех задач: • построение модели (эта задача менее формализуема и конструктивна, в том смысле, что нет алгоритма для построения моделей); • исследование модели (эта задача более формализуема, имеются методы исследования различных классов моделей); • использование модели (конструктивная и конкретизируемая задача). Свойства модели: • конечность: модель отображает оригинал лишь в конечном числе его отношений и, кроме того, ресурсы моделирования конечны; • упрощенность: модель отображает только существенные стороны объекта; • приблизительность: действительность отображается моделью грубо или приблизительно; • адекватность: модель успешно описывает моделируемую систему; • информативность: модель должна содержать достаточную информацию о системе - в рамках гипотез, принятых при построении модели. Математическое моделирование Математическая модель М описывающая ситему S (x1,x2,...,xn; R), имеет вид: М=(z1,z2,...,zm; Q), где ziZ, i=1,2,...,n, Q, R - множества отношений над X - множеством входных, выходных сигналов и состояний системы и Z - множеством описаний, представлений элементов и подмножеств X, соответственно. Модель включает в себя: объект О, субъект (не обязательный) А, задачу Z, ресурсы B, среду моделирования С. Модель М называется статической, если среди xi нет временного параметра t. Статическая модель в каждый момент времени дает лишь "фотографию" сиcтемы, ее срез. Модель - динамическая, если среди xi есть временной параметр, т.е. она отображает систему (процессы в системе) во времени. Модель - дискретная, если она описывает поведение системы только в дискретные моменты времени. Модель - непрерывная, если она описывает поведение системы для всех моментов времени из некоторого промежутка времени. Модель - имитационная, если она предназначена для испытания или изучения, проигрывания возможных путей развития и поведения объекта путем варьирования некоторых или всех параметров xi модели М. Модель - детерминированная, если каждому входному набору параметров соответствует вполне определенный и однозначно определяемый набор выходных параметров; в противном случае - модель недетерминированная, стохастическая (вероятностная). Можно говорить о различных режимах использования моделей - об имитационном режиме, о стохастическом режиме и т. д. Жизненный цикл моделируемой системы 1. Сбор информации об объекте, выдвижение гипотез, предмодельный анализ; 2. Проектирование структуры и состава моделей (подмоделей); 3. Построение спецификаций модели, разработка и отладка отдельных подмоделей, сборка модели в целом, идентификация (если это нужно) параметров моделей; 4. Исследование модели - выбор метода исследования и разработка алгоритма (программы) моделирования; 5. Исследование адекватности, устойчивости, чувствительности модели; 6. Оценка средств моделирования (затраченных ресурсов); 7. Интерпретация, анализ результатов моделирования и установление некоторых причинно - следственных связей в исследуемой системе; 8. Генерация отчетов и проектных (народно - хозяйственных) решений; 9. Уточнение, модификация модели, если это необходимо, и возврат к исследуемой системе с новыми знаниями, полученными с помощью моделирования. Операции над моделями Основными операциями, используемыми над моделями являются: 1. Линеаризация. Пусть М=М(X,Y,A), где X - множество входов, Y - выходов, А - состояний системы. Схематически можно это изобразить: X  A Y Если X, Y, A - линейные пространства (множества), а - линейные операторы, то система (модель) называется линейной. Другие системы (модели) - нелинейные. Нелинейные системы трудно поддаются исследованию, поэтому их часто линеаризуют - сводят к линейным каким-то образом. 2. Идентификация. Пусть М=М(X,Y,A), A={ai}, ai=(ai1,ai2,...,aik) - вектор состояния объекта (системы). Если вектор ai зависит от некоторых неизвестных параметров, то задача идентификации (модели, параметров модели) состоит в определении по некоторым дополнительным условиям, например, экспериментальным данным, характеризующим состояние системы в некоторых случаях. Идентификация - решение задачи построения по результатам наблюдений математических моделей, описывающих адекватно поведение реальной системы. 3. Агрегирование. Операция состоит в преобразовании (сведении) модели к модели (моделям) меньшей размерности (X, Y, A). 4. Декомпозиция. Операция состоит в разделении системы (модели) на подсистемы (подмодели) с сохранением структур и принадлежности одних элементов и подсистем другим. 5. Сборка. Операция состоит в преобразовании системы, модели, реализующей поставленную цель из заданных или определяемых подмоделей (структурно связанных и устойчивых). 6. Макетирование. Эта операция состоит в апробации, исследовании структурной связности, сложности, устойчивости с помощью макетов или подмоделей упрощенного вида, у которых функциональная часть упрощена (хотя вход и выход подмоделей сохранены). 7. Экспертиза, экспертное оценивание. Операция или процедура использования опыта, знаний, интуиции, интеллекта экспертов для исследования или моделирования плохо структурируемых, плохо формализуемых подсистем исследуемой системы. 8. Вычислительный эксперимент. Это эксперимент, осуществляемый с помощью модели на ЭВМ с целью распределения, прогноза тех или иных состояний системы, реакции на те или иные входные сигналы. Прибором эксперимента здесь является компьютер (и модель!). Применение моделей Модели и моделирование применяются по следующим основным и важным направлениям. 1. Обучение (как моделям, моделированию, так и самих моделей). 2. Познание и разработка теории исследуемых систем - с помощью каких - то моделей, моделирования, результатов моделирования. 3. Прогнозирование (выходных данных, ситуаций, состояний системы). 4. Управление (системой в целом, отдельными подсистемами системы, выработка управленческих решений и стратегий). 5. Автоматизация (системы или отдельных подсистем системы). В базовой четверке информатики: "модель - алгоритм - компьютер - технология" при компьютерном моделировании главную роль играют уже алгоритм (программа), компьютер и технология (точнее, инструментальные системы для компьютера, компьютерные технологии). Например, при имитационном моделировании (при отсутствии строгого и формально записанного алгоритма) главную роль играют технология и средства моделирования; аналогично и в когнитивной графике.  Этапы построения модели Введение Необходимость использования метода моделирования определяется тем, что многие объекты (или проблемы, относящиеся к этим объектам) непосредственно исследовать или вовсе невозможно, или же это исследование требует много времени и средств. Для понимания сущности моделирования важно не упускать из виду, что моделирование - не единственный источник знаний об объекте. Процесс моделирования "погружен" в более общий процесс познания. Это обстоятельство учитывается не только на этапе построения модели, но и на завершающей стадии, когда происходит объединение и обобщение результатов исследования, получаемых на основе многообразных средств познания. Для моделирования существенно объединение дифференциального (атомистического) и структурно-целостного подходов, диалектическое единство анализа и синтеза при исследовании изучаемых явлений. Моделирование заключается в имитации изучаемого явления. Точность имитации определяется путем сравнения полученного при воспроизведении результата с его прототипом, объектом исследования, и оценки степени их сходства. В целом, моделирование включает в себя три необходимых этана: анализ объекта исследования, построение (синтез) модели, получение результата и его оценка путем сравнения с объектом. Рассмотрим более детально эти этапы. Анализ объекта моделирования В основу модели при ее формировании кладутся некоторые первоначальные знания об объекте, закономерности, устанавливающие свойства этого объекта (или класса объектов), его характеристики, особенности связи между составляющими объект, элементами. Получение этих знаний и их уточнение и являются содержанием первого этапа моделирования. На этом этапе формируется возможно более полное описание объекта: выделяются его элементы, устанавливаются связи между ними, вычленяются существенные для исследования характеристики, выявляются параметры, изменение которых влияет или может влиять на объект. На том же этапе формируются, подлежащие последующей проверке гипотезы о закономерностях, присущих изучаемому объекту, о характере влияния на него изменения тех или иных параметров и связей между его элементами. На том же этапе исходные предположения переводятся на четкий однозначный язык количественных отношений и устраняется нечеткие, неоднозначные высказывания или определения, которые заменяются, быть может, и приближенными, но четкими,; не- допускающими различных толкований высказываниями Формирование (синтез) модели Формирование (синтез) модели представляет собой второй этап моделирования. На этом этапе в соответствии с задачами исследования осуществляется воспроизведение, или имитация, объекта на ЭВМ с помощью программы, которая включает в себя закономерности и другие исходные данные, полученные на этапе анализа. Структура модели, существенно зависит от задач исследования.. Так, например, если проверяется полнота и правильность наших знаний об объекте, последний имитируется с использованием, всех известных исходных соотношений. Если же задача, заключается ,в проверке некоторых предположений и степени; их общности, то именно эти предположения вводятся в программу и в результате имитации получаются объекты, которые лишь частично отражают реальные свойства имитируемого объекта. Оценка результатов Оценка результатов, заключается, в установлении адекватности модели и объекта исследования - в определении степени близости,, сходства, машинных и человеческих действий или их результатов. При этом существенно не "абсолютное качествo" машинных результатов, а степень сходства с объектом исследования. Так, при моделировании музыкальных сочинений важно нe то, чтобы машинная музыка была "лучше" музыки композиторов-классиков, а чтобы она была похожа на ту, которая исследуется, и - в идеале - была от нее неотличима (по эмоциональности, по выразительности, по синтаксической сложности, принадлежности к типу, стилю и т. п.). Успешный результат сравнения (оценки) исследуемого объекта с моделью свидетельствует о достаточной степени изученности объекта, о правильности принципов, положенных в основу моделирования, и о том, что алгоритм, моделирующий объект, не содержит ошибок, т. е. о том, что созданная модель работоспособна. Такая модель может быть использована для дальнейших более глубоких исследований объекта в различных новых условиях, в которых реальный объект еще не изучался. Чаще, однако, первые результаты моделирования не удовлетворяют предъявленным требованиям. Это означает, что по крайней мере в одной из перечисленных выше позиций (изученность объекта, исходные принципы, алгоритм) имеются дефекты. Это требует проведения дополнительных исследовании и соответствующего изменения машинной программы, после чего снова повторяются второй и третий этапы. Процедура повторяется до получения надежных результатов. Этап оценки модели является важным этапом моделирования. В зависимости от характера объекта исследования и поставленных задач применяются различные методы оценки модели. Особенно большое значение имеет правильная оценка модели, когда моделирование, используется для проверки гипотез, а также когда объекты недостаточно формализованы и нет строгого объективного критерия сходства объекта и модели. С подобной ситуацией часто приходится встречаться при моделировании интеллектуальных, творческих процессов. Модель должна обладать существенными признаками объекта моделирования. Иначе говоря, модель и объект должны быть неотличимы по этим признакам, которые выбираются, вообще говоря, исследователем в зависимости от цели и. задачи исследования. Так, чучело птицы моделирует внешний вид птицы, но не моделирует ее динамического состояния, например полета. Самолет-орнитоптер (летательный -аппарат с машущими, крыльями) не моделирует внешнего вида птицы, зато моделирует ее полет. При моделировании творчества также имитируются лишь отдельные стороны объекта, наиболее интересные (или доступные) для исследователя. Наличие существенных для объекта признаков в модели определяется по-разному, в зависимости от его вида. В одних случаях эти признаки обнаруживаются непосредственно: например, в модели гармонизации - путем отыскания ошибок, в модели шахматиста (шахматной программе) - по результатам игры с настоящими шахматистами. В других случаях существенные признаки оказываются "скрытыми" и для их отыскания приходится прибегать к специальному эксперименту.