На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

4
Ожидается:
09 Декабря 2024

Моделирование программы таксономии технологий изготовления деталей машиностроительного профиля с помощью сетей Петри

Simulation of taxonomy program of parts production technology for mechanical-engineering using petri nets
Статья опубликована в выпуске журнала № 2 за 2014 год. [ на стр. 161-164 ]
Аннотация:Рассматривается созданная с использованием сети Петри модель, позволяющая проводить анализ передачи и по-лучения данных от компьютеров к программе таксономии технологий изготовления деталей по сети Интернет. Цель моделирования – имитирование отказа работы программы, поиск дедлоков (отсутствие зацикливаний и тупиков), а также выявление узких мест в программе при передаче данных. В имитационных экспериментах отказы обслуживания программой таксономии компьютеров имитировались появлением случайного числа фишек маркеров в позиции. При отсутствии отказа программа работает в автоматическом режиме – позиция обслуживает команды на таксономию от компьютеров. При появлении отказа программы на доступ дуга закрывает переход и производится возврат к исходной позиции. В нормальном режиме работы программы сети Петри обеспечивают в любой момент времени одновременное бесконфликтное обращение нескольких компьютеров к программе таксономии деталей при их параллельной работе. Параллельность означает, что любой из компьютеров, получающих доступ к программе, может начать обращение или закончить его раньше или позже другого. В качестве формального языка для описания модели веб-приложения таксономии технологий изготовления деталей предлагается использовать аппарат сетей Петри. Сети Петри являются расширением классической теории графов. Теория сетей Петри делает возможным спецификацию системы математическим представлением, анализ которой помогает получить важную информацию о структуре и динамическом поведении моделируемой системы. На основе сети Петри построено покрывающее дерево графа достижимости. Анализируя покрывающее дерево, вершинами которого являются все возможные достижимые разметки сети, выделены такие ее свойства, как безопасность (число маркеров в любой позиции не превышает 1), сохраняемость (невозможность возникновения и удаления ресурсов в моделируемом объекте), а также живость (отсутствие зацикливаний и тупиков). В разработанной сети Петри отсутствуют зацикливания и тупики; программу таксономии этой модели можно применять в производстве.
Abstract:The article considers a model created using Petri nets. It allows analyzing the tran smission and receipt of data from computers to the technology taxonomy program for details production on the Internet. The purpose of modeling is simulation of the program failure, deadlocks search (no loops and dead ends), and identifying bottlenecks when transmiting data. In the simulation experiments failures of computer service by the taxonomy program are simulated as appearance of a random number of markers chips in the position. When there are no failures the program works automatically. The position serves the teams on the computer taxonomy. When there is an access denial in the program, the arc closes the transition and returns to the starting position. In normal operating mode at any time the Petri nets programs provide simultaneous conflict -free reference of multiple computers to taxonomy program with parallel work. Parallelism means that any of the computers that receive the access to the program can start referring or finish it before or after the other. The Petri nets apparatus c an be used as a formal language to describe the Web application model of taxonomy of the details production technologies. The Pe-tri nets are an extension of the classical graph theory. The Petri nets theory of enables the system specification using math e-matical representation. Its analysis helps to get important information about the structure and dynamic behavior of the mo d-eled system. Based on Petri nets the spanning tree of the reachability graph is constructed. Its points are all possible reac hable network marks. The analysis of the spanning tree highlightes its properties such as: security (number of marks in any position does not exceed 1); persistence (the inability of appearing and deleting resources in the simulated object) and vividness (no loops and dead ends.) The developed Petri net does not have loops and dead ends. Its taxonomy program can be used in production.
Авторы: Шестаков А.М. (shestakova_olga2@mail.ru) - Национальный исследовательский Иркутский государственный технический университет (аспирант ), Иркутск, Россия
Ключевые слова: граф достижимости, покрывающее дерево, так-сономия деталей, классификация, моделирование программы сетью, математическая модель, сеть петри
Keywords: reachability graph, spanning tree, , classification, program simulation with network, mathematical model, the petri nets
Количество просмотров: 13847
Версия для печати
Выпуск в формате PDF (6.10Мб)
Скачать обложку в формате PDF (0.87Мб)

Размер шрифта:       Шрифт:

Классические сети Петри (СП) были разработаны в 1962 г. Карлом Адамом Петри для описания асинхронных алгоритмов и моделирования поведения параллельных вычислительных систем. Выделяют ряд преимуществ СП в моделировании: понятность модели, возможность проведения анализа с помощью вычислительной техники, возможность иерархического моделирования, а также высокий уровень формализации дискретно-собы­тийных систем. Следует заметить, что в последнее время интерес к СП значительно возрос [1].

СП являются расширением классической теории графов. Теория СП [2, 3] делает возможной спецификацию системы математическим представлением, анализ которой помогает получить важную информацию о структуре и динамическом поведении моделируемой системы. Важными расширениями СП являются цветные и иерархические СП. Первые позволяют более конкретно специфицировать условия срабатывания переходов, а вторые осуществлять иерархическую композицию или декомпозицию объектов сети.

Благодаря универсальности СП решается широкий круг задач. Применение СП позволяет проводить моделирование логики выполнения различных программных средств с возможностью имитации совместной работы отдельных функциональных узлов.

Моделирование программного средства позволяет выявить недостатки до его внедрения.

Постановка задачи и ее реализация

Ставится задача моделирования СП разработанной автором программы таксономии технологий изготовления деталей машиностроительного профиля, которая выполняет классификацию объектов через сеть Интернет. Цель моделирования – имитирование отказа работы программы, поиск дедлоков (отсутствие зацикливаний и тупиков), а также выявление узких мест в программе при передаче данных.

Согласно [3], классическая СП – это ориентированный граф с вершинами двух типов: позициями и переходами. СП определяется следующим набором: N=(P, T, A, W), где P={p1, p2, …, pm} – подмножество вершин, называемых позициями СП; T={t1, t2, …, tm} – подмножество так называемых переходов СП; AÍ(P´TÈT´P) – множество дуг; W: A®N [2].

Подпись:  
Рис. 1. СП, моделирующая доступ к программе таксономии через сеть Интернет
Fig. 1. The Petri net modeling the taxonomy program access using the Internet
Переход сети соответствует операции выполнения процесса и обозначается вертикальным барьером. Позиция сети соответствует условию срабатывания и обозначается окружностью. Имитация работы СП осуществляется помещением в позиции фишек, являющихся объектами моделируемых процессов. Количество фишек внутри позиции изображается в виде точки. Одной точкой отображается одна фишка. Если фишек больше семи, внутри перехода записывается числовое значение. Движение фишки происходит в результате выполнения заданных условий. Стрелкой отображается их зависимость.

Такое строго математико-графическое представление позволяет проводить детальный анализ задачи.

Моделируемое веб-приложение обеспечивает решение задачи таксономии технологий изготовления деталей через сеть Интернет. Программа ориентирована на классификацию деталей по схожим признакам, позволяя технологу выделять классы деталей, похожих с точки зрения описывающих их свойств. Более подробно веб-приложе­ние описано в работе [4].

Функционирование СП осуществляется за счет срабатывания переходов. Условием срабатывания перехода является наличие фишек во входных местах.

В рассматриваемой СП (рис. 1) каждый компьютер, получающий доступ к веб-приложению, моделируется одной фишкой. Срабатывание перехода Ti, i=1, …, 7, отражает начало выполнения процедуры. Наличие метки в месте Pi, i=1, …, 9, показывает, что выполнено условие, предусмотренное алгоритмом программы.

Модель системы разработана в виде СП.

Позиции СП: Р1 – позиция, наличие фишки в которой свидетельствует о наличии запроса к программе таксономии от пользователя; Р2 – позиция, моделирующая выбор и загрузку файла на сервер; Р2.2 – проверка файла и выполнение сценария; Р3 – позиция, моделирующая указание пользователем максимального числа классов; Р4 – переход, моделирующий поиск количества классов, для которых достигается наилучшее разделение данных; Р5 – переход, моделирующий поиск среднего значения силуэта для класса; Р6 – позиция, наличие фишки в которой определяет результат работы программы, то есть законченный HTML-документ; Р7 – вывод результата таксономии; Р8 – графическое представление деталей, разделенных по классам.

Переходы СП: Т1 – запрос к программе выполнен; Т2 – операция загрузки файла выполнена (если условие не выполнено, происходит возврат к Р1); Т2.Р1 – если условие проверки файла не выполнено, возврат к позиции Р1; Т3 – операция указания пользователем максимального числа классов успешно завершена; Т4 – операция поиска количества классов, для которых достигается наилучшее разделение данных, успешно завершена; Т5 – операция поиска среднего значения силуэта для класса завершена.

В имитационных экспериментах отказы обслуживания компьютеров программой таксономии имитировались появлением случайного числа фишек n {0; N) маркеров в позиции Р1. При отсутствии отказа программа работает в автоматическом режиме (позиция P1), обслуживает команды на таксономию от компьютеров (P2–Р8). При появлении отказа программы на доступ дуга закрывает переход T2 и производится возврат к позиции Р1.

Подпись:  
Рис. 2. Покрывающее дерево для СП, моделирующей доступ к программе таксономии 
через сеть Интернет
Fig. 2. The spanning tree for the Petri net modeling the taxonomy program access using the Internet
В нормальном режиме работы СП, представленная на рисунке 1, в любой момент времени обеспечивает одновременное бесконфликтное обращение нескольких компьютеров к программе таксономии деталей при их параллельной работе. Параллельность означает, что любой из компьютеров, получающий доступ к программе, может начать обращение или закончить его раньше или позже другого.

Построение графа достижимости

Для получения более полного представления о свойствах моделируемой системы проанализируем полученную сеть методом покрывающего дерева (рис. 2), корневая вершина которого следующая: 1,0,0,0,0,0,0,0,0.

Граф достижимости СП – это ориентированный граф, вершинами которого являются все возможные достижимые разметки сети из начальной заданной разметки. Каждое ребро графа отвечает переходу, срабатывание которого приводит к изменению разметок соответствующих вершин графа. С помощью графа достижимости описываются возможные варианты функционирования сети.

В связи с большим объемом покрывающего дерева (рис. 2) часть не была включена в статью. Связи между объектами, указанные в покрывающем дереве, отображают их зависимость.

На основе СП построено покрывающее дерево графа достижимости. Анализируя покрывающее дерево, вершинами которого являются все возможные достижимые разметки сети, выделены такие ее свойства, как безопасность (число маркеров в любой позиции не превышает 1), сохраняемость (невозможность возникновения и удаления ресурсов в моделируемом объекте), а также живость (отсутствие зацикливаний и тупиков).

Как было показано в статье, СП могут достаточно эффективно использоваться в качестве графо-математического аппарата программ, работающих в многопользовательском режиме.

Анализ разработанной модели СП позволяет сделать вывод о том, что в ней отсутствуют зацикливания и тупики. Таким образом, программу таксономии деталей можно применять на практике, например, в машиностроительном производстве. Имитирование отказа работы программы при передаче данных позволило в значительной мере отнести ее к категории надежной программной системы. Программа, разработанная автором, может быть использована в решении задач таксономии деталей для технологов при разработке технологических процессов на машиностроительных предприятиях.

Литература

1.     Васильев В.В., Кузьмук В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем. К.: Наукова Думка, 1990. 216 с.

2.     Котов В.Е. Сети Петри. М.: Наука, 1984. 160 с.

3.     Питерсон Дж. Теория сетей Петри и моделирование систем; [пер. с англ. М.В. Горбатовой, В.Н. Торхова, В.Н. Четверикова]. М.: Мир, 1984. 264 с.

4.     Шестаков А.М. Использование удаленного доступа пакета Matlab для решения задач таксономии деталей // Вестн. Иркутского гос. технич. ун-та. 2012. № 6. С. 11–17.

References

1.     Vasilyev V.V., Kuzmuk V.V. Seti Petri, parallelnye algoritmy i modeli multiprotsessornykh sistem [Petri nets, parallel algorithms and models of multi-processor systems]. Kiev, Naukova Dumka Publ., 1990, 216 p.

2.     Kotov V.E. Seti Petri [Petri nets]. Moscow, Nauka Publ., 1984, 160 p.

3.     Piterson J.L. Petri net theory and the modeling of systems. PTR Upper Saddle River, NJ, USA, Prentice Hall Publ., 1981, 290 p. (Russ. ed.: Gorbatova M.V., Torkhov V.N., Chetveri- kov V.N. Moscow, Mir Publ., 1984, 264 p.).

4.     Shestakov A.M. Using remote control access of Matlab to solve the components taxonomy problems. Vestnik Irkutskogo gos. tekh. univ. [The bulletin of Irkutsk State Tech. Univ.]. 2012, no. 6, pp. 11–17 (in Russ.).


Постоянный адрес статьи:
http://swsys.ru/index.php?page=article&id=3828&lang=&lang=&like=1
Версия для печати
Выпуск в формате PDF (6.10Мб)
Скачать обложку в формате PDF (0.87Мб)
Статья опубликована в выпуске журнала № 2 за 2014 год. [ на стр. 161-164 ]

Возможно, Вас заинтересуют следующие статьи схожих тематик: