Главная » Просмотр файлов » Советов Б.Я., Яковлев С.А. Моделирование систем (2001)

Советов Б.Я., Яковлев С.А. Моделирование систем (2001) (1186219), страница 68

Файл №1186219 Советов Б.Я., Яковлев С.А. Моделирование систем (2001) (Советов Б.Я., Яковлев С.А. Моделирование систем (2001)) 68 страницаСоветов Б.Я., Яковлев С.А. Моделирование систем (2001) (1186219) страница 682020-08-26СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 68)

Эти процессы в свою очередь могут быть промоделированы N-схемамии соединены между собой в соответствии со схемой, показанной на рис. 8 23, 6. Такаявозможность построения иерархических моделей может быть весьма полезной примоделировании сложных систем 5.289а)б)блокк-1выходной,регистрк-1 пускВыходнойрегистрк заполненВходнойрегистрk+t за-Входнойрегистрк+1 пускРис. 8.23.

Блок-схема (а) и модель (б) устройства управле­ния асинхронной ЭВМ с конвейерной обработкойОсобенности программирования N-схем. Как уже отмечалось,N-схема представляет собой формализованное описание процессафункционирования системы S, причем структура N-схем отражаетпричинно-следственные связи в системе S, а совместно с начальноймаркировкой — процессы, которые в этой системе происходят. Та­ким образом, переход от N-схем к моделирующей программе мо­жет производиться формальным путем, т. е. автоматически, с ис­пользованием специального языка и транслятора.

Такие языкии трансляторы созданы за рубежом и в нашей стране [4, 24, 28, 29,30, 50, 54].Рассмотрим особенности программирования N-схем, моделиру­ющих процессы в системе S, на конкретных примерах.Пример 8.10. Рассмотрим принципы программирования N-схем в языке MODAL,который предназначен для моделирования и реализации вычислительных алгорит­мов на базе N-схем (сетей Петри). Он содержит семь операторов:START — описание начальной маркировки;STOP — описание конечной маркировки;T(MOD) — описание структуры сети Петри,TYPE — оператор промежуточного вывода на печать;MjMMbNTIвспомогательные операторы;COMPLEKXITYJENDконец.Операторы START и STOP представляют собой списки позиций, в которыхустанавливаются метки в начале и должны оказаться в конце моделирования290S)START(P1~1)STOP (Pff-f)ТЦМ0Л5) POPZ.P3тг(молз) Р1>РЗ,ЩT3(M0B1) PZ,ZP3>P5r'f(MOn) P4>P5T*(H0V4) P5>P6ENS6Рис.

8.24. Структура N-схемы с начальной марки­ровкой (а) и ее описание на языке MODALОператор T(MOD) представляет собой таблицу пред- и постусловий для каждогоперехода N-схем.Пусть задана N-схема с начальной маркировкой (рис. 8.24, а). Соответствующееей описание на языке MODAL представлено на рис.

8.24, б.Кроме описания структуры должны быть составлены программные модули —описания переходов (событий) MODI — MODS, причем все модули должны содер­жать единую для данного набора COMMON-область, которая служит для передачиданных между модулями.Естественно предположить, что для моделирования конкретныхсистем S в узкоспециализированной области количество возможныхсобытий-переходов ограничено.

Можно составить список стандарт­ных событий и соответствующий ему набор программных модулей.Вместе со средствами описания структуры N-схемы, поясняющейвзаимодействия, такой набор составит пакет моделирования системв специализированной области. Известны системы, построенные потакому принципу для моделирования аппаратных и программныхсредств вычислительных систем, для моделирования протоколовсвязи.

Известны также примеры успешного применения N-схем(сетей Петри) для исследования социальных, экономических систем,сложных физических и химических процессов.Расширение N-схем. Возможные расширения N-схем, заданныхв виде сетей Петри, о которых говорилось в § 2.6, рассмотримс точки зрения их прикладного использования, т. е. с ориентациейна увеличение моделирующих возможностей данного аппарата. Длямоделирования процессов в информационных системах наиболь­ший интерес представляют N-схемы в виде временных сетей и Есетей, являющихся наиболее мощным расширением сетей Петри[28].Задание временной сети, т. е. Ns-cxeMU, включает семь множествNs =<B,D,I,0,M,v,v},291где В, D, 1, О, М имеют тот же смысл, что и ранее (см. § 2.6); v=(tlt ......, /,, ...) — возрастающая последовательность действительных чи­сел, называемая временной базой; v:2?x«=>v — функция времен­ных задержек.Фактор времени учитывается в Ng-схемах путем введения пас­сивного состояния метки в позиции.

При поступлении метки в по­зицию bt она остается в пассивном состоянии (не может участвоватьв возбуждении переходов) на время v (b„ ts)—ts и только после этогопереходит в активное состояние.Подклассом временной сети является сеть Мерлина, где времяпассивного состояния метки определяется как случайная величина,находящаяся в диапазоне между г* и t** (f* ^ ts < /**), которые зада­ются в описании Л^-схемы.Пример 8.11. Построим в виде Ng-схемы модель микропроцессорного абонентс­кого пункта (АЛ) информационно-вычислительной сети [30, 54,].

Структура этогоАЛ показана на рис. 8.25, где обозначено: МП — микропроцессор; ОЗУ — оператив­ное запоминающее устройство; ПА — периферийный адаптер; ЭПМ — электрифи­цированная пишущая машинка; КС] и КСа — входной и выходной каналы связи.Задание Л^-схемы в виде временной сети включает в себя задание структуры (В,D, I, О), вектора разметок М„ и вектора задержек Z.Структуру Ng-схемы •"»д»ди" графически, так как именно графическое представ­ление обладает наибольшей наглядностью и простотой соотношения со структуройобъекта, т.

е. в данном примере со структурой АП. На рис. 8.26 для наглядностипунктиром выделены элементы Ng-схемы, относящиеся к конкретным элементамструктуры АП (рис. 8.25).Вектор разметок имеет видМ0=(01010000Ш0000001 Nbo),а вектор задержекZ=(z„, 0, гкс,, 0,0, *мп,. 0, znMl, 0, 0, 0, z„,, гпмг, 0, zKCl, 0, 0).С использованием N-схем осуществляется структурный подходк построению имитационной модели, при котором обеспечиваютсянаглядность модели, модульный принцип ее разработки (сборки),возможность перехода к автоматизированной интерактивной про­цедуре проектирования.Еще большие возможности длямоделированиясложных системОЗУПЗУМЛдают•гг—••л • • А •дают такиетакие расширениярасширения N-схем,я-схем,1[][|[как Е-сети, которые обозначим какXXX > N^-схемы.

В отличие от временных\[{[\[сетей в Е-сетях определено дополнительно четыре типа переходов:разветвление, объединение, управГ^ИГщ| ii—.ляемое разветвление и приоритет"""ное объединение. Важной особенТТ~ностью NE-cxeM является также деоператорАп тализация представления метки.сРис. 8.25. Структура АПкаждой меткой в Ыгсхеме связа292Рис. 8.26. Структура Ng-схемыны п описателей. Каждый из описателей метки несет в себе опреде­ленную количественную информацию о моделируемом объекте,т.

е. системе S.Структурное задание модели элементов системы 5 в формеNg-схемы позволяет использовать модульный принцип разработкиимитационной модели с применением библиотеки ^-сетевых моду­лей и их параметрической настройки. В этом случае ^-сетеваямодель является основой для сборки имитационной программы измодулей, реализованных на некотором языке программирования[30, 54].Базой для построения программных модулей служит обобщен­ный алгоритм функционирования £-сетевого модуля, который рас­смотрим на следующем примере.Пршмер 8.12. Поступление метки во входную позицию перехода dm (рис. 8.27)инициирует процедуру проверки готовности перехода к срабатыванию (рис.

8.28).Проверяемые при этом условия включают в себя анализ раз­метки решающей позиции М{А*}, где i>*e5R, а также проверкуА,разметки выходных позиций M{0(dm)} и сопряженных позицийпА/{/(<4,)}. В том случае, когда Ь^ВР, на данной фазе произ­водится также вычисление решающей процедуры перехода2(<UIПри достижении требуемых условий переход вступает в ак­I II Iтивную фазу, содержание которой определяется элементамиописания перехода t (dm) и р (dm), причем элемент t (dm) можетбыть задан либо непосредственно, либо в виде функции. В по­следнем случае необходимо предварительно вычислить эту фу­I-Jнкцию, а затем моделировать требуемое время t(dm).Процедура перехода р (dm) выполняется в два этапа: снача­Рис.

8.27. Обоб­ла вычисляются предикаты П,, а затем реализуется требуемоещенная структу­подмножество операций над описателями меток {lJP). Далеера ^-сетевого пе­переход dm вступает в фазу завершения, содержанием которойрехода-он-Qj ГО'"293СПуск\та7исходных Iданных I/— ?.[i'1,к-1является смена разметки входных и выход­ных позиций перехода M{I(dm)} и Л/{0(4и)}Разметка Познани А< меняется на нулевую:Af(*j):=0. При bteBp разметка решающейпозициистановитсянеопределенной:M(pk)'=e°- Затем выполняется перемещениеметок в ряд выходных позиций 0(dm) в соот­ветствии с типом данного перехода. Эта опе­рация завершает работу перехода по обра­ботке поступившей метки.Одним из основных вопросов,который надо решить разработчикуимитационной модели процесса,вычисление Z{d )mmформализуемого на базе N-схем, яв­ляется выбор языка программирова­ния.

Реализация модулей NE-cxeM намашинно-ориентированном языкеили же языках общего назначенияпозволяет снизить затраты машин­ного времени и оперативной памятипри моделировании систем, но приэтом следует учитывать высокуютрудоемкость разработки библиоте­ки моделирующих подпрограмм.Этот недостаток устраняется при ис­Выполнениепользованиидля моделирования си­операцийстемы S, формализованной на базеN-схем, языков имитационного мо­f-W1делирования.ГИзИзменение/ вывод-ЗиетниМШ,. .\разнетхиМ(Ь;);*0ИспользованиеЯИМ.Про­I результа-1[/Ю1ИГ'(<иJ mo» Jграммная реализация моделей си­стем S на базе расширенных N-схемИзменение(Ns-, N^-схем) более сложна по срав­разметкиС Останов Лнению с программированием моде­лей на основе обычных сетей Петри.Для упрощения перехода к модели­Рис. 8.28. Алгоритм работы Е-серующей программе рационально ис­тевого переходапользовать языки имитационногомоделирования (ЯИМ).

Рассмотримособенности использования ЯИМ для имитации на базе NE-cxeM напримере применения системы моделирования GPSS, которая дета­льно была рассмотрена ранее.к.±Анализm... шПример 8.13. Проведем анализ соответствия между элементами NE-cxeMи объектами языка моделирования GPSS (см. § 5.3). В результате сравнительногоанализа можно сформулировать следующее 37.1. Метка Ng-схемы может быть представлена динамическим объектом GPSS,т.

е. транзактом.2. Описатели меток аналогичны параметрам транзактов GPSS.2943. Позиция Ng-схемы идентична объекту, принадлежащему к аппаратной катего­рии GPSS типа накопителя единичной емкости.4. Решающие позиции ЬьеВя Ng-схемы в зависимости от принадлежности к мно­жеству Вр реализуются двумя способами: а) если ЬквВр, то Ьк эквивалентна наборуобъектов типа булевых переменных вычислительной категории GPSS; б) еслиЬкеВ/Вр, то Ьк может быть представлена накопителем единичной емкости аппарат­ной категории GPSS.5.

Временные параметры переходов t(dm) реализуются объектом ADVANCEоперационной категории GPSS.6. Операции вычисления предикатов Щ у=1. S, для р (dm) соответствует приме­нение блока TESTE, изменяющего маршруты транзактов, в сочетании с булевымипеременными вычислительной категории GPSS.7. Операции {ljp} для р (dm) выполняются с помощью блоков ASSIGN динами­ческой категории GPSS в сочетании с арифметическими переменными.8. Хранение значений описателей меток можно имитировать путем записи значе­ний параметров транзактов в ячейки хранимых значений (X, ХН) с помощью блокаSAVEVALVE запоминающей категории GPSS.9. Процессы синхронизации движения меток через переход dm и удаления метокиз решающей позиции Ькв£я могут быть обеспечены с помощью логических пере­ключателей LOGIC S и LOGIC R аппаратной категории GPSS.10.

Характеристики

Тип файла
PDF-файл
Размер
9,37 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Зачем заказывать выполнение своего задания, если оно уже было выполнено много много раз? Его можно просто купить или даже скачать бесплатно на СтудИзбе. Найдите нужный учебный материал у нас!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6374
Авторов
на СтудИзбе
309
Средний доход
с одного платного файла
Обучение Подробнее