Коммутатор локальной сети
Контрольная работа - Компьютеры, программирование
Другие контрольные работы по предмету Компьютеры, программирование
?:
1)Начался прием данных на выходном портеs1 = (1 0 0)
2)Прием данных на выходном порте закончился и данные передаются в сеть s2 = (1 1 0)
)Возникла ошибка коммутации звучит сигналs3 = (0 0 1)
Отношение непосредственного следования ситуаций F1:
Траектория: (100, 110, 001)
Множество инициаторов I1 = {s1} - процесс начинается с приема данных на выходном порте
Множество результантов R1 = {s3} - завершение, звучит звуковой сигнал
Входные компоненты X1 = {P5, P6} = {10,11,00}
Выходные компоненты Y1 = {Flag} = {0, 1}
Процесс P2 - редукция исходного процесса P.
Выделим входные компоненты первого процесса и выходные компоненты второго процесса, имеющие сходную семантику:
Y* = { P5, P6}
X* = { P5, P6}
Построим по ним соответствующие редукции процессов:
S1* = S1(Y*) = S1 = {100, 110, 001}* = F1(Y*) = I1(Y*) = R1
Второй процесс уже является редукцией
S(Y*) = {100000,110000,000010} = {S1,S2,S4}(Y*):(Y*) = {S1} = {100000}(Y*) = {S4} = {000010}
Ситуации процесса P3 представимы в виде пар s3 = (s1, s2) /
коммутация сегмент передача буферизация
1)
)y1 = x2
3)
4) или
или
Таким образом, АП P3 =
S3 = {1000000, 1100000, 0000100, 0000100, 0000110,0000101}
F3 :
I3 = {1000000}
R3 = {0000101}
Вывод: полученный процесс Р3 представляет собой функционирование процесса обработки ошибки коммутации матрицы с сигнализацией пользователя звуковым сигналом.
. Сеть Петри
N =
Множество условий P = {p1, p2, p3, p4, p5,p6}
Множество событий T = {S1, S2, S3, S4, S5,S6,S7}
Функции инцидентности
(P1, S2) = F(P2, S3) = F(p3, S4) = F(p4, S4) = F(p5, S4) = F(p1,S4) = F(p1,S6) = F(p5,S5) = F(p4,S7) = F(p5,S7) = 1(S2, p1) = H(S2, p2) = H(S4, p5) = H(S7,p6) = H(S3,p3) = H(S3,p4) = H(S3,p5)= H(S5,p3) = H(S5,p1) = H(S6,p4) = H(S6,p5)=1
Начальная разметка М0 = {1, 0, 0, 0, 0, 0}
Для анализа сети и ее условий и событий построим дерево разметок.
Условие p в сети N называется ограниченным, если существует число n / для любой достижимой в сети разметки N справедливо неравенство M(p) ? n.
В данной сети для условий p1, p2, p3,p4,p5,p6 таким числом является 1.
Таким образом, все условия данной сети являются ограниченными.
Сеть называется ограниченной, если каждое ее место ограничено.
В данной сети все места ограничены, значит и сама сеть ограничена.
Условие p называется безопасным, если для любой разметки М, достижимой в сети N, имеет место условие: М(р) ? 1.
В данной сети условия p1, p2, p3,p4,p5,p6 являются безопасными (это хорошо видно по дереву разметок),
Сеть N безопасна, если все ее условия безопасны.
Данная сеть является безопасной, т.к. все ее условия безопасны.
Переход t в сети N называется потенциально живым при разметке M R(N), если существует разметка M R(N, M) / M ? F(p, t), т.е. существует достижимая от М разметка М, при которой переход t может сработать.
Если М = М0, то переход t называется потенциально живым в сети N.
При начальной разметке М0 для всех переходов существует достижимая разметка, при которой они могут сработать (это видно, например, по дереву разметок). Следовательно, переходы p1, p2, p3,p4,p5,p6 являются потенциально живыми в сети N.
Переход t в сети N называется живым, если , т.е. он потенциально жив при любой достижимой в сети разметке.
В данной сети все переходы не являются живыми в сети N.
Сеть называется живой, если все ее переходы живы.
Данная сеть не является живой, т.к. не все (в данном случае - никакие) ее переходы являются живыми.
Переход t называется устойчивым в сети N, если
,
т.е. если переход t может сработать, то никакой другой переход не может, сработав, лишить его этой возможности.
Переход t1 может сработать только при разметке M0, и никакой другой переход не может сработать при ней. Следовательно, переход t1 является устойчивым.
Переход t2 может сработать только при разметке {1, 0, 0, 1, 1}. Но при ней может сработать и переход t3, лишив таким образом тот возможности выполниться (т.е. при данной разметке M ). Следовательно, переход t2 не является устойчивым.
Аналогичны рассуждения и для перехода t3, который не является устойчивым.
Переход t4 может сработать только при разметке {1, 1, 0, 0, 0}, и никакой другой переход не может сработать при ней. Следовательно, переход t4 является устойчивым.
Переход t5 может сработать только при разметке {1, 0, 0, 2, 0}, и никакой другой переход не может сработать при ней. Следовательно, переход t5 является устойчивым.
Сеть N называется устойчивой, если все ее переходы устойчивы.
В данной сети два перехода не являются устойчивыми, а значит сама сеть также не является устойчивой.
Вывод: В процессе построения сети Петри были определены места сети как отдельные ситуации процесса, разметки, отображающие состояние процесса в определенный момент времени, и переходы, задающие смену разметок. Затем был построен граф сети и полное покрывающее дерево, совпадающее с графом разметок. Данная сеть является ограниченной и безопасной, но не является живой и устойчивой.
Заключение
Модель - представление в математических терминах того, что считается наиболее характерным в изучаемом объекте или системе. Каждая модель отражает те или иные аспекты поведения системы. Наличие общих свойств у таких моделей позволяет предположить некоторую метамодель, которая порождает частные объектные модели. Метамодель - модель, применяемая для исследования и описания некоторого класса моделей. В данном РГЗ в качестве метамодели мы рассмотрели модель Асинхронный про