Глава 15. Автоматизация проектирования процессов сборки. Математическая модель сборки и ее свойства.

Синтез технологических процессов - один из ответственейших этапов разработки ЛА. Можно выделить несколько видов задач синте­за технологии. Например, синтез технологии на первом уровне пред­полагает принятие таких технологических решений, которые не при­водят к изменению параметров конструкции, а направлены лишь на снижение технологической себестоимости, улучшение условий труда и т.д. К задачам технологического синтеза второго уровня следует отнести решения, связанные с изменением параметров конструкции. К ним относятся поиск и разработка технологических методов повы­шения качества и надежности конструкции, обеспечение ее технологич­ности и т.д. Задачи технологии третьего уровня отражают технологи­ческие решения, приводящие к изменению механики и аэромеханики ЛА при его эксплуатации. И, наконец, к задачам синтеза технологии высшего уровня можно отнести ее технологические решения, приводя­щие к изменению тактико-технических характеристик ЛА, требуя тем самым исследований функционирования ЛА как системы.

Решения перечисленных задач технологии требуют, прежде всего, геометрического изображения ЛА в ЭВМ для отработки на нем соответ­ствующих принимаемых решений. Для этого наиболее подходящим мето­дом представления ДА в ЭВМ является формальное описание.

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

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

Очевидно, в этом случае нам необходимо построить некоторую среду, которая обеспечивает достижения сборки.