Метод формального описания PFDD-диаграмм idef3-технологии
Ключевые слова:
технологический процесс, IDEF3-технология, PFDD-диаграмма, технологическая модель, четырехместное отношение, проекция отношения, сечение отношения, дерево декомпозиции, дерево узлов.Аннотация
Цель: представить разработанный метод формального описания PFDD-диаграмм IDEF3-технологии моделирования технологических процессов в различных объектах, в частности, в системах технического диагностирования, отличающийся от известных методов, основанных на использовании конкретных примеров, тем, что применяются строгие математические понятия общего вида. Методы: использована теория бинарных отношений, позволившая понятным и удобным образом описать процесс технологического моделирования по IDEF3-технологии. Результаты: разработан метод формального описания диаграмм сценариев технологических процессов (PFDD-диаграмм), используемых в стандартной IDEF3-технологии. Суть метода в том, что с помощью инструментов теории бинарных отношений строятся все необходимые понятия IDEF3-технологии. Благодаря этому процесс технологического моделирования описывается в общем виде на основе предложенных математических формул, которые определяют понятие технологической модели, построенной из также формально определенных PFDD-диаграмм. Практическая значимость: полученные результаты позволяют быстро и достаточно просто понять принципы IDEF3-технологии и применить ее для своих конкретных примеров. В статье это сделано для систем технического диагностирования.
