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

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

Аркадий Закревский

     

бумажная книга



Издательство: Едиториал УРСС
Дата выхода: январь 2012
ISBN: 978-5-354-01417-0
Объём: 200 страниц
Масса: 330 г
Размеры(В x Ш x Т), см: 22 x 15
Обложка: мягкая

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


Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах.

 

3-е издание