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)

1. Михаил Винк
10.04.2010

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

3.  Низкий уровень интерактивности средств
обучения
 Наличие большого количества информации в сети
интернет, пригодного к более эффективному
использованию
 Замена привычных методов обучения и
тестирования более прогрессивными методиками
Верификация на открытых данных 10.04.2010 3

4.  Внутренние и внешние базы данных
 Веб-сайты
 Сформированная информация на основе открытых
данных
Верификация на открытых данных 10.04.2010 4

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

6.  Интеллектуальный анализ данных (Data mining,
web mining)
 Первый уровень анализа: регулярные выражения
для разбора строк и получения необходимых
данных
 Усложнение процесса в случае работы с мало- или
неструктурированной информацией
 Необходимы вычислительные мощности
 Но все же процесс очень легко масштабируем за
счет использования ОМД
Верификация на открытых данных 10.04.2010 6

7.  Уход от привычных принципов
тестирования/организации заданий и
верификации данных ответов
 Повышение интерактивности образовательных
материалов
 Возможность проведения направляемых
исследований
 Использование предикатов (логических правил)
Верификация на открытых данных 10.04.2010 7

8.  Автоматическая генерация проблемы,
направление в ее исследовании, а также
верификация данного ответа
 Организация процесса для различных областей:
 Математика
 Физика
 География
 История
 Лингвистика
 Биология
 ...
Верификация на открытых данных 10.04.2010 8

9. Веб-портал
Локальная версия
Средства для авторов электронных учебников
Плагины для популярных веб-браузеров
Интерфейс для электронных библиотек
Модули для систем дистанционного обучения
Верификация на открытых данных 10.04.2010 9

10.  Анализ возможностей использования открытых
массивов данных
 Анализ форм предоставления знаний в различных
областях
 Разработка общего интерфейса для верификации,
генерации проблем и представлению данных
 Разработка приложений для различных
предметных областей
Верификация на открытых данных 10.04.2010 10

11.  1-я стадия практической реализации: веб-
приложение PHP+MySQL+AJAX
 1-я стадия реализации спец разделов:
географический модуль
 Разные уровни пользователей
 Подсказки и объяснения
 Общий гибкий интерфейс
Верификация на открытых данных 10.04.2010 11

12.  Примеры открытых массивов данных:
 Wikipedia
 Google maps
 CIA World Factbook
 Flickr
 Внутренняя БД
Верификация на открытых данных 10.04.2010 12

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

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

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

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

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

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

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

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

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

22.  Различия между открытыми массивами данных,
трудность их интеграции
 Скорость доступа к массивам данных
 Доступность открытых массивов данных
 Расширение классов задач
 Правовые аспекты
Верификация на открытых данных 10.04.2010 22

23.  У каждого массива своя структура, свои задачи,
свое место хранения
 Для унификации необходимо создание API
(Application Programming Interface)
Верификация на открытых данных 10.04.2010 23

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

25.  Сервера расположены в разных местах – долгий
коннект
 Много времени на обработку данных
 Ограничения канала
 Постоянное “общение” между серверами для
поддержания актуальных данных – задержки.
Требуется высокая производительность.
 Выход: кеширование
Верификация на открытых данных 10.04.2010 25

26.  При большом количестве массивов данных велика
возможность выхода из строя одного/нескольких
массивов, что может привести к прекращению
работы системы
 Выход: постоянный мониторинг + кеширование
Верификация на открытых данных 10.04.2010 26

27.  Необходима автоматизация процесса расширения
классов задач
 Создание API для этого раздела
 Совершенствование уровня представления
предикатов и повышение удобства работы с ними
Верификация на открытых данных 10.04.2010 27

28.  Порой непонятный статус открытых массивов
данных, что делает сомнительным получение
информации оттуда
 Авторские права на некоторые материалы
 Ограничение доступа со стороны некоторых
открытых массивов данных
Верификация на открытых данных 10.04.2010 28

29.  Интерактивные образовательные материалы для
школ и ВУЗов
 Системы удаленного обучения
 Электронные библиотеки и авторы
Верификация на открытых данных 10.04.2010 29

30.  Высокий уровень применимости технологии в
процессе обучения
 Актуальность информации
 Новизна подхода
 Получение выгоды для обучения путем более
рационального использования уже имеющихся
данных
Верификация на открытых данных 10.04.2010 30

31. Винк Михаил
info@hverify.net
Hypothesis Verifier
http://hverify.net