Web-SynDic Presenters: Mikhail A. Kryshen (junior student) Dmitry G. Korzun (senior lecturer, PhD) Organization: Petrozavodsk State University. Dept. of. - презентация

1 Web-SynDic Presenters: Mikhail A. Kryshen (junior student) Dmitry G. Korzun (senior lecturer, PhD) Organization: Petrozavodsk State University. Dept. of Computer Science Advisor: Yury A. Bogoyavlenskiy (head of Dept., PhD) Докладчики: Михаил Александрович Крышень (студент III к.) Дмитрий Жоржевич Корзун (ст. преп., к.ф.-м.н.) Организация: Петрозаводский гос. университет, каф. Информатики и математического обеспечения Научный руководитель: Юрий Анатольевич Богоявленский (зав. каф., доцент, к.т.н.)

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

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

4 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 интерфейс Стандарты ТППО Коллективная работа Подготовка к распределенной разработке ПО (Хельсинкский ун-т) Кросс-платформенные и переносимые технологии Задачи

5 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-клиент Удобство использования Демонстрация эффективности и сравнение алгоритмов Нет непосредственного доступа к алгоритмам Концепция

6 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 Полиномиальные алгоритмы

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

8 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 (Беркелаар): ЦЛП, симплекс метод, метод ветвей и границ Генераторы: Гаусс-вариант (К.Кулаков) Жордано-вариант (К.Кулаков)

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

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

11 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-сайт проекта

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

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

14 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 Решение / генерация одиночной системы АНЛДУ или множества Оценка эффективности: время и память Сравнение решателей Обратная связь с пользователями Система регистрации и входа пользователей Работа на уровне сессий

15 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#

16 Conclusion Заключение Composition of Mathematical and Software Engineering problems in the Project Application type: scientific Internet service Educational and training aspects International SE standards Объединение в проекте математических проблем и проблем технологии производства ПО Тип разработанного приложения: научный сервис в сети Интернет Аспекты образования и подготовки специалистов Международные стандарты ТППО