Материал: Методические указания к самостоятельным работам по дисциплине «Моделирование систем и сетей телекоммуникаций» для студентов специальности «Информационная безопасность телекоммуникационных систем». Разинкин К.А

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

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

-бесконечное число каналов в СМО удовлетворяет требованиям первой задачи.

Примерные темы докладов

1.Нахождение математического ожидания количества требований в узлах разомкнутой сети массового обслуживания

внестационарном случае.

2.Решение системы дифференциальных уравнений для нестационарных математических ожиданий количества требований в узлах РСеМО.

3.Нахождение моментов количества требований в узлах разомкнутой сети массового обслуживания в нестационарном случае.

4.Определение корреляционных функций количества требований в узлах разомкнутой сети массового обслуживания

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

6.Определение математических ожиданий количества требований в узлах при произвольной зависимости интенсивности входящего потока и распределения поступающего требования по узлам от времени.

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

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

9.Определение нестационарных математических

39

ожиданий количества требований в узлах РСеМО при зависимости интенсивности потока и распределения поступающего требования по узлам от времени и состояния сети.

10.Определение нестационарных вторых моментов количества требований в узлах РСеМО при зависимости интенсивности потока и распределения поступающего требования по узлам от времени и состояния сети.

11.Определение начальных и смешанных моментов произвольного порядка в узлах РСеМО при зависимости интенсивности потока и распределения поступающего требования по узлам от времени и состояния сети.

12.Определение корреляционных функций количества требований в узлах РСеМО при зависимости интенсивности потока и распределения поступающего требования по узлам от времени.

13.Определение корреляционных функций количества требований в узлах РСеМО при зависимости интенсивности потока и распределения поступающего требования по узлам от времени и состояния сети.

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

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

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

3.5.Системное моделирование событийно-управляющей логики (на примере StateFlow, SimEvents,Simulink)

Для реализации дискретно-событийного моделирования в среде Simulink используется компонента SimEvents. С помощью SimEvents можно моделировать и проектировать

40

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

среду для моделирования гибридных динамических систем, содержащих непрерывные компоненты и компоненты с дискретными событиями и дискретным временем.

При дискретно-событийном моделировании используется понятие сущности (entity). Сущности могут перемешаться через сети очередей (queues), серверов (servers) и переключателей (switches), управляемых дискретными событиями, в процессе моделирования.

Инструментальное средство SimEvents, существенно облегчая процедуру моделирования систем массового обслуживания (СМО) в Simulink, не позволяет выходить за рамки предписанных создателями алгоритмов работы отдельных блоков. Большую гибкость может обеспечить работа с такими системами в Stateflow. Компонента Stateflow также предназначена для работы с дискретно событийными системами, однако, позволяет явно моделировать состояния блоков и системы и определять логические условия для переходов между состояниями. Рассмотрим на примерах как можно в Stateflow создавать модели СМО и проводить с ними вычислительные эксперименты.

Совместное использование блоков SimEvents и Stateflow. Для моделирования дискретно-событийных систем используются компоненты SimEvents и Stateflow. Однако при

позволяют исследовать связь движения сущностей с функционированием системы. Сущности при движении могут

41

перемещать данные. Кроме того, блоки SimEvents могут генерировать события в моменты времени, полностью независимые от временных шагов, определяемых программным обеспечением Simulink.

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

Подсистема Stateflow позволяет реализовать переходы между конечным числом состояний сервера. Если необходимо реализовать моделирование более двух состояний, то использование диаграммы Stateflow более удобно и естественно по сравнению с комбинацией блоков Enabled Gate и логических блоков. Для обеспечения реакции блоков

ления сущностей можно использовать блок из разделов Entity Generators и Event Translation. Кроме того, блок Stateflow мо-

жет генерировать function call-сигнал, который может открыть вентиль, перезапустить счетчик сущностей, или инициировать генерацию новой сущности блоком Entity Generator.

Преобразования событийных сигналов

При дискретно-событийном моделировании, как правило, используются сигналы, которые изменяются при наступлении событий. Например, число сущностей в сервере является статистическим выходным сигналом из блока сервера. Значение этого сигнала изменяется при прибытии сущности в сервер или убытии сущности из него.

Событийный сигнал (event-based signal) – это сигнал, который может измениться при некотором дискретном событии. Большинство выходных сигналов из блоков SimEvents являются событийными.

42

В отличие от временных сигналов (time-based signals) событийные сигналы не характеризуются дискретной выборкой времен, могут обновляться в моменты времени, не соответствующие шагам времени, определяемым временной динамикой модели, а также могут подвергаться многократным изменениям в один момент времени.

Например, рассмотрим сигнал, представляющий количество сущностей в сервере. Вычисление этого сигнала с постоянным временным шагом бесполезно, если никакие сущности не прибывают и не убывают в течение длительных периодов времени. Вычисления с постоянным временным шагом не точны, если сущности прибывают или убывают между периодами квантования системы, так как при вычислениях эти сущности будут пропущены. Одновременные события делают временной сигнал многозначным. Например, если сущность завершает обслуживание и покидает сервер, что позволяет другой сущности прибыть в сервер в тот же момент времени, то количество сущностей в один и тот же момент времени равно одновременно 0 и 1. Когда вы используете событийный сигнал для управления динамикой моделирования, то понимание того, когда и в какой последовательности блоки обновляют сигналы, и когда другие блоки реагируют на обновляемые значения, приобретает большое значение.

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

Определение атрибутов сущностей

К сущностям можно присоединять данные, используя один или несколько атрибутов сущности. Каждый атрибут имеет имя и численное значение. Можно считывать или

вещественные или комплексные числа типа double. Кроме того, можно использовать массивы чисел любой

43