start:practices
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
start:practices [2017/05/17 15:30] mark |
start:practices [2022/12/10 09:08] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Летняя практика 2017 ====== | ====== Летняя практика 2017 ====== | ||
| - | |||
| - | |||
| - | ====== Татьяна Берленко ====== | ||
| - | |||
| ===== Geo2Tag ===== | ===== Geo2Tag ===== | ||
| Line 16: | Line 12: | ||
| Ожидаемый результат: | Ожидаемый результат: | ||
| - | - Набор функций и тестов для платформы Geo2Tag. | + | - Набор функций и тестов для платформы [[http://geo2tag.org/|Geo2Tag]]. |
| Навыки и знания: | Навыки и знания: | ||
| Line 53: | Line 49: | ||
| [[http://se.moevm.info/doku.php/start:mse:projects|Список проектов]] | [[http://se.moevm.info/doku.php/start:mse:projects|Список проектов]] | ||
| - | |||
| - | |||
| - | ====== Марк Заславский ====== | ||
| Line 74: | Line 67: | ||
| Результат: набор автоматически проверяемых заданий для студентов, изучающих работу в MongoDB через Python-интерфейсы. | Результат: набор автоматически проверяемых заданий для студентов, изучающих работу в MongoDB через Python-интерфейсы. | ||
| - | https://bitbucket.org/mark_zaslavskiy/nosql_inroduction/overview | + | * https://bitbucket.org/mark_zaslavskiy/nosql_inroduction/overview |
| - | http://se.moevm.info/doku.php/staff:courses:no_sql_introduction | + | * http://se.moevm.info/doku.php/staff:courses:no_sql_introduction |
| Line 111: | Line 104: | ||
| ===== Система проверки студенческих решений для онлайн-курсов "Основы программирования для Linux / Программирование в ядре Linux" ===== | ===== Система проверки студенческих решений для онлайн-курсов "Основы программирования для Linux / Программирование в ядре Linux" ===== | ||
| - | Цель: доработка системы, осуществляющей виртуализированную проверку студенческих решений. | + | Цель: разработка системы, осуществляющей виртуализированную проверку студенческих решений. |
| Задачи: | Задачи: | ||
| Line 117: | Line 110: | ||
| - Маршрутизация HTTP-запросов к системе и горизонтальное масштабирование экземпляров системы. | - Маршрутизация HTTP-запросов к системе и горизонтальное масштабирование экземпляров системы. | ||
| - Архитектурное разделение проверяющей системы и сценариев проверки отдельных заданий. | - Архитектурное разделение проверяющей системы и сценариев проверки отдельных заданий. | ||
| - | - Разработка заданий для изучения инструментов отладки и профилирования (gdb, valgrind, callgrind ...). | + | - Разработка заданий для изучения инструментов отладки и профилирования (gdb, valgrind, callgrind). |
| Требования: | Требования: | ||
| Line 144: | Line 137: | ||
| Результат: веб-сервис, который позволяет вести наблюдение за статистическими показателями прохождения курса и отслеживать появление определенных событий в журнале работы проверяющей системы. | Результат: веб-сервис, который позволяет вести наблюдение за статистическими показателями прохождения курса и отслеживать появление определенных событий в журнале работы проверяющей системы. | ||
| - | ===== Система автоматической проверки наиболее частых формальных ошибок в формальных текстах ===== | + | ===== Система автоматической проверки наиболее частых ошибок в формальных текстах ===== |
| - | Цель: создать веб-сервис анализа формальных текстов (научные статьи, курсовые работы, пояснительные записки, отчеты) на соответствие критериям, определяемых пользователями сервиса. Критерии представляют собой типичные алгоритмически-верифицируемые ошибки при подготовке вышеописанных документов. Примеры критериев: | + | Цель: создать веб-сервис анализа формальных текстов (научные статьи, курсовые работы, пояснительные записки, отчеты) на соответствие критериям, определяемых пользователями сервиса. Критерии представляют собой типичные алгоритмически-верифицируемые ошибки, возникающие при подготовке документов. Примеры критериев: |
| - Личные предложения и личные формы глаголов. | - Личные предложения и личные формы глаголов. | ||
| - Отсутствие ссылок или неверные ссылки на элементы списка литературы, изображения, таблицы. | - Отсутствие ссылок или неверные ссылки на элементы списка литературы, изображения, таблицы. | ||
| Line 155: | Line 148: | ||
| Задачи: | Задачи: | ||
| - | - Разбор и извлечение текста из файлов формата doc(x), ppt(x), pdf. | + | - Разбор и извлечение текста из файлов формата doc(x), ppt(x), odt, pdf. |
| - Авторизация пользователей с помощью протокола OAuth2. | - Авторизация пользователей с помощью протокола OAuth2. | ||
| - Хранение пользовательских критериев в стандартизированном виде. | - Хранение пользовательских критериев в стандартизированном виде. | ||
| - | - Проверка выполнения больших наборов критериев. | + | - Асинхронная проверка выполнения больших наборов критериев. |
| - | - | + | - Создание веб-интерфейса. |
| Требования: | Требования: | ||
| - Python, MongoDb | - Python, MongoDb | ||
| - | - | + | - Представление о формате XML. |
| - | Результат: веб-сервис, реализующий | + | Результат: |
| + | - Приложение командной строки для анализа документов на ошибки. | ||
| + | - Веб-сервис, реализующий интерфейс пользователя к приложению, функции авторизации и хранения критериев. | ||
start/practices.1495035037.txt.gz · Last modified: 2022/12/10 09:08 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
