CS logo CS dept
space
Титул
Цель
одАНЛДУ
Пример
Заключ-е
Результаты
Конец
Valid HTML 4.01!
Valid CSS!
Yellow Pages

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

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