Файл: Lab_3.pdf

Рис

. 6.26 

Рис

. 6.27 

240 

Наконец

, 

на

рис

. 6.28 

представлены

осциллограммы

сигналов

на

выходе

данного

варианта

 SF-

модели

, 

регистрируемые

блоком

 Scope. 

Как

видно

из

этого

рисунка

, 

процесс

работы

 SF-

модели

в

этом

варианте

аналогичен

ранее

рассмотренному

с

внешним

генератором

. 

Однако

общая

S-

модель

в

данном

случае

представляется

более

простой

.  

Рис

. 6.28 

В

качестве

следующего

примера

рассмотрим

построение

модели

одноканальной

СМО

с

накопителем

. 

Для

нее

, 

помимо

интенсивностей

потоков

 Li, Lo, 

в

управляющей

 MATLAB 

программе

зададим

переменную

nqm, 

определяющую

предельную

длину

очереди

или

емкость

накопителя

. 

Блок

-

диаграммы

 S-

модели

, 

разработанные

для

подобной

системы

, 

представлены

на

рис

. 6.29 

и

рис

. 6.30. 

Данная

модель

является

базовой

для

построения

любых

, 

более

сложных

моделей

систем

, 

состоящих

из

комбинаций

элементарных

приборов

массового

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

. 

241

Рис

. 6.29 

Здесь

появляется

дополнительные

выходные

переменные

в

блоке

 Chart S-

модели

, 

что

связано

с

усложнением

ее

 SF-

диаграммы

. SF-

модель

имеет

теперь

три

параллельных

процесса

: 

изменения

состояния

генератора

заявок

 (Active); 

изменения

состояния

канала

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

 (Process) 

и

изменения

состояния

очереди

накопителя

 (Queue). 

Для

упрощения

анализа

работы

системы

функции

генерации

случайных

интервалов

времени

между

заявками

и

временем

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

в

схеме

рис

. 6.30 

заменены

переменными

 at, bt (Local), 

принимающими

детерминированные

значения

. 

Блок

 Active 

по

сравнению

с

предыдущим

примером

изменился

в

том

плане

, 

что

теперь

указывается

адресация

при

посылке

события

 zayvka. 

Текущее

количество

заявок

в

очереди

  (

блок

 Queue) 

описывается

переменной

 nq, 

имеющей

видимость

в

 Simulink. 

Новый

блок

 Queue 

имеет

три

вложенных

состояния

, 

выделяемые

для

накопителя

: 

пусто

 (empty); 

хранение

 (stored); 

заполнено

 (full). 

Для

описания

входа

и

выхода

в

состояния

используются

события

 empty, full (Output to Simulink), 

а

для

242 

регистрации

отказа

в

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

новой

заявки

при

пребывании

в

состоянии

 full 

используется

переменная

 reject (Output to Simulink date). 

Событие

 prf (Local) 

фиксирует

переход

на

обслуживание

новой

заявки

с

выбором

ее

из

очереди

, 

при

этом

в

блоке

 Queue 

осуществляется

уменьшение

значения

 nq 

на

единицу

. 

Рис

. 6.30 

Соответствующее

разработанной

модели

окно

 Stateflow Explorer, 

содержащее

иерархию

моделей

и

состояний

, 

таблицу

определений

событий

и

данных

, 

а

также

окно

 Chart Properties 

приведено

на

рис

. 6.31. 

243

Рис

. 6.31 

а

) 

б

) 

Рис

. 6.32 

244