Файл: Казанский государственный университет.pdf

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

22
1.4.1. Классификация математических моделей
Первоначально дадим несколько различных определений математических моделей.
Определение 1.4.1 Математическая модель – это объект, который
имеет с оригиналом следующее однозначное соответствие:
1) структуры, т.е. состава элементов и связей между ними;
2) уравнений, описывающих свойства этих элементов и их связей.
Учитывая, что система есть совокупность взаимосвязанных элементов,
(объектов) в определенном смысле обособленная от окружающей среды и взаимодействующая с ней как целое, можно сформулировать определение математической модели системы.
Определение 1.4.2. Математическая модель системы – это множест-
во математических моделей элементов, взаимосвязанных и взаимодей-
ствующих друг с другом и адекватно отражающих свойства системы.
Практически любая математическая модель позволяет по заданным исходным данным найти значения интересующих исследователя параметров моделируемого объекта или явления. Поэтому можно полагать, что суть любой подобной модели заключается в отображении некоторого заданного множества значений входных параметров
X
Ω
X
на множество значений
Y
Ω выходных параметров
. Данное обстоятельство позволяет рассматривать математическую модель как некоторый математический оператор
Y
A
и сформулировать следующее (еще одно) определение.
Определение 1.4.3. Математическая модель – это любой оператор A ,
позволяющий по соответствующим значениям входных параметров X
установить выходные значения параметров Y объекта моделирования:
:
,
,
X
Y
A
X
Y
X
Y
→
∈
,
∈Ω
Ω
где
и
– множества допустимых значений входных и выходных
параметров моделируемого объекта.
X
Ω
Y
Ω
В зависимости от природы моделируемого объекта элементами множеств
и
могут являться любые математические объекты (числа, векторы, тензоры, функции, множества и т.п.). В то же время понятие оператора в приведенном определении может трактоваться достаточно широко. Это может быть как некоторая функция, связывающая входные и
X
Ω
Y
Ω

23
выходные значения, так и отображение, представляющее символическую запись системы алгебраических, дифференциальных, интегро- дифференциальных или интегральных уравнений. Наконец, это может быть некоторый алгоритм, совокупность правил или таблиц, обеспечивающих нахождение выходных параметров по заданным исходным значениям.
Определение математической модели через понятие оператора является более конструктивным с точки зрения построения классификации (табл.1.4.1) таких моделей, поскольку включает в себя все многообразие имеющихся в настоящее время математических моделей.
Таблица 1.4.1
Признак классификации
Виды математических моделей
Вид оператора математической модели
- аналитические (функциональные)
- алгебраические
- дифференциальные
- интегральные
- алгоритмические
Свойства параметров оператора модели
- линейные
- нелинейные
- сосредоточенные
- распределенные
- стационарные
- нестационарные
Фактор времени
- статические
- динамические
Количество входов/выходов
- скалярные
- матричные (многосвязные)
Количество переменных состояния
- одномерные
- многомерные
Характер переменных
- непрерывные
- дискретные
- логические
- детерминированные
- стохастические (вероятностные)
Аналитические (функциональные) модели – модели в форме аналитических функциональных зависимостей, когда представление преобразования входного сигнала в выходной осуществляется с помощью некоторой функциональной зависимости или логического условия.

24
Алгебраические модели – модели в форме алгебраического уравнения.
Дифференциальные модели – модели в форме дифференциального уравнения
(обыкновенные дифференциальные уравнения, системы обыкновенных дифференциальных уравнений, дифференциальные уравнения в частных производных, системы дифференциальных уравнений в частных производных).
Интегральные модели – модели в форме интегральных уравнений и систем интегральных уравнений.
Сложные явления и системы описываются множествами уравнений и соотношений. Получение требуемого результата моделирования в виде конечной формулы или численного значения является весьма сложной, а часто неразрешимой задачей. В этих случаях успешным является использование алгоритмических моделей.
Алгоритмические модели – модели в форме алгоритма получения требуемых результатов, реализуемого на компьютере с использованием методов вычислительной математики.
Математическая модель называется линейной, если оператор модели обеспечивает линейную зависимость выходных величин от значений входных величин (выполняется принцип суперпозиции).
Математическая модель называется нелинейной, если оператор модели не обеспечивает линейную зависимость выходных величин от значений входных величин (не выполняется принцип суперпозиции).
В моделях с сосредоточенными параметрами предполагается, что все свойства оператора модели сосредоточены в фиксированных точках. Такое предположение приводит к использованию моделей в форме алгебраических и/или обыкновенных дифференциальных уравнений.
В моделях с распределенными параметрами предполагается, что свойства оператора модели распределены в пространстве, что приводит к тому, что оператор модели имеет вид дифференциальных уравнений в частных производных.
Математическая модель называется стационарной в том случае, когда параметры оператора модели неизменны во времени. Математически это обстоятельство выражается в том, что параметры (коэффициенты) модели не зависят от времени.
Математическая модель называется нестационарной в том случае, когда

25
параметры оператора модели изменяются с течением времени.
Статическиематематическиемодели – модели, которые описывают установившиеся (равновесные) режимы работы системы. По своей форме статические модели – алгебраические уравнения или функциональные зависимости, не содержащие в качестве аргумента время.
Динамические математическиемодели – модели, которые описывают неустановившиеся (неравновесные, переходные) режимы работы системы.
Чаще всего динамические математические модели представляются в дифференциальной форме.
Разделение математических моделей на одномерные и многомерные, на скалярные и матричные не имеет строгих установившихся правил. Но наиболее часто используемым является следующие представления.
Модель называется одномерной, если количество внутренних переменных (переменных состояния), обеспечивающих полное однозначное описание каждого состояния объекта моделирования равно единице.
Модель называется многомерной, если количество внутренних переменных (переменных состояния), обеспечивающих полное однозначное описание каждого состояния объекта моделирования больше единицы.
Модель называется скалярной, если в качестве входной переменной величины (входного сигнала) выступает одна единственная переменная величина и выходная переменная величина (выходной сигнал) также представлена в единственном числе. Число внутренних переменных
(переменных состояния) при этом может быть произвольным.
Модель называется матричной (многосвязной), если число входных переменных и/или число выходных переменных величин не равно единице.
Опять же число внутренних переменных (переменных состояния) при этом может быть произвольным.
Детерминированные модели – модели, переменные которых представляют собой детерминированные величины, а каждому параметру модели соответствует конкретное целое, вещественное или комплексное число либо соответствующая функция.
Логические модели – модели, в которых в качестве переменных величин используются логические величины или логические выражения.
Стохастические (вероятностные) модели – модели, переменные которых представляют собой случайные величины, заданные плотностями вероятностей.

26
Математические модели называются непрерывными, если все внутренние переменные модели являются непрерывными величинами.
Математические модели называются дискретными, если хотя бы одна переменная модели является дискретной величиной.
Классификация моделей по какому-либо одному признаку не может охватить всех видов моделей, ибо модель, как и исходная система, многогранна и отражает лишь те ее свойства, которые представляют интерес для исследователя.
1.5. Свойства моделей и требования к ним
Рассмотрим некоторые свойства моделей, которые позволяют в той или иной степени либо различать, либо отождествлять модель с оригиналом
(объектом, процессом). Принято выделять следующие свойства моделей: адекватность, сложность, конечность, истинность, приближенность.
Адекватность. Под адекватностью модели принято понимать правильное качественное и количественное описание объекта (процесса) по выбранному множеству характеристик с некоторой разумной степенью точности.
Адекватность является важнейшим требованием к модели, она требует соответствия модели ее реальному объекту (процессу, системе и т.д.) относительно выбранного множества его свойств и характеристик. При этом имеется в виду адекватность не вообще, а адекватность по тем свойствам модели, которые являются для исследователя существенными. Полная адекватность означает тождество между моделью и прототипом.
Математическая модель может быть адекватна относительно одного класса ситуаций (состояние системы + состояние внешней среды) и не адекватна относительно другого. Применение неадекватной модели может привести либо к существенному искажению реального процесса или свойств
(характеристик) изучаемого объекта, либо к изучению несуществующих явлений, свойств и характеристик.
Можно ввести понятие степени адекватности, которая будет меняться от
0 (отсутствие адекватности) до 1 (полная адекватность). Степень адекватности характеризует долю истинности модели относительно выбранной характеристики (свойства) изучаемого объекта. Отметим, что в некоторых простых ситуациях численная оценка степени адекватности не

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