Формализация описания поведения объектов сложных систем

– должна обеспечить
преобразование функциональных зависимостей системы
в события, процессы, активности

ФДi =

ФДi1, ФДi2, …, ФДin

(ФД’i , i )

ФД’i

0

Ci3

Ci2

Ci1

i1

i2

i3

ФДi1

ФДi2

ФДi3

t

ФДi

ФД’i

ФД’i

Завершение каждого
ФДi знаменуется
событием (Ci1, Ci2,Ci3)
и временем этого события - ij

алгоритма

Управляющая программа имитации

Akij

Подпрограмма
Выполнения
имитации

Начало и
анализ действий

Подпрограмма
сбора
статистики

Подпрограмма
окончания
имитации

ее компонентах, создают
параллельную работу компонент системы. Изменение состояний
компонент, приводящее к изменению активностей, происходит при
выполнении функциональных действий.
Для реализации этих изменений системе необходимо определенное время.
Следовательно, в ИМ необходимо обеспечить имитацию параллельной
работы компонент системы. Для этого вводится некоторая глобальная
переменная t0 , которую называют модельным временем. С помощью этой
переменной в ИМ обеспечивается синхронизация событий Cij в модели и
организация квазипараллельной работы компонент системы. Приставка
«квази» отражает последовательный характер обслуживания событий
в модели, одновременно возникающих в компонентах реальной системы.

Агрегатный способ Ki
5 Транзактный способ Ci AKi

Система GPSS World реализует транзактный способ
имитации

ССЫЛКА

машины, комплексы, сети
Сложность алгоритмов работы
Заявки на обслуживание требуют как аппаратные, так и программные ресурсы
Сложность операционных систем
Разнообразие применений в сочетании с низкой достоверностью исходных данных
Трудность прогнозирования
штатных и внештатных ситуаций в работе.

состояний, переходы между которыми происходят скачками под влиянием внешних и внутренних воздействий (событий).

Очередь

Объект

t поступления
(интервалы времён поступления заявок)

t обслуживания

t выхода

Формирование очереди происходит при t обсл >t поступления

Очередь – это абстрактный объект. В СМО всегда есть очереди.

Структура СМО с одним обслуживающим ресурсом

очереди и правило выбора заявок из очереди
3. Законы обслуживания заявок
4. Параметры выходного потока заявок
5. Режим работы СМО

Параметры ресурсов системы только временные:
Tвхода, Tвыхода, Tобслуживания, Tочереди.

Описание поведения системы обеспечивается
временными характеристиками ресурсов.
Следовательно, только временные характеристики позволят
нам оценить работоспособность любой сложной системы.

обслуживание
Два типа заявок – детерминированные и случайные. Отличия этих типах заявок:

Любая система, в которой поток требований на
обслуживание встречает ограниченные средства
для обработки, это система массового обслуживания

Детерминированный поток

T0 T1 T2 Ti

Ti-Ti-1= const

T

Случайный поток

T0 T1 T2 T3 T4 Ti T

Ti-Ti-1 <> const

Для СМО характерны независимые интервалы времен
поступления заявок, как от количества предыдущих
заявок, так и от времени их обработки (Закон Пуассона)

Интенсивность
поступления заявок

ti=tвх

минимальной пропускной способности по всем сечениям СМО.
Сечение - это множество каналов передачи требований, удаление которых приводит к разрыву всех возможных путей потоков от начальной до конечной точек пути.
СМО описывается марковскими процессами, в которых вероятность следующего значения Xn+1 зависит только от текущего состояния Xn и не зависит от предыдущих значений процесса. Формула m/m/1- означает, что поток требований и обработка их описывается марковскими процессами

систему и количеством заявок , поступивших в систему одновременно.
Законы поступления заявок могут быть детерминированными или случайными

в случайных явлениях.

Теория вероятностей оперирует понятием СОБЫТИЕ.

Событие – это некоторый факт, который может произойти или не произойти

Вероятность события - это численная мера степени объективной
возможности этого события.

m-это число благоприятных опытов
n – общее число опытов

 

Случайные величины в результате опыта могут принять то или иное
значение.
Случайные величины могут быть дискретными или непрерывными

 

 

 

 

Функция распределения
случайной величины X

0

X

x

все значения равновероятны

a b х

c

Величина Mx называется
математическим ожиданием
случайной величины X.

C=1/(b-a)-это будет величина плотности
распределения случайных чисел Х на
заданном отрезке

Второй из основных характеристик
является величина дисперсии случайной величины.
Dx = M[ xi- Mx]2 --математическое ожидание квадрата
разности случайной величины и ее математического ожидания

Mx=(a+b)/2

Для потоков событий в СС характерны типы распределений:
равномерное, экспоненциальное, Пуассона, нормальное. В каждом модельном эксперименте надо доказать использование
соответствующего распределения случайных значений.

Самостоятельная работа 1

вероятность попадания некоторого числа событий
на участок длиной t зависит только
от длины участка.
Отсутствие последствий – число событий на участке
длины t не зависит от того сколько событий произошло вне этого участка.
Ординарность потока – вероятность появления двух событий на отрезке времени ничтожно мала по сравнению с вероятностью появления одного
события.