Закревский А.Д.

Полиномиальная реализация частичных булевых функций и систем

Закревский А.Д., 2012

При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых функций. В 1995-1997 гг. в Институте технической кибернетики НАН Беларуси были проведены исследования по разработке практически эффективных методов, алгоритмов и программ для ее решения. Полученные результаты опубликованы в серии научных статей и обобщаются в настоящей книге. Предназначена для студентов, аспирантов и специалистов в области проектирования логических схем. Подробнее

Параллельные алгоритмы логического управления

Закревский А.Д., 2012

Параллелизм и асинхронность — характерные свойства алгоритмов логического управления взаимодействующими процессами. С разработки таких алгоритмов начинается проектирование разнообразных управляющих устройств в вычислительных машинах, станочных линиях, робототехнических комплексах. В книге рассматриваются задачи описания алгоритмов логического управления, их верификации и технической реализации. Они решаются на основе оригинальной формальной модели, сочетающей достоинства аппарата сетей Петри, обеспечивающего проверку корректности алгоритмов, и теории дискретных автоматов, привлекаемой при логическом проектировании управляющих устройств. Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах. Подробнее

Логические основы проектирования дискретных устройств

Закревский А.Д., 2007

Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Подробнее

Логические уравнения

Закревский А.Д., 2003

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

Логика распознавания

Закревский А.Д., 2003

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

Закревский А.Д.

Книги

Фантастика

Детектив

Кулинария

Детская литература

Художественная литература

Юмор. Комиксы.

Семья