Upload
mikhail-vink
View
357
Download
4
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
Михаил Винк
10.04.2010
Постановка проблемыОткрытые массивы данных: что это?Новые возможностиРешаемые задачиHypothesis Verifier: Информация о проектеРеализацияПримерыПроблемыОбласти применения методовЗаключение
10.04.2010 2Верификация на открытых данных
Низкий уровень интерактивности средств обучения
Наличие большого количества информации в сети интернет, пригодного к более эффективному использованию
Замена привычных методов обучения и тестирования более прогрессивными методиками
10.04.2010 3Верификация на открытых данных
Внутренние и внешние базы данных
Веб-сайты
Сформированная информация на основе открытых данных
10.04.2010 4Верификация на открытых данных
Структурированные Неструктурированные
Возможности обработки: от парсеров (синтаксический анализ) до сложныхалгоритмов обработки неструктурированной информации.
10.04.2010 5Верификация на открытых данных
Интеллектуальный анализ данных (Data mining, web mining)
Первый уровень анализа: регулярные выражения для разбора строк и получения необходимых данных
Усложнение процесса в случае работы с мало- или неструктурированной информацией
Необходимы вычислительные мощностиНо все же процесс очень легко
масштабируем за счет использования ОМД10.04.2010 6Верификация на открытых данных
Уход от привычных принципов тестирования/организации заданий и верификации данных ответов
Повышение интерактивности образовательных материалов
Возможность проведения направляемых исследований
Использование предикатов (логических правил)
10.04.2010 7Верификация на открытых данных
Автоматическая генерация проблемы, направление в ее исследовании, а также верификация данного ответа
Организация процесса для различных областей:
МатематикаФизикаГеографияИсторияЛингвистикаБиология...
10.04.2010 8Верификация на открытых данных
Веб-портал
Локальная версия
Плагины для популярных веб-браузеров
Модули для систем дистанционного обучения
Интерфейс для электронных библиотек
Средства для авторов электронных учебников
10.04.2010 9Верификация на открытых данных
Анализ возможностей использования открытых массивов данных
Анализ форм предоставления знаний в различных областях
Разработка общего интерфейса для верификации, генерации проблем и представлению данных
Разработка приложений для различных предметных областей
10.04.2010 10Верификация на открытых данных
1-я стадия практической реализации: веб-приложение PHP+MySQL+AJAX
1-я стадия реализации спец разделов: географический модуль
Разные уровни пользователей
Подсказки и объяснения
Общий гибкий интерфейс
10.04.2010 11Верификация на открытых данных
Примеры открытых массивов данных:
Wikipedia
Google maps
CIA World Factbook
Flickr
Внутренняя БД
10.04.2010 12Верификация на открытых данных
http://hverify.net10.04.2010 13Верификация на открытых данных
10.04.2010 14Верификация на открытых данных
10.04.2010 15Верификация на открытых данных
10.04.2010 16Верификация на открытых данных
10.04.2010 17Верификация на открытых данных
10.04.2010 18Верификация на открытых данных
10.04.2010 19Верификация на открытых данных
10.04.2010 20Верификация на открытых данных
10.04.2010 21Верификация на открытых данных
Различия между открытыми массивами данных, трудность их интеграции
Скорость доступа к массивам данных
Доступность открытых массивов данных
Расширение классов задач
Правовые аспекты
10.04.2010 22Верификация на открытых данных
У каждого массива своя структура, свои задачи, свое место хранения
Для унификации необходимо создание API (Application Programming Interface)
10.04.2010 23Верификация на открытых данных
10.04.2010 24Верификация на открытых данных
Сервера расположены в разных местах – долгий коннект
Много времени на обработку данных
Ограничения канала
Постоянное “общение” между серверами для поддержания актуальных данных – задержки. Требуется высокая производительность.
Выход: кеширование10.04.2010 25Верификация на открытых данных
При большом количестве массивов данных велика возможность выхода из строя одного/нескольких массивов, что может привести к прекращению работы системы
Выход: постоянный мониторинг + кеширование
10.04.2010 26Верификация на открытых данных
Необходима автоматизация процесса расширения классов задач
Создание API для этого раздела
Совершенствование уровня представления предикатов и повышение удобства работы с ними
10.04.2010 27Верификация на открытых данных
Порой непонятный статус открытых массивов данных, что делает сомнительным получение информации оттуда
Авторские права на некоторые материалы
Ограничение доступа со стороны некоторых открытых массивов данных
10.04.2010 28Верификация на открытых данных
Интерактивные образовательные материалы для школ и ВУЗов
Системы удаленного обучения
Электронные библиотеки и авторы
10.04.2010 29Верификация на открытых данных
Высокий уровень применимости технологии в процессе обучения
Актуальность информации
Новизна подхода
Получение выгоды для обучения путем более рационального использования уже имеющихся данных
10.04.2010 30Верификация на открытых данных
Винк Михаил[email protected]
Hypothesis Verifierhttp://hverify.net