5. Анализ технологического процесса с точки зрения метода предикатов.

1. закрепить заготовку

2. подрезать торец подрезным резцом

3. установить индикатор на ноль

4. точить диаметр D₁ на длину L₁ подрезным резцом

5. сверлить диаметр D₃ на длину L₁ сверлом зенкера

6. точить паз диаметром D₂ на длину L₂ расточным резцом

7. точить паз диаметром D₂ на длину L₃ расточным резцом

8. точить фаску Ф₁ канавочным резцом

9. точить фаску Ф₂ канавочным резцом

10. точить фаску Ф₃ канавочным резцом

11. точить фаску Ф₄ канавочным резцом

12. развертывание отверстия диаметром D₃ на длину L₄ разверткой до шероховатости Ra1,6

13. отрезать деталь отрезным резцом

Анализ технологического процесса показывает, что можно записать и объединить повторяющиеся операции данного процесса:

1. закрепить заготовку (операция повторяется 1 раз, ее можно описать отдельным предикатом от одной предметной переменной — заготовка)

2. подрезать торец инструментом (операция повторяется 1 раз, ее можно описать отдельным предикатом от двух предметных переменных — торец и инструмент)

3. установить индикатор на ноль (операция повторяется 1 раз, ее можно описать отдельным предикатом от одной предметной переменной — длина)

4. точить диаметр на длину инструментом (операция повторяется 3 раза, ее можно описать отдельным предикатом от трех предметных переменных — диаметр, длина и инструмент)

5. сверлить диаметр на длину инструментом (операция повторяется 1 раз, ее можно описать отдельным предикатом от трех предметных переменных — диаметр, длина и инструмент)

6. точить фаску инструментом (операция повторяется 4 раза, ее можно описать отдельным предикатом от двух предметных переменных — фаска и инструмент)

7. развертывание отверстия диаметром на длину инструментом (операция повторяется 1 раз, ее можно описать отдельным предикатом от трех предметных переменных — диаметр, длина и инструмент)

8. отрезать деталь инструментом (операция повторяется 1 раз, ее можно описать отдельным предикатом от двух предметных переменных — деталь и инструмент)

6. Описание технологического процесса методом предикатов.

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

P₁(x) — закрепить заготовку (x).

P₂(x,y) — подрезать торец (x) инструментом (y).

P₃(x) — установить индикатор на длину (x).

P₄(x,y,z) — точить диаметр (x) на длину (y) инструментом (z).

P₅(x,y,z) — сверлить диаметр (x) на длину (y) инструментом (z).

P₆(x,y) — точить фаску (x) инструментом (y).

P₇(x,y,z) — развертывание диаметра (x) на длину (y) инструментом (z).

P₈(x,y) — отрезать деталь (x) инструментом (y).

_{При описании технологического процесса используется булева алгебра. В данной работе алгебра будет определятся различными} предикатами и операциями над ними: , ∧.

Формула данного технологического процесса:

(x = “заготовка” P₁(x))∧(x = “торец”,y = “подрезной резец” P₂(x,y))∧ (x = “0” P₃(x))∧(x = “D₁”,y = “L₁”, z = “подрезной резец” P₄(x,y,z))∧ (x = “D₃”,y = “L₁”, z = “сверло зенкера” P₅(x,y,z))∧

(x = “D₂”,y = “L₂”,z = “расточной резец” P₄(x,y,z))∧(x = “D₂”,y = “L₃”,z = “расточной резец” P₄(x,y,z))∧(x = “Ф₁”,

y = “канавочный резец” P₆(x,y))∧(x = “Ф₂”,y = “канавочный резец” P₆(x,y))∧(x = “Ф₃”,y = “канавочный резец” P₆(x,y))∧(x = “Ф₄”,

y = “канавочный резец” P₆(x,y))∧

(x = “D₃”,y = “L₄”,z = “развертка” P₇(x,y,z))∧(x = “деталь”,y = “отрезной резец” P₈(x,y))

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