Типовые схемы, используемые при моделировании сложных систем и их элементов.
При построении математических моделей процессов функционирования систем можно выделить следующие основные подходы:
непрерывно-детерминированный (например, дифференциальные уравнения - уравнение, связывающее значение некоторой неизвестной функции в некоторой точке и значение её производных различных порядков в той же точке. );
дискретно-детерминированный (конечные автоматы); Конечный автомат — абстрактный автомат без выходного потока, число возможных состояний которого конечно. Результат работы автомата определяется по его конечному состоянию.
дискретно-стохастический (вероятностные автоматы); устройство или система, в которых переход из одного состояния в другое происходит в зависимости от случайных входных сигналов или в зависимости от последовательности предыдущих состояний.
непрерывно-стохастический (системы массового обслуживания); система, которая производит обслуживание поступающих в неё требований.
обобщенный, или универсальный (агрегативные системы).
Типовые схемы моделирования:
D-схемы (непрерывно-детерминированные)
Отражают динамику изучаемой системы, т.е. ее поведение во времени.
Диф. Уравнения.
Применяются в СМО для изучения режимов их работы.
F-схемы (дискретно-детерм т.е. конечные автоматы)
В качестве математического моделирования используются используется теория автоматов – раздел теоретической кибернетики в котором изучаются математические модели – автоматы.
Под автоматом понимают устройства, которые перерабатывают дискретную информацию и меняют свое внутреннее состояние лишь в допустиные моменты времени.
Абстрактный дискретный автомат описывается следующими элементами:
Конечное множество X входных сигналов
Конечное множество Y выходных сигналов
Конечное множество Z внутренних состояний автомата.
Z0 – начальное состояние автомата
Функции перехода y(z,x) –зависимость состояний автомата от входных сигналов
Функции выхода Ψ(y,z) – зависимость состояний автомата от выходных значений.
Существуют 2 разновидности конечного автомата:
Милли
Мура
Любая вычислительная машина может быть представлена с помощью теории автоматов, т.к. она перерабатывает дискретную информацию.
Способы задания автоматов: Табличный и в виде графа.
P-схемы(дискр-стохастич т.е. вероятностные автоматы)
Используется теория конечных автоматов, но под влиянием случайных факторов. Такой автомат называется вероятностным. Для разработки таких автоматов применяют теорию статистики и теорию вероятностей.
Q-схемы (непрерывно-стохастич т.е. СМО)
Основным понятием СМО является заявка на обслуживание, которая появляется в случайные моменты времени. В этом процессе выделены 2 составляющих:
Ожидание обслуживания заявки
Обслуживание заявки.
N-схемы (сети Петри)
Математический аппарат для моделирования динамических дискретных систем. Часто приходится решать задачи, с анализом причинно-следственных связей, где одновременно протекают параллельно несколько процессов. Наиболее распространенные теории, которые описывают поведение таких объектов это: сети петри и баесовские сети доверия.
Сеть Петри представляет собой двудольный ориентированный граф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети.
Событием называют срабатывание перехода, при котором метки из входных позиций этого перехода перемещаются в выходные позиции. События происходят мгновенно, либо разновременно, при выполнении некоторых условий.
Рис. Пример сети Петри. Белыми кружками обозначены позиции, полосками — переходы, чёрными кружками — метки.
A-схемы (агрегативные системы т.е. обобщенные модели)
При агрегативном описании сложный объект (система) разбивается на конечное число частей (подсистем), сохраняя при этом связи, обеспечивающие их взаимодействие. Если некоторые из полученных подсистем оказываются в свою очередь еще достаточно сложными, то процесс их разбиения продолжается до тех пор> пока не образуются подсистемы, которые в условиях рассматриваемой задачи моделирования могут считаться удобными для математического описания. В результате такой декомпозиции сложная система представляется в виде многоуровневой конструкции из взаимосвязанных элементов, объединенных в подсистемы различных уровней.
В качестве простейшего понятия выступает агрегат, а связь между агрегаторами осуществляется с помощью оператора сопряжения
- Вопросы к государственному экзамену Дисциплина «Моделирование систем»
- Понятие модели системы.
- Определение понятия «моделирование».
- Использование гипотез и аналогий в исследовании систем.
- Отличие использования метода моделирования при внешнем и внутреннем проектировании систем
- Сущность системного подхода к моделированию систем.
- 2 Вариант
- Процесс функционирования системы.
- Классификационные признаки видов моделирования систем.
- Математическое моделирование систем.
- 9. Особенности имитационного моделирования систем.
- Метод статистического моделирования.
- 11.Критерии эффективности моделирования систем на эвм.
- Определение математической схемы.
- 13. Экзогенные и эндогенные переменные в модели объекта.
- 14. Закон функционирования системы.
- 15. Понятие алгоритма функционирования.
- 16. Определение статической и динамической моделей объекта.
- Типовые схемы, используемые при моделировании сложных систем и их элементов.
- Условия и особенности использования при разработке моделей систем различных типовых схем.
- Концептуальная модель системы.
- Группы блоков выделяемые при построении блочной конструкции модели системы.
- Сущность статистического моделирования систем.
- Способы генерации последовательностей случайных чисел используемые при моделировании на эвм.
- Существующие методы проверки качества генераторов случайных чисел.
- Характерные особенности машинного эксперимента по сравнению с другими видами экспериментов.
- Виды факторов в имитационном эксперименте с моделями систем.
- Цель стратегического планирования машинных экспериментов.
- Цель тактического планирования машинных экспериментов.
- Точность и достоверность результатов моделирования систем.
- Сущность фиксации и обработки результатов при статистическом моделировании систем.
- Место имитационных моделей при машинном синтезе систем.
- Способы построения моделирующих алгоритмов q –схем.
- Синхронный и асинхронный моделирующие алгоритмы q –схем.
- Суть структурного подхода при моделировании систем на базе n –схем.
- 34. Особенности формализации процессов функционирования систем на базе а – схем.
- Информационная модель системы.
- Характерные черты эволюционных моделей систем.
- 37.Роль эталонной модели в контуре управления.
- 38.Виды моделей, используемых для принятия решений.
- 39.Суть адаптации применительно к системам управления различными объектами.
- 40.Требования, предъявляемые к модели, реализуемой в реальном масштабе времени.
- 41.Какой процесс, протекающий в системе, называется Марковским?
- 42.Какой процесс называется процессом с дискретным состоянием?
- 43.Какой процесс называется процессом с непрерывным временем?
- 44. Что такое поток событий?
- 45. Что такое интенсивность потока событий?
- Какой поток событий называется стационарным?
- 47. Какой поток событий называется ординарным?
- 48.Какой поток событий называется простейшим?
- 49.Как ведут себя смо с ограниченной очередью?
- 50.Чем отличаются динамические системы от статических?
- 51.Как выбирается частота дискретизации (теорема Котельникова)?
- Вопрос 52. Что представляет собой динамический ряд?
- Типы динамических рядов
- Вопрос 53. Чем характеризуется динамическая система?
- Вопрос 54. Что такое порядок динамической системы?
- Вопрос 55. Что характеризуют параметры динамической системы k и t?
- 56.Передаточная функция звена первого порядка.
- 57.Передаточная функция звена второго порядка.
- 58.Переходная функцией (или переходная характеристикой) динамической системы ?
- 59.Функция Хэвисайда от времени 1[t].
- 60.Уравнение ряда Фурье и коэффициентов а0, Аi, Bi .
- 61.Процесс вычисления коэффициентов а0, Аi, Bi ряда Фурье?
- Определение коэффициентов по методу Эйлера-Фурье.
- 62.Ряд Фурье для нечетной функции.
- 63.Ряда Фурье для четной функции.
- 64.Как вычисляется составляющие ачх (Si)?
- 65.Как вычисляется составляющие фчх (ϕi)?
- 66.Обратное преобразование Фурье для Si, ϕi.
- 67.Достоинства представления сигнала и динамической системы в виде Фурье представления при моделировании
- 68.К чему свелось моделирование прохождения сигнала через динамический объект в виде Фурье представления?
- 69.Основное уравнение динамики.
- 70.Формулой Эйлера.
- 71.Формулой Эйлера при Δt≠0.
- 72.Как изменяется t (счетчик t) и y при алгоритмической реализации расчет циклом по методу Эйлера?
- 73.Как обозначают порядок зависимости точности от величины шага?
- 74.Каков и по какой причине порядок точности у метода Эйлера?
- 75.В каких случаях численный метод обладает сходимостью?
- Сходимость означает, что погрешность каждого последующего приближения должна быть меньше погрешности предыдущего приближения, т.Е. Погрешность приближенных значений с каждым шагом должна уменьшаться:
- В общем случае это неравенство можно представить в виде:
- 76.Какая характеристика сходимости интересует исследователей?
- 77.Что понимается под неустойчивостью метода?
- 78.Что обеспечивает устойчивость метода?
- 79.Что обеспечивает сходимость метода?
- 80. Идея уточненного метода Эйлера.
- Сущность другого варианта модифицированного метода Эйлера
- Какова точность метода Рунге-Кутта?
- Какая функция по методу Рунге-Кутта используется для построения разностной схемы интегрирования?
- 94.Что представляет собой критерий согласия Фишера и каким образом его можно применять?
- 95.Что представляет собой критерий Смирнова и каким образом его можно использовать?
- 96.Что представляет собой критерий согласия Стьюдента и как он используется?
- 97.Объясните смысл понятий: несмещенность оценки, эффективность оценки, состоятельность оценки.
- 98.Каким образом следует вбирать число реализаций опыта?
- 99.Объясните смысл понятия «мощность критерия».
- 100 Каким образом можно выбирать границы для оценки моделируемой случайной величины?