Для студентов МАИ по предмету Основы теории конечных дискретных систем (ОТКДС)Лабораторная работа 1. ОТКДС препод. Ескин В.ИЛабораторная работа 1. ОТКДС препод. Ескин В.И
2015-11-202015-11-20СтудИзба
Лабораторная работа: Лабораторная работа 1. ОТКДС препод. Ескин В.И
Описание
Цель работы:
Освоение методики экспериментального исследования конечного автомата без памяти с двоичными входами и выходами, его формального описания и исследования с помощью функций алгебры логики (ФАЛ); овладение навыками аналитического оперирования с ФАЛ (доказательство тождеств, построение СДНФ, ДНФ), реализация системы ФАЛ в форме логической сети; реализация на ЭВМ системы ФАЛ и простейших операций.
Задание:
1.Выполнить цикл упражнений по аналитическому преобразованию ФАЛ, доказательству тождеств на основе свойств элементарных ФАЛ, принципа двойственности, теоремы Де - Моргана, формул разложения.
2.Для заданного на ЭВМ (5хm) - полюсника с двоичными входами и выходами составить на основе эксперимента таблицу соответствия входных и выходных слов, являющуюся также таблицей истинности для системы m ФАЛ (здесь m – число студентов в бригаде).
3.Исследовать аргументы каждой из полученных ФАЛ на существенность (фиктивность). При обнаружении фиктивных аргументов записать эти ФАЛ как функции только существенных аргументов.
4.Образовать СДНФ и СКНФ, полученных в п. 3 ФАЛ.
5.Упростить полученные ФАЛ с помощью карт Вейча.
6.Составить переключательные схемы и логические сети из логических элементов НЕ, ИЛИ, И, соответствующие каждой окончательной ДНФ, полученной в п. 4, и оценить количественно сложность каждой.
7.Осуществить программную реализацию заданной преподавателем элементарной ФАЛ и ее тестирование на ЭВМ. Программа должна обеспечивать ввод и контроль исходных данных (по составу и количеству), отображение результатов счета как на экране дисплея, так и в виде протокола на бумажном носителе. В качестве исходных данных используются изображающие числа функций, полученные бригадой в п.2.
8.Составить отчет, отражающий выполнение п.п. 1 - 6. Ответить на контрольные вопросы.
Освоение методики экспериментального исследования конечного автомата без памяти с двоичными входами и выходами, его формального описания и исследования с помощью функций алгебры логики (ФАЛ); овладение навыками аналитического оперирования с ФАЛ (доказательство тождеств, построение СДНФ, ДНФ), реализация системы ФАЛ в форме логической сети; реализация на ЭВМ системы ФАЛ и простейших операций.
Задание:
1.Выполнить цикл упражнений по аналитическому преобразованию ФАЛ, доказательству тождеств на основе свойств элементарных ФАЛ, принципа двойственности, теоремы Де - Моргана, формул разложения.
2.Для заданного на ЭВМ (5хm) - полюсника с двоичными входами и выходами составить на основе эксперимента таблицу соответствия входных и выходных слов, являющуюся также таблицей истинности для системы m ФАЛ (здесь m – число студентов в бригаде).
3.Исследовать аргументы каждой из полученных ФАЛ на существенность (фиктивность). При обнаружении фиктивных аргументов записать эти ФАЛ как функции только существенных аргументов.
4.Образовать СДНФ и СКНФ, полученных в п. 3 ФАЛ.
5.Упростить полученные ФАЛ с помощью карт Вейча.
6.Составить переключательные схемы и логические сети из логических элементов НЕ, ИЛИ, И, соответствующие каждой окончательной ДНФ, полученной в п. 4, и оценить количественно сложность каждой.
7.Осуществить программную реализацию заданной преподавателем элементарной ФАЛ и ее тестирование на ЭВМ. Программа должна обеспечивать ввод и контроль исходных данных (по составу и количеству), отображение результатов счета как на экране дисплея, так и в виде протокола на бумажном носителе. В качестве исходных данных используются изображающие числа функций, полученные бригадой в п.2.
8.Составить отчет, отражающий выполнение п.п. 1 - 6. Ответить на контрольные вопросы.
Характеристики лабораторной работы
Учебное заведение
Семестр
Просмотров
179
Скачиваний
5
Размер
189,45 Kb
Список файлов
- Лабораторная работа 1. ОТКДС препод. Ескин В.И
- ReadMe.txt 276 b
- Лабораторная работа №1 ОТКДС.xls 402 Kb
- лаба 1.1.doc 1,06 Mb
ReadMe
Файлы скачаны со студенческого портала для студенты "Baumanki.net"
Файлы представлены исключительно для ознакомления
Не забывайте, что Вы можете зарабатывать, выкладывая свои файлы на сайт
Оценивайте свой ВУЗ в различных голосованиях, в том числе в досье на преподавателей!
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать