Научная статья на тему 'Методология построения и оптимизации формализованного описания математических моделей изготовления агрегатов летательных аппаратов'

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

CC BY
164
32
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СБОРОЧНЫЕ ОПЕРАЦИИ / ОПЕРАТОР / ПРЕОБРАЗОВАНИЕ / ТОЧНОСТЬ / КОНТУР / СТРУКТУРА / АЛГОРИТМ / БАЗЫ / МАТРИЦЫ / МОДЕЛИ / OPERATOR / TRANSFORMATION / LOGIC LEVEL / CONTOUR / STRUCTURE / INTERACTION / BASES

Аннотация научной статьи по математике, автор научной работы — Тлустенко Станислав Федотович

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

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

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.

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

УДК 658.512:621.452

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

© 2014 С. Ф. Тлустенко

Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)

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

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

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

Модель системы ТП в виде графа позволяет ввести индексные функции показателей производственных переходов в виде связей по дугам графа £(х^), которые могут иметь достаточно сложный вид. Функции задаются аналитически или алгоритмически.

Для процессов преобразований сборочного пространства при выполнении ТП операции представляются как п-шаговый процесс реализации решений с операторами переходов 4 = I (ч-1 ,и]) = X-1 + и] = X. Результат перехода определяется функцией:

1 (Ч-1, и3 ) = 1 {X-1, X (и! )} .

Тлустенко Станислав Федотович, кандидат технических наук, доцент кафедры обработки металлов давлением. E-mail: [email protected]

Одной из оценок достоверности модели является сумма всех погрешностей Х(1) =£ Л. + О;, где Л. - внешние факторы, С; - параметры исходной модели технологии сборки. Тогда законы распределения погрешностей по времени течения ТП могут быть достаточно разнообразными и в наиболее объективной форме имеют вид:

^ I;

1

F ~Мо

-C , (01

2а0

h - Ч 0

,у[2п

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

Беллмана, согласно которому каковы бы ни были начальные состояния на любом шаге и управление, выбранное на этом шаге, последующие управления должны определяться как оптимальные относительно состояния, к которому придет система в конце данного 1-го шага. При этом гарантируется, что управление, выбранное на любом шаге, не локально лучшее, а лучшее с точки зрения процесса в целом. Функция дискретного перехода соответствует содержанию задачи и адекватному переходу в системе автоматизированного проектирования технологических процессов (САПР ТП) сборки.

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

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

*и (х- ) =

тах <

,I = 1,2....,п, (1)

(Х-^ х (и ))-+Ъ ( ( ))

где Р - функция качества перехода, и Еп (хп) = 0 Для обеспечения процесса шаговой оптимизации ТП вводим ограничения на множество допустимых путей переходов состояний в виде дуг графа как множества решений соответствующих задач. Узлы, сгруппированные по уровням, соответствующим шагам переходов, образуют множества х0, х,..., хк , где х0 и хк содержат по одному узлу. Параметры дуг рассчитываются по специальным алгоритмам для исследуемых множеств.

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

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

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

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

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

Рассмотрим параметрические формы а1 (А1, А2,t) и а2 (А3, А4, t) , описывающие состояния ТС:

) = А + А2 w¡2(ty,

) = А3 - А4м>'2(г),

(2)

где - динамика выполнения операции; и -динамика подготовки производства для выполнения операции; А1 - параметр ресурсов; А2 -параметр эффективности; А3 - параметр, характеризующий индекс качества операции; А4 - параметр, характеризующий неустойчивость по некоторому критерию операции (фактор рисков). Уравнение, описывающее состояние ТС, представляет частный случай уравнения Рикка-ти, которое в первом приближении решается в квадратурах, причем считаем, что и тЬ(1) -наблюдаемые фазовые координаты соответствующих векторов состояний в начале или в конце фиксированного промежутка времени наблюдений за группой а1 (А1, А2, t), а2 (А3, А4, t).

В качестве достаточных приближений значений для т(Ь) и тЬ(р) в детерминированных усло-

виях процесса выбираем:

ж,

(г) = tg (у1 А1 Л2г)

ж* (г) = гкЦ А3 Л4г)

(3)

(4)

Решения уравнений (1)-(2), полученные для wb(t) и w(t), удовлетворяют аналогичным уравнениям в определённой метрике t.

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

При более точных условиях измерения фазовых координат wb(t) и w(t) в этом случае исходные уравнения имеют вид:

wb (г) = Л + Ам?ъ (г)+Л5 8т[м>ъ (г)г +

* *

Фъ0~\а (г)- А^К(г)г + ф0\в (г);

(5)

латуры поставок материалов и комплектующих, А6 - параметр, характеризующий степень освоения в цехе указанных сборочных процессов, А7 -параметр, учитывающий возможные переналадки и переустройства рабочих мест исполнителей, Фъ0 - начальная фаза сезонных изменений.

Сгруппировав слагаемые ряда в уравнениях (5)-(6) по степеням г : г,г3,..., т. е., получаем несколько уровней классификации состояния системы ТП. Получение решения в виде ряда по степеням t определяет, какие параметры влияют на форму кривых wb (г) и w (г), одновременно формируя управляющее воздействие для получения нужных форм Wb (г) и w (г). Форма фазовой координаты wb (г) в данном случае является искомой для текущего фазового пространства состояний сборочных позиций.

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

w (г) = А + Л4w¿(г) - wъ (г)А6 +

*

А781и[w*(г)г + фъ0\а (г) + (6)

*

- А сс8[ w*0г )г + Фъо\ в (г),

где а* (г) - функция, учитывающая характер поставки материалов и комплектующих, изменения конструкторско-технологической информации и др. полученная после подстановки Wъ (г) и w(г) в уравнение, описывающее характер коле.. *

баний по а ; в (г) - функция, характеризующая поставки для последующих процессов сборки при установленной их ритмичности, получаемая после подстановки Wъ(г) и w (г) в уравнение динамики колебаний по в; A5 - параметр, характеризующий устойчивость операции при межцеховых колебаниях объёмов и номенк-

л!

(7)

(Р + Л) я+1'

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

Ортогональные тензоры Q: е_д > Е осуществляют повороты и зеркальные отображения (рис.1), при этом они сохраняют длины векторов, углы между ними и переводят один ортонор-мированный базис в другой. Определим понятие инвариантности тензора А: е_Д_> Е относительно ортогонального тензора Q: е_Д_> Е.

Определение 1. Тензор А называется инвариантным относительно тензора О, если А удовлетворяет равенству

* ¿(У)

----к.

Л(х)

Е

Рис. 1. Вариативные преобразования технологического пространства сборки

А = о о А о о-1. (8)

Уточним геометрический смысл этого понятия. Пусть Q - ортогональный тензор, осуществляющий поворот любого вектора в пространстве Е (ЛшЕ=3) на заданный угол вокруг оси, ортогональной плоскости чертежа (рис. 1).

Воспользуемся для наглядности искусственным построением: несмотря на то, что Q действует из пространства Е в пространство Е, будем считать, что Q действует из пространства Е в пространство Е и "забудем" на время, что Е= Е. Е -"повернутое" пространство, в которое оператор Q: е_л- > Е переводит пространство Е.

Обратный оператор О-1 : Е —^^Е возвращает пространство Е в исходное. Пусть на пространстве Е задан тензор А: е_л- > Е. Найдем

в "повернутом" пространстве Е такой тензор

А : Е_л' > Е, который оказывал бы на любой

вектор х е Е такое же действие, которое оказывает тензор А на прообраз вектора х (т.е. на вектор у = О-1 (х) ) в пространстве Е. Искомый тензор А должен удовлетворять равенству Ух е Е А(х) = О(А(у)) = о(а(О -1 (X))), которое эквивалентно тензорному равенству

А = о о А о о-1. ~

Отождествим векторные пространства Е и Е (они в действительности неразличимы), в результате (3') переходит в (3). Рис.1 демонстрирует геометрический смысл понятия инвариантности тензора относительно ортогонального преобразования. Ортогональный тензор Q, относительно которого тензор А инвариантен, принято называть симметрией тензора А. Понятие инвариантности тензора А относительно ортогонального тензора Q обобщается и на тензорные функции.

Определение 2. Отображение Р: £(Е) ^ £(Е) (называемое также тензорной функцией) инвариантно относительно ортогонального тензора О е .КЕ), если оно удовлетворяет равенству

У А е £(Е), О о Б(А) о О-1 = о А о О-1) . Определение 3. Отображение Р: £(Е)> £(Е)

инвариантно, если оно инвариантно относительно любого ортогонального тензора О е £(Е), т.е. для любого ортогонального О е £(Е), для УА е £(Е)

О о Б(А) о О-1 = о А о О-1) . (9) Требование инвариантности отображения является настолько жестким, что в ряде случаев оно позволяет сразу выписать явный вид инвариантного отображения. Далее показано, что любое инвариантное отображение Р симметричных тензоров Б е £(Е), Лше=3 может быть представлено в виде

Б(8) = а1 + РБ + уБ2,

причем от Р не требуется ни линейности, ни возможности представления в виде ранга по степеням 8 при анализе инвариантных отображений удобна следующая лемма:

Лемма 1. Если пространство Е раскладывается в прямую сумму Е = Е1 Ф Е2 Ф...Ф Ек попарно ортого-нальных подпространств, каждое из которых инвариантно относительно тензора А, и если отображение Р: £(Е)> £(Е) инвариантно, то подпространства Е1....Е к инвариантны и относительно тензора Р(А).

Доказательство. Нетрудно видеть, что лемму достаточно доказать для двух взаимно ортогональных инвариантных относительно А подпространств Е1з Е 2 таких, что Е = Е1 Ф Е 2.

Зададим два невырожденных отображения О1:Е ^Е и О2:Е ^Е:

Г-1 на Е1 1 1 О1 = ^ 1 ¡^ О-1 = О1 на Е;(10) [ I на Е 2 ]

Г-1 на Е11 1 О 22 = \Т ъ ^ О-1 = О2 на Е . (11) [ 1 на Е 2 ]

Легко проверить, что они являются ортогональными. (Например, достаточно убедится в выполнении необходимого и достаточного условия ортогональности Q•Q*=I). Из ортогональности отображения следует его линейность, таким образом, отображения О2 - ортогональные тензоры. Воспользуемся инвариантностью Р относительно любого ортогонального тензора, в частности, относительно ортогонального тензора О1 =10, и докажем инвариантность подпространства Е1 относительно тензора Р(А).

Инвариантность подпространства Е1 относительно тензора А и равенство Е = Е1 Ф Е 2 позволяют записать

УхеЦ Ах)еЦ ВДх)=у+^ Инвариантность отображения Р относитель-

(12)

но Q1 приводит к равенству

У А Q1 о Б(Л) о Q1-1 = о А о Q1-1). (13) Найдем значения левой и правой частей (13) для произвольного вектора х е Е1: Ух е Е1

, -1,

Ql о Б(Л) о QГ1(х) = Ql о Б(Л)(-Х1)= = ^ + 2) = У - 2.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(14)

Чтобы найти значение правой части (13) от х е Е1 , заметим, что тензоры Л1б и

« оЛ о Ql-1)

Б,

индуцированные на инвари-

антном относительно тензора А и относительно тензора ^ о Л о Q1-1) подпространстве Е1, это позволяет записать Ух е Ех

F(Ql о Л о Ql-1)(х) = Б(Л)(Х) = у + 2. (15)

Из равенств (13)-(15) следует соотношение у - 2 = у + 2 (у е Б1, 2 е Б2), которое возможно только при 2 = 0 , что равносильно утверждению У, х е Е1 Б(Л)(Х) = у е Б1, доказывающему инвариантность подпространства Е1 относительно тензора Р(А). Аналогично с помощью ортогонального тензора Q2 (11) доказывается инвариантность подпространства Е 2 относительно тензора Р(А).

Далее нас будут интересовать инвариантные отображения симметричных тензоров. Один из признаков симметричности тензора формулируется следующим образом.

Утверждение 1 (о симметричных тензорах). Тензор § : б_д > Е симметричен тогда и только тогда, когда существует ортонормированный базис пространства Е, состоящий из собственных векторов 8.

Лемма 1 и это утверждение позволяют для любого симметричного тензора 8 достаточно просто доказать симметричность тензора Р(8) и его соосность с тензором 8 для любого инвариантного отображения Р.

Определение 4. Симметричный тензор А е £(Е) коллинеарный симметричному тензору В е £(Е) если любой собственный вектор тензора В является и собственным вектором тензора А.

Замечание. Отношение коллинеарности не является достаточным признаком симметрии, т.е. из того, что тензор А коллинеарный тензору В, еще не следует, что тензор В коллинеарный тензору А в моделях технологических преобразований сборочного пространства. Например единичный тензор в соответствии с опр.4 коллинеарный любому симметричному тензору, обратное, очевидно, неверно.

Утверждение 2 (о коллинеарности тензора Р(8) тензору 8). Для любого симметричного тен-

зора 8 и для любого инвариантного отображения Р: £(Е) _ £(Е) тензор Р(8) симметричен и коллинеарный с тензором 8.

Доказательство. Ограничимся случаем трехмерного пространства (^шЕ=3). Пусть 8 - симметричный тензор. По утв.1 существует базис (п1, п2, п3) пространства Е, состоящий из единичных собственных векторов тензора 8. Подпространства Б1, Б2, Б3, заданные векторами (п1, п2, п3) соответственно, однозначно инвариантны относительно 8 и, кроме того, попарно ортогональны и одномерны, что позволяет представить Е в виде их прямой суммы Е = Е1 0Е2 0Е3.

Из леммы 1 следует, что подпространства Е1 , Е2 , Е3 для инвариантного отображения Р также инвариантны относительно тензора Р(8), а это означает, что векторы (п1, п2, п3) - собственные векторы тензора Р(8), действительно

(16)

пк е Бк ^ Б(Б)(пк) = у е Бк ^ Б(Б)(пк) = в А

Таким образом, для тензора Р(8) найден ортонормированный базис (п1, п2, п3) пространства Е, состоящий из собственных векторов Р(8), следовательно (утв.1), тензор Р(8) симметричен. Докажем соосность симметричного тензора Р(8) симметричному тензору 8. Для этого в соответствии с определением 3 достаточно доказать, что любой собственный вектор и тензора 8 будет и собственным вектором тензора Р(8). Пусть L -линейная оболочка вектора и, т.е. одномерное подпространство, натянутое на вектор и.Обозначим Ь* - ортогональное дополнение к L. Легко показать, что из того, что 8 - симметричный тензор, следует, что подпространство Ь инвариантно относительно 8, очевидно). Лемма 1 позволяет утверждать, что подпространства Ь и Ь* инвариантны также и относительно тензора Р(8). Поскольку подпространство Ь по построению одномерно, то (см.(16)) и е Ь _ Б(8)(й) = в и, т.е. и - собственный вектор и тензора Р(8), что доказывает соосность тензора Р(8) тензору 8. Доказанного утв.2 практически достаточно, чтобы выписать явное выражение тензора Р(8) через тензор 8 при сделанных предположениях. Особенно просто это в случае линейного отображения Р.

Разложение произвольного тензора А е £(Е) по диадному базису имеет вид

А = ЕЕ аьЛ ® 1Г

(17)

кт

коэффициенты матрицы тензора А в произвольном ортонормированном базисе (¡1, /2, /3) пространства Е. Проверка базиса на оптимальность сводится к поиску экстремума адекватных функционалов. Для симметричного тензора 8

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

8 = Х1п1 ® п1 + X2п2 ® п2 + X3п3 ® п3 . (18)

Х1з X2, X3 - собственные числа 8, среди которых могут равные. Тензор Р(8) соосен с тензором 8 согласно утверждению 2, следовательно, тензор Р(8) имеет диагональную матрицу в базисе (п1, п2, п3) и для него возможно разложение по тем же трем диадам:

Б(8) = а1п1 ® п1 + а2п2 ® п2 + а3п3 ® п3. (19)

В дальнейшем используется утверждение, представлю и самостоятельный интерес.

Утверждение 3 (об ортогональном преобразовании диады).

Уа,Ь е Е, ШшЕ = 3, У ортогонального тензора О е £(Е)

О о а ® Ь о о-1 = О(а) ® о(Ь) (20)

Доказательство.

(О о а ®Ь о О-1)(Х) = (О о а ®Ь)(О-1(Х))=

Ух е Е

=о(а(Ь • О-1(Х)))

Учтем,что число, равное скалярному произведению Ь • О-1 (х), можно представить в виде

Ь • о-1(Х) = Ь • о* (X) = О(Ь) • х.

Так как тензор Q ортогональный и, следовательно, О-1 = О* . Используя это представление, получим равенство

_ (О о а ® Ь о О-1 )(х) = О(а(О(Ь) • X)) =

Ух е Е _

= (О(а) ® О(Ь))(х) ,

доказывающее утверждение 3.

Метод, с помощью которого в исчислении

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

Р(х, у) ^ Р(х, у, 8). (21)

В общем случае п-местный предикат Р заменяется на п+1 - местный, всегда оставляя последнее место для последующей переменной состояния 8, ассоциированной с этим предикатом Р. Содержательно это заключается в том, что в некотором абстрактном сборочно-монтажном пространстве переменную состояния может принимать значения 81, 82,83... 810... Эти состояния характеризуют определенную реализацию связей в узле, которая приводит к реализации сборок компонент с новыми свойствами, к возникновению последующей структуры сборок. При этом повышается устойчивость складывающихся взаимодействий между компонентами и дискретными сборками этих компонент. Таким образом, происходит процесс связывания компонентов в узлы и далее в более сложные устойчивые сборки, модули, свойства которых согласованы с электронной моделью некоторого агрегата или системы.

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

1. Коротнев Г.И. Топологические и тензорные методы описания производства летательных аппаратов // Полет. 2003. №4. С. 17-23.

2. Ульянов, М.В. Ресурсно-эффективные компъютер-ные алгоритмы. Разработка и анализ. М.: Физмат -лит, 2008. 304 с.

3. Лазарсон Э.В. Теория и методы решения многовариантных неформализованных задач выбора: моногр. Пермь: Изд-во Перм. гос. техн. ун-та, 2008, 270 с.

4. Сизиков А.П. Математические методы и программные средства оптимизации. Самара: Изд-во Самарского гос. эконом. ун-та, 2007, 330 с.

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

© 2014 S. F. Tlustenko

Samara State Aerospace University named after Academician S.P. Korolyov (National Research 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. Key words: The operator, transformation, logic level, a contour, structure, interaction, bases. Stanislav Tlustenko, Candidate of Technical Science, Associate Professor at the Metal Forming Department. E-mail: [email protected]

i Надоели баннеры? Вы всегда можете отключить рекламу.