Пошук академічних текстів

Інформація × Реєстраційний номер 0595U000699, Докторська дисертація На здобуття д.т.н. Дата захисту 06-10-1995 Статус Запланована Назва роботи Разрботка формализованных методов структурного синтеза композиционных автоматов Здобувач Баркалов Александр Александрович, Опонент Летичевский О.А. Опонент Закревский А.Д. Опонент Новиков Г.И. Опис Объект исследования: Многоуровневые системы управления, которые включают автоматы с жесткой и программируемой логикой. Цель исследования: Развитие теории автоматов и разработка формальных методов синтеза и выбора оптимальной структуры компонент. Методы исследования и аппаратура: Методы теории конечных автоматов, теории графов, теории множеств, прикладной комбинаторики и булевой алгебры. Теоретические результаты и новизна: Впервые предложена математически обоснованная модель многоуровневой системы управления и новые методы синтеза автоматов с жесткой и программируемой логикой. Практические результаты и новизна: Кмплекс программ, который позволяет автоматизировать процесс проектирования композиционных автоматов. Предмет и степень внедрения: Пакеты программ внедрены в практику инженерного проектирования и в учебный процесс. Эффективность внедрения: Уменьшение стоимости схем компонентных автоматов и системы управления в целом. Сфера (область) использования: НИИ и КБ, которые разрабатывают цифровую аппаратуру на БИС. Дата реєстрації 1995-10-06 Додано в НРАТ 2020-05-17 Закрити