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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Геном
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / События и факты / Аннотация докторской диссертации Шалыто А.А. (версия для печати)


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



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

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

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




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com