X n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Arageli: Blazing Mathematics Mini–project Report ITLab, 24 Feb, 2006.

Slides:



Advertisements
Similar presentations
Введение в QA или что делают тестеры Сергей Шарапа
Advertisements

Выпускная квалификационная работа на тему: «Применение интернет-технологий как фактор повышения эффективности функционирования организации (на примере.
Формирование информационной культуры учащихся: опыт реализации совместного пилотного проекта Т.В. Лихожон, заведующая библиотекой учебно-воспитательного.
О.О.Замков, Дж.Л.Локшин Тестирование как форма текущего и итогового контроля в учебном процессе МИЭФ ГУ-ВШЭ.
Разработка программного обеспечения (Software Engineering) Ian Sommervillle Часть 4. Реализация ПО: Проектирование с повторным использованием компонентов.
Поиск оптимального набора параметров оптимизаций компилятора Брусенцов Леонид Евгеньевич студент 4 курса ФИТ НГУ Руководители:Илья.
Автоматическая генерация кода программ с явным выделением состояний Канжелев С.Ю. магистрант СПбГУ ИТМО Шалыто А.А. доктор технических наук профессор СПбГУ.
Разработка и внедрение объектно-ориентированной библиотеки для автоматизации тестирования Кафедра системного программирования Студент: Олейник А.Л. 544.
Дипломная работа Ивановой О.О., группа 545 Научный руководитель: д. ф.-м. н., профессор Терехов А.Н. Генерация кода по диаграмме активностей.
Автоматизированная поддержка пользовательской документации Web-приложений, разрабатываемых в среде WebRatio Студент: Дорохов Вадим, 544 гр. Научный руководитель:
ООО «Баркод Маркет».  Инвентаризация имущества – программная система, позволяющая организовать учет любого имущества компании.  Уменьшение неконтролируемых.
Министерство Образования и Науки Республики Татарстан сентября 2010 г. г. Казань Всемирный банк Развитие школ Республики Татарстан в условиях.
Савенко Мария Олеговна, 361 группа Научный руководитель: старший преподаватель В.С.Полозов.
M ULTIMEDIA Solomeshch Natalya. К ОДИРОВАНИЕ ПРЯМОУГОЛЬНЫХ КАДРОВ Простой профиль Кодек, совместимый с простым профилем, должен уметь кодировать и декодировать.
НОРМАТИВНО – ПРАВОВЫЕ И ОРГАНИЗАЦИОННО- ТЕХНИЧЕСКИЕ ФАКТОРЫ РЕАЛИЗАЦИИ СЕТИ ЦИФРОВОГО ТЕЛЕВЕЩАНИЯ В РОССИЙСКОЙ ФЕДЕРАЦИИ Демьянов Александр Иванович –
Тел. (495) Москва, а/я 212 Рабочая группа по реформе МВД Москва, 2010 Новикова Асмик, Фонд «Общественный вердикт»
Разработка информационной системы накопительной программы лояльности для мобильных устройств Автор: Дьяченко Василий Владимирович мат-мех, 545 группа Научный.
ПРИНЦИПЫ РАЗРАБОТКИ СИСТЕМЫ КЛАССА LEARNING MANAGEMENT SYSTEM И ОПЫТ ЕЕ ИСПОЛЬЗОВАНИЯ НА ФАКУЛЬТЕТЕ МЕНЕДЖМЕНТА Афанасьева С.В. Кафедра бизнес-информатики.
Санкт-Петербургский Государственный Университет Математико-механический факультет Кафедра системного программирования Научный руководитель: Я.А. Кириленко.
О ПЫТ ОРГАНИЗАЦИИ КОНТРОЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ И КАЧЕСТВА ОБУЧЕНИЯ НА БАЗЕ ЦЕНТРА ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ Ю ЖНОГО ФЕДЕРАЛЬНОГО УНИВЕРСИТЕТА.
Миллер Дмитрий, 545 группа Научный руководитель: д.ф.-м.н., профессор, А.Н.Терехов Рецензент: к.ф.-м.н, доцент, А.Н. Иванов.
ЭЛЕКТРОННЫЙ ХРОНОМЕТРАЖ Докладчики : Чуранов В. Л. ( Вологда ) Цапилов Н. В. ( Рыбинск )
1 СПбГУ ИТМО, кафедра Компьютерных Технологий ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ УПРАВЛЕНИЯ БИЗНЕС- ПРОЦЕССАМИ Евгений Андреевич.
Адаптивный метод распределения SPMD-заданий в грид Паньшенсков Михаил, 545 группа Научный руководитель: Лукичев А.С. Рецензент: Демьянович Ю.К июня.
Компонент 3 Разработка системы показателей для измерения результативности органа исполнительной власти Component 3 Development of a system of.
Разработка программного обеспечения (Software Engineering) Часть 2. Создание ПО.
Erstmedia, , Москва, ул. Профсоюзная, 93А, офис (495) , Стратегия и тактика крупного бренда.
1 Генерация контекстных ограничений для баз данных Выполнил: Жолудев В. Научный руководитель: Терехов А.Н. Рецензент: Иванов А.Н.
Аппаратное ускорение алгоритмов компьютерного зрения Стефан Бояровски, 361 группа Научный руководитель: Сергей П. Шувалкин.
ERAMIS “Network Europe – Russia – Asia of Masters in Informatics as a Second competence” (ERAMIS) «Магистратура по информатике как вторая компетенция для.
Apache Harmony или как сделать курсовую работу в рамках этого проекта Фурсов Михаил.
 Нужно много различных протоколов связи  Каждый из них может реализовываться на разных платформах Современные сети Много устройств, компьютеров и сетей.
Сопоставление полигональных объектов на основе независимой фрагментации контуров Выполнил: Ю. М. Плотников Научный руководитель: канд. ф.-м. наук К. В.
Microsoft Solutions Framework Технологии программирования. Курс на базе Microsoft Solutions Framework Семинар 4. Прохождение фазы выработки концепции в.
PHP как язык программирования. Типы данных логические величины int, integer – целые числа real, double, float – вещественные числа string – строки array.
Face detection and swap Нижегородский государственный университет им. Н. И. Лобачевского Лаборатория ITLab Кураторы: Андрей Петров Андрей Петров Анна Кривицкая.
Создание экспериментального стенда для оценки методов поиска изображений по содержанию Выполнила: Теплых М. А. Научный руководитель: Васильева Н. С. Рецензент:
Учебный курс «Технологии программирования. Курс на базе Microsoft Solutions Framework (MSF)» Нижегородский государственный университет им. Н.И. Лобачевского.
Верификация автоматных программ Ремизов А.О., д.т.н., проф. Шалыто А.А.
ICAO Training Workshop Moscow, Применение EATMP Common Core Content в процессе разработки учебных курсов: опыт Латвии Учебный центр АНС, Латвия.
 «Развитие туризма в Северо-Западном регионе РФ»  Почему на Северо-западе России нужен проект в сфере туризма  Общие цели  Организация проекта и подход.
Увеличение модульности программного обеспечения на языке Java Курсовая работа студента 345 группы Абишева Тимура Маратовича Научный руководитель: Профессор.
Санкт-Петербургский Государственный Университет Математико-Механический факультет Кафедра системного программирования Применение диаграмм двоичных решений.
Анализ и Проектирование качественных приложений Презентация по книге Крэга Лармана.
BioUML интегрированная расширяемая среда для моделирования биологических систем Biosoft.Ru Лабоработория Биоинформатики КТИ ВТ СО РАН
Предметно-ориентированное моделирование приложений для платформы Android Никонова Ольга СПбГУ Научный руководитель Брыксин Т.А.
Применение генетических алгоритмов для генерации тестов к олимпиадным задачам по программированию Буздалов М.В., СПбГУ ИТМО.
Microsoft Solutions Framework Технологии программирования. Курс на базе Microsoft Solutions Framework Лекции 8. Методология Microsoft Solutions Framework.
Разработка метода оптимизации времени выполнения модульных тестов в системе SRP Головдинова Алина Эмировна 545 группа Руководитель: Изъюров А.Л. Рецензент:
Демидов А.В г. Операционные системы Лекция 4 Работа с файлами.
МЕТОД СКОЛЬЗЯЩЕГО КОНТРОЛЯ ДЛЯ ОЦЕНКИ КАЧЕСТВА РЕКОМЕНДАТЕЛЬНЫХ ИНТЕРНЕТ- СЕРВИСОВ А.Ю. Каминская, Р.А. Магизов Научный руководитель – Д.И. Игнатов Государственный.
Участие Российской государственной библиотеки в редакционно-маркетинговых проектах The European Library EVA’2011 Москва, РГБ.
Библиотека для работы с конечными множествами, использующая графический процессор в качестве основного вычислительного устройства Новосибирский Государственный.
9 октября 2004 Поиск статических изображений по содержанию: использование текстового запроса Наталья Васильева
Проверка эквивалентности срединной и линейной осей многоугольника Дипломная работа студента 545 группы Подколзина Максима Валериевича Санкт-Петербургский.
«Интернет радио» Разработчик Демидко А.А. Преподаватель Бронштейн М.Е.
Перенос технологии REAL-IT на платформу Microsoft.Net Нестеров Антон Научный руководитель: Иванов А.Н. Рецензент: Серебрякова Г.М.
Сравнение подходов к индексированию XML документов c поддержкой некоторых операций модификации Выполнил: Василий Шикин, 545 группа Руководитель: Дмитрий.
Классификация, кластеризация и поиск изображений на основе низкоуровневых характеристик Наталья Васильева Руководитель: Новиков Б. А.
Исследование возможностей сервисной шины SonicMQ Дипломная работа студентки 545 группы Комольцевой Дарьи Владимировны Научный руководитель: Графеева Н.Г.
Нескучное тестирование с pytest
Simulatorpro.ru Презентация. Система предназначена для обучения и проверки знаний по технике безопасности и навыков работы на сложном технологическом.
Motorola General Business Use, CiDDT-Overview.ppt, Rev.1.0, 23-Jun-2008 MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office.
СОСТАВЛЕНИЕ ОПТИМАЛЬНОГО ПЛАНА ПРОДАЖ НА ПРИМЕРЕ МНОГОКВАРТИРНОГО ДОМА ЖДАНОВА МАРИЯ 4 КУРС, НИУ ВШЭ СПБ, СПБШЭМ, ДЕПАРТАМЕНТ ЭКОНОМИКИ ГРУППА « АНАЛИТИЧЕСКАЯ.
Т.В. Биренбаум Н.А. Качанова Подходы к формированию электронной библиотеки университета в условиях минимальных финансовых, материальных и трудовых ресурсов.
Шушковская Александра Ивановна учитель начальных классов ГБОУ СОШ№ апреля 2015 г.
JavaScript
Отчетность средствами Reporting Services 2008
Сергей Копорулин | Эксперт по технологиям | Microsoft
Тестирование кабельных жгутов. Мы предоставляем решения для тестирования качества от стандартных до сложных в области электрических испытаний и измерений.
Presentation transcript:

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Arageli: Blazing Mathematics Mini–project Report ITLab, 24 Feb, 2006

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Исполнители Стажеры: –А–Алексей Сиднев ( лидер) –В–Владимир Александров –Н–Нина Гонова –М–Михаил Зайцев –А–Андрей Камаев –А–Алексей Боровков Кураторы: –С–С.С. Лялин –Н–Н.Ю. Золотых

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Содержание Arageli Library Задание Работа в проекте: –Распределение ролей –Динамика мини-проекта –План –Еженедельные отчеты –Протоколы совещаний Результаты: –Тестирование –User’s Guide Итоги

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Arageli Library Arageli: Blazing Mathematics –Arageli – это библиотека для точных, символьных, алгебраических вычислений. Она содержит определение таких структур, как вектора, матрицы, полиномы, целые и рациональные числа неограниченной величины и алгоритмы для решения различных задач с их использованием. Разработчики: –С.С. Лялин –А.А. Сомсиков –А. Бадер –Н.Ю. Золотых –М.А. Алексеев –Е.А. Агафонов ( все: каф. МЛиВА)

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Структура библиотеки Абстрактные типы данных (классы) и алгоритмы: –Целые числа произвольной длины –Рациональные числа –Векторы и матрицы –Разреженные полиномы –Полиномы от многих переменных –Модулярная арифметика –Алгебраические числа –Числа с плавающей запятой произвольной точности –Формульные преобразования

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Задание Разработка системы тестирования –Разработка тестовРазработка тестов –Апробирование системы тестирования Разработка документации –Arageli User’s Guide

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Основные задачи тестирования Тестирование функциональности библиотеки (компиляция и исполнение) и выявление противоречий между функциональностью библиотеки и документацией. Тестирование документации: полнота, чёткость документации, поиск ошибок (орфографических, пунктуационных и проч.).

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Основные требования к тестированию Необходимо протестировать по возможности как можно больше классов и функций Каждый тест должен представлять собой отдельное (обычно консольное) приложение.

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Задание на разработку документации Написать руководство пользователя – Quick-start к библиотеке Arageli: –основы, необходимые для использования библиотеки (как теоретические так и практические) –описание функциональности библиотеки –примеры использования библиотеки

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Распределение ролей

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Динамика мини-проекта Тесты Результат Задание Группа по тестированию: Тесты Результат

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Результат Задание Динамика мини-проекта Группа разработки документации: Докумен- тация Докумен- тация

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Работа в проекте План –Начальный планНачальный план –Финальный планФинальный план Протоколы совещаний –7 официальных собраний7 официальных собраний Отчеты: –Отчеты лидера (11)Отчеты лидера (11) –Еженедельные отчеты стажеров (29)Еженедельные отчеты стажеров (29) –Отчёты о тестировании тестов (3)Отчёты о тестировании тестов (3) –Отчёт о тестировании документацииОтчёт о тестировании документации

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Рабочий процесс Глубокое изучение библиотеки Arageli –ознакомление с внутренней структурой –участие в доработке библиотеки Использование SVN – Использование TeХ’a –изучение языка –освоение дополнительных утилит (lgrind)

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Результаты работы тестирование –ТестыТесты 63 тестовых файла >800 объектов тестирования –Описание тестовОписание тестов –Отчет о тестированииОтчет о тестировании выявлено 46 ошибок –Отзыв разработчиков

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k –User’s Guide Source Документ на языке TeХДокумент на языке TeХ Система для разработки примеров –User’s Guide (pdf)User’s Guide (pdf) –ПрезентацияПрезентация Результаты работы User’s Guide

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Итоги +Опыт работы в команде +Приобрели опыт работы с SVN +Изучили LaTeX Неудачное время проведения проекта(зачёты, экзамены)

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k Вопросы

x n + y n = z n c n log n - 2 k ≤ p(n, k) ≤ c n log n - 1 k The End