МЕТОДЫМАТЕМАТИЧЕСКОГО МОДелирования И ОПТИМИЗАЦИИ СИСТЕМ И ПРОЦЕССОВ
Конспект лекций
МЕТОДОЛОГИЧЕСКИЕ ОСНОВЫМОДЕЛИРОВАНИЯ
1.1. Современное состояние проблемы моделирования систем
1.1.1. Понятия модели и моделирования
Все то, на что направлена человеческая деятельность, называется объектом (лат. objection — предмет). Выработка методологии направлена на упорядочение получения и обработки информации об объектах, которые существуют вне нашего сознания и взаимодействуют между собой и внешней средой.
В научных исследованиях большую роль играют гипотезы, т. е. определенные предсказания, основывающиеся на небольшом количестве опытных данных, наблюдений, догадок. Быстрая и полная проверка выдвигаемых гипотез может быть проведена в ходе специально поставленного эксперимента. При формулировании и проверке правильности гипотез большое значение в качестве метода суждения имеет аналогия.
Аналогией называют суждение о каком-либо частном сходстве двух объектов, причем такое сходство может быть существенным и несущественным. Необходимо отметить, что понятия существенности и несущественности сходства или различия объектов условны и относительны. Существенность сходства (различия) зависит от уровня абстрагирования и в общем случае определяется конечной целью проводимого исследования. Современная научная гипотеза создается, как правило, по аналогии с проверенными на практике научными положениями. Таким образом, аналогия связывает гипотезу с экспериментом. Гипотезы и аналогии, отражающие реальный, объективно существующий мир, должны обладать наглядностью или сводиться к удобным для исследования логическим схемам; такие логические схемы, упрощающие рассуждения и логические построения или позволяющие проводить эксперименты, уточняющие природу явлений, называются моделями. Другими словами, модель (лат. modulus — мера) — это объект-заместитель объекта-оригинала, обеспечивающий изучение некоторых свойств оригинала.
Моделирование можно рассматривать как замещение исследуемого объекта (оригинала) его условным образом, описанием или другим объектом, именуемым моделью и обеспечивающим близкое к оригиналу поведение в рамках некоторых допущений и приемлемых погрешностей. Моделирование обычно выполняется с целью познания свойств оригинала путем исследования его модели, а не самого объекта. Разумеется, моделирование оправдано в том случае когда оно проще создания самого оригинала или когда последний по каким-то причинам лучше вообще не создавать.
Таким образом, моделирование может быть определено как представление объекта моделью для получения информации об этом объекте путем проведения экспериментов с его моделью. Теория замещения одних объектов (оригиналов) другими объектами (моделями) и исследования свойств объектов на их моделях называется теорией моделирования.
Определяя гносеологическую роль теории моделирования, т. е. ее значение в процессе познания, необходимо, прежде всего, отвлечься от имеющегося в науке и технике многообразия моделей и выделить то общее, что присуще моделям различных по своей природе объектов реального мира. Это общее заключается в наличии некоторой структуры (статической или динамической, материальной или мысленной), которая подобна структуре данного объекта.
В процессе изучения модель выступает в роли относительного самостоятельного квазиобъекта, позволяющего получить при исследовании некоторые знания о самом объекте.
Обобщенно моделирование можно определить как метод опосредованного познания, при котором изучаемый объект-оригинал находится в некотором соответствии с другим объектом-моделью, причем модель способна в том или ином отношении замещать оригинал на некоторых стадиях познавательного процесса. Стадии познания, на которых происходит такая замена, а также формы соответствия модели и оригинала могут быть различными:
1) моделирование как познавательный процесс, содержащий переработку информации, поступающей из внешней среды, о происходящих в ней явлениях, в результате чего в сознании появляются образы, соответствующие объектам;
2) моделирование, заключающееся в построении некоторой системы- модели (второй системы), связанной определенными соотношениями подобия с системой-оригиналом (первой системой), причем в этом случае отображение одной системы в другую является средством выявления зависимостей между двумя системами, отраженными в соотношениях подобия, а не результатом непосредственного изучения поступающей информации.
Следует отметить, что с точки зрения философии моделирование — эффективное средство познания природы. Процесс моделирования предполагает наличие объекта исследования; исследователя, перед которым поставлена конкретная задача; модели, создаваемой для получения информации об объекте и необходимой для решения поставленной задачи. Причем по отношению к модели исследователь является, по сути дела, экспериментатором, только в данном случае эксперимент проводится не с реальным объектом, а с его моделью. Такой эксперимент для инженера есть инструмент непосредственного решения организационно-технических задач.
Надо иметь в виду, что любой эксперимент может иметь существенное значение в конкретной области науки только при специальной его обработке и обобщении. Единичный эксперимент никогда не может быть решающим для подтверждения гипотезы, проверки теории. Поэтому инженеры (исследователи и практики) должны быть знакомы с элементами современной методологии теории познания и, в частности, не должны забывать основного положения материалистической философии, что именно экспериментальное исследование, опыт, практика являются критерием истины.
В общем случае под моделью понимается физический или абстрактный объект, свойства которого в определенном смысле сходны со свойствами исследуемого объекта. При этом требования к модели определяются решаемой задачей и имеющимися средствами. Существует ряд общих требований к моделям:
1) адекватность – достаточно точное отображение свойств объекта;
2) полнота – предоставление получателю всей необходимой информации об объекте;
3) гибкость – возможность воспроизведения различных ситуаций во всем диапазоне изменения условий и параметров;
4) трудоемкость разработки должна быть приемлемой для имеющегося времени и программных средств.
Моделирование – это процесс построения модели объекта и исследования его свойств путем исследования модели. Таким образом, моделирование предполагает 2 основных этапа:
1) разработка модели;
2) исследование модели и получение выводов.
При этом на каждом из этапов решаются разные задачи и используются отличающиеся по сути методы и средства. На практике применяют различные методы моделирования. В зависимости от способа реализации, все модели можно разделить на два больших класса: физические и математические.
Математическое моделирование принято рассматривать как средство исследования процессов или явлений с помощью их математических моделей.
Под физическим моделированием понимается исследование объектов и явлений на физических моделях, когда изучаемый процесс воспроизводят с сохранением его физической природы или используют другое физическое явление, аналогичное изучаемому. При этом физические модели предполагают, как правило, реальное воплощение тех физических свойств оригинала, которые являются существенными в конкретной ситуации. Например, при проектировании нового самолета создается его макет, обладающий теми же аэродинамическими свойствами; при планировании застройки архитекторы изготавливают макет, отражающий пространственное расположение ее элементов. В связи с этим физическое моделирование называют также макетированием.
Полунатурное моделирование представляет собой исследование управляемых систем на моделирующих комплексах с включением в состав модели реальной аппаратуры. Наряду с реальной аппаратурой в замкнутую модель входят имитаторы воздействий и помех, математические модели внешней среды и процессов, для которых неизвестно достаточно точное математическое описание. Включение реальной аппаратуры или реальных систем в контур моделирования сложных процессов позволяет уменьшить априорную неопределенность и исследовать процессы, для которых нет точного математического описания. С помощью полунатурного моделирования исследования выполняются с учетом малых постоянных времени и нелинейностей, присущих реальной аппаратуре. При исследовании моделей с включением реальной аппаратуры используется понятие динамического моделирования, при исследовании сложных систем и явлений - эволюционного, имитационного и кибернетического моделирования.
Очевидно, действительная польза от моделирования может быть получена только при соблюдении двух условий:
1) модель обеспечивает корректное (адекватное) отображение свойств оригинала, существенных с точки зрения исследуемой операции;
2) модель позволяет устранить перечисленные выше проблемы, присущие проведению исследований на реальных объектах.
1.1.2. Основные понятия математического моделирования
Решение практических задач математическими методами последовательно осуществляется путем формулировки задачи (разработки математической модели), выбора метода исследования полученной математической модели, анализа полученного математического результата. Математическая формулировка задачи обычно представляется в виде геометрических образов, функций, систем уравнений и т.п. Описание объекта (явления) может быть представлено с помощью непрерывной или дискретной, детерминированной или стохастической и другими математическими формами.
Теория математического моделирования обеспечивает выявление закономерностей протекания различных явлений окружающего мира или работы систем и устройств путем их математического описания и моделирования без проведения натурных испытаний. При этом используются положения и законы математики, описывающие моделируемые явления, системы или устройства на некотором уровне их идеализации.
Математическая модель (ММ) представляет собой формализованное описание системы (или операции) на некотором абстрактном языке, например, в виде совокупности математических соотношений или схемы алгоритма, т. е. такое математическое описание, которое обеспечивает имитацию работы систем или устройств на уровне, достаточно близком к их реальному поведению, получаемому при натурных испытаниях систем или устройств. Любая ММ описывает реальный объект, явление или процесс с некоторой степенью приближения к действительности. Вид ММ зависит как от природы реального объекта, так и от задач исследования.
Математическое моделирование общественных, экономических, биологических и физических явлений, объектов, систем и различных устройств является одним из важнейших средств познания природы и проектирования самых разнообразных систем и устройств. Известны примеры эффективного использования моделирования в создании ядерных технологий, авиационных и аэрокосмических систем, в прогнозе атмосферных и океанических явлений, погоды и т.д.
Однако для таких серьезных сфер моделирования нередко нужны суперкомпьютеры и годы работы крупных коллективов ученых по подготовке данных для моделирования и его отладки. Тем не менее, и в этом случае математическое моделирование сложных систем и устройств не только экономит средства на проведение исследований и испытаний, но и может устранить экологические катастрофы – например, позволяет отказаться от испытаний ядерного и термоядерного оружия в пользу его математического моделирования или испытаний аэрокосмических систем перед их реальными полетами.
Между тем математическое моделирование на уровне решения более простых задач, например, из области механики, электротехники, электроники, радиотехники и многих других областей науки и техники в настоящее время стало доступным выполнять на современных ПК. А при использовании обобщенных моделей становится возможным моделирование и достаточно сложных систем, например, телекоммуникационных систем и сетей, радиолокационных или радионавигационных комплексов.
Целью математического моделирования является анализ реальных процессов (в природе или технике) математическими методами. В свою очередь, это требует формализации ММ процесса, подлежащего исследованию.
Модель может представлять собой математическое выражение, содержащее переменные, поведение которых аналогично поведению реальной системы. Модель может включать элементы случайности, учитывающие вероятности возможных действий двух или большего числа «игроков», как, например, в теории игр; либо она может представлять реальные переменные параметры взаимосвязанных частей действующей системы.
Математическое моделирование для исследования характеристик систем можно разделить на аналитическое, имитационное и комбинированное. В свою очередь, ММ делятся на имитационные и аналитические.
1.1.3. Аналитическое моделирование
Для аналитического моделирования характерно, что процессы функционирования системы записываются в виде некоторых функциональных соотношений (алгебраических, дифференциальных, интегральных уравнений). Аналитическая модель может быть исследована следующими методами:
1) аналитическим, когда стремятся получить в общем виде явные зависимости для характеристик систем;
2) численным, когда не удается найти решение уравнений в общем виде и их решают для конкретных начальных данных;
3) качественным, когда при отсутствии решения находят некоторые его свойства.
Аналитические модели удается получить только для сравнительно простых систем. Для сложных систем часто возникают большие математические проблемы. Для применения аналитического метода идут на существенное упрощение первоначальной модели. Однако исследование на упрощенной модели помогает получить лишь ориентировочные результаты. Аналитические модели математически верно отражают связь между входными и выходными переменными и параметрами. Но их структура не отражает внутреннюю структуру объекта.
При аналитическом моделировании его результаты представляются в виде аналитических выражений. Например, подключив RC -цепь к источнику постоянного напряжения E (R, C и E – компоненты данной модели), мы можем составить аналитическое выражение для временной зависимости напряжения 
на конденсаторе C:
(1.1)
Это линейное дифференциальное уравнение (ДУ) и является аналитической моделью данной простой линейной цепи. Его аналитическое решение, при начальном условии 
, означающем разряженный конденсатор C в момент начала моделирования, позволяет найти искомую зависимость – в виде формулы:
(1.2)
Однако даже в этом простейшем примере требуются определенные усилия для решения ДУ (1.1) или для применения систем компьютерной математики (СКМ) с символьными вычислениями – систем компьютерной алгебры. Для данного вполне тривиального случая решение задачи моделирования линейной RC -цепи дает аналитическое выражение (1.2) достаточно общего вида – оно пригодно для описания работы цепи при любых номиналах компонентов R, C и E, и описывает экспоненциальный заряд конденсатора C через резистор R от источника постоянного напряжения E.
Безусловно, нахождение аналитических решений при аналитическом моделировании оказывается исключительно ценным для выявления общих теоретических закономерностей простых линейных цепей, систем и устройств. Однако его сложность резко возрастает по мере усложнения воздействий на модель и увеличения порядка и числа уравнений состояния, описывающих моделируемый объект. Можно получить более или менее обозримые результаты при моделировании объектов второго или третьего порядка, но уже при большем порядке аналитические выражения становятся чрезмерно громоздкими, сложными и трудно осмысляемыми. Например, даже простой электронный усилитель зачастую содержит десятки компонентов. Тем не менее, многие современные СКМ, например, системы символьной математики Maple, Mathematica или среда MATLAB (глава 7), способны в значительной мере автоматизировать решение сложных задач аналитического моделирования.
Одной из разновидностей моделирования является численное моделирование, которое заключается в получении необходимых количественных данных о поведении систем или устройств каким-либо подходящим численным методом, таким как методы Эйлера или Рунге-Кутта. На практике моделирование нелинейных систем и устройств с использованием численных методов оказывается намного более эффективным, чем аналитическое моделирование отдельных частных линейных цепей, систем или устройств. Например, для решения ДУ (1.1) или систем ДУ в более сложных случаях решение в аналитическом виде не получается, но по данным численного моделирования можно получить достаточно полные данные о поведении моделируемых систем и устройств, а также построить графики описывающих это поведение зависимостей.
1.1.3. Имитационное моделирование
При имитационном моделировании реализующий модель алгоритм воспроизводит процесс функционирования системы во времени. Имитируются элементарные явления, составляющие процесс, с сохранением их логической структуры и последовательности протекания во времени. Основным преимуществом имитационных моделей по сравнению с аналитическими является возможность решения более сложных задач.
ПРОЦЕСС (от лат. processus - продвижение) – последовательная смена явлений, состояний в развитии чего-нибудь.
Имитационные модели позволяют легко учитывать наличие дискретных или непрерывных элементов, нелинейные характеристики, случайные воздействия и др. Поэтому этот метод широко применяется на этапе проектирования сложных систем. Основным средством реализации имитационного моделирования служит ЭВМ, позволяющая осуществлять цифровое моделирование систем и сигналов.
В связи с этим определим словосочетание «компьютерное моделирование », которое все чаще используется в литературе. Будем полагать, что компьютерное моделирование - это математическое моделирование с использованием средств вычислительной техники. Соответственно, технология компьютерного моделирования предполагает выполнение следующих действий:
1) определение цели моделирования;
2) разработка концептуальной модели;
3) формализация модели;
4) программная реализация модели;
5) планирование модельных экспериментов;
6) реализация плана эксперимента;
7) анализ и интерпретация результатов моделирования.
Содержание первых двух этапов практически не зависит от математического метода, положенного в основу моделирования (и даже наоборот - их результат определяет выбор метода). А вот реализация остальных пяти этапов существенно различается для аналитического и имитационного моделирования.
При имитационном моделировании используемая ММ воспроизводит алгоритм («логику») функционирования исследуемой системы во времени при различных сочетаниях значений параметров системы и внешней среды. Примером простейшей аналитической модели может служить уравнение прямолинейного равномерного движения. При исследовании такого процесса с помощью имитационной модели должно быть реализовано наблюдение за изменением пройденного пути с течением времени. Очевидно, в одних случаях более предпочтительным является аналитическое моделирование, в других - имитационное (или сочетание того и другого). Чтобы выбор был удачным, необходимо ответить на два вопроса.
С какой целью проводится моделирование?
К какому классу может быть отнесено моделируемое явление?
Ответы на оба эти вопроса могут быть получены в ходе выполнения двух первых этапов моделирования. Имитационные модели не только по свойствам, но и по структуре соответствуют моделируемому объекту. При этом имеется однозначное и явное соответствие между процессами, получаемыми на модели, и процессами, протекающими на объекте. Недостатком имитационного моделирования является большое время решения задачи для получения хорошей точности. Результаты имитационного моделирования работы стохастической системы являются реализациями случайных величин или процессов. Поэтому для нахождения характеристик системы требуется многократное повторение и последующая обработка данных. Чаще всего в этом случае применяется разновидность имитационного моделирования - статистическое моделирование (или метод Монте-Карло), т.е. воспроизведение в моделях случайных факторов, событий, величин, процессов, полей.
По результатам статистического моделирования определяют оценки вероятностных критериев качества, общих и частных, характеризующих функционирование и эффективность управляемой системы. Статистическое моделирование широко применяется для решения научных и прикладных задач в различных областях науки и техники. Методы статистического моделирования широко применяются при исследовании сложных динамических систем, оценке их функционирования и эффективности.
Заключительный этап статистического моделирования основан на математической обработке полученных результатов. Здесь используют методы математической статистики (параметрическое и непараметрическое оценивание, проверку гипотез). Примером параметрической оценки является выборочное среднее показателя эффективности. Среди непараметрических методов большое распространение получил метод гистограмм.
Рассмотренная схема основана на многократных статистических испытаниях системы и методах статистики независимых случайных величин. Эта схема является далеко не всегда естественной на практике и оптимальной по затратам. Сокращение времени испытания систем может быть достигнуто за счет использования более точных методов оценивания. Как известно из математической статистики, наибольшую точность при заданном объеме выборки имеют эффективные оценки. Оптимальная фильтрация и метод максимального правдоподобия дают общий метод получения таких оценок.
В задачах статистического моделирования обработка реализаций случайных процессов необходима не только для анализа выходных процессов. Весьма важен также и контроль характеристик входных случайных воздействий. Контроль заключается в проверке соответствия распределений генерируемых процессов заданным распределениям. Эта задача часто формулируется как задача проверки гипотез.
Общей тенденцией моделирования с использованием ЭВМ у сложных управляемых систем является стремление к уменьшению времени моделирования, а также проведение исследований в реальном масштабе времени. Вычислительные алгоритмы удобно представлять в рекуррентной форме, допускающей их реализацию в темпе поступления текущей информации.
1.2. Принципы системного подхода в моделировании
Основные положения теории систем возникли в ходе исследования динамических систем и их функциональных элементов. Под системой понимают группу взаимосвязанных элементов, действующих совместно с целью выполнения заранее поставленной задачи. Анализ систем позволяет определить наиболее реальные способы выполнения поставленной задачи, обеспечивающие максимальное удовлетворение поставленных требований.
Элементы, составляющие основу теории систем, не создаются с помощью гипотез, а обнаруживаются экспериментальным путем. Для того чтобы начать построение системы, необходимо иметь общие характеристики технологических процессов. Это же справедливо и в отношении принципов создания математически сформулированных критериев, которым должен удовлетворять процесс или его теоретическое описание. Моделирование является одним из наиболее важных методов научного исследования и экспериментирования.
При построении моделей объектов используется системный подход, представляющий собой методологию решения сложных задач, в основе которой лежит рассмотрение объекта как системы, функционирующей в некоторой среде. Системный подход предполагает раскрытие целостности объекта, выявление и изучение его внутренней структуры, а также связей с внешней средой. При этом объект представляется как часть реального мира, которая выделяется и исследуется в связи с решаемой задачей построения модели. Кроме этого, системный подход предполагает последовательный переход от общего к частному, когда в основе рассмотрения лежит цель проектирования, а объект рассматривается во взаимосвязи с окружающей средой.
Сложный объект может быть разделен на подсистемы, представляющие собой части объекта, удовлетворяющие следующим требованиям:
1) подсистема является функционально независимой частью объекта. Она связана с другими подсистемами, обменивается с ними информацией и энергией;
2) для каждой подсистемы могут быть определены функции или свойства, не совпадающие со свойствами всей системы;
3) каждая из подсистем может быть подвергнута дальнейшему делению до уровня элементов.
В данном случае под элементом понимается подсистема нижнего уровня, дальнейшее деление которой нецелесообразно с позиций решаемой задачи. Таким образом, систему можно определить как представление объекта в виде набора подсистем, элементов и связей с целью его создания, исследования или усовершенствования. При этом укрупненное представление системы, включающее в себя основные подсистемы и связи между ними, называется макроструктурой, а детальное раскрытие внутреннего строения системы до уровня элементов – микроструктурой.
Наряду с системой обычно существует надсистема – система более высокого уровня, в состав которой входит рассматриваемый объект, причём функция любой системы может быть определена только через надсистему.
Следует выделить понятие среды как совокупности объектов внешнего мира, существенно влияющих на эффективность функционирования системы, но не входящих в состав системы и ее надсистемы.
В связи с системным подходом к построению моделей используется понятие инфраструктуры, описывающей взаимосвязи системы с ее окружением (средой). При этом выделение, описание и исследование свойств объекта, существенных в рамках конкретной задачи называется стратификацией объекта, а всякая модель объекта является его стратифицированным описанием. Для системного подхода важным является определение структуры системы, т.е. совокупности связей между элементами системы, отражающих их взаимодействие. Для этого вначале рассмотрим структурный и функциональный подходы к моделированию.
При структурном подходе выявляются состав выделенных элементов системы и связи между ними. Совокупность элементов и связей позволяет судить о структуре системы. Наиболее общим описанием структуры является топологическое описание. Оно позволяет определить составные части системы и их связи с помощью графов.
Менее общим является функциональное описание, когда рассматриваются отдельные функции, т. е. алгоритмы поведения системы. При этом реализуется функциональный подход, определяющий функции, которые выполняет система.
На базе системного подхода может быть предложена последовательность разработки моделей, когда выделяют две основные стадии проектирования: макропроектирование и микропроектирование.
На стадии макропроектирования строится модель внешней среды, выявляются ресурсы и ограничения, выбирается модель системы и критерии для оценки адекватности.
Стадия микропроектирования в значительной степени зависит от конкретного типа выбранной модели. В общем случае предполагает создание информационного, математического, технического и программного обеспечения системы моделирования. На этой стадии устанавливаются основные технические характеристики созданной модели, оцениваются время работы с ней и затраты ресурсов для получения заданного качества модели.
Независимо от типа модели при ее построении необходимо руководствоваться рядом принципов системного подхода:
1) последовательное продвижение по этапам создания модели;
2) согласование информационных, ресурсных, надежностных и других характеристик;
3) правильное соотношение различных уровней построения модели;
4) целостность отдельных стадий проектирования модели.
1.3. Принципы построения математических моделей
Рассмотрим основные принципы моделирования, отражающие опыт, накопленный к настоящему времени в области разработки и использования ММ.
1. Принцип информационной достаточности. При полном отсутствии информации об исследуемой системе построение ее модели невозможно. При наличии полной информации о системе ее моделирование лишено смысла.
Существует некоторый критический уровень априорных сведений о системе (уровень информационной достаточности), при достижении которого может быть построена ее адекватная модель.
2. Принцип осуществимости. Создаваемая модель должна обеспечивать достижение поставленной цели исследования с вероятностью, существенно отличающейся от нуля, и за конечное время.
3. Принцип множественности моделей. Данный принцип является ключевым. Речь идет о том, что создаваемая модель должна отражать в первую очередь те свойства реальной системы (или явления), которые влияют на выбранный показатель эффективности. Соответственно при использовании любой конкретной модели познаются лишь некоторые стороны реальности. Для более полного ее исследования необходим ряд моделей, позволяющих с разных сторон и с разной степенью детальности отражать рассматриваемый процесс.
4. Принцип агрегирования. В большинстве случаев сложную систему можно представить состоящей из агрегатов (подсистем), для адекватного математического описания которых оказываются пригодными некоторые стандартные математические схемы. Принцип агрегирования позволяет, кроме того, достаточно гибко перестраивать модель в зависимости от задач исследования.
5. Принцип параметризации. В ряде случаев моделируемая система имеет в своем составе некоторые относительно изолированные подсистемы, характеризующиеся определенным параметром, в том числе векторным. Такие подсистемы можно заменять в модели соответствующими числовыми величинами, а не описывать процесс их функционирования. При необходимости зависимость значений этих величин от ситуации может задаваться в виде таблицы, графика или аналитического выражения (формулы).
Принцип параметризации позволяет сократить объем и продолжительность моделирования. Однако надо иметь в виду, что параметризация снижает адекватность модели. Степень реализации перечисленных принципов и каждой конкретной модели может быть различной, причем это зависит не только от желания разработчика, но и от соблюдения им технологии моделирования. А любая технология предполагает наличие определенной последовательности действий
Общая цель моделирования может быть сформулирована следующим образом: это определение (расчет) значений выбранного показателя эффективности (ПЭ) для различных стратегий проведения операции (или вариантов реализации проектируемой системы). При разработке конкретной модели цель моделирования должна уточняться с учетом используемого критерия эффективности. Для критерия пригодности модель, как правило, должна обеспечивать расчет значений ПЭ для всего множества допустимых стратегий. При использовании критерия оптимальности модель должна позволять непосредственно определять параметры исследуемого объекта, дающие экстремальное значение ПЭ.
Таким образом, цель моделирования определяется как целью исследуемой операции, так и планируемым способом использования результатов исследования. Например, проблемная ситуация, требующая принятия решения, формулируется следующим образом: найти вариант построения вычислительной сети, который обладал бы минимальной стоимостью при соблюдении требований по производительности и по надежности. В этом случае целью моделирования является отыскание параметров сети, обеспечивающих минимальное значение ПЭ, в роли которого выступает стоимость.
Задача может быть сформулирована иначе: из нескольких вариантов конфигурации вычислительной сети выбрать наиболее надежный. Здесь в качестве ПЭ выбирается один из показателей надежности (средняя наработка на отказ, вероятность безотказной работы и т. п.), а целью моделирования является сравнительная оценка вариантов сети по этому показателю. Приведенные примеры говорят о том, что сам по себе выбор показателя эффективности еще не определяет «архитектуру» будущей модели, поскольку на этом этапе не определена концептуальная модель исследуемой системы.
В целом при решении любой задачи построения модели основную роль играют следующие четыре элемента:
1) эксперимент;
2) модель;
3) показатели эффективности;
4) критерии принятия решений.
Необходимо должным образом определить перечисленные элементы и понять их взаимосвязь, поскольку они оказывают большое влияние на проектирование системы и на планирование ее работы в целом. Критерии принятия решений позволяют выбрать наиболее эффективные параметры системы. Обычно этот процесс называется оптимизацией.
1.4. Классификационные признаки и классификация моделей
В процессе построения модели различают три вида или стадии построения: мысленная модель, концептуальная модель и формальная модель.
При наблюдении за объектом в голове исследователя формируется мысленный образ объекта, его идеальная модель. Формируя такую модель, разработчик, как правило, стремится ответить на конкретные вопросы. От реального очень сложного устройства объекта отсекается все ненужное с целью получения его более компактного и лаконичного описания. Представление мысленной модели на естественном языке называется содержательной моделью.
По функциональному признаку и целям содержательные модели делятся на описательные, объяснительные и прогностические. Описательной моделью называется любое описание объекта. Объяснительная модель позволяет ответить на вопрос: почему это происходит? Прогностическая модель описывает будущее поведение объекта.
Концептуальная (содержательная) модель – это абстрактная модель, определяющая структуру моделируемой системы, свойства ее элементов и причинно-следственные связи, присущие системе и существенные для достижения цели моделирования. Иными словами, это содержательная модель, при формулировании которой используются понятия и представления предметных областей, связанных с моделью. Например, ММ формулируется на языке математики – с помощью математических структур: формул, пространственных форм и т.п.
Выделяют три вида концептуальных моделей: логико-семантические, структурно-функциональные и причинно-следственные.
Логико-семантическая модель – описание объекта в терминах соответствующих предметных областей знаний. Анализ таких моделей осуществляется средствами логики с привлечением специальных знаний.
При построении структур