Web-SynDic

Software to develop
WEB SYSTEM
FOR DEMONSTRATING AND TESTING SYNTACTIC ALGORITHMS FOR SOLVING LINEAR DIOPHANTINE EQUATIONS IN NONNEGATIVE INTEGERS
WEB СИСТЕМА ДЕМОНСТРАЦИИ
И ТЕСТИРОВАНИЯ СИНТАКСИЧЕСКИХ АЛГОРИТМОВ РЕШЕНИЯ НЕОТРИЦАТЕЛЬНЫХ ЛИНЕЙНЫХ ДИОФАНТОВЫХ УРАВНЕНИЙ
ПО для разработки

Application Domain
Research:
Demonstration of the novel syntactic algorithms
Education:
Sample student team SE project
Software Engineering:
Technology of distributed testing the syntactic algorithms
Научные исследования:
Демонстрация оригинальных синтаксических алгоритмов
Образование:
Пробный студенческий групповой программный проект
Технология производства ПО:
Технология распределенного тестирования синтаксических алгоритмов
Область применения

Objectives
Novel algorithms
Scientific Internet service
Web-based User Interface
International SE standards
Team project
Training for distributed software development (Helsinki University)
Cross-platform and portability technologies
Оригинальные алгоритмы
Научный сервис в Интернет
Web интерфейс
Стандарты ТППО
Коллективная работа
Подготовка к распределенной разработке ПО (Хельсинкский ун-т)
Кросс-платформенные и переносимые технологии
Задачи

Concept
Real-problem SE project
Web-based application
Thin web client
Usability
Demonstration of algorithms efficiency and comparison
No direct access to algorithms
Проект по разработке реального ПО
Web-приложение
Тонкий web-клиент
Удобство использования
Демонстрация эффективности и сравнение алгоритмов
Нет непосредственного доступа к алгоритмам
Концепция

Problem domain
Предмет. область
Sample ANLDE system:
x1 + x2 = 2*x1 + 3*x3
x3 + x4 = x1 + 2*x2 + x3
Hilbert basis:
h1 = (1,1,0,3); h2 = (0,3,1,6)
General solution:
x = a*h1 + b*h2
Solution problem:
Find a particular solution
Search Hilbert basis
Complexity
NP-complete, overNP
Polynomial algorithms
Пример системы АНЛДУ:
x1 + x2 = 2*x1 + 3*x3
x3 + x4 = x1 + 2*x2 + x3
Базис Гильберта:
h1 = (1,1,0,3); h2 = (0,3,1,6)
Общее решение:
x = a*h1 + b*h2
Задача решения:
Поиск частного решения
Нахождение базиса Гильберта
Сложность
NP-полная, overNP
Полиномиальные алгоритмы

Architecture
and Information flows
Архитектура
и потоки информации

Algorithms
Алгоритмы
Solvers:
Syntactic (D.Korzun)
Slopes (M.Filgueiras,
A.-P.Tomás)
Lp_solve (Berkelaar):
ILP, simplex & branch-and-bound methods
Generators:
Gauss-based (K.Kulakov)
Gordano (K.Kulakov)
Решатели:
Синтаксический (Корзун) Slopes (М.Филгуеирас,
А.-П.Томас)
Lp_solve (Беркелаар):
ЦЛП, симплекс метод,
метод ветвей и границ
Генераторы:
Гаусс-вариант (К.Кулаков)
Жордано-вариант (К.Кулаков)

Project schedule
Расписание проекта

The Team
Команда
Customer:
Yury A. Bogoyavlenskiy
Management:
Dmitry G. Korzun
Developers:
Kirill A. Kulakov
Mikhail A. Kryshen
Andrey Y. Salo
Andrey A. Ananin
Заказчик:
Ю.А. Богоявленский
Менеджмент:
Д.Ж. Корзун
Разработчики:
К.А. Кулаков
М.А. Крышень
А.Ю. Сало
А.А. Ананьин

Tools
Инструменты
Portability:
Java — the web system
ANSI C & POSIX — the external algorithms (solvers and generators)
Modeling:
UML
Team work:
CVS repository
Project web site
Переносимость:
Java — web-система
ANSI C, C++ и стандарт POSIX — внешние алгоритмы (решатели и генераторы)
Моделирование:
UML
Командная работа:
CVS репозиторий
Web-сайт проекта

Size of artifacts
Размер артефактов

Testing
Тестирование
Unit testing
Integration
testing
Validation testing
System testing
Alpha testing
Beta testing
Тестирование блоков
Интеграционное тестирование
Проверка требований
Системные тесты
Альфа-тестирование
Бета-тестирование

Features
Возможности
Solve / generate an ANLDE system or a set of them
Efficiency estimate:
time and space
Compare solvers
Backward relation with users
User registration
and login
Work on session basis
Решение / генерация одиночной системы АНЛДУ или множества
Оценка эффективности: время и память
Сравнение решателей
Обратная связь с пользователями
Система регистрации и входа пользователей
Работа на уровне сессий

Microsoft
Microsoft
Cross-platform application (required):
Windows and UNIX
Standard Internet browser for a client, e.g. MS IE 6.0 (required)
Portability to MS .NET technology:
possible with a CASE tool Java => J#
Кросс-платформенное приложение (требовалось): Windows и UNIX
Стандартный обозреватель Интернет для клиента, напр. MS IE 6.0 (требовалось)
Переносимость под
MS .NET технологию:
возможно с помощью инструментального средства Java => J#