Понятие асинхронного процесса. Выделение множеств ситуаций, инициаторов, результантов, составление отношений непосредственного следования. Технология коммутации сегментов Ethernet. Способ передачи кадра без его полной буферизации. Построение сети Петри.
Аннотация к работе
Коммутатор знает, какие устройства соединены с его портами, и направляет пакеты только на необходимые порты. Системный модуль ведет общую адресную таблицу коммутатора и обеспечивает управление коммутатором по протоколу SNMP (Simple Network Management Protocol). Для 8 портов матрица может обеспечить 8 одновременных внутренних каналов при полудуплексном режиме работы портов и 16 - при полнодуплексном, когда передатчик и приемник каждого порта работают независимо друг от друга. После нахождения адреса назначения процессор ЕРР знает, что нужно дальше делать с поступающим кадром (во время просмотра адресной таблицы процессор продолжал буферизацию поступающих в порт байтов кадра). Если же кадр нужно передать на другой порт, то процессор обращается к коммутационной матрице и пытается установить в ней путь, связывающий его порт с портом, через который идет маршрут к адресу назначения.Для возобновления выбранного АП необходимо, чтобы освободился входной порт коммутатора, на который идут кадры с одного хоста-адресата, а для этого необходимо завершение коммутации предыдущего кадра. S8 ={000001}-разрыв установившейся связи между входным и выходным портами Вывод: репозиция представляет собой возврат к началу процесса для обработки следующего кадра для передачи информации через коммутатор с одного компьютера локальной сети на другой.Выделение входных и выходных компонент: Множество входных компонент X = {P1} т.к. на входной порт передаются данные из сети (P1) Множество выходных компонент Y = {P5,P6} т.к. данные принимаются на выходном порте и передаются в сеть. Множество остальных компонент Z = {P2,P3,P4} т.к. обработку данных нельзя отнести к входным или выходным компонентам.В данном случае композиция представляет собой «объединение» процесса подачи звукового сигнала в случае ошибки коммутации матрицы и процесса ответственного за обработку ошибки коммутации матрицы (ошибки соединения) . Построим последовательную композицию двух процессов. Компоненты: 1) P5 - идет прием данных на выходном порте Ситуации: 1) Начался прием данных на выходном порте s1 = (1 0 0) Множество инициаторов I1 = {s1} - процесс начинается с приема данных на выходном портеВ данной сети все места ограничены, значит и сама сеть ограничена. Условие p называется безопасным, если для любой разметки М, достижимой в сети N, имеет место условие: М(р) ? 1. Переход t в сети N называется потенциально живым при разметке M R(N), если существует разметка M’ R(N, M) / M’ ? F(p, t), т.е. существует достижимая от М разметка М’, при которой переход t может сработать. Переход t в сети N называется живым, если , т.е. он потенциально жив при любой достижимой в сети разметке. Переход t называется устойчивым в сети N, если , т.е. если переход t может сработать, то никакой другой переход не может, сработав, лишить его этой возможности.Модель - представление в математических терминах того, что считается наиболее характерным в изучаемом объекте или системе. Наличие общих свойств у таких моделей позволяет предположить некоторую метамодель, которая порождает частные объектные модели. Для данного процесса была построена метамодель “Асинхронный процесс”: были выявлены компоненты процесса, ситуации, возникающие в ходе выполнения процесса. Среди ситуаций данного процесса были выявлены инициаторы, т.е. ситуации, инициирующие процесс, и результанты, т.е. ситуации, завершающие процесс.
План
Содержание
1. Понятие асинхронного процесса (АП)
2. Коммутаторы локальной сети
3. Выделение множеств ситуаций, инициаторов, результантов, составление отношений непосредственного следования
4. Репозиция
5. Редукция
6. Композиция
7. Сеть Петри
Заключение
Список использованной литературы
Вывод
Модель - представление в математических терминах того, что считается наиболее характерным в изучаемом объекте или системе. Каждая модель отражает те или иные аспекты поведения системы. Наличие общих свойств у таких моделей позволяет предположить некоторую метамодель, которая порождает частные объектные модели. Метамодель - модель, применяемая для исследования и описания некоторого класса моделей. В данном РГЗ в качестве метамодели мы рассмотрели модель “Асинхронный процесс”.
В качестве процесса был взят процесс коммутации в ЛВС. Для данного процесса была построена метамодель “Асинхронный процесс”: были выявлены компоненты процесса, ситуации, возникающие в ходе выполнения процесса. Среди ситуаций данного процесса были выявлены инициаторы, т.е. ситуации, инициирующие процесс, и результанты, т.е. ситуации, завершающие процесс. Также были определены траектории переходов процесса от инициаторов к результантам. Исследование показало, что данный процесс является эффективным и простым, но не является управляемым. Был построен граф процесса и были произведены операции: репозиция, редукция, последовательная композиция. В качестве модели для построения сети Петри был взят исходный процесс коммутации. В процессе построения было определено, что данная сеть является ограниченной и безопасной, но не является живой и устойчивой.
Список литературы
1. Компьютерные сети: принципы, технологии, протоколы / В. Г. Олифер, Н. А. Олифер. - СПБ.: Питер, 2001
2. Конспект лекций Лазаревой И.М. по дисциплине «Теория вычислительных процессов»