Баркалов А. А. Разрботка формализованных методов структурного синтеза композиционных автоматов

Объект исследования: Многоуровневые системы управления, которые включают автоматы с жесткой и программируемой логикой. Цель исследования: Развитие теории автоматов и разработка формальных методов синтеза и выбора оптимальной структуры компонент. Методы исследования и аппаратура: Методы теории конечных автоматов, теории графов, теории множеств, прикладной комбинаторики и булевой алгебры. Теоретические результаты и новизна: Впервые предложена математически обоснованная модель многоуровневой системы управления и новые методы синтеза автоматов с жесткой и программируемой логикой. Практические результаты и новизна: Кмплекс программ, который позволяет автоматизировать процесс проектирования композиционных автоматов. Предмет и степень внедрения: Пакеты программ внедрены в практику инженерного проектирования и в учебный процесс. Эффективность внедрения: Уменьшение стоимости схем компонентных автоматов и системы управления в целом. Сфера (область) использования: НИИ и КБ, которые разрабатывают цифровую аппаратуру на БИС.