Логический синтез каскадных схем, Закревский А.Д., 1981

Логический синтез каскадных схем, Закревский А.Д., 1981.

   Книга посвящена важным проблемам современной вычислительной техники. Излагаются вопросы логического проектирования каскадных схем (в частности, программируемых логических матриц) — широкого класса дискретных устройств, порожденного технологией больших интегральных схем. Описываются эффективные методы решения разнообразных задач анализа и синтеза этих устройств. В их основе лежат матричное представление структуры устройств и векторно-матричная интерпретация некоторых разделов булевой алгебры. Особое внимание уделяется реализации предлагаемых алгоритмов на ЭВМ.
Книга предназначена для специалистов в области вычислительной техники, дискретной математики и лиц, интересующихся использованием ЭВМ для решения логических задач.




Электронные матричные схемы.
Вентильные сетки. Еще в сороковых годах нашего столетия в технике связи и телеуправления, а также в зарождавшейся тогда электронной вычислительной технике применялись стандартного вида схемы, известные под названием вентильных сеток.

Вентилем (диодом, или выпрямителем) называется радиотехнический элемент, обладающий следующим замечательным свойством: его сопротивление прямому прохождению тока (т. е. слева направо на рис. 1, где показано схематическое изображение вентиля) весьма мало, а обратному прохождению (справа налево) — велико. В качестве грубого приближения можно принять прямое сопротивление равным нулю, а обратное — равным бесконечности. При исследовании свойств схем, содержащих вентили, такое приближение в большинстве случаев оправдывается и приводит к существенным ошибкам лишь тогда, когда в схеме существуют цепи, содержащие большое число последовательно или параллельно включенных вентилей.

Оглавление.
Предисловие.
Глава 1. Модели электронных матричных схем.
1. Электронные матричные схемы.
2. Булевы функции и их матричные представления.
3. Матричные операторы.
4. Правильные цепочки.
Глава 2. Методы комбинаторного поиска.
5. Комбинаторный поиск.
6. Задачи о покрытии множеств.
7. Поиск минимальных разбиений.
8. Приближенные методы.
Глава 3. Теория элементарных матричных схем.
9. Исследование уравнений элементарных матричных схем.
10. Задачи диагностики.
11. Нахождение минимального дизъюнктивного базиса.
12. Задача о кодировании.
13. Задача о генерировании.
Глава 4. Минимизация ДНФ булевой функции.
14. Классические методы минимизации булевых функций.
15. Сжатие булевой матрицы.
16. Методы сканирования булева пространства.
17. Упрощение троичных матриц.
18. Оптимальная реализация слабо определенных булевых функций.
Глава 5. Синтез программируемых логических матриц.
19. Оптимизация ПЛМ по входу.
20. Минимизация системы булевых функций.
21. Синтез ПЛМ с заданной выходной матрицей.
22. Диагностирование ПЛМ.
Глава 6. Многоярусные комбинационные сети.
23. Моделирование и анализ.
24. Декомпозиционные методы синтеза в базисе элементарных матричных схем.
25. Синтез одноярусных сетей из ПЛМ.
26. Синтез многоярусных сетей из ПЛМ.
Глава 7. Реализация автоматов с памятью.
27. Элементы теории последовательностных схем.
28. Секвенциальные автоматы.
29. Устойчивость поведения автоматов.
30. Реализация состояний и переходов на ПЛМ.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Логический синтез каскадных схем, Закревский А.Д., 1981 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: учебник по математике :: математика :: Закревский