Видавництво Дніпропетровського університету, 2009. - 264 с.
Викладені логічні аспекти проектування цифрових автоматів. Подані основні положення алгебри логіки, розглянуті проблеми проектування комбінаційних та послідовнісних цифрових автоматів на основі типових логічних схем. Акцентується увага на алгоритмах мінімізації логічної структури, вирішенні проблеми перегонів у цифрових автоматах. Теоретичний матеріал ілюстрований прикладами і супроводжується питаннями та завданнями для самоконтролю.
Посібник відповідає програмі курсу "Прикладна теорія цифрових автоматів".
Призначений студентам галузі 0501 Інформатика та обчислювальна техніка; ним рекомендується послуговуватися під час підготовки фахівців у системі післядипломної освіти. Посібник також буде корисний для широкого кола практиків, які цікавляться питаннями розробки оптимальної логічної структури пристроїв різного призначення в інформаційній техніці.
ЗМІСТ
ПЕРЕДМОВА
Глава
1. Функції алгебри логіки та їх властивості
Поняття про цифровий автомат
Етапи процедури синтезу цифрового автомата
Основні визначення алгебри логіки
Способи задання булевих функцій
Булеві функції від двох змінних
Алгебри булевих функцій
Канонічні форми булевих функцій
Алгоритми переходу від табличної форми БФ до її аналітичного запису
Повні системи булевих функцій
Багатозначні перемикальні функції
Глава
2. Мінімізація булевих функцій
Постановка проблеми мінімізації булевих функцій
Алгоритм Квайна та Квайна - Мак-Класкі
Метод невизначених коефіцієнтів
Алгоригм Блейка - Порецького
Алгоригм Нельсона
Метод істотних змінних
Графічний метод мінімізації
Мінімізація кон'юктивних нормальних форм
Мінімізація не повністю визначених булевих функцій
Особливості мінімізації в алгебрі Жегалкіна
Мінімізація в ч алгебра Шеффера, Пірса
Мінімізація логічних схем із багатьма виходами
Проблема факторизації булевих функцій
Глава
3. Синтез комбінаційних цифрових автоматІВ
Загальні положення
Синтез комбінаційних цифрових автоматів у класичному та монофункціональному базисах
Синтез комбінаційних цифрових автоматів з урахуванням технологічних обмежень
Синтез комбінаційних цифрових автоматів на дешифраторах та мультиплексорах
Синтез комбінаційних цифрових автоматів на постійних запам'ятовуючих пристроях
Синтез комбінаційних цифрових автоматів на програмованих логічних матрицях
Оцінка складності комбінаційних цифрових автоматів
Синтез комбінаційних цифрових автоматів
Глава
4. Абстрактний цифровий автомат
Загальні положення
Способи задання автоматів з пам'яттю
Зв'язок між автоматами Мілі та Мура
Мінімізація повністю визначеного абстрактного цифрового автомата -
Суміщена модель абстрактного автомата (С-автомат)
Глава
5. Структурний цифровий автомат
Загальні положення
Канонічний метод структурного синтезу автомата з пам'яттю
Реалізація пам'яті цифрових автоматів
Застосування канонічного методу структурного синтезу ЦА
Синтез ЦА на основі D-, Т-,RS-,JK-тригерів
Графічний метод структурного синтезу ЦА
Коди станів та складність схеми ЦА
Забезпечення стабільності функціонування ЦА
Синтез автоматів з пам'яттю
ПІСЛЯМОВА
СПИСОК РЕКОМЕНДОВАНОЇ ЛІТЕРАТУРИ.
Викладені логічні аспекти проектування цифрових автоматів. Подані основні положення алгебри логіки, розглянуті проблеми проектування комбінаційних та послідовнісних цифрових автоматів на основі типових логічних схем. Акцентується увага на алгоритмах мінімізації логічної структури, вирішенні проблеми перегонів у цифрових автоматах. Теоретичний матеріал ілюстрований прикладами і супроводжується питаннями та завданнями для самоконтролю.
Посібник відповідає програмі курсу "Прикладна теорія цифрових автоматів".
Призначений студентам галузі 0501 Інформатика та обчислювальна техніка; ним рекомендується послуговуватися під час підготовки фахівців у системі післядипломної освіти. Посібник також буде корисний для широкого кола практиків, які цікавляться питаннями розробки оптимальної логічної структури пристроїв різного призначення в інформаційній техніці.
ЗМІСТ
ПЕРЕДМОВА
Глава
1. Функції алгебри логіки та їх властивості
Поняття про цифровий автомат
Етапи процедури синтезу цифрового автомата
Основні визначення алгебри логіки
Способи задання булевих функцій
Булеві функції від двох змінних
Алгебри булевих функцій
Канонічні форми булевих функцій
Алгоритми переходу від табличної форми БФ до її аналітичного запису
Повні системи булевих функцій
Багатозначні перемикальні функції
Глава
2. Мінімізація булевих функцій
Постановка проблеми мінімізації булевих функцій
Алгоритм Квайна та Квайна - Мак-Класкі
Метод невизначених коефіцієнтів
Алгоригм Блейка - Порецького
Алгоригм Нельсона
Метод істотних змінних
Графічний метод мінімізації
Мінімізація кон'юктивних нормальних форм
Мінімізація не повністю визначених булевих функцій
Особливості мінімізації в алгебрі Жегалкіна
Мінімізація в ч алгебра Шеффера, Пірса
Мінімізація логічних схем із багатьма виходами
Проблема факторизації булевих функцій
Глава
3. Синтез комбінаційних цифрових автоматІВ
Загальні положення
Синтез комбінаційних цифрових автоматів у класичному та монофункціональному базисах
Синтез комбінаційних цифрових автоматів з урахуванням технологічних обмежень
Синтез комбінаційних цифрових автоматів на дешифраторах та мультиплексорах
Синтез комбінаційних цифрових автоматів на постійних запам'ятовуючих пристроях
Синтез комбінаційних цифрових автоматів на програмованих логічних матрицях
Оцінка складності комбінаційних цифрових автоматів
Синтез комбінаційних цифрових автоматів
Глава
4. Абстрактний цифровий автомат
Загальні положення
Способи задання автоматів з пам'яттю
Зв'язок між автоматами Мілі та Мура
Мінімізація повністю визначеного абстрактного цифрового автомата -
Суміщена модель абстрактного автомата (С-автомат)
Глава
5. Структурний цифровий автомат
Загальні положення
Канонічний метод структурного синтезу автомата з пам'яттю
Реалізація пам'яті цифрових автоматів
Застосування канонічного методу структурного синтезу ЦА
Синтез ЦА на основі D-, Т-,RS-,JK-тригерів
Графічний метод структурного синтезу ЦА
Коди станів та складність схеми ЦА
Забезпечення стабільності функціонування ЦА
Синтез автоматів з пам'яттю
ПІСЛЯМОВА
СПИСОК РЕКОМЕНДОВАНОЇ ЛІТЕРАТУРИ.