Разработка системы верификации и моделирования технологического процесса сборки

Abstract

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

Проводиться виявлення завдань, вирішенням яких займаються сучасні програмні комплекси з виробництва. Здійснюється аналіз методів проведення складання, а саме селективний та теоретико-імовірнісний методи, наводяться приклади реалізації алгоритмів, що розглядаються, на основі використання мережі Петрі. Розглядається механізм перетворення схем складання вузла в мережу Петрі, а також описується один з варіантів організації такого перетворення, що використовується в системі, що реалізується. Пропонується реалізація системи моделювання та верифікації процесу складання на основі поставлених завдань та розглянутих алгоритмів.