'

Web-SynDic

Понравилась презентация – покажи это...





Слайд 0

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 к.) Дмитрий Жоржевич Корзун (ст. преп., к.ф.-м.н.) Организация: Петрозаводский гос. университет, каф. Информатики и математического обеспечения Научный руководитель: Юрий Анатольевич Богоявленский (зав. каф., доцент, к.т.н.) websyndic@cs.karelia.ru


Слайд 1

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


Слайд 2

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


Слайд 3

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


Слайд 4

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


Слайд 5

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


Слайд 6

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


Слайд 7

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


Слайд 8

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


Слайд 9

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


Слайд 10

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


Слайд 11

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


Слайд 12

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


Слайд 13

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


Слайд 14

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#


Слайд 15

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


×

HTML:





Ссылка: