|
|
|
|
| |
Закревский А.Д.
|
|
Полиномиальная реализация частичных булевых функций и систем
Автор: Закревский А.Д. Жанр: Разное Издательство: Эдиториал УРСС Год: 2012 Страниц: 200 Дата загрузки: 25 июня 20142014-07-28
|
|
При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых функций. В 1995-1997 гг. в Институте технической кибернетики НАН Беларуси были проведены исследования по разработке практически эффективных методов, алгоритмов и программ для ее решения. Полученные результаты опубликованы в серии научных статей и обобщаются в настоящей книге. Предназначена для студентов, аспирантов и специалистов в области проектирования логических схем.
|
| |
|
Параллельные алгоритмы логического управления
Автор: Закревский А.Д. Жанр: Разное Издательство: Эдиториал УРСС Год: 2012 Страниц: 200 Дата загрузки: 25 июня 20142014-07-28
|
|
Параллелизм и асинхронность — характерные свойства алгоритмов логического управления взаимодействующими процессами. С разработки таких алгоритмов начинается проектирование разнообразных управляющих устройств в вычислительных машинах, станочных линиях, робототехнических комплексах. В книге рассматриваются задачи описания алгоритмов логического управления, их верификации и технической реализации. Они решаются на основе оригинальной формальной модели, сочетающей достоинства аппарата сетей Петри, обеспечивающего проверку корректности алгоритмов, и теории дискретных автоматов, привлекаемой при логическом проектировании управляющих устройств. Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах.
|
| |
|
Логические основы проектирования дискретных устройств
Автор: Закревский А.Д. Жанр: Разное Издательство: Физматлит Год: 2007 Страниц: 592 Дата загрузки: 13 декабря 20092009-10-11
|
|
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями.
|
| |
|
Логические уравнения
Автор: Закревский А.Д. Жанр: Разное Издательство: Эдиториал УРСС Год: 2003 Страниц: 96 Дата загрузки: 15 мая 20092006-09-22
|
|
В книге описаны методы решения логических уравнений, представляющих собой удобные модели при формализации постановки многих научных и технических задач: формального вывода, логического синтеза и анализа дискретных устройств, диагностики их неисправностей и др. Рассмотрена серия практически важных классов логических уравнений и систематически изложены алгоритмы их решения, в ряде случаев оригинальные, разработанные с учетом возможности их реализации на компьютере. Книга рассчитана на научных сотрудников и инженеров, работающих в области проектирования вычислительных машин и дискретных управляющих систем, системного программирования, а также на студентов и аспирантов, специализирующихся в соответствующих направлениях.
|
| |
|
Логика распознавания
Автор: Закревский А.Д. Жанр: Логика Издательство: Эдиториал УРСС Год: 2003 Страниц: 144 Дата загрузки: 19 февраля 20092008-08-11
|
|
Сложное поведение кибернетических систем складывается из цепочек «распознавание ситуации — принятие решения — действие». Книга посвящена первому из этих звеньев. В популярной форме излагается подход к распознаванию, основанный на построении «модели мира» — логического пространства взаимосвязанных признаков и разделения процесса распознавания на два этапа: индуктивный и дедуктивный. Предназначена для читателей, интересующихся современными проблемами кибернетики.
|
| |
|
|
|
|
|
