Внимание!!!
В выложенном на сайте тексте могут быть ошибки,
оригинальную версию методички одним файлом в формате .doc (MS Word)
ТЕМА 3. СОСТОЯНИЕ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ ИССЛЕДУЕМЫХ ОБЪЕКТОВ И СИСТЕМ
3.1. Абстрактные математические модели. Теоретико-множественная модель технической системы.
Абстрактная математическая модель - математическая структура/система/, состоящая из множества М абстрактных математических объектов/чисел, векторов/ и множества R , задающего отношение между двумя и более объектами, т.е. модель задается парой или кортежем М,R .
Mod M,R ,
M {a, b, c,..., z}, R {r1, r2,..., rк}.
отношения могут быть в виде операций, неравенств, уравнений, функций, объединенных два или более объектов.
ri<a,b> - бинарное,
ri<a,b,c> - териарное.
Существует два способа задания математических моделей:
1. задается аксиоматическим определением;
2. задается конструктивным определением.
Вторым способом задания является конструктивное определение. Здесь отношение между математическими объектами в модели задается уже известными определениями, но в качестве объектов такой модели выступает более сложные структуры/или объекты/.
Таким образом некоторая старая математическая модель переносится на новый уровень абстракции. Те же алгебраические определения могут быть перенесены на матрицы, векторы и т.д.. В прикладных математических моделях появляются новые объекты для исследования. В прикладных математических теориях используются конструкторское определение для задания модели. Одно из наиболее часто используемых абстрактных математических моделей является теоретико-множественная модель технической системы. Это базовое формальное описание некоторого объекта, который может быть подразделен на устройства, узлы, компоненты. Такой объект называется технической системой.
Можно задать общее определение системы , как связного целого, образованного взаимоподчинением и согласованию делений. Составляющих ее частей и компонентов. На разных уровнях описания в системе всегда можно выделить некоторый неделимый компонент или базовый элемент. В теоретико-множественной модели вводятся 3 первичные категории:
а/множество базовых элементов системы M {m1,..., mp}
б/множество отношений этих элементов R { r1,...rк}
в/ множество свойств элементов системы, которые могут проявляться во всех возможных отношениях P {p1,...,ps}
Теоретико-множественная модель - базовая модель проектирования любой системы. На основе первичных категорий формируются вторичные категории:
а/ множество всех возможных структур системы Q
б/ множество всех возможных функций системы F
в/ множество всех возможных оценок качества системы Э /С/
Э - эффективность.
Q = M R - декартово произведение.
Из множества всех возможных структур выделяется подмножество подходящих структур Qn Q. Они задаются неопределенном М и реализуют требуемые значимые отношения Rs - как необходимые связи с внешней средой.
Проектирование заключается в выборе и синтезе подходящих структур. Множество всех возможных систем:
S = Q Р, Р - множество всех возможных свойств. Но при применении систем при таком подходе важно выделить что множество подходящих систем использует множество подходящих структур, на которые должны быть обязательно проявлены множество всех значимых свойств Ps системы /задается в ТЗ на разработку системы/. Поэтому поиск подходящей системы ведется в классе подходящих структур, для которых Рs P.
При построении математической модели системы мы должны обеспечить переход к заданию всех вторичных категорий, задать функции системы, используя описания, а также задать формально оценки качества системы. Вводится понятие состояния системы, которое задается на множестве элементов, а точнее на множестве переменных, которые задают состояние каждого из элементов.
Мерность описания функционирования системы зависит от числа характеристик, которые учитываются в данном описании. Само же состояние на некоторый момент tк определяется вектором , который записывается n-мерной области характеристик состояния. Описание между переменными характеристиками состояния зависят от конкретной структуры из множества подходящих структур, и определяется физическими законами. Чтобы задать состояние системы, необходимо привести все описания в некоторую фиксированную форму. Для дискретных систем общее описание функционирования должно быть представлено в виде:
- вектора информационных входов и управляющих входных сигналов.
- состояние вектора на момент времени tк-1.
Н - закон функционирования системы /функционирования перехода/ - в виде уравнений, неравенств и т.д.. Простым примером - описание функционирования автомата. Несколько сложнее представляется состояние для непрерывных систем. Вектор состояния для непрерывных систем
- состояние вектора на момент времени tк-1.
представляется множеством мгновенных состояний этого вектора. Этот вектор задается на множестве характеристик состояния, каждая из которых представляет собой переменную, которая характеризует состояние элемента или группы элементов системы. Для расчета системы важно показать, что состояние системы находится в области допустимых состояний, причем эта n-мерная область допустимых состояний определяется минимальными и максимальными возможностями знания всех характеристик /рабочий ток срабатывания реле/.
Для непрерывных систем функционирование задается с помощью описания динамики работы системы, т.е. соответствующих дифференциальных уравнений или производных по времени. Тогда состояние системы определяется:
- функция переходов в виде правых частей дифференциального уравнения, связанные между собой характеристики состояний
информационные сигналы
и управляющие сигналы
Чтобы отразить реакцию системы на возбуждение, в модели представляются не только векторы состояния, но и все выходные сигналы системы, т.е. реакции системы.
Вектор выходных сигналов дискретной системы на момент времени tк, определяется с помощью функции выходов:
Это также система алгебраических и логических уравнений.
Аналогично для непрерывной системы выходные сигналы определяются с помощью функции выходов:
Таким образом выбрав функции переходов и выходов для системы мы однозначно задаем функционирование системы:
F = [ H, G ]
Модель функционирования F позволяет нам проверить, действительно ли данная система обеспечивает заданные значимые свойства, т.е. есть ли среди множества структур те, для которых множество:
- подмножество свойств, которые проявляются в подходящих структурах.
Среди важных интегральных характеристик применения системы, которые включаются в Рs, выделение оценки качества:
Есть еще информационная производительность систем. Она определяется количеством бит обработки информации в секунду:
I = бит / сек
В некоторых случаях достаточно дать одну характеристику - стоимость.
Оптимизация при проектировании заключается в том, чтобы из Qn выбрать те, которые дают максимум или минимум
интегральных показателей.
- вектора информационных входов и управляющих входных сигналов.
- состояние вектора на момент времени tк-1.
- состояние вектора на момент времени tк-1.
- функция переходов в виде правых частей дифференциального уравнения, связанные между собой характеристики состояний
информационные сигналы 
и управляющие сигналы 
