31
Михаил Винк 10.04.2010

Verification based on open data arrays [RUS]

Embed Size (px)

DESCRIPTION

Speech about Hypothesis Verifier project given in St.Petersburg Electrotechnical University LETI on 10.04.2010 as a part of S.N.Pozdnyakov special course for computer science students (magister program)

Citation preview

Page 1: Verification based on open data arrays [RUS]

Михаил Винк

10.04.2010

Page 2: Verification based on open data arrays [RUS]

Постановка проблемыОткрытые массивы данных: что это?Новые возможностиРешаемые задачиHypothesis Verifier: Информация о проектеРеализацияПримерыПроблемыОбласти применения методовЗаключение

10.04.2010 2Верификация на открытых данных

Page 3: Verification based on open data arrays [RUS]

Низкий уровень интерактивности средств обучения

Наличие большого количества информации в сети интернет, пригодного к более эффективному использованию

Замена привычных методов обучения и тестирования более прогрессивными методиками

10.04.2010 3Верификация на открытых данных

Page 4: Verification based on open data arrays [RUS]

Внутренние и внешние базы данных

Веб-сайты

Сформированная информация на основе открытых данных

10.04.2010 4Верификация на открытых данных

Page 5: Verification based on open data arrays [RUS]

Структурированные Неструктурированные

Возможности обработки: от парсеров (синтаксический анализ) до сложныхалгоритмов обработки неструктурированной информации.

10.04.2010 5Верификация на открытых данных

Page 6: Verification based on open data arrays [RUS]

Интеллектуальный анализ данных (Data mining, web mining)

Первый уровень анализа: регулярные выражения для разбора строк и получения необходимых данных

Усложнение процесса в случае работы с мало- или неструктурированной информацией

Необходимы вычислительные мощностиНо все же процесс очень легко

масштабируем за счет использования ОМД10.04.2010 6Верификация на открытых данных

Page 7: Verification based on open data arrays [RUS]

Уход от привычных принципов тестирования/организации заданий и верификации данных ответов

Повышение интерактивности образовательных материалов

Возможность проведения направляемых исследований

Использование предикатов (логических правил)

10.04.2010 7Верификация на открытых данных

Page 8: Verification based on open data arrays [RUS]

Автоматическая генерация проблемы, направление в ее исследовании, а также верификация данного ответа

Организация процесса для различных областей:

МатематикаФизикаГеографияИсторияЛингвистикаБиология...

10.04.2010 8Верификация на открытых данных

Page 9: Verification based on open data arrays [RUS]

Веб-портал

Локальная версия

Плагины для популярных веб-браузеров

Модули для систем дистанционного обучения

Интерфейс для электронных библиотек

Средства для авторов электронных учебников

10.04.2010 9Верификация на открытых данных

Page 10: Verification based on open data arrays [RUS]

Анализ возможностей использования открытых массивов данных

Анализ форм предоставления знаний в различных областях

Разработка общего интерфейса для верификации, генерации проблем и представлению данных

Разработка приложений для различных предметных областей

10.04.2010 10Верификация на открытых данных

Page 11: Verification based on open data arrays [RUS]

1-я стадия практической реализации: веб-приложение PHP+MySQL+AJAX

1-я стадия реализации спец разделов: географический модуль

Разные уровни пользователей

Подсказки и объяснения

Общий гибкий интерфейс

10.04.2010 11Верификация на открытых данных

Page 12: Verification based on open data arrays [RUS]

Примеры открытых массивов данных:

Wikipedia

Google maps

CIA World Factbook

Flickr

Внутренняя БД

10.04.2010 12Верификация на открытых данных

Page 13: Verification based on open data arrays [RUS]

http://hverify.net10.04.2010 13Верификация на открытых данных

Page 14: Verification based on open data arrays [RUS]

10.04.2010 14Верификация на открытых данных

Page 15: Verification based on open data arrays [RUS]

10.04.2010 15Верификация на открытых данных

Page 16: Verification based on open data arrays [RUS]

10.04.2010 16Верификация на открытых данных

Page 17: Verification based on open data arrays [RUS]

10.04.2010 17Верификация на открытых данных

Page 18: Verification based on open data arrays [RUS]

10.04.2010 18Верификация на открытых данных

Page 19: Verification based on open data arrays [RUS]

10.04.2010 19Верификация на открытых данных

Page 20: Verification based on open data arrays [RUS]

10.04.2010 20Верификация на открытых данных

Page 21: Verification based on open data arrays [RUS]

10.04.2010 21Верификация на открытых данных

Page 22: Verification based on open data arrays [RUS]

Различия между открытыми массивами данных, трудность их интеграции

Скорость доступа к массивам данных

Доступность открытых массивов данных

Расширение классов задач

Правовые аспекты

10.04.2010 22Верификация на открытых данных

Page 23: Verification based on open data arrays [RUS]

У каждого массива своя структура, свои задачи, свое место хранения

Для унификации необходимо создание API (Application Programming Interface)

10.04.2010 23Верификация на открытых данных

Page 24: Verification based on open data arrays [RUS]

10.04.2010 24Верификация на открытых данных

Page 25: Verification based on open data arrays [RUS]

Сервера расположены в разных местах – долгий коннект

Много времени на обработку данных

Ограничения канала

Постоянное “общение” между серверами для поддержания актуальных данных – задержки. Требуется высокая производительность.

Выход: кеширование10.04.2010 25Верификация на открытых данных

Page 26: Verification based on open data arrays [RUS]

При большом количестве массивов данных велика возможность выхода из строя одного/нескольких массивов, что может привести к прекращению работы системы

Выход: постоянный мониторинг + кеширование

10.04.2010 26Верификация на открытых данных

Page 27: Verification based on open data arrays [RUS]

Необходима автоматизация процесса расширения классов задач

Создание API для этого раздела

Совершенствование уровня представления предикатов и повышение удобства работы с ними

10.04.2010 27Верификация на открытых данных

Page 28: Verification based on open data arrays [RUS]

Порой непонятный статус открытых массивов данных, что делает сомнительным получение информации оттуда

Авторские права на некоторые материалы

Ограничение доступа со стороны некоторых открытых массивов данных

10.04.2010 28Верификация на открытых данных

Page 29: Verification based on open data arrays [RUS]

Интерактивные образовательные материалы для школ и ВУЗов

Системы удаленного обучения

Электронные библиотеки и авторы

10.04.2010 29Верификация на открытых данных

Page 30: Verification based on open data arrays [RUS]

Высокий уровень применимости технологии в процессе обучения

Актуальность информации

Новизна подхода

Получение выгоды для обучения путем более рационального использования уже имеющихся данных

10.04.2010 30Верификация на открытых данных

Page 31: Verification based on open data arrays [RUS]

Винк Михаил[email protected]

Hypothesis Verifierhttp://hverify.net