Теория представления математических моделей и последовательностей выполнения технологических операторов сборки самолетов Текст научной статьи по специальности «Математика»

УДК 621.015

ТЕОРИЯ ПРЕДСТАВЛЕНИЯ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ И ПОСЛЕДОВАТЕЛЬНОСТЕЙ ВЫПОЛНЕНИЯ ТЕХНОЛОГИЧЕСКИХ ОПЕРАТОРОВ СБОРКИ САМОЛЕТОВ

© 2011 Ф.В. Гречников, С.Ф. Тлустенко

Самарский государственный аэрокосмический университет

Поступила в редакцию 31.01.2011

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

Ключевые слова: оператор, преобразование, логический уровень, контур, структура, взаимодействие, базы, матрицы, модели.

В последнее время для ускорения процессов и повышения качества конструкторско-техноло-гических разработок и освоения производства новых изделий используется перспективный принцип параллельного инжиниринга на основе метода трехмерной мастер-модели объектов производства в авиастроении.

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

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

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

Тлустенко Станислав Федорович, кандидат технических наук, доцент. E-mail: [email protected]. Гречников Федор Васильевич, чл.-корр. РАН, доктор технических наук, профессор, заведующий кафедрой "Обработка металлов давлением"

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

Ф: Р>О . (1)

1) В этой записи Р - множество элементов сборок, которое отображается в множество О, где Q - сборки последующих уровней сложности, ц - отображение, сопоставляющее элементу р е Р элемент д е р : ф(р)=ц. Если отображение ц линейное (полилинейное), будем отмечать его надписью над стрелкой. Запись (1) эквивалента утверждению: отображение ц сопоставляет элементу из пространства (множества) Р элемент из пространства (множества) О. Состав технологических операторов, реализуемых в процессе сборки, имеет иерархическую структуру. На верхнем уровне технологические операторы различаются по видам работ: например, при узловой и агрегатной сборке технологический процесс включает в себя операции выполнения соединений в

пространстве сборки по контурам соединения. Эти особенности выполнения операций сборки связаны с местом контуров, реализуемых тем или иным технологическим оператором, в структуре контуров сборочной единицы. Поэтому при детальном анализе последовательности выполнения технологических операторов сборки необходимо вместо обобщенного отношения рассматривать эти отношения применительно к отдельным контурам сборочной единицы А или входящих в нее элементов aiО A. Для этого разделим контуры F (А) на две группы:

F (А)0 — совокупность контуров сборочной единицы в целом, т. е. таких, где каждому контуру FjОF(А)0 соответствует конструктивное тело (Авключающее в себя не менее двух элементов конструкции, входящих в сборочную единицу;

р (А)' = и р (а )0

совокупность контуров

отдельных элементов конструкции сборочной единицы, рассматриваемых независимо от контуров других элементов.

Поскольку контуры F (А )э состоят из подмножеств контуров F (а)0 отдельных элементов конструкции сборочной единицы, последовательность реализации всей группы контуров F (а)0 среди контуров F (А) сборочной единицы соответствует последовательности установки элементов А. В состав F (а)0 входят контуры формы и положения элемента а,, а также контуры, подлежащие доводке (доработке) в процессе установки аг О А. Состав и последовательность операторов реализации этих контуров в процессе установки можно определить по табличным, сетевым или перестановочным моделям. Применение сетевых моделей обычно требует детализации особенностей выполнения сборочных операций. Пример одной из таких моделей показан на рис. 1. Реализация же каждого множества Г

б)

Операция

р. р к р, р* р9 т р, Рг

Предварительная установка листа для пригонки т 1 1 1

Разметка мест доработки по контуру т 1 1 1

Разметка мест доработки по сопряжениям т 1 1 1

Выемка листа из приспособления т 1 1 1

Обрезка припуска пневмоножницами т 1 1

Снятие припуска пневмофрезой т 1 т6 1

Снятие припуска пневмошарошкой черновой т 1 1 1 1

Снятие припуска пневмошарошкой чистовой т 1 1 1

Зачистка заусенцев по кромкам т 1 т9 1

Нанесение грунта по кромкам т 1 т\о 1

Установка листа окончательная, проверка сопряжений т 1 Гц 1 1

в)

Т4

Т5

т

Тб

Т7

Т

?10

1

Т/7

Рис. 1. Сетевая модель операций установки листа обшивки: а — дизъюнктивная матрица контуров; Р1 — контур положения листа для разметки; Р2 — контур разметки; Р3 — контур положения листа для доработки; Р4 — контур припуска, д J 2 мм; Р5 — контур припуска; 3J д?^ мм; Р6 — чистовой контур припуска; Р7 — контур заусенцев, 3 ^ J 4 мм; Р8 — контур защитного покрытия кромки, 3J д Р9 —контур положения листа; б — конъюнктивная матрица контуров; Р1 — контур листа, д J мм; Р2 — контур листа, 3 J д J 4 мм; в — граф взаимосвязи операторов

1=1

(а)0 контуров как единого целого рассматривается как этап, соответствующий одному обобщенному оператору установки элемента аО А; последовательность операторов установки можно определять по табличным или сетевым моделям (при использовании типовых технологических процессов установки) или перестановочным моделям (при проектировании единичных технологических процессов).

Окончательно в состав контуров Г (А)0 сборочной единицы входят контуры всех конструктивных соединений, контуры герметизации, защитных покрытий и другие, относящиеся к сборочной единице в целом. Структура каждого, контура соединения достаточно сложна, поэтому состав и последовательность: операторов для них определяют по табличным или сетевым моделям, картам технологической документации. Выполнение принципа системного единства при синтезе структуры технологической системы по структурным математическим моделям, а численных расчетов - по аналитическим моделям обеспечивает их адаптацию к различным видам вычислительной техники.

Тогда ТП сборки по глубине структурирования представляется или как неструктурированный объект А в виде единого целого, или как система взаимосвязанных элементов одного уровня, или как многоуровневая иерархическая система. Соответственно по степени абстрагирования ТП моделируется на уровнях теоретико-множественных методами теории множеств и теории графов, логических методами математической логики и количественных по расчетным свойствам и отношениям. При этом группируются данные трех типов: данные о компонентах объекта моделирования в виде множества компонент самого объекта А , множество Е контуров как свойствах объекта и множества Я отношений между компонентами и контурами. Так как понятие контура является обобщающим для таких понятий, как свойство, признак, характеристика, параметр, критерий, то с математической точки зрения логично одни и те же объекты, свойства и отношения рассматривать или как теоретико-множественные А*, Е*, Я*, или как логические Ак, Ек, Як, или как количественные АN, ек, ян величины и отношения. Переход с одного уровня на другой осуществляется регламентированными способами с использованием межуровневых отношений, с указанием границ и условий перехода одних величин и отношений в другие. На теоретико-множественном уровне моделируются состав компонент объекта А в виде упорядоченного или неупорядоченного множества А = (а1,а2,...,ап) . Моделирование состава компонент объекта А на теоретико-мно-

жественном уровне производится в виде упорядоченного или неупорядоченного множества А = (а1,а2,...,ап) ; состава его контуров как

Е (А ) = ( Е

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

- подмножество Я* (А) отношений между компонентами объектами А;

- подмножество Я* (а~) отношений между аг и другими компонентами А ;

- подмножества Я* (Е ( А)) и Я* (Е (аг)) как отношений между контурами Е (А) и Е (аг) ;

- подмножества Я* (Е} (А)) и Я* (Е1 (аг))

как отношений между контурами Е}. и другими контурами Е (А) или Е (аг);

- множество отношений Я* (А, Е (А)) как отношений между компонентами и контурами объекта А .

Бинарное отношение Я* (А) описывается либо графом G = (А, С) , либо булевой матри-

цей

г (1

смежности вершин этого графа; эта мат-

рица представляет собой подмножество декартова

произведения А х А ■

г (1,

= [А х А] е А х А. в

записи [ А х А] первый символ соответствует множеству строк, а второй символ - множеству стол-

бцов булевой матрицы

с ,, г (1

. Каждая г -ая

А

строка (столбец) матрицы рассматривается как представление бинарного отношения Я* (аг)

между аг и элементами (а^, аг2,..., ), для которых элементы строки (столбца) матрицы равны единице. Аналогично описываются бинарные отношения Я* (Е (А)) между контурами объекта А (в виде булевой матрицы

[ Е (А ) х Е ( А)] ), бинарные отношения Я6' (Е (аг)) между контурами элемента аг (в виде булевой матрицы [Е (аг) х Е (аг)] ) и т.п. Бинарное отношение Яs (А, Е (А)) описы-

А

А

вает составы контуров элементов А это отношение

представляют булевой матрицей

А, Р(А)

группируются в подмноже-

ь СР (СР(с))'

матрицей контуров.

Множество С элементов булевой матрицы или дуг графа рассматривают как объект с составом контуров Р (С). Между элементами С и контурами Р (С) также возможны бинарные отношения, которые группируются в подмножества К' (С), Я'(с. ' '

Я (Р (С ))', К' (.с,

На логическом уровне все объекты, их элементы и контуры рассматриваются как логические величины. Каждому множеству, булевой матрице или графу соответствуют наборы логических отношений между входящими в них элементами, представленными в виде логических переменных. Множеству А соответствуют логические отношения Я (А) вида А = Я (а1,а2,...,ап) между объектом А и его элементами. Одним из наиболее часто используемых при проектировании отношений такого вида является описание условия, определяющего возможность вхождения а, е А в подмножество Ак ^ А элементов, обладающих заданными свойствами. Между а, и другими элементами А возможны логические отношения Я (а,); примерами этих отношений являются логические условия существования а, при наличии или отсутствии других элементов А . Множеству контуров соответствуют логические отношения Я (Р (А)) и Я ((А)) между контурами объекта А и отношения вида Я (Р (а,)) и

та а, . Для

(Р( А))

^кта А\

Я (Р. (а,)) между контурами элемента а,. Для столбцов матрицы (2.5) отн имеют специфический вид

Р (А) = Я (Р (а),(а2).....Р (а,))

И определяют логическую связь между истинностным значением контура Р. (А) объекта А в целом и контурами Р. (а,) элементов в случае, когда контуры ¥. (а,) являются основными частями Р. (А).

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

кого моделирования объектов. С целью унификации средств обеспечения САПР отношения № (А), Я5 ^(А)), Я5 (А, F (А)) и другие путем эквивалентных преобразований могут быть приведены к регламентированному виду. В результате структурные модели порождающей среды превращаются в типовые математические модели системы математического моделирования, на основе которых создаются унифицированные компоненты математического, информационного и программного обеспечения САПР.

Отличительной особенностью такой системы является полное отделение математических моделей и алгоритмов проектирования от семантического содержания данных о конкретных объектах проектирования, что позволяет использовать одни и те же математические модели и алгоритмы для проектирования разнородных объектов. Это позволяет создавать типовые математические модели порождающей среды, инвариантные к конкретным объектам проектирования.

Математическая модель 5 (А) объекта А в общем случае имеет вид

5 (А) = {А, F, Я}, где А — множество элементов; F — множество контуров; Я — множество отношений.

В этой модели А есть отображение элементов реального объекта А, F — отображение контуров F и Я — отображение отношений между элементами и контурами объекта А. В состав контуров модели наряду со свойствами элементов объекта, входят свойства, характеризующие взаимодействие объекта с внешней средой: Fх — входные данные, Р^— выходные данные, Fп¡¡ — управляющие воздействия, Рдз—возмущающие воздействия. Некоторые элементы модели Б(А) в конкретных случаях могут быть представлены в неявном виде или вообще отсутствовать. Отсутствующий элемент модели представляют как пустое множество, например, А = О или F = О , F = О. Модель

1 17 Г вх Г 7 упр Г

5 (А) порождающей среды служит для проектирования объектов Ак с составом элементов Ак ^ А. Одна модель 5 (А) порождающей среды содержит данные о множестве {А1, А2, ... А^} проектируемых объектов. Построение такой модели основано на свойствах эквивалентности элементов аг О А, входящих в различные объекты.

Все задачи структурного проектирования объектов и процессов, связанные с определением состава элементов (операторов) и их взаимосвязи, могут быть сведены к шести типовым задачам определения структуры процесса или объекта (рис. 3).

Особенно важное значение при автоматизированном проектировании имеют модели, отражающие структуру объектов проектирования. Каждая такая модель 5 (А) содержит состав эле-

с

(А)

ч

\

N г

ч

я11 яь

\

i г Р(а,}

я1 яь 4-

яь я1

я1

^ я8

Ч

I4*!

\

а.

ИЧт-

, У

я

ь

я

4

ь

я

я

ь

я

я

я

я (ВД)

N

я (г(С))

я

я

я (ВД)

я-адс))

я (^(С))

я (А

я (С Р(С))

я

я (Я(с))

я №.))

я №■))

я

Рис. 2. Взаимосвязь теоретико-множественных, логических и количественных свойств и отношений в иерархической системе математического моделирования объектов на различных уровнях абстрагирования

ментов А, входящих в проектируемые объекты Ак, матрицу контуров (2.5), теоретико-множественные логические и количественные отношения между элементами А и контурами ¥ (А), определяющие состав и все свойства проектируемых объектов Ак. Структурные модели порождающей среды классифицируются в зависимости от способа задания отношений смежности и порядка между элементами модели S (А), отношений смежности и порядка элементов проектируемого объекта Ак, а также состава и числа элементов в различных вариантах Ак. Если отношение смежности между элементами модели задано в виде графа О=(А, С), то модель будет связанной, а если граф О = (А, С) не задан, то модель будет несвязанной. В зависимости от наличия отношений смежности и порядка между элементами проектируемого объекта Ак все модели порождающей среды разделяются на сочетательные, и упорядочивающие. Сочетательные модели применяются в тех случаях, когда определяется только состав элементов проектируемого объекта, а упорядочивающие — когда опре-

деляется и состав, и структурные отношения между элементами проектируемого объекта. Как уже отмечалось выше, развитие прикладной теории математической логики при формализованном описании сборочного пространства предполагает, что после функционального выделения свойств компонент структурных моделей они не зависят от смыслового содержания конкретных объектов моделирования. Поэтому приведенная классификация сочетательных и упорядочивающих моделей распространяется на все виды структурных моделей, модели изделий S (А), технологических и производственных систем 5 (Р), технологических операторов 5 (Т), средств оснащения производства 5 (П) и т. д. Теоретико-множественный и логический уровни моделирования объектов в иерархической системе математического моделирования объектов на различных уровнях абстрагирования удобны для автоматизации решения задач структур проектирования, когда с математической точки зрения изучаемый на любом уровне абстрагирования объект А имеет один и тот же прообраз А ,

Задачи структурного проектирования Типовые математические модели

Сочетательная модель 1 Сочетательные модели 2, 3 Табличная модель 1 Сетевая модель 3 Сетевые модели /, 2, 4, 5 Перестановочные модели 1 4 Перестановочные модели 2., 3, 5, б

Модель Алгоритм Модель 1 а. Модель Ачгоритм Модель Ачгоритм Модель Ачгоритм Модель 1 » а. о <м Модель Алгоритм

1 2 3 4 5 6 1 8 9 10 11 12 13 14

Поиск единственного состава операторов 1 1 1 1 1 1 1 1 1

Определение Вариантов состава операторов 2 1 1 1 1 1

Выбор состава операторов 3 1 1 1

Поиск единственной последовательности операторов 4 1 1

Определение вариантов последовательности операторов 5 1 1 1 1 1 1

Выбор последовательности операторов 6 1 1 1 1

Поиск единственного состава элементов 7 1 1 1 1 1 1 1 1

Определение вариантов состава элементов 8 1 1 1 1 1 1

Выбор состава элементов 9 1 1 1

Поиск единственного состава связей 10 1 1

Определение вариантов состава связей 11 1 1 1 1 1 1

Выбор состава связей 12 1 1 1 1

Рис. 3. Типовая задача структурного проектирования

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

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

Если Ак должен содержать фиксированный набор элементов а. е А, то

л,

а

к

л а,

л ...а,

л, ак,; (2)

,=1 '

если Ак может содержать любой элемент аг е А, то

п

лк = а 1 V а2 V •••ап = \ ак ;(3)

,=1 '

если Ак может содержать только какой-нибудь единственный элемент а., то

лк = а 1V а2V •••ап = V ак . (4)

1 = 1 1

Если в Ак должны входить наборы из п групп элементов вида (3), то

Л = л

, = 1

п { т \

V а

,=1

I

(5)

V'"1 У а если из п групп элементов вида (4), то

л

л , = 1

V а

, = 1

Если Ак может содержать любые наборы групп элементов вида (2), то

п

т

Ak = V , , - ,

г = П г = 1

n ( m

л а

(6)

а если любые наборы из групп элементов вида (4), то

Ak = V1 г = 1

V а

г = 1

(7)

Если Ак может содержать только какую-либо единственную группу элементов вида (3), то

A

V

г = 1

л а

г = 1

(8)

а если единственную группу элементов вида (4), то

A к =

n

V

m

V

а

(9)

В общем случае зависимость между составом контуров Р (Ак) и контурами порождающей модели выражается отношением ^ (Р (Ак)). Эта зависимость по составу сентенциональных связок и смысловому содержанию аналогична отношениям упорядоченного множества контуров соорочной единицы. Аналогично описывается зависимость ^ (Р (а1 )) между независимыми контурами Р (а1). Отношения между Р] (А) и одноименными контурами Р] (а1) элементов А ко виду и смысловому содержанию также аналогичны отношениям в контурах более высокого уровня согласно схемам узловой или агрегатной сборки. Рассмотренные отношения характеризуют логические связи между элементами и контурами проектируемого объекта АЬ и модели порождающей среды. Если реальные отношения ^ (А), ^ (а1), ^ (Р (А)), ЯЬ (Р (а1 )), ^ {Р] (А)) имеют другой вид, то путем чисто формальных преобразований их можно привести к регламентированному виду. Использование логических отношений регламентированного вида расширяет возможности унификации компонентов математического обеспечения САПР.

ЗАКЛЮЧЕНИЕ

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

- глубокую проработку и увязку конструкции самолета уже на этапе проектирования;

- переход к бесплазовому производству, исключение трудоемкой и длительной плазовой увязки;

- "сборку с первого раза", обусловленную глубиной проработки проекта при условии соответствующей организации производства;

- возможность отказа от необходимости постройки физических макетов;

- возможность организации параллельных процессов в проектировании изделия и подготовки его производства;

- управление составом изделия и его модификациями;

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

СПИСОК ЛИТЕРАТУРЫ

1. Калачанов В.Д., Джимай Е.В. Формирование и оптимизация ресурсного обеспечения программ авиастроительного производства // Авиакосмическая техника и технология. 2005. № 4.

2. Егер С.М., Мишин В.Ф., ЛисшщвН.К. и др. [под ред. С.М. Егера] Проектирование самолетов. М.: Логос, 2005. 648 с.

3. Чумадин А.С., ЕршовВ.И., БарвинокВ.А. Основы технологии производства летательных аппаратов. М.: Наука и технологии, 2005. 912 с.

THEORY REPRESENTATIONS MATHEMATICAL MODELS AND SEQUENCES OF PERFORMANCE OF TECHNOLOGICAL OPERATORS OF ASSEMBLAGE OF PLANES

© 2011 F.V. Grechnikov, S.F. Tlustenko

Samara State Aerospace University

Mechanical communications between collected elements of a design of the flying machine are modelled according to the scheme of spatial interrelation of assembly units of a design and initial, boundary conditions. The description of character of movement of an element of a product at assemblage is represented at quantitative level of a trajectory matrixes of conditions agrees the general count of assemblage of a product. Trajectories of movings are described by methods of analytical geometry and matrixes of movings, and also the operators, describing movement as vector size.

Keywords: the operator, transformation, logic level, a contour, structure, interaction, bases.

Stanislav Tlustenko, Candidate of Technics, Associate Professor. E-mail: [email protected]. Feodor Grechnikov, the Member Correspondent of the Russian Academy of Sciences, Doctor of Technics, Professor, Head at the Metal Forming Department