УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Аннотация докторской диссертации Шалыто А.А.

05990003519 Шалыто Анатолий Абрамович. Методы аппаратной и программной реализации алгоритмов логического управления технологическими процессами: Дис… д-р техн. наук /Санкт-Петербургский государственный электротехнический университет (ЛЭТИ) (СПбГЭТУ). — Защищена 1999.10.29. УДК 681.3.06:62-507. 392 с. — Библиогр.: 356 назв.

Предложены методы аппаратной и программной реализации алгоритмов логического управления технологическими процессами. Теоретические результаты: новые преобразования булевых функций, новые свойства булевых формул, методы синтеза комбинационных схем из произвольных априори заданных элементов, метод построения настраиваемых модулей, топологический метод реализации комбинационных схем модулями из элементов с двусторонней проводимостью, определены функциональные возможности программируемых логических матриц в классе булевых формул, новые однородные структуры для реализации булевых формул и функций, метод реализации булевых формул линейными бинарными графами, метод реализации систем булевых функций арифметическими полиномами, технология алгоритмизации программирования задач логического управления. Для всех методов предложены оценки сложности предстоящих реализаций. Все результаты являются новыми. Модули внедрены во ВНИИ «Альтаир» и НПО «Аврора», технология в НПО «Аврора» при создании большого числа систем логического управления технологическими процессами.