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