Обложка Закревский А.Д. Логический синтез каскадных сxем
Id: 17191
899 руб.

Логический синтез каскадных сxем. Изд. 2

URSS. 2021. 414 с. ISBN 978-5-9710-8672-7.
Белая офсетная бумага
Белая офсетная бумага.
Модели электронных матричных схем • Методы комбинаторного поиска • Теория элементарных матричных схем • Минимизация ДНФ булевой функции • Синтез программируемых логических матриц • Многоярусные комбинационные сети • Реализация автоматов с памятью.

Аннотация

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


Об авторе
Закревский Аркадий Дмитриевич
Известный ученый, специалист в области технической кибернетики и информатики. Член-корреспондент Национальной академии наук Беларуси с 1972 г., доктор технических наук (1967), профессор (1969). Окончил Томский государственный университет (1956). С 1959 по 1971 гг. работал в этом университете; был заведующим кафедрой математической логики и программирования. В 1971–1994 гг. заведующий лабораторией логического проектирования. С 1994 г. главный научный сотрудник Института технической кибернетики Национальной академии наук Беларуси, одновременно профессор Белорусского государственного университета информатики и радиоэлектроники. Последнее место работы: Объединенный институт проблем информатики НАН Беларуси (главный научный сотрудник).

Автор работ по теории автоматов, системному программированию, логико-комбинаторным методам в технике и информатике. Предложил язык программирования логических задач ЛЯПАС, на базе которого была создана серия систем автоматизированного проектирования дискретных устройств. Разработал серию практически эффективных алгоритмов минимизации булевых функций и систем, решения больших систем логических уравнений и переопределенных систем линейных логических уравнений с приложениями в логическом синтезе и защите информации. Автор более 400 научных работ, в том числе 11 монографий.