Основные научные результаты Матросова В.Л.:
• установлена функциональная связь между емкостью модели алгоритмов распознавания и сложностью ее задания; • установлена конкретная функциональная зависимость емкости модели алгоритмов от размерности и степени алгоритмических полиномов; • разработан спектральный метод, позволяющий конструктивно находить корректный для регулярной задачи алгоритм из данной модели алгоритмов, имеющий ограниченную емкость; • установлены экстраполяционные возможности моделей алгоритмических полиномов ограниченной емкости. При этом доказано, что при любом ограничении на показатель степени полиномиального расширения модели алгоритмов распознавания, существуют регулярные задачи, не имеющие в данном расширении корректного алгоритма; • разработан новый метод операторных покрытий, с помощью которого получены асимптотически совпадающие верхние и нижние оценки емкости данной модели алгоритмов; • доказана инвариантность оценок емкости относительно выбора главных операций алгебраических расширений модели алгоритмов распознавания; • создан аппарат исследования, позволяющий строить подмодели алгоритмов ограниченной емкости, наследующие свойства корректности, что дало возможность создать цельную методику теоретического изучения задач синтеза решающих алгоритмов с заданным качеством. Ключевые слова информатика, теория алгоритмов, математическая логика |
![]() | ||
![]() |
Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а) | ![]() ![]() |