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

Оновлено: 2026-03-17