Вернуться к списку проектовНа главную страницу курса
Заказчик
Корзун Дмитрий Жоржевич, доцент, к.ф.-м.н., кафедра Информатики и математического обеспечения. Эл.почта: dkorzun@cs.karelia.ru. Раб.тел.: 711084. 217 каб.Кулаков Кирилл Александрович, старший преподаватель кафедры Информатики и математического обеспечения. Эл.почта: kulakov@cs.karelia.ru. Раб.тел.: 711015. Офис: 215 каб.
Аннотация проекта
Данный проект выполняется в рамках разработки системы Web-SynDic [1] - web-системы демонстрации, тестирования и экспериментального анализа синтаксических алгоритмов решения неотрицательных линейных диофантовых уравнений (НЛДУ). Данная система позволяет удаленно решать системы НЛДУ специального вида (ассоциированные с формальной грамматикой однородные системы НЛДУ - системы одАНЛДУ).
Некоторые задачи маршрутизации P2P-систем используют математические модели в виде систем линейных диофантовых уравнений [2]. Предполагается, что существуют уже реализованные компоненты для генерации и решения таких моделей. В рамках проекта необходимо реализовать и встроить в систему Web-SynDic механизм использования этих компонент. В результате пользователи должны получить возможность анализировать задачи маршрутизации в P2P-сетях.
Примерная схема использования такого механизма следующая.
- Генерируется или вводится топология сети (внешний генератор). Результат может быть представлен пользователю в визуальном (графическом) или формальном (текстовом) форматах.
- По топологии строится диофантова модель маршрутизации (внешний алгоритм построения). Пользователю показывается соответствующая система линейных диофантовых уравнения в типичном текстовом формате.
- Эта система решается (внешний решатель) с получением базисных решений. Последние соответствуют простым маршрутам в сети. Пользователю в визуальном (графическом) формате представляются эти маршруты. Помимо этого пользователю предоставляется набор показателей, характеризующих (в численной форме) построенную модель, ее решение и затраченные вычислительные ресурсы.
Ссылки
- Электронные ресурсы системы Web-SynDic: http://websyndic.cs.karelia.ru, http://www.cs.karelia.ru/software/index.php.ru
- Корзун Д.Ж., Гуртов А.В. Использование линейных диофантовых уравнений для моделирования маршрутизации в самоорганизующихся сетях. Электросвязь, N6, 2006. С.34-38.
