Книга: Закревский А.Д. «Параллельные алгоритмы логического управления»
|
Серия: "-" Параллелизм и асинхронность - характерные свойства алгоритмов логического управления взаимодействующими процессами. С разработки таких алгоритмов начинается проектирование разнообразных управляющих устройств в вычислительных машинах, станочных линиях, робототехнических комплексах. В книге рассматриваются задачи описания алгоритмов логического управления, их верификации и технической реализации. Они решаются на основе оригинальной формальной модели, сочетающей достоинства аппарата сетей Петри, обеспечивающего проверку корректности алгоритмов, и теории дискретных автоматов, привлекаемой при логическом проектировании управляющих устройств. Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах. Издательство: "URSS" (2012)
ISBN: 978-5-354-01417-0 Купить за 378 руб в My-shop |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Логика распознавания | Сложное поведение кибернетических систем складывается из цепочек "распознавание ситуации --- принятие… — Подробнее... | бумажная книга | ||
| Логические основы проектирования дискретных устройств | Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней… — Физматлит, - Подробнее... | бумажная книга | ||
| Логические уравнения | В книге описаны методы решения логических уравнений, представляющих собой удобные модели при формализации… — URSS, - Подробнее... | бумажная книга | ||
| Логика распознавания | Сложное поведение кибернетических систем складывается из цепочек "распознавание ситуации - принятие… — URSS, - Подробнее... | бумажная книга | ||
| Логика распознавания | Сложное поведение кибернетических систем складывается из цепочек распознавание ситуации --- принятие… — URSS, Подробнее... | бумажная книга | ||
| Полиномиальная реализация частичных булевых функций и систем | При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи… — URSS, - Подробнее... | бумажная книга |
См. также в других словарях:
Закревский, Аркадий Дмитриевич — В Википедии есть статьи о других людях с такой фамилией, см. Закревский. Аркадий Дмитриевич Закревский Дата рождения: 22 мая 1928(1928 05 22) (84 года) Место рождения: Ленинград, СССР Научная сфера: киберне … Википедия
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… … Википедия
ДРАКОН — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/28 сентября 2012. Пока процесс обсуждения не завершён, статью мож … Википедия
Разбиение графа — Пример разбиения параллельной граф схемы алгоритма логического управления. В составе блоков, отмеченных разными цветами, нет параллельных вершин Разбиение графа на подграфы (англ. Graph partition) (иногда в литературе также употребляется… … Википедия
Граф-схема алгоритма — Ждущая вершина алгоритма Граф схема алгоритма (ГСА) конечный связный ориентированный граф , вершины которого соответствуют операторам, а дуги … Википедия
Институт автоматики и вычислительной техники МЭИ — Институт автоматики и вычислительной техники Московского энергетического института (технического университета) … Википедия
