Технологический процесс изготовления детали для малосерийного производства
Контрольная работа - Разное
Другие контрольные работы по предмету Разное
Содержание
1. Постановка задачи
. Чертеж детали
. Описание технологического процесса
. Краткое описание используемого метода
. Анализ технологического процесса с точки зрения метода языков и грамматик
. Описание технологического процесса методом языков и грамматик
Вывод
Литература
1. Постановка задачи
В контрольной работе необходимо составить технологический процесс изготовления детали для малосерийного производства. При математическом описании технологического процесса используется математическая логика и язык логики предикатов.
Выполняется анализ технологического процесса с точки зрения метода предикатов. Составляется математическая формула данного технологического процесса методом предикатов.
Исходные данные: Вариант №6
Тип производства - единичное.
Деталь - типа втулка.
2. Чертеж детали
Рис. 1
3. Описание технологического процесса
№ п/пЭскизОперация1Закрепить заготовку в шпиндель станка2Отторцевать заготовку проходным отогнутым резцом 3Выставить индикаторы4Точить внешние канавки длиной L1 на диаметр D12 и D3 канавочным резцом5Обточить заготовку на длину L23 и диаметр D45 проходным резцом6Точить внешние фаски Ф12 проходным отогнутым резцом7Точить заготовку начисто проходным отогнутым резцом8Отрезать заготовку отрезным резцом
4. Краткое описание используемого метода
деталь производство технологический процесс
Языки и грамматики
Формальные языки рассматриваются как множества последовательностей "символов" из некоторого алфавита. Символ (буква) - простой неделимый знак.
Алфавитом может быть любое конечное множество A = {a, b, c}. Его элементы называются (абстрактными) символами. Из символов можно образовывать цепочки. Для натурального числа n 0 цепочкой длины n в алфавите A называется произвольный элемент декартовой степени An, т.е. последовательность a1,...,an. Такая цепочка обычно обозначается a1...an. Используется также пустая цепочка, или цепочка длины 0, обозначаемая. Произвольные цепочки обозначаются малыми буквами греческого алфавита, а символы латинского.
Множество всех цепочек (конечной длины) в алфавите A обозначается A*. Для любого A выполняется A*. В частности, когда из определений следует, что A* = {}. Очевидно, что множество A* всегда счетное и, если A, бесконечно.
Основной операцией над цепочками является конкатенация, которую обычно не изображают. Она определяется свойствами
a1,...,an b1,...,bm a1,...,an b1,...,bm.
По отношению к алгебраической структуре операция конкатенации представляет собой либо полугруппу, либо моноид. Моноид, если есть единичный оператор. Единицей операции конкатенации является пробел. Цепочка (строка) - упорядоченная совокупность букв в алфавите.
Отдельный символ представляет собой цепочку длины 1. Длина цепочки обозначается.
Языком над алфавитом A называется любое множество L цепочек (строк), предложений или слов в алфавите A в общем случае сформулированных набором соответствующих ограничивающих правил, т.е. L A. В частности, языки над любым алфавитом A.
Грамматики с фазовой структурой
Грамматикой с фазовой структурой называется набор G = (N,T,P,S), где N алфавит нетерминальных символов (текстовых переменных); они обозначаются большими латинскими буквами; T алфавит терминальных символов (текстовых констант), терминальные символы обозначаются малыми буквами из начала латинского алфавита; P конечное множество правил (или продукций); правило имеет вид (T N)*, причем содержит хоть один нетерминальный символ; S начальный нетерминальный символ, S N.
Символы объединенного алфавита V = T N (алфавита знаков) обозначаются малыми буквами из конца латинского алфавита (u, v, w, ...).
Основным понятием грамматик является понятие вывода и выводимости. Если в грамматике есть правило, то из цепочки за один шаг выводима цепочка (говорят также непосредственно выводима). Это отношение обозначается G. Отношение выводимости за 0 или более шагов обозначается G* (рефлексивно-транзитивное замыкание отношения G) и называется просто отношением выводимости. Последовательность цепочек называется выводом длины n 0. Вывод также будем обозначать иногда G* . В случае, когда понятно, в какой грамматике рассматривается вывод, индекс G можно опускать.
Языком, порождаемым грамматикой G называется множество терминальных цепочек, выводимых из S, т.е. множество L(G) = {| T*, S *}. Класс языков, порождаемых грамматиками общего вида называется классом языков типа 0.
Контекстно-зависимой (или типа 1) называется грамматика с правилами вида. Благодаря этому неравенству эти грамматики называются ещё неукорачивающими. Язык, порождаемый контекстно-зависимой грамматикой, называется также контекстно-зависимым (или типа 1). Очевидно, что такой язык не содержит.
КС-грамматикой (или контекстно-свободной грамматикой и грамматикой типа 2) называется грамматика с правилами вида A , где A N<