CC BY
46
УДК 621.015
МЕТОДОЛОГИЯ ПРЕДСТАВЛЕНИЯ ТЕНЗОРОВ И ОПЕРАТОРОВ ПРЕОБРАЗОВАНИЙ СБОРОЧНОГО ПРОСТРАНСТВА В ТЕХНОЛОГИЯХ СБОРКИ
ЛЕТАТЕЛЬНЫХ АППАРАТОВ
© 2012 С. Ф. Тлустенко
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Исследованы теоретико-множественные и логические уровни моделирования механических связей между собираемыми элементами конструкции летательного аппарата согласно схемы пространственной взаимосвязи сборочных единиц конструкции изделия при заданных начальных и граничных условиях. Описание характера и траектории движения элемента изделия при сборке представляется на количественном уровне матрицами состояний согласно общего графа сборки изделия. Траектории перемещений описываются методами аналитической геометрии и матриц перемещений, а также операторами, описывающими движение как векторную величину.
Оператор, преобразование, логический уровень, контур, структура, взаимодействие, базы.
В последнее время для ускорения и повышения качества конструкторско-технологических разработок новых изделий используется принцип параллельного инжиниринга на основе метода трехмерной мастер-модели объектов производства в авиастроении. Однако такой подход требует совершенствования математического
аппарата моделирования технологических систем сборки летательных аппаратов (ЛА).
Методы использования мастер-модели позволяют значительно сократить затраты на постановку производства. Практически полностью отпадает необходимость в увязочной оснастке. Если электронные макеты деталей в структуре общей модели увязаны в сборке, полностью отпадает необходимость выполнения плоских и объемных плазов. Использование геометрии с единого математического источника (модели) гарантирует увязку оснастки с высокой точностью, которая определяется только точностью
оборудования, применяемого для
изготовления геометрических элементов оснастки. Изготовление шаблонов выполняется непосредственно с
виртуального макета детали, а при наличии на предприятии координатно-измерительной техники технологический процесс изготовления оснастки может быть построен без использования шаблонов. Особенно больших затрат требует изготовление
объемных плазов для отработки трасс жгутов и труб. При использовании трехмерных электронных макетов значительно упрощается контроль изготовленных деталей и элементов оснастки. Так как макет представляет собой трехмерное изображение математической модели, описанной в пространстве в виде координированных поверхностей, линий, точек, то наличие координат любой точки макета позволяет выполнять вычисление любых заданных размеров и проверку поверхностей с помощью координатно-измерительных машин.
Специфика построения мастер-модели связана с разработкой логико-математических моделей геометрических поверхностей для проверки конструкции на прочность, кинематику и т.д. Если при использовании традиционных методов расчеты на прочность производились в основном для опасных сечений, устанавливаемых априорно, то при использовании электронных моделей проверка прочности производится для всей детали с получением цветной эпюры напряжений. Системы САПР высокого уровня позволяют производить проверку на прочность за несколько минут в течение всего цикла проектирования, например, при выполнении дополнительных отверстий в детали.
Следовательно, выбор
математического аппарата и системы представлений операторов преобразований сборочного пространства связан с общим определением применяемых тензоров и метрических тензоров и условий их применения. Требуемые понятия введем таким образом, чтобы и линейная функция, и билинейная функция, и линейный оператор преобразования в сборочных операциях производства изделий авиационной техники, называемый тензором второго ранга, и многие другие линейные и полилинейные отображения одного сборочного
пространства в другое в общей иерархической структуре можно было включить в единое понятие тензора и оператора преобразований. Тензоры в этом случае отличаются друг от друга типом и рангом. При рассмотрении различных отображений введем следующую
компактную запись:
Ф: Р^ . (1)
В этой записи Р - множество элементов сборок, которое отображается в множество Q, где Q - сборки последующих уровней сложности, Ф - отображение,
р е Р
сопоставляющее элементу элемент
^ е Q : ф(р)=д. Если отображение ф линейное (полилинейное), будем отмечать его надписью над стрелкой. Запись (1) эквивалента утверждению: отображение Ф сопоставляет элементу из пространства (множества) Р элемент из пространства (множества) Q. Состав технологических операторов, реализуемых в процессе
сборки, имеет иерархическую структуру. На верхнем уровне технологические операторы различаются по видам работ: например, при узловой и агрегатной сборке технологический процесс включает в себя следующие операции: подготовка деталей (узлов) к сборке; предварительная установка деталей (узлов); съем деталей (узлов); доводка деталей (узлов); окончательная установка деталей (узлов); выполнение соединений; выемка сборочной единицы из приспособления (стапеля).
Последовательность выполнения указанных операций однозначно соответствует очередности их перечисления. Однако при
этом следует учитывать, что если первая операция (подготовка к сборке) относится одновременно ко всем элементам сборочной единицы, а последняя (выемка из приспособления) — к сборочной единице в целом, то вторая, третья, четвертая и пятая операции выполняются отдельно для каждого элемента сборочной единицы и указанная очередность их реализации сохраняется только применительно к конкретному установленному элементу, а шестая операция распадается на отдельные операции, соответствующие конкретным контурам соединения. Эти особенности выполнения операций сборки связаны с местом контуров, реализуемых тем или иным технологическим оператором, в структуре контуров сборочной единицы. Поэтому при детальном анализе последовательности выполнения
технологических операторов сборки необходимо вместо обобщенного отношения рассматривать эти отношения
применительно к отдельным контурам сборочной единицы А или входящих в нее элементов а^А. Разделим контуры F (А) на две группы:
F (А)0 — совокупность контуров сборочной единицы в целом, т. е. таких, где каждому контуру FjеF(А)0 (1) соответствует конструктивное тело (А,), включающее в себя не менее двух элементов конструкции, входящих в сборочную единицу;
F (А)э = 0 F (а )
(2)
г=1
есть совокупность контуров отдельных элементов конструкции сборочной единицы, рассматриваемых независимо от контуров других элементов.
Поскольку контуры F (А)э состоят из подмножеств контуров F (а^° отдельных элементов конструкции сборочной единицы, последовательность реализации всей группы контуров F (а^° среди контуров F (А) сборочной единицы соответствует последовательности установки элементов А. В состав F (а^° входят контуры формы и положения элемента а^ а также контуры, подлежащие доводке (доработке) в процессе установки: аi е А. Состав и последовательность операторов реализации
0
этих контуров в процессе установки можно определить по табличным, сетевым или перестановочным моделям. Применение сетевых моделей обычно требует детализации особенностей выполнения сборочных операций. Реализация же каждого множества F контуров как единого
целого рассматривается как этап, соответствующий одному обобщенному оператору установки элемента а^ А. Последовательность операторов установки можно определять по табличным или сетевым моделям (при использовании типовых технологических процессов установки) или перестановочным моделям (при проектировании единичных
технологических процессов).
В состав контуров F (А)0 сборочной единицы входят контуры соединений — болтовых, заклепочных, сварных и т. п., а также контуры герметизации, защитных покрытий и другие, относящиеся к сборочной единице в целом. Структура каждого контура соединения достаточно сложна, поэтому информационное представление признаков компонент сборок и схем их соединений в составе и последовательности операторов для преобразований в операциях сборки определяются и упорядочиваются по табличным, сетевым и другим моделям.
Теоретико-множественный и
логический уровни моделирования объектов сборки повышают производительность автоматизированных систем проектирования сборочных процессов, удобны для многообъектного автоматизированного
технологического проектирования
виртуальных технологических систем и при решении задач проектирования структур сборки, когда определяются критерии системы по составу и взаимосвязи элементов проектируемого объекта. В общем случае, для построения структурных моделей объекта проектирования вначале
устанавливаются состав свойств (контуров), по которым могут быть выделены доминирующие признаки проектируемого объекта. Состав таких свойств определяется, в первую очередь, назначением узла или агрегата, его функциями, допустимой
интерпретацией его параметрического представления. Далее выявляется природа отношений, связывающих элементы, и разрабатываются адекватные им контуры геометрических, механических и других связей, где условия сопряжения деталей включают обеспечение необходимых зазоров, натягов в соединениях, которым соответствуют прямые или обратные схемы размерных цепей в данной сборке.
На основе такого анализа определяется возможный состав элементов проектируемого объекта и строится модель порождающей среды, в которой будет осуществляться синтез модели объекта сборки. Порождающая среда должна включать в себя данные о предметной области, к которой относится объект, о существующих и разрабатываемых структурных моделях объекта, известные или прогнозируемые отношения и связи между элементами и свойствами объекта и внешней средой. На базе этих данных создается математическая модель, охватывающая ту информацию о порождающей среде, которая может быть формализована и представлена средствами системы проектирования. С целью унификации средств обеспечения САПР отношения RS (А), RS ^ (А)), RS (А, F (А)) и другие путем эквивалентных
преобразований могут быть приведены к регламентированному виду. В результате структурные модели порождающей среды превращаются в типовые математические модели системы, на основе которых создаются унифицированные компоненты математического, информационного и программного обеспечения САПР.
Отличительной особенностью
системы является полное отделение математических моделей и алгоритмов проектирования от семантического содержания данных о конкретных объектов проектирования, что позволяет использовать одни и те же математические модели и алгоритмы для проектирования разнородных объектов. Это позволяет создавать типовые математические модели порождающей среды, инвариантные к конкретным объектам проектирования. Математическая
модель S (А) объекта А в общем случае имеет вид:
S (А) = {А, ^ R}, (3)
где А — множество элементов; F — множество контуров; R — множество отношений.
В этой модели А есть отображение элементов реального объекта А, F — отображение контуров F и R — отображение отношений между элементами и контурами объекта А. В состав контуров модели, наряду со свойствами элементов объекта, входят свойства, характеризующие взаимодействие объекта с внешней средой: Fвх — входные данные, Fвых— выходные данные, Fyпр — управляющие воздействия, Fвоз — возмущающие воздействия. Некоторые элементы модели S(A) в конкретных случаях могут быть представлены в неявном виде или вообще отсутствовать. Отсутствующий элемент модели представляют как пустое множество, например, А = 0 или Fвх = 0, Fyпр = 0. Модель S (А) порождающей среды служит для проектирования объектов Ак с составом элементов Ак — А. Одна модель S (А) порождающей среды содержит данные о множестве {А1, А2, ..., АN} проектируемых объектов. Построение такой модели основано на свойствах эквивалентности элементов аi е А, входящих в различные объекты.
Особенно важное значение при автоматизированном проектировании имеют модели, отражающие структуру объектов проектирования. Каждая такая модель S (А) содержит состав элементов А, входящих в проектируемые объекты Ак,, матрицу контуров, теоретико-множественные
логические и количественные отношения между элементами А и контурами F (А), определяющие состав и все свойства проектируемых объектов Ак. Структурные модели порождающей среды
классифицируются в зависимости от способа задания отношений смежности и порядка между элементами модели S (А), отношений смежности и порядка элементов проектируемого объекта Ак, состава и числа элементов в различных вариантах А). Если отношение смежности между элементами модели задано в виде графа G=(A, С), то
модель будет связанной, а если граф G = (А, С) не задан, то модель будет несвязанной. В зависимости от наличия отношений смежности и порядка между элементами проектируемого объекта Ак все модели порождающей среды разделяются на сочетательные и упорядочивающие. Сочетательные модели применяются в тех случаях, когда определяется только состав элементов проектируемого объекта, а упорядочивающие — когда определяется и состав, и структурные отношения между элементами проектируемого объекта. Как уже отмечалось выше, развитие прикладной теории математической логики при формализованном описании сборочного пространства предполагает, что после функционального выделения свойств компонентов структурных моделей они не зависят от смыслового содержания конкретных объектов моделирования. Поэтому классификация сочетательных и упорядочивающих моделей распространяется на все виды структурных моделей — модели изделий S (А), технологических и производственных систем S (Р), технологических операторов S (Т), средств оснащения производства S (П).
Для повышения эффективности автоматизированного проектирования
логические отношения между элементами и контурами модели порождающей среды и проектируемых объектов приводят к регламентированному виду, отражающему реальные свойства этих объектов. Так, зависимость между составами элементов проектируемого объекта и порождающей среды выражается отношением RL (Ак) в следующем виде: если Ак должен содержать фиксированный набор элементов аi еА, то
Л% = а% л а а ...а,, = а а
i=1
% .
(4)
Если А)! может содержать любой элемент аi еА, то
Л% = а, V а2 V ...а
% 12 п
\= 1 ак, . (5)
I=1 '
Если Ак может содержать только единственный элемент ai,то
Л% = а 1V а 2 V ...ап =У а% . (6)
'=1
2
т
Если в Ак должны входить наборы из п групп элементов вида (3), то
п { m Л
(7)
Л = Л
" 1=1
V а
1=1 1
у
Если из п групп элементов вида (4), то
п { m \
V а
1 =1
ак = л
k 1=1
V
(8)
у
Если Ак может содержать любые наборы групп элементов вида (3), то
п ( m л
Ak = V
л ak
= k
V'"1 У Если любые элементов вида (3), то Л m Л
V a,
Ak = V
k 1=1
1 =1
. (9)
наборы из групп
(10)
Если Ак может содержать только какую-либо единственную группу
элементов вида (2), то
п { m \
Ak = V
" 1=1
л ak
1=1 k
(11)
Если единственную группу элементов вида (3), то
п ( ш Л
\ = V
1=1
V а. 1=1
(12)
V'"' У
Если зависимость между составом контуров F(Ak) и контурами порождающей модели выразить отношением RL (Р (Ак)), то аналогично зависимость RL (F (аi )) между контурами F (аi) можно выразить отношением между Fj (А) и одноименными контурами Fj (аi) элементов А, которые по виду и смысловому содержанию также аналогичны отношениям (4) ... (6). Рассмотренные отношения характеризуют логические связи между элементами и контурами проектируемого объекта А)! и модели порождающей среды. Если реальные отношения RL (А), RL (а), RL (F (А)), RL (F (аi )), RL {Fj (А)) имеют другой вид, то путем чисто формальных преобразований их можно привести к регламентированному виду. Совершенствование методики использования логических отношений регламентированного вида позволяет расширить возможности унификации компонентов математического обеспечения
САПР. По семантическому содержанию структурные модели можно разделить в зависимости от вида моделируемых объектов на:
-структурные модели объектов (систем, изделий и их частей, средств оснащения производства), отражающие состав, взаимосвязь и свойства элементов этих объектов;
-структурные модели процессов функционирования объектов и систем, отражающие состав, взаимосвязь и свойства элементов процесса функционирования.
По функциональному назначению структурные модели можно сгруппировать в зависимости от задач, которые решаются с применением этих моделей, на:
-модели конкретных объектов или процессов, используемые при формировании исходных данных для решения прикладных задач;
-модели порождающей среды, используемые для поиска или синтеза структуры многих объектов (процессов).
Наиболее сложными являются структурные модели производственных систем (проектных, технологических), так как в них отражаются не только собственные свойства этих систем, но и взаимосвязь их со свойствами объектов производства при изменяющихся критериях качества.
При проектировании объекта Ai по модели порождающей среды исходным условием служит требуемый состав контуров F (А^ этого объекта; результатом проектирования является структура Ai , элементы которой реализуют контуры F (А^. Поэтому Ai может быть спроектирован только в том случае, если F (А^ является подмножеством контуров F (А) модели и требуемые теоретико-множественные
отношения между контурами объекта также являются подмножеством отношений между элементами модели. Кроме того, необходимо, чтобы требуемые логические отношения между контурами объекта Аi были выводимыми из логических отношений между контурами модели.
Если представить процесс
проектирования в виде последовательности проектных операторов тк, воздействующих на модель проектируемого объекта Аi и
осуществляющих преобразование модели из предшествующего (А^к-1 в последующее (А^к состояние, то содержание этих преобразований зависит от уровня и цели моделирования. На структурном уровне преобразования состава элементов объекта, его контуров и бинарных отношений между элементами и контурами можно выполнить по схеме: исключение из Аi элемента а^ добавление в Аi элемента а^ замена в Аi элемента ai на aj; исключение в матрице связи между ai и а,, т. е. замена сад=1 на ci(j)=0; введение связи между ai и а,, т. е. замена 0 на 1; исключение из F
(Аi) контура Fi; добавление в F (Аi) контура Fj; замена в F (Аi) контура Fi на Fi и т. д.
Следствием изменения структуры элементов объекта является изменение структуры его контуров: например, введение нового элемента ai в конструкцию изделия Аi требует введения контура сопряжения ai с другими элементами конструкции. Преобразование исходной модели Аi может осуществляться и путем преобразования структуры контуров F (Аi). Возможны также преобразования моделей на уровне логических и количественных свойств и отношений.
В общем случае воздействие проектного оператора тк описывается отношением:
F (Л')% = R (F (Л')%_ 1, F (т% ). (13)
При проектировании объекта Аi по структурной модели вместо воздействия гк можно принять воздействие на (А^к-1 элемента модели ак. В этом случае вместо отношения (10) будет использоваться отношение вида
F (Лг)% = R (F (Лг)%_1, F (а% ). (14)
Необходимым условием,
определяющим возможность использования модели порождающей среды с составом контуров F (А) для проектирования объекта А^ являются отношения вида:
F(Аi)—F(A);F(Ai)=F(A) л F(Ai). (15)
Для математического представления отношений (10), (11) при проектировании объекта Ai по структурной модели эффективны теоретико-множественные и логические отношения между контурами проектируемого объекта и его структурной
моделью. При этом использование двух форм представления связей между контурами проектируемого объекта и модели порождающей среды — дизъюнктивной и конъюнктивной □ определяется следующими условиями: дизъюнктивная форма связи применима только в тех случаях, когда любой контур объекта реализуется единственным элементом; если для реализации контура необходимо несколько элементов, то применяется конъюнктивная форма связи.
Следовательно, математические
модели могут включать в себя все три уровня описания: количественный, логический, теоретико-множественный. Все это позволяет построить конкретную сложную количественную модель на теоретико-множественном, логическом и количественном уровнях. Важным элементом методики построения
количественных моделей является содержательный и формальный анализ процесса проектирования, методов принятия решений и методик расчета с целью унификации вычислительных процедур, расчетных формул, состава и способов представления данных, что позволяет повысить не только эффективность самих расчетов, но и эффективность автоматизированного проектирования в целом.
Способы выбора взаимосвязи компонентов структурных и количественных моделей должны обеспечивать комплексное решение задач определения возможной структуры объекта проектирования, расчет числовых величин соответствующих параметров и выбор оптимальной структуры объекта, который моделируется, например, с помощью булевых матриц. В качестве структурных элементов выступают элементы и контуры структурной модели (с учетом структурных связей между ними), а количественными элементами являются ра с ч етны е формулы и соотношения числовых значений параметров, образующие количественные массивы в информационном обеспечении САПР. Это определяет структуру и семантическое содержание данных о модели порождающей среды и
объектах проектирования, что позволяет строить по блочному принципу те компоненты информационного обеспечения, которые соответствуют компонентам математического обеспечения. В этом случае математические модели и данные, описывающие их смысловое содержание применительно к конкретным объектам проектирования, оказываются органически взаимосвязанными друг с другом и с модульной системой программного обеспечения.
Характер принадлежности величин к различным уровням абстрагирования определяет использование следующих индексов: Б — теоретико-множественная величина; L — логическая величина; N — количественная величина; W — лингвистическая величина.
Лингвистическими величинами являются элементы естественного языка,
используемые при описании объекта моделирования.
Основными математическими
объектами являются: Б — множество; V — вектор (упорядоченное одномерное множество определенной размерности); М — матрица (упорядоченное двумерное множество определенной размерности, где элементы строк и (или) столбцов связаны некоторым отношением) или таблица (двумерное множество); G — граф; R — отношение (функция, формула).
Для описания математических объектов с учетом уровня абстрагирования рассматриваемых величин используем два символа. Первый характеризует объект, а второй — входящие величины следующего содержания: ББ — множество теоретико-множественных величии; SN — множество (список) количественных величин; "УЪ — логический вектор (булев вектор); VN — числовой вектор; VW — вектор лингвистических величин (лингвистический вектор); МЬ — матрица логических величин (булева матрица); М№ — числовая матрица (таблица); RS — теоретико-множественное отношение (формула^^^ — логическое отношение (формула, функция);ЯК — количественное отношение (формула, функция) . Тогда Булева матрица соединений имеет вид:
а1 а2 . ап
с1(1) С1(2) . . С1(п) а1
[А х А] = С2(1) С2(2) . . С2(п) а2
сп(1) сп(2) . . сп(п ) ап
1 (1)
В зависимости от физического содержания, например, расчета
трудоемкости сборочных процессов, может быть построена логическая
прследовательность сочетаний элементов сборок для четных и нечетных строк матрицы, что обеспечивает практическое применение предложенного подхода к проектированию САПР сборки летательных аппаратов.
Соответственно при определении граничных условий и постановке задач многокритериальной оптимизации
технологического процесса уточняется множество М = { т1, ..., ms} методов сборки конкретного узла или изделия, где каждый метод т е М оценивается с помощью адекватных критериев F1 (х), ... , Fn (х). Без ограничения общности доказательств рассмотрим пример логической связи трех переменных х,у,и, для которой должно выполняться условие:
\тх (х)]л[ш (у)]л[ш„ (и)] = и .(16)
При условии, что тх < • ту < • ти, имеем:
{([шх (х)]Л\Шу (у)]Л[Шх <'Шу ]) =>(х ^ у)} ,(17)
(\шу (у)\л\ши (и)]л[шу <т]) =>(у ^ и)}. (18)
Таким образом, кванторы общности задают ту область переменных при проектировании технологических связей, для которых выполняются условия постановки задачи оптимизации схемы сборки объекта. В зависимости от уровня структурирования технологической системы сборки
соответственно решением задачи на множестве Х может являться множество технологических операций, которые формируются из переходов, а решением задачи на множестве Y - множество последовательностей технологических
переходов, которые, в свою очередь, обеспечивают решение задачи на множестве элементарных преобразований сборочного пространства и при формировании 106
А
содержания и последовательности технологических операций, что исключает из рассмотрения ряд нерациональных технологических операций.
Такой подход к анализу задач технологического проектирования,
проведенный с точки зрения теорий математической логики и множеств, позволяет снять многозначность со слабо
определенных технологических понятий, дать ответ на вопрос об отношении понятий и их возможной взаимосвязи друг с другом для конструктивного решения задач проектирования сборочных операций.
METHODOLOGY FOR THE SUBMISSION OF THE TENSORS AND OPERATORS OF ASSEMBLY SPACE TRANSFORMATIONS IN THE TECHNOLOGIES OF AICRAFT
ASSEMBLY
© 2012 S. F. Tlustenko
Samara State Aerospace University named after academician S. P. Korolyov (National Research University)
Investigated the set-theoretic and logical levels of modeling of mechanical connections between structural elements collected by the aircraft in accordance with the scheme of the spatial relationship of assembly units of a product design with the given initial and boundary conditions. Description of the nature of the element of motion in the assembly product is a quantitative trajectory matrices of states according to the general assembly of a product graph. The trajectories of motion are described methods of analytic geometry, matrices and displacement, as well as statements that describe the movement as a vector quantity.
Operator, the transformation logic level, circuit structure, the interaction framework.
Информация об авторе
Тлустенко Станислав Федотович, кандидат технических наук, доцент кафедры обработки металлов давлением, Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет). E-mail: titan250@mail.ru. Область научных интересов: исследование взаимосвязи механических свойств материалов от состава, процессов литья и обработки металлов давлением
Tlustenko Stanislav Fedotovich, Candidate of Technical Science, Associate Professor, Samara State Aerospace University named after academician S. P. Korolyov (National Research University). E-mail: titan250@mail.ru. Area of research: interdependence of mechanical properties of materials on the composition, casting processes and metal forming.
