Книги автора Закревский А.Д.
Жанр: Разное
Год: 2012
Рейтинг:
Описание:
При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых функций. В 1995-1997 гг. в Институте технической кибернетики НАН Беларуси были проведены исследования по разработке практически эффективных методов, алгоритмов и программ для ее решения. Полученные результаты опубликованы в серии научных статей и обобщаются в настоящей книге. Предназначена для студентов, аспирантов и специалистов в области проектирования логических схем.
Жанр: Разное
Год: 2012
Рейтинг:
Описание:
Параллелизм и асинхронность — характерные свойства алгоритмов логического управления взаимодействующими процессами. С разработки таких алгоритмов начинается проектирование разнообразных управляющих устройств в вычислительных машинах, станочных линиях, робототехнических комплексах. В книге рассматриваются задачи описания алгоритмов логического управления, их верификации и технической реализации. Они решаются на основе оригинальной формальной модели, сочетающей достоинства аппарата сетей Петри, обеспечивающего проверку корректности алгоритмов, и теории дискретных автоматов, привлекаемой при логическом проектировании управляющих устройств. Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах.
Жанр: Разное
Год: 2007
Рейтинг:
Описание:
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями.
Название: Логические уравнения
Жанр: Разное
Год: 2003
Рейтинг:
Описание:
В книге описаны методы решения логических уравнений, представляющих собой удобные модели при формализации постановки многих научных и технических задач: формального вывода, логического синтеза и анализа дискретных устройств, диагностики их неисправностей и др. Рассмотрена серия практически важных классов логических уравнений и систематически изложены алгоритмы их решения, в ряде случаев оригинальные, разработанные с учетом возможности их реализации на компьютере. Книга рассчитана на научных сотрудников и инженеров, работающих в области проектирования вычислительных машин и дискретных управляющих систем, системного программирования, а также на студентов и аспирантов, специализирующихся в соответствующих направлениях.
Название: Логика распознавания
Жанр: Логика
Год: 2003
Рейтинг:
Описание:
Сложное поведение кибернетических систем складывается из цепочек «распознавание ситуации — принятие решения — действие». Книга посвящена первому из этих звеньев. В популярной форме излагается подход к распознаванию, основанный на построении «модели мира» — логического пространства взаимосвязанных признаков и разделения процесса распознавания на два этапа: индуктивный и дедуктивный. Предназначена для читателей, интересующихся современными проблемами кибернетики.
