Государственное образовательное учреждение высшего профессионального образования

ОМСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

«Утверждаю»

Проректор по учебной работе

_____________ Г.Н. Бояркин

«____»_________ 2006 год

Р а б о ч а я п р о г р а м м а

по дисциплине «Основы теории конечных автоматов»

для специальности 220301 – «Автоматизация технологических процессов и производств»

(заочная форма обучения)

Разработана в соответствии с образовательным стандартом Омского государственного технического университета (2002 г.)

Программу составил ___________ Аристов В.В,

доцент кафедры «Автоматизация и робототехника»

Обсуждена на заседании кафедры автоматизации и робототехники

зав. кафедрой АРТ ____________ В.Г. Хомченко «_____»__________2006г.

Одобрена методической комиссией факультета автоматизации «____»_____________2006г.

Председатель методической комиссии _______________ В.И. Глухов.

Декан факультета ЗО ______ « __ » __ 2006 г. А.Н. Абакумов

Эксперт ЦУКУП ________________ «____»_____________2006г.

Начальник УМУ ______________ А.Б. Яковлев «____»_____________2006г.

1 Цели и задачи курса

Курс «Основы теории конечных автоматов» обеспечивает теоретическую подготовку студентов с целью его ознакомления современными методами формализации дискретных устройств и систем логического управления дискретными процессами, анализу и проектированию дискретных систем управления технологического оборудования. Она базируется на таких дисциплинах, как «Дискретная математика», «Информатика», «Технические средства систем автоматизации», «Устройства гидропневмоавтоматики», «Устройства электроавтоматики». Знания, полученные в ходе изучения дисциплины, используются студентами при изучении дисциплин «Проектирование систем автоматизации», «Автоматизация технологических процессов и производств», «Программные средства систем автоматизации и управления», в курсовом и дипломном проектировании.

2 Требования к уровню подготовки студента, завершившего изучение данного курса

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

В результате изучения дисциплины студент должен:

• знать способы задания и свойства множеств;

• знать формы и методы преобразования и разложения функций алгебры логики;

• уметь производить преобразование и минимизацию функций алгебры логики;

• уметь строить блок-схемы алгоритмов;

• знать способы задания и основные приемы преобразования конечного автомата;

• понимать специфику дискретных процессов;

• знать структурную и программную реализацию алгоритмов работы конечного автомата;

• знать формы существования функций алгебры логики и методы их преобразования;

• знать методы минимизации функций алгебры логики;

• знать методы логического проектирования (синтеза) конечных автоматов и принципы их схемотехнической реализации;

• уметь осуществлять анализ и формальное описание работы конечного автомата;

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

• уметь использовать автоматные модели при разработке систем управления дискретными процессами;

• уметь осуществлять синтез, схемотехническую и программную реализацию дискретного автомата;

• иметь представление о принципе работы, особенностях анализа и синтеза функциональных узлов дискретной автоматики;