Н.Новгород: МИИТ, 2011. – 88 с.
Для студентов специальности 190401.65 "Электроснабжение железных
дорог".
Комплекс позволит:
знать:
основные понятия и законы булевой алгебры логики;
теорию абстрактного и структурного синтеза комбинационных и конечных автоматов;
основы теории алгоритмов и элементы дискретных микропроцессорных устройств;
уметь:
составлять структурные формулы дискретных устройств автоматики и осуществлять их преобразование с использованием различных базисов;
производить минимизацию функций алгебры логики, заданных в совершенных нормальных формах;
применять на практике полученные знания для технического синтеза конкретных дискретных устройств автоматики и телемеханики;
иметь представление:
о средствах, с помощью которых можно описывать функционирование специализированных дискретных устройств автоматики и телемеханики;
о том, как производится анализ, синтез и оптимизация структуры дискретных устройств;
о современных тенденциях в области построения безопасных дискретных устройств железнодорожной автоматики и телемеханики. Содержание курса:
Основные понятия и определения.
Основные понятия теории дискретных устройств.
Дискретное время и дискретная информация.
Классификация дискретных устройств.
Задачи анализа и синтеза дискретных устройств.
Характеристики элементов дискретных устройств.
Функция алгебры логики.
Введение в алгебру логики.
Логические операции и элементы.
Понятие булевой функции.
Элементарные функции алгебры логики (ФАЛ).
Способы задания ФАЛ.
Полные системы ФАЛ, понятие о булевом базисе.
Преобразование булевых функций.
Основные законы алгебры логики.
Нормальные формы ФАЛ динамических звеньев.
Минимизация функций алгебры логики.
Анализ и синтез комбинационных автоматов.
Синтез комбинационных автоматов.
Синтез контактных схем.
Синтез схем на бесконтактных элементах.
Синтез схем специального назначения.
Анализ комбинационных автоматов.
Состязания в комбинационных схемах.
Быстродействие комбинационных автоматов.
Структурный анализ комбинационных автоматов.
Синтез дискретных автоматов с памятью.
Дискретные автоматы с памятью.
Понятие конечного автомата.
Способы задания конечных автоматов.
Абстрактный синтез дискретных автоматов с памятью.
Структурный синтез дискретных автоматов с памятью.
Алгоритм структурного синтеза.
Элементы памяти и их техническая реализация.
Синтез конечного автомата Мили.
Дискретные устройства железнодорожной автоматики.
Дискретные устройства с исключением опасных отказов.
Понятие об опасном отказе.
Опасные отказы в комбинационных схемах.
Опасные отказы в логических схемах с памятью.
Принципы построения надежных и безопасных дискретных устройств автоматики. Учебно–методическое обеспечение дисциплины. Конспект лекций:
Понятие функции алгебры логики.
Основные законы алгебры логики.
Минимизация функций алгебры логики. Задание на контрольную работу и краткие методические указания к ее выполнению.
Методические указания студентам.
Методические указания преподавателям.
Вопросы к экзамену.
знать:
основные понятия и законы булевой алгебры логики;
теорию абстрактного и структурного синтеза комбинационных и конечных автоматов;
основы теории алгоритмов и элементы дискретных микропроцессорных устройств;
уметь:
составлять структурные формулы дискретных устройств автоматики и осуществлять их преобразование с использованием различных базисов;
производить минимизацию функций алгебры логики, заданных в совершенных нормальных формах;
применять на практике полученные знания для технического синтеза конкретных дискретных устройств автоматики и телемеханики;
иметь представление:
о средствах, с помощью которых можно описывать функционирование специализированных дискретных устройств автоматики и телемеханики;
о том, как производится анализ, синтез и оптимизация структуры дискретных устройств;
о современных тенденциях в области построения безопасных дискретных устройств железнодорожной автоматики и телемеханики. Содержание курса:
Основные понятия и определения.
Основные понятия теории дискретных устройств.
Дискретное время и дискретная информация.
Классификация дискретных устройств.
Задачи анализа и синтеза дискретных устройств.
Характеристики элементов дискретных устройств.
Функция алгебры логики.
Введение в алгебру логики.
Логические операции и элементы.
Понятие булевой функции.
Элементарные функции алгебры логики (ФАЛ).
Способы задания ФАЛ.
Полные системы ФАЛ, понятие о булевом базисе.
Преобразование булевых функций.
Основные законы алгебры логики.
Нормальные формы ФАЛ динамических звеньев.
Минимизация функций алгебры логики.
Анализ и синтез комбинационных автоматов.
Синтез комбинационных автоматов.
Синтез контактных схем.
Синтез схем на бесконтактных элементах.
Синтез схем специального назначения.
Анализ комбинационных автоматов.
Состязания в комбинационных схемах.
Быстродействие комбинационных автоматов.
Структурный анализ комбинационных автоматов.
Синтез дискретных автоматов с памятью.
Дискретные автоматы с памятью.
Понятие конечного автомата.
Способы задания конечных автоматов.
Абстрактный синтез дискретных автоматов с памятью.
Структурный синтез дискретных автоматов с памятью.
Алгоритм структурного синтеза.
Элементы памяти и их техническая реализация.
Синтез конечного автомата Мили.
Дискретные устройства железнодорожной автоматики.
Дискретные устройства с исключением опасных отказов.
Понятие об опасном отказе.
Опасные отказы в комбинационных схемах.
Опасные отказы в логических схемах с памятью.
Принципы построения надежных и безопасных дискретных устройств автоматики. Учебно–методическое обеспечение дисциплины. Конспект лекций:
Понятие функции алгебры логики.
Основные законы алгебры логики.
Минимизация функций алгебры логики. Задание на контрольную работу и краткие методические указания к ее выполнению.
Методические указания студентам.
Методические указания преподавателям.
Вопросы к экзамену.