- 1
- 2
- 3
- 4
- 5
- . . .
- последняя »
необходимости в МИКРОСИМ предусмотрена возможность трассировки модели – вывода на экран последовательности срабатываний переходов и информации о них. К сожалению, данная функция не позволяет полностью контролировать корректность работы интерпретатора.
С появлением такого мощного средства как СВПИМ, упрощающего самый трудоемкий этап моделирования – этап описания модели на ЯОМ, возникла идея использования создаваемого в ней графического изображения не только для получения описания модели на языке ЯОМ, решаемого в системе МИКРОСИМ, но и для отображения процесса интерпретации модели, что позволило бы отслеживать динамику модели в целом.
Подсистема визуального отображения интерпретации сетевых моделей представляет собой инструмент для отображения процесса моделирования в среде МИКРОСИМ, с использованием графического изображения модели, сформированного при помощи СВПИМ. Данная подсистема отображает на экране последовательность срабатываний переходов и перемещения фишек в исследуемой модели.
Для наглядности отображения в подсистеме предусмотрены задержки, кратные модельным временам задержек ассоциированных со срабатывающими переходами. Тем не менее, для того, чтобы отследить текущее модельное время на момент срабатывания перехода, оно учитывается и отображается в статусном окне приложения. Специальная часть
Понятие Е-сетей
Общая характеристика модифицированных Е-сетей
Как уже отмечалось, в качестве формального аппарата для представления моделируемых систем в МИКРОСИМ используются модифицированные Е-сети. Структурно Е-сеть представляет собой граф, состоящий из двух типов вершин – позиций и переходов, соединенных друг с другом ориентированными дугами, причем каждая дуга может связывать лишь переход с позицией или позицию с переходом. Следовательно, структура Е-сети эквивалентна ориентированному двудольному графу, у которого одно множество вершин содержит только позиции, а другое множество вершин – только переходы. В модифицированных Е-сетях существуют два типа позиций – простые позиции и позиции-очереди.
Переход в модифицированной Е-сети изображается отрезком прямой. Этот отрезок, в зависимости от типа элементарной сети, отвечающей данному переходу, может дополняться коротким ответвлением, исходящим от конца отрезка под прямым углом в одну или другую сторону, или короткой «перекладиной». Дуга изображается с помощью отрезков прямых и знаков «>» и «. Слева от этого символа записывается некоторый предикат, а справа, в угловых скобках – множество входных (для функции R1) или выходных (для функции R2) позиций. Предикат T представляет собой тождественно истинное высказывание.
Необходимое и достаточное условие срабатывания перехода представляется следующим выражением:
C(T)=(B(X1)&B(X2)&…&B(Xm))&(^B(Y1)&^B(Y2)&…&^B(Yn))
Таким образом, для срабатывания перехода в элементарной сети данного типа необходимо и достаточно наличие хотя бы одной фишки в каждой из входных позиций и не занятость всех выходных позиций. Напомним, что если некоторая выходная позиция Y является позицией-очередью, то соответствующий ей член ^B(Y) должен быть исключен из выражения для C(T).
Если множество входных или выходных позиций пусто, то в выражении для C(T)
- 1
- 2
- 3
- 4
- 5
- . . .
- последняя »
Похожие работы
Тема: Подсистема визуального отображения процесса интерпретации сетевых моделей в системе имитационного моделирования МИКРОСИМ |
Предмет/Тип: Информатика, ВТ, телекоммуникации (Диплом) |
Тема: Эволюцию моделей инновационного процесса |
Предмет/Тип: Менеджмент (Реферат) |
Тема: Создание "гибких" моделей и ассоциативных чертежей в системе КОМПАС-3D |
Предмет/Тип: Отсутствует (Методичка) |
Тема: Создание "гибких" моделей и ассоциативных чертежей в системе КОМПАС-3D |
Предмет/Тип: Отсутствует (Практическое задание) |
Тема: Конвертация 3D-моделей и фотореалистичный рендеринг сцены в системе 3DMax |
Предмет/Тип: Отсутствует (Реферат) |
Интересная статья: Быстрое написание курсовой работы