Структура СРС
Код формируемой компетенции (ПК-4) | Тема | Вид* | Фор-ма** | Объем учебной работы (часов) | Учебно-методические материалы |
+ | Программирование на colorForth | Основная и дополнительная литература по темам | |||
+ | Асинхронные процессы и их интерпретация | Основная и дополнительная литература по темам | |||
+ | Построение надёжных устройств | Основная и дополнительная литература по темам | |||
+ | Абстрактные автоматы Мараховского | Основная и дополнительная литература по темам | |||
+ | Микропроцессоры в управлении промышленными объектами | Основная и дополнительная литература по темам |
*Виды СРС:
- подготовка к контрольной работе;
- подготовка к коллоквиуму;
- подготовка реферата, доклада;
- подготовка к деловым играм;
- решение задач;
- выполнение расчетно-графических работ;
- написание курсовой работы.
По одной теме может быть несколько видов СРС.
**Формы СРС:
- СРС без участия преподавателя;
- КСР контроль самостоятельной работы студента.
***Список учебно-методических материалов приведен в разделе 11.
Содержание СРС ( по выбору преподавателя )
Тематика рефератов, докладов
График контроля СРС
Недели семестра | |||||||||
Формы контроля | рз | кр | рз | ||||||
Недели семестра | |||||||||
Формы контроля | кр | рз | д | д | д | д |
Условные обозначения: кр – контрольная работа, к – коллоквиум, р – реферат, д – доклад, ди – деловая игра, рз – решение задач, кур – курсовая работа.
9. Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины
|
Оценка качества освоения дисциплины включает текущий контроль успеваемости, промежуточную аттестацию обучающихся и итоговую государственную аттестацию выпускников.
Текущий контроль проводится в форме двух письменных контрольных работ (рубежный контроль), доклада и текущего опроса по изученному материалу.
Оценочные средства по дисциплине:
Примерный перечень вопросов к экзамену
1. Задачи теории автоматов.
2. Основные понятия теории автоматов.
3. Логические основы работы цифровых автоматов.
4. Основы логического проектирования автоматов.
5. Минимизация логических функций. Алгебра Буля и Жегалкина.
6. Простейшие автоматы с памятью, принципы их работы и реализация на транзисторах.
7. Методы задания автоматов (табличный, графический, матричный).
8. Минимизация автоматов Мили
9. Минимизация автоматов Мура
10. Многофункциональные автоматы Мараховского.
11. Многоуровневые схемы памяти
12. Моделирование автоматов на базе ПЛИС с использованием Verilog HDL
и САПР Altera Quartus.
13. Моделирование автоматов на базе ПЛИС с использованием VHDL
и САПР Altera Quartus.
14. Моделирование автоматов на базе ПЛИС с использованием Verilog HDL
и САПР Actel Libero IDE.
15. Моделирование автоматов на базе ПЛИС с использованием Verilog VHDL
и САПР Actel Libero IDE.
16. Моделирование автоматов на базе ПЛИС с использованием Verilog VHDL
и САПР Xilinx Vivado.
17. Моделирование автоматов на базе ПЛИС с использованием Verilog VHDL
и САПР Xilinx Vivado
18. Архитектура регистровых процессоров и их система команд.
19. Архитектура стековых процессоров и их система команд.
|
20. Программирование на colorForth и PolyForth.
10. Учебно-методическое и информационное обеспечение дисциплины
Основная литература
- Хопкрофт Д., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений, 2-е изд. — М.: Вильямс, 2002. — 528 с.
- Мозговой М. В. Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход. — СПб.: Наука и техника, 2006. — 256 с.
- Горбатов В. А. Основы дискретной математики. — М.: Высш. шк, 1986. — 311 с.
- Ульман Дж. Вычислительные аспекты СБИС. — М.: Радио и Связь, 1990. — 486 с.
- Гивоне Д., Россер Р. Микропроцессоры и микрокомпьютеры. — М.: «Мир», 1983. — 464 с.
- Брауэр В. Введение в теорию конечных автоматов. — М.: Радио и связь, 1987. - 392 с.
- Карпов Ю Г. Теория автоматов. — СПб.: Питер, 2003. — 208 с.
- Глушков В. М. Синтез цифровых автоматов. — М.: Физматгиз, 1962. — 476 с.
- Автоматное управление асинхронными процессами в ЭВМ и дискретных системах / Под ред. В. И. Варшавского. — М.: Наука, 1986. — 400 с.
- Зотов В. Ю. Проектирование встраиваемых микропроцессорных систем на основе ПЛИС фирмы XILINX. — М.: Горячая линия-Телеком, 2006. — 520 с.
Дополнительная литература
- Савельев А. Я. Прикладная теория цифровых автоматов.— М.: Высш. шк., 1987. — 272 с.
- Баранов С. И. Синтез микропрограммных автоматов (граф-схемы и автоматы).— Л.: Энергия, 1979. — 232 с.
- Бойко В. И. и др. Схемотехника электронных систем. Цифровые устройства.— СПб.: БХВ-Петербург, 2004. — 512 с.
- Лазарев В. Г., Пийль Е. И. Синтез управляющих автоматов. — Л.: Энергоатомиздат, 1989. — 328 с.
- Короткова М. А. Математическая теория автоматов. — М.: МИФИ, 2008. — 116 с.
- Вершинин О. Е. Применение микропроцессоров для автоматизации технологических процессов. — Л.: Энергоатомиздат, 1986. — 208 с.
- Максфилд К. Проектирование на ПЛИС. Курс молодого бойца. — М: Додэка-XXI, 2007. — 408 с.
11. Материально-техническое обеспечение дисциплины
|
Требования к аудитории (помещению, местам) для проведения занятий:
Доска, мел и тряпка.
Требования к аудиторному оборудованию – традиционно.
При проведении аттестации в форме ФЭПО необходимо наличие ПК.
12. Регламент утверждения рабочей программы дисциплины
Разработчик(и) рабочей программы дисциплины
ФИО | Ученая степень | Ученое звание | Должность | Контактная информация(служебные E-mail и телефон) |
Исламов Галимзян Газизович | Доктор физико-математических наук | Профессор | Заведующий кафедрой ВВиПП | +7(3412)916-090 gislamovg@uni.udm.ru |