CS logo CS dept
space
Титул
Цель
одАНЛДУ
Пример
содАНЛДУ
Теорема
Классиф-я
Генерация
Решение
alg_analyser
Экспер-ты
Диагр-ма 1
Диагр-ма 2
Web-SynDic
Заключ-е 1
Заключ-е 2
Результаты
Конец
Valid HTML 4.01!
Valid CSS!

Теоретические результаты

  • Выполнено развитие методов теории систем одАНЛДУ.
  • Сформулирована и доказана теорема о преобразовании произвольной системы одАНЛДУ к двум частным классам.
  • Выделен класс симметричных систем одАНЛДУ и изучены их свойства.
  • Разработаны алгоритмы генерации специальных классов и произвольной системы одАНЛДУ.
  • Разработаны двойственные алгоритмы решения произвольных систем содАНЛДУ и одАНЛДУ.
  • Разработана технология автоматизации тестирования, экспериментального анализа и сравнения алгоритмов решения систем одАНЛДУ.
Петрозаводск - 2005