Книга: Закревский А.Д. «Параллельные алгоритмы логического управления»

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

Серия: "-"

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

Издательство: "URSS" (2012)

ISBN: 978-5-354-01417-0

Купить за 378 руб в My-shop

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Логика распознаванияСложное поведение кибернетических систем складывается из цепочек "распознавание ситуации --- принятие… — Подробнее...2003231бумажная книга
Логические основы проектирования дискретных устройствКнига представляет собой введение в теорию логического проектирования дискретных устройств. В ней… — Физматлит, - Подробнее...20071264бумажная книга
Логические уравненияВ книге описаны методы решения логических уравнений, представляющих собой удобные модели при формализации… — URSS, - Подробнее...2003252бумажная книга
Логика распознаванияСложное поведение кибернетических систем складывается из цепочек "распознавание ситуации - принятие… — URSS, - Подробнее...2003322бумажная книга
Логика распознаванияСложное поведение кибернетических систем складывается из цепочек распознавание ситуации --- принятие… — URSS, Подробнее...2003417бумажная книга
Полиномиальная реализация частичных булевых функций и системПри проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи… — URSS, - Подробнее...2012378бумажная книга

См. также в других словарях:

  • Закревский, Аркадий Дмитриевич — В Википедии есть статьи о других людях с такой фамилией, см. Закревский. Аркадий Дмитриевич Закревский Дата рождения: 22 мая 1928(1928 05 22) (84 года) Место рождения: Ленинград, СССР Научная сфера: киберне …   Википедия

  • Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… …   Википедия

  • ДРАКОН — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/28 сентября 2012. Пока процесс обсуждения не завершён, статью мож …   Википедия

  • Разбиение графа — Пример разбиения параллельной граф схемы алгоритма логического управления. В составе блоков, отмеченных разными цветами, нет параллельных вершин Разбиение графа на подграфы (англ. Graph partition) (иногда в литературе также употребляется… …   Википедия

  • Граф-схема алгоритма — Ждущая вершина алгоритма Граф схема алгоритма (ГСА) конечный связный ориентированный граф , вершины которого соответствуют операторам, а дуги …   Википедия

  • Институт автоматики и вычислительной техники МЭИ — Институт автоматики и вычислительной техники Московского энергетического института (технического университета) …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»