Подробное описание документа

Закревский А. Д.
   Параллельные алгоритмы логического управления / Закревский А. Д. - Издание стер. - М. : URSS : Ленанд, 2021. - 200 с. : ил. - Библиогр.: с. 187-193. - ISBN 978-5-9519-2255-7.

Аннотация

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

УДК

519.71 Теория управляющих систем (математические вопросы)

Предметные рубрики

• Автоматов теория
• Логические схемы

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Читальный зал ауд.305л, УЛК, ауд. 305л