Проектирование на основе методов типизации

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

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

Если известно множество индивидуальных маршрутов М1, М2,..., Мn(1...n - номера индивидуальных маршрутов для группы деталей) для данной группы деталей, то обобщенный маршрут М^* может быть формально описан следующим выражением(рис.10.1)

М^*= , где n->max

Рис.10.1 Схема объединения индивидуальных технологических маршрутов в обобщенный технологический маршрут

Рис.10.2 Схема пересечения технологических маршрутов с образованием области пересечения операций

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

 

 

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

 

/Mпер/=

 

Мощность пересечения в обобщенном маршруте должна стремиться к максимуму(рис.10.2). Это будет основным условием объединения нескольких индивидуальных маршрутов в обобщенный. Тогда мощность обобщенного маршрута

 

должна стремиться к минимуму.

 

Логические условия назначения операции в маршруте

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

разделить на ряд групп(рис.10.3). В общем случае логическая функция выбора k-й операции

 

где Ai - условие из справочника логических условий для группы деталей;

i - количество условий, связанных конъюнкцией; j - количество сочетаний, связанных дизъюнкцией.

Логические условия, влияющие на включение операций в технологический маршрут: -Геометрия поверхности -Вид заготовки -Точность обр.-Качество пов.-Разм. партии -Габариты детали -Сочетание условий

 

 

Формирование обобщенного маршрута. Синтез технологических маршрутов

Формирование обобщенного маршрута начитают в принципе с любого имеющегося Mi, принимаемого за базовый. В него последовательно вставляются недостающие операции всех присоединяемых Mj маршрутов.

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

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

На рис.10.4. показана схема построения обобщенного маршрута. К базовому маршруту Mi присоединяется маршрут Mj и в результате получается обобщенный маршрут М^* . Заштрихованные области показывают эквивалентные операции, которые определяют мощность пересечения маршрутов. Эквивалентность операций устанавливается по совпадению кодов.

Синтез технологических маршрутов

Синтез индивидуальных технологических маршрутов осуществляется путем выделения их из обобщенного маршрута

Реляционный подход

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

Декартовым произведением доменов D1, D2,..,Dk

D1*D2*....*Dk,

где

называется множество всех кортежей длины k, т.е. состоящих из k элементов - по одному из каждого домена

Таким образом, декартово произведение

В ряде случаев отношения удобно представлять в виде таблицы, где каждая строка соответствует кортежу, а столбец атрибуту, например,

Реляционное исчисление

Реляционное исчисление базируется на теоретических основах исчисления предикатов. Предикат P(x1,x2,...,xn) это функция, принимающая значения «Истина» или «ложь», от аргументов, определенных в конкретных областях D1,D2,...,Dn. При построении высказываний используются

логические связки, например

конъюнкция, дизъюнкция, отрицание,

 

термы сравнения с операциями

и др., а также кванторы существования и общности .

Рассмотрим пример применения кванторов. Высказывание - означает-что среди элементов множества X найдется, по крайней мере, один, при котором оказывается истинным неравенство, заключенное в скобках. Высказывание означает, что для всех элементов множества X некоторая функция f(x) больше заданного a.

В реляционном исчислении принято связывать отношением R(A1,...,An) некоторый предикат P(x1,...,xn), аргументы, которых имеют одинаковые области определения, таким образом, что если P(a1,a2,...,an)=1, то кортеж <a1,a2,...,an> принадлежит отношению , для i=1,n, в противном случае кортеж не входит в состав указанного отношения. Отсюда следует, что посредством задания некоторого предиката может быть задано и соответствующее ему отношение.

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