ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 26.01.2021
Просмотров: 788
Скачиваний: 2
Рис
. 6.21
Рис
. 6.22
235
Событие
zayvka
инициирует
переход
из
состояния
free
схемы
рис
. 6.22
в
состояние
busy.
При
определении
этого
входного
для
SF-
модели
события
в
пункте
меню
Add
на
изображении
блока
Chart
появится
значок
триггерного
входа
.
Это
означает
,
что
активизация
SF-
модели
будет
происходить
только
при
реализации
метода
обновления
(Update method) Inherited
и
только
в
моменты
поступления
заявок
.
Данная
ситуация
не
позволяет
обеспечить
правильную
работу
SF-
модели
,
так
как
в
ней
,
как
видно
из
рис
. 6.22,
при
нахождении
в
состоянии
busy,
требуется
постоянно
проводить
сравнение
текущего
значения
systime
со
временем
окончания
процесса
обслуживания
,
определяемым
как
bt
to
+
.
Здесь
–
фиксируемое
при
входе
в
состояние
время
systime,
а
to
bt
–
значение
случайной
величины
интервала
времени
обслуживания
с
экспоненциальным
законом
распределения
,
вызываемое
с
помощью
m-
функции
pro (L
о
),
которая
определяется
в
MATLAB
следующим
образом
:
function u = pro (Lambda);
%
экспоненциальное
распределение
с
параметром
Lambda
u = – (1/Lambda)*log (rand);
Таким
образом
,
чтобы
обеспечить
инициирование
событий
и
переходов
,
связанных
с
истечением
временных
интервалов
,
в
схеме
рис
. 6.22
требуется
обеспечить
активизацию
SF-
диаграммы
на
каждом
шаге
изменения
времени
S-
модели
.
Для
этого
в
блок
-
диаграмме
рис
. 6.21
вводится
специальный
генератор
событий
CLK Generator,
формирующий
периодическую
последовательность
импульсов
с
длительностью
Ts
и
периодом
.
Соответственно
,
в
SF-
диаграмме
определяется
Input from
Simulink event
под
именем
CLK
с
установкой
Either.
В
результате
поток
этих
событий
-
активаторов
SF-
модели
вместе
с
потоком
заявок
подается
на
триггерный
порт
SF-
модели
и
активизирует
ее
с
периодичностью
Ts.
Помимо
рассмотренных
объектов
в
SF-
диаграмме
вводятся
два
события
processed
и
free,
имеющие
статус
Output to Simulink event.
Эти
события
фиксируют
начало
и
окончание
пребывания
в
соответствующих
состояниях
и
используются
в
S-
модели
для
визуализации
и
регистрации
процесса
работы
СМО
.
Ts
2
∗
В
соответствии
с
изложенным
на
рис
. 6.23
представлено
окно
обозревателя
Stateflow,
где
размещается
древовидная
структура
,
236
описывающая
иерархию
моделей
и
внутренних
состояний
блока
Chart,
таблица
определений
событий
и
данных
,
а
в
правой
части
–
диалоговое
окно
Chart properties.
Рис
. 6.23
Процесс
функционирования
SF-
модели
характеризуется
визуальным
отображением
активных
состояний
и
переходов
,
что
позволяет
наглядно
определить
динамику
работы
СМО
.
На
выходе
SF-
модели
в
S-
модели
фиксируются
событийные
процессы
processed
и
free.
Они
вместе
с
входным
потоком
заявок
и
потоком
импульсов
CLK
визуализируются
в
блоке
Scope1,
как
это
показано
на
рис
. 6.24 (
,
).
1
c
5
,
0
Li
−
=
1
c
1
Lo
−
=
237
Здесь
видно
,
что
при
указанном
способе
определения
событий
processed
и
free,
соответствующие
процессы
описывают
пребывание
системы
во
взаимоисключающих
состояниях
.
При
этом
количество
переходов
в
состояние
busy,
описываемых
повышением
уровня
processed,
определяет
количество
обслуженных
заявок
.
Поэтому
в
S-
модели
для
регистрации
общего
количества
заявок
и
количества
обслуженных
заявок
(
см
.
рис
. 6.21)
используются
соответствующим
образом
настроенные
двоичные
счетчики
импульсов
(
блоки
Counter
подраздела
Swiches and
Counter
библиотеки
Signal Processing).
Результаты
счета
отображаются
в
блоках
Display (
раздел
Sinks).
Рис
. 6.24
Для
приближенной
оценки
пропускной
способности
достаточно
при
длительной
реализации
входного
потока
оценить
отношение
Σ
=
n
n
q~
pr
количества
зарегистрированных
счетчиком
Counter1
обслуженных
заявок
к
общему
числу
заявок
pr
n
Σ
n
,
зарегистрированных
счетчиком
Counter2.
Запуск
всей
модели
осуществляется
либо
из
управляющего
m-
файла
,
либо
из
Simulink (
если
все
значения
переменных
определены
в
блоках
S-
модели
).
238
Рис
. 6.25
Рассмотрим
теперь
второй
вариант
реализации
модели
,
в
рамках
которого
поток
заявок
формируется
внутри
SF-
модели
.
Одновременно
представляется
реализация
модели
с
использованием
внутреннего
источника
времени
на
основе
специального
символа
« t ».
Соответствующие
блок
-
диаграммы
S
и
SF-
моделей
представлены
на
рис
. 6.25
и
рис
. 6.26.
SF-
модель
имеет
теперь
два
параллельных
состояния
:
состояние
A
с
tiv,
где
осуществляется
генерация
событий
zayvka (
статус
Local)
пуассоновского
потока
с
интенсивностью
Li
и
одновременно
формируется
выходной
сигнал
SF-
модели
za (Output to Simulink date);
состояние
QP,
где
размещается
собственно
модель
СМО
с
аналогичной
предыдущему
примеру
конструкцией
.
На
рис
. 6.27
представлено
соответствующее
окно
Stateflow Explorer,
описывающее
иерархию
модели
,
события
и
данные
.
Следует
только
отметить
,
что
в
рамках
данного
варианта
должны
быть
реализованы
Update methods: Discrete
или
Coutinues.
239