Моделирование. Мат.мод.Ан.И ИМ.. Комбинированные модели (Асхемы) Комбинированные модели
![]()
|
Комбинированные модели (А-схемы) Комбинированные модели базируются на понятии агрегативной системы (англ.aggregate system) – формальная схема общего вида, далее А – схема. Подход предложен Н.П. Бусленко. При агрегативном описании сложный объект разбивается на конечное число частей (подсистем), сохраняя при этом связи, обеспечивающие их взаимодействие. Система делится на части (агрегаты) таким образом, чтобы при моделировании они были удобными для математических описании. В результате декомпозиции сложная система представляется многоуровневой конструкцией их взаимосвязанных элементов, объеденные в подсистемы различных уровней. Под агрегатом понимается любой объект, определяемый упорядоченной совокупностью множеств ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() В начальный момент времени ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Совокупность ![]() ![]() ![]() ![]() ![]() ![]() ![]() Переход агрегата из одного состояния в другое (операторы ![]() ![]() ![]() ![]() ![]() ![]() ![]() Здесь в подмножестве ![]() ![]() ![]() ![]() ![]() Входные сообщения или ![]() Выходное сообщение или ![]() Агрегативная система Существует класс сложных систем, которые не могут быть формализованы в виде математической схемы одного агрегата. Формируют конструкцию из отдельных агрегатов – ![]() Агрегат ![]() -входные контакты, куда поступает совокупность входных сигналов ![]() -выходные контакты, с которых снимается совокупность элементарных сигналов ![]() У агрегата ![]() ![]() Сигналы между агрегатами в А – схеме передаются по элементарному каналам. При этом к входному контакту можно присоединить только один канал, а от выходного контакта может направляться несколько элементарных каналов. Внешняя среда представляется фиктивным ![]() ![]() ![]() ![]() ![]() ![]() ![]() А – схема характеризуется: Множеством входных контактов ![]() ![]() Множеством выходных контактов ![]() ![]() Множества ![]() ![]() ![]() ![]() Входному контакту ![]() соответствует не более чем один выходной контакт ![]() где ![]() ![]() ![]() ![]() ![]() Можно ввести однозначный оператор ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Рассмотрим пример оператора ![]() Вариант №1 ![]() А0 Оператор сопряжения ![]()
Рис.4.5. Структура агрегативной системы. Рассмотрение связей в направлении противоположном стрелкам. Ограничения в структуре сопряжения агрегатов: Каждый элементарный канал, передающий сигналы во внешнюю среду начинался в одном из выходных контактов одного из агрегатов системы Каждый элементарный канал, передающий сигнал из внешней среды заканчивался на одном из входных контактов А – схемы ![]() ![]() Осуществляется согласование функционирования агрегатов по времени ![]() Частный случай – кусочно – линейные агрегаты, для которых результаты моделирования могут быть получены аналитическим методом. В более сложных случаях прибегают к имитационному методу. 4.5 Аналитические математические модели Классификация аналитических моделей В аналитических математических моделях результат можно вычислить, т.е. совокупность соотношений может быть решена относительно исходных величин. В связи с целями моделирования различают модели дискрептивные, оптимизационные, многофакторные. Дискрептивные модели имеют цели получения описаний процессов функционирования систем, т.е. характеристик при некоторых воздействиях, параметрах и начальных условиях. В оптимизационных моделях решают задачи выбора оптимального варианта из некоторого их числа. При этом задаются критерии оптимальности, служащие мерилом при выборе варианта. Многофакторные модели связаны с учетом большого числа факторов, формирующих результат. Структура аналитических моделей определяется типом математических соотношений и характером рассматриваемых явлений. В целом можно выделить следующие разновидности моделей: конечных автоматов; математической физики; сетевые; теории графов; массового обслуживания; теории игр; математического программирования. В связи с видом соотношения модели математического программирования делят на группы: линейные, не линейные, динамические, диаметрические, дискретные, стохастические, эвристические. Структура аналитических моделей (АМ) показана на рис 5.6. ![]() |