ЗА, 6 сем / Основы теории конеч.авт., ЗА 6 сем / Руководство ДО

Дата

Вид работы

16.11.09 – 21.11.09

Введение. Роль автоматизации в современном производстве. Понятие автомата. Элементы теории множеств. Операции над множествами. Соответствия и функции. Отношения. Лекция по данной тематики №1 (представлена в кейсе)

23.11.09 – 28.11.09

Операции над множествами. Отношения и функции. (представлено в кейсе)

30.11.09-05.12.09

Самостоятельная работа, выполнение задания №1

07.12.09-19.12.09

Логика Буля. Логические функции. Примеры логических функций. Булева алгебра. Постулаты и теоремы булевой алгебры. Разложение ФАЛ на конституенты. Формы существования ФАЛ. Понятие элементарной ФАЛ. Совершенные формы ФАЛ. Лекция по данной тематики №2 (представлена в кейсе)

21.12.09-30.12.09

Способы задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Разложение функций алгебры логики на конституенты. Практическое занятие № 2 (представленов кейсе)

11.01.10-23.01.10

Методы минимизации логических функций. Алгебраическое упрощение. Графические методы минимизации.. Алгоритм минимизации ФАЛ методом Карно. Метод минимизации ФАЛ Куайни – МакКласки. Нахождение минимальной формы функции. Таблица простых импликант. Лекция 3 (в кейсе)

25.01.10-30.01.10

Самостоятельная работа, выполнение задания №2

01.02.10-06.02.10

Тестирование – самопроверка в СДО «Прометей» по разделам 1,2,3,4 (см. программу курса)

08.02.10-13.02.10

Основы теории графов. Понятие графа и его определение. Вершины, ребра и инцидентор графа. Дуги, петли и звенья. Конечные графы. Основные типы графов.

Конечные автоматы, сети автоматов. Основные понятия и определение конечного автомата. Внутреннее состояние автомата. Входные и выходные переменные. Понятие о комбинационных и последовательностных автоматах. Автоматы Мили и автоматы Мура.

Лекции 4,5 (в кейсе)

15.02.10-20.02.10

Логическое проектирование (синтез) дискретных автоматов. Методы записи условий работы дискретного автомата. Словесное описание. Циклограмма. Алгоритм работы конечного автомата. Языки операторных схем. Структурная и программная реализация алгоритмов. Граф функционирования. Разветвленные и линейные графы функционирования. Особенности построения графов функционирования.

Блочный метод синтеза. Понятие блока. Использование таблицы состояний для синтеза комбинационных дискретных автоматов. Матрица Карно, как инструмент представления и минимизации функций при блочном методе синтеза. Существенные и квазисущественные переменные. Синтез комбинационных дискретных автоматов по матрицам Карно.

Особенности синтеза последовательностных дискретных автоматов. Характерные ситуации и противоречия при синтезе. Элементы памяти. Определение мест установки и количества элементов памяти. Алгоритм синтеза последовательностного дискретного автомата.

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

Лекции 6-9(в кейсе)

22.02.10-27.02.10

Схемотехническая реализация дискретных систем управления. Проектирование аппаратных электронных схем по функциям алгебры логики на базе бесконтактных элементов. Преобразование логических функций для аппаратной реализации в различных базисах. Базисы Вебба и Шеффера.. Реализация дискретных устройств на базе программируемых контроллеров. Синтез функциональных узлов дискретной автоматики. Элементы памяти автоматов. Триггеры, анализ и синтез триггерных схем. Лекция 10 (в кейсе)

01.03.10-06.03.10

Самостоятельная работа, выполнение задания №3 (расчетно-графическая работа по синтезу дискретного автомата)

08.03.10-13.03.10

Тестирование – самопроверка в СДО «Прометей» по всем темам

15.03.10-20.03.10

Установочные занятия, выполнение и защита лабораторных работ

22.03.10-03.04.10

(экзаменационная сессия)

Защита индивидуальных заданий и экзамен по дисциплине