Математические методы решения задач синтеза, анализа и контроля дискретных управляющих систем, их приложения

Цель проекта состоит в проведении исследований и получении решения серии актуальных задач, связанных с синтезом, анализом и тестированием дискретных управляющих систем, с передачей информации о дискретных функциях, а также с эквивалентностью, оптимизацией и верификацией автоматных вычислительных моделей. Направления научных исследований. 1. Получение асимптотических оценок, имеющих, как правило, высокую степень точности, для сложности "типичных" или "самых сложных" функций в некоторых классах схем. 2. Разработка методов синтеза схем в некоторых моделях, связанных с логическим проектированием дискретных устройств преобразования информации и, в частности, СБИС. 3. Разработка методов "вложения" ("геометрической" реализации) схем в некоторые регулярные структуры, связанные, в частности, с топологическим синтезом СБИС. 4. Исследование индивидуальной сложности и структуры оптимальных схем для ряда «специальных» функций. 5. Построение и анализ тестов для различных задач контроля в некоторых классах схем. 6. Получение простых представлений, оценок на минимальный размер области определения и сложность получения универсальных функций. 7. Исследование ряда фундаментальных проблем программирования, таких как проблемы эквивалентности, оптимизации и верификации автоматных вычислительных моделей.