Модели и методы проектирования, разработки и внедрения RLCP-совместимых виртуальных лабораторий для электронных информационно-образовательных систем тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат наук Ефимчик, Евгений Александрович

• Ефимчик, Евгений Александрович
• кандидат наук
• 2016

Оглавление диссертации кандидат наук Ефимчик, Евгений Александрович

Оглавление

Введение

Глава 1. Обзор задач контроля результатов обучения с помощью виртуальных лабораторий в современных электронных курсах

1.1 Нормативные положения контроля результатов обучения в современном высшем образовании

1.2 Массовое электронное обучение и автоматизированные инструменты контроля результатов обучения

1.3 Виртуальные лаборатории и технологии их разработки

1.4 Классификация виртуальных лабораторий

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

Выводы

Глава 2. Универсальная модель распределенной электронной информационно-образовательной среды, основанная на протоколе RLCP и обеспечивающая автоматическое оценивание составных результатов обучения

2.1 Среда управления виртуальными лабораториями

2.2 Порядок выполнения упражнения с помощью виртуальной лаборатории

2.3 Обеспечение безопасного функционирования виртуальных лабораторий

2.4 RLCP - протокол управления сервером виртуальной лаборатории

2.5 Спецификация программных интерфейсов виртуального стенда и кадра упражнения

2.6 Требования к инструментам поддержки и разработки RLCP-совместимых

виртуальных лабораторий

Выводы

Глава 3. Проектирование RLCP-совместимых виртуальных лабораторий для алгоритмических упражнений с помощью автоматной модели эталонного алгоритма

3.1 Особенности применения алгоритмических упражнений в виртуальных лабораториях

3.2 Автоматная модель эталонного алгоритма

3.3 Оценивание решений вариативных алгоритмических упражнений с помощью автоматной модели эталонного алгоритма

3.4 Формальное определение сложности вариантов алгоритмических упражнений с помощью автоматной модели эталонного алгоритма

97

3.5 Функции сложности и проектирование параметризованных алгоритмов

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

3.7 Применение автоматной модели эталонного алгоритма для проектирования виртуальных лабораторий на примере упражнения поиска минимального маршрута в графе с помощью алгоритма Ли

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

графов с помощью локальных характеристик

Выводы

Глава 4. Внедрение результатов исследования

4.1 Реализация компонентов среды управления RLCP-совместимыми виртуальными лабораториями

4.2 Средства разработки RLCP-совместимых виртуальных лабораторий

4.3 Методика проектирования и разработки RLCP-совместимых виртуальных лабораторий

4.4 Итоги внедрения среды управления виртуальными лабораториями и инструментов разработки

4.5 Способ применения RLCP-совместимых виртуальных лабораторий на платформе Open edX

4.6 Примеры разработки RLCP-совместимых виртуальных лабораторий

Выводы

Заключение

построения вариантов алгоритмических упражнений

98

Список источников

226

Печатные издания на русском языке

Печатные издания на английском языке

Ресурсы сети Интернет

Публикации автора по теме диссертации

Статьи в изданиях из перечня ВАК

Публикации в рецензируемых изданиях, индексируемых Scopus

Прочие публикации

Введение диссертации (часть автореферата) на тему «Модели и методы проектирования, разработки и внедрения RLCP-совместимых виртуальных лабораторий для электронных информационно-образовательных систем»

Введение

Актуальность темы исследования. Развитие дистанционных образовательных технологий и электронных ресурсов для их реализации привело к тому, что возник новый тип электронных информационно-образовательных сред (ЭИОС): платформы для массовых открытых онлайн-курсов (MOOCs - Massive Open Online Courses). В этих средах электронные и дистанционные средства обучения и оценивания результатов обучения (РО) составляют основу всего курса. Перед авторами MOOCs встает задача массового оценивания составных РО, для которых в традиционном обучении применяют практические упражнения, в том числе и с неразрешимым множеством решений. Для решения этой задачи электронные тесты не подходят, поэтому авторы вынуждены прибегать к взаимному оцениванию слушателями курса решений друг друга или строить сложные информационные системы для автоматического оценивания РО. Одним из инструментов оценивания является виртуальная лаборатория (ВЛ), которая представляет собой электронную среду, позволяющую создавать и исследовать в интерактивном режиме модели систем и процессов. Применение ВЛ в учебном процессе способствует повышению качества и доступности образования, однако разработка самих ВЛ остается сложной и трудоемкой задачей.

Настоящее исследование предлагает системный подход к организации ЭИОС, обеспечивающей автоматическое оценивание составных РО с помощью виртуальных лабораторий (ВЛ). Ключевыми особенностями предложенного подхода является стандартизация структуры и программного интерфейса автоматических ВЛ (АВЛ) и централизованный контроль над применением ВЛ в практических упражнениях. Это позволяет рассматривать ВЛ как небольшие подключаемые модули ЭИОС, предложить методы и средства их проектирования, разработки и внедрения, что ведет к снижению трудозатрат на их изготовление и применение. В связи с этим тема исследования является актуальной.

Цель диссертации заключается в разработке и реализации модели распределенной ЭИОС, обеспечивающая автоматическое оценивание составных

результатов обучения с помощью ВЛ. Для достижения поставленной цели были решены следующие задачи:

- обзор и анализ подходов к разработке ВЛ, составление классификации ВЛ по архитектурным и методическим признакам, составление требований для АВЛ;

- разработка модели распределенной ЭИОС, обеспечивающей автоматическое оценивание с помощью АВЛ, разработка соответствующих спецификаций и протоколов взаимодействия;

— разработка метода проектирования АВЛ для алгоритмических упражнений на основе автоматной модели эталонного алгоритма;

- реализация и внедрение разработанной модели распределенной ЭИОС.

Научная новизна. В работе получены следующие новые научные результаты, которые выносятся на защиту.

— Универсальная модель распределенной электронной информационно-образовательной среды, основанная на протоколе RLCP и обеспечивающая автоматическое оценивание составных результатов обучения.

— Метод проектирования RLCP-совместимых ВЛ с пошаговой верификацией решений для алгоритмически определенных упражнений, основанный на автоматной модели эталонного алгоритма.

Методы исследования. В работе использованы методы теории алгоритмов, теории автоматов, теории информационных процессов и систем, теории вероятностей и математической статистики.

Достоверность научных результатов и выводов подтверждается корректным использованием методов исследования, обоснованием постановок задач и используемых критериев, положительными результатами применения

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

Теоретическая значимость работы обусловлена развитием методов и средств автоматического оценивания составных РО в электронном обучении, применением моделей теории автоматов в области проектирования автоматических программных средств оценивания составных РО.

Практическая значимость работы заключается в сокращении

трудозатрат на проектирование, разработку и внедрение автоматических

инструментов оценивания составных РО в виде ВЛ, что способствует расширению возможностей авторов MOOCs.

Внедрение результатов работы. Результаты диссертации использованы при выполнении следующих научно-исследовательских работ: НИУ(2011)/3.1.20.12 «Разработка виртуальных лабораторий и тренажеров информационно-образовательной среды», НИУ(2012)/3.1.22.3 «Методика использования среды тестирования RLCP-совместимых виртуальных лабораторий», НИР № 610454 «Разработка интеллектуальных технологий управления, навигации и обработки информации с применением к мобильным робототехническим системам и комплексам», НИР № 615864 «Разработка методов и технологий управления и обработки информации для сложных динамических систем».

Результаты исследования легли в основу среды управления RLCP-совместимыми ВЛ в системе AcademicNT. Разработанные в рамках исследования средства и методы проектирования, разработки и внедрения ВЛ применяются при изготовлении ВЛ для электронных курсов в AcademicNT, что позволило существенно сократить трудозатраты на их разработку.

Результаты исследования использованы в учебном процессе кафедры компьютерных образовательных технологий (КОТ) Университета ИТМО. Они составили основу для лабораторного практикума и курсового проектирования по дисциплине «Технология разработки виртуальных лабораторий», а также для

подготовки выпускных квалификационных работ по направлению 09.03.02 (230400.62) «Информационные системы и технологии».

RLCP-совместимые ВЛ применяются в электронных курсах Университета ИТМО, ФГБОУ ВО ПСПбГМУ им. И. П. Павлова Минздрава России, стали основой практических упражнений для следующих MOOCs, размещенных на Национальной платформе открытого образования (НПОО): «Методы и алгоритмы теории графов», «Линейные электрические цепи», «Функциональное программирование», «Физическая оптика», «Модели и методы аналитической механики».

Апробация работы. Основные результаты работы докладывались на следующих научных и научно-практических конференциях:

— Всероссийском конгрессе молодых ученых - Санкт-Петербург, 201113;

— Всероссийской научно-методической конференции «Телематика» -Санкт-Петербург, 2011-13;

— Международной научно-практической конференции «Новые информационные технологии в образовании» - Екатеринбург, 2012-13;

— Международной конференции «Применение новых технологий в образовании» - Троицк, 2012;

- Международной конференции «The International Conference on E-Leaming and E-Technologies in Education» - Лодзь, Польша, 2012;

- Международной научно-практической конференции «Информационная среда ВУЗа XXI века» - Куопио, Финляндия, 2012;

- Международной конференции «International Conference on e-Learning e-Education and Online Training» - Новедрате, Италия, 2015; Дублин, Ирландия, 2016;

- Международной конференции «International Conference on Application of Information and Communication Technologies» - Ростов-на-Дону, 2015;

- Международной конференции «International Conference on Smart Education and E-Learning» - Тенерифе, Испания, 2016.

Публикации. Список научных трудов по теме диссертационного исследования содержит 23 публикации, из них восемь - в изданиях из перечня ВАК.

Личный вклад автора. Решение задач диссертации, разработанные модели, методы и их реализация принадлежат лично автору.

Структура диссертации. Диссертация изложена на 241 странице и состоит из введения, пяти глав и заключения. Список литературы содержит 123 наименования. Работа иллюстрирована 102 рисунками и 18 таблицами.

Глава 1. Обзор задач контроля результатов обучения с помощью виртуальных лабораторий в современных электронных курсах

Первая глава посвящена обзору особенностей виртуальных лабораторий, применяемых в качестве средства контроля результатов обучения. Описаны особенности контроля результатов обучения в условиях требований ФГОС ВПО, основанных на компетентностном подходе, и современных массовых электронных курсов, описаны способы и инструменты его автоматизации, приведен обзор особенностей ВЛ, применяемых в качестве средства формирования и контроля результатов обучения. Описан ряд ВЛ и используемые способы управления процессами составления вариантов упражнений и оценивания решений обучающихся. Приведена классификация ВЛ по архитектурным и методическим признакам. На основе обзора составлены требования к автоматизации составления вариантов упражнения, оценивания решений обучающихся, предложен способ управления программным обеспечения АВЛ с помощью специальной программной среды.

1.1 Нормативные положения контроля результатов обучения в современном высшем образовании

Переход высшего образования на федеральные государственные стандарты, основанные на компетентностном подходе ставит перед вузами ряд задач. К причинам интенсивного развития компетентностного подхода обычно относят, согласно [43], следующие факторы:

— появление нового типа экономики, вызвавшее потребность в изменении требований к качеству подготовки выпускников, содержания труда и видов профессиональной деятельности;

— интенсивное развитие информационных технологий;

— возрастающий приоритет творческих аспектов профессиональной деятельности и интеллектуального потенциала специалистов;

— рост динамики модификации профессий, их глобализация.

Новая концепция поэтапного оценивания компетенций обучающихся делает необходимым создание целенаправленной, динамичной и сложной системы контроля результатов обучения студентов, которые определяются уже не только как совокупность теоретических и практических знаний и умений, но и как соответствие уровня освоения компетенций требованиям ФГОС ВПО [49-51]

Контроль результатов обучения производится с помощью оценочных средств - фонда контрольных заданий, описаний форм и процедур, предназначенных для определения качества освоения студентом учебного материала. Для того, чтобы обеспечить соответствие оценочных средств современным требованиям, требуется проработка и внедрение адекватных методов контроля, что означает в том числе и стандартизацию оценочных средств и процедур [43-46, 56, 65].

При этом требуется обеспечить объективную оценку результатов обучения, что является непростой задачей, учитывая латентную природу результатов обучения. Владение компетенцией, как способность применять знания, умения, навыки и личностные качества для успешной деятельности в различных проблемных профессиональных либо жизненных ситуациях невозможно проверить прямо, лишь косвенно. Для этого необходимо искусственно создавать ситуации, в которых от него потребуется наличие и способность к применению необходимых качеств. Распространенным способом являются практические задачи, когда студенту предлагается типичное упражнение, которое он должен выполнить, используя соответствующие знания и умения за отведенное время.

Согласно нормативным документам, выделяются следующие типы контроля успешности освоения основной образовательной программы студентом и выпускником [51]:

— текущий контроль успеваемости,

— промежуточная аттестация,

— итоговая государственная аттестация.

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

1.2 Массовое электронное обучение и автоматизированные инструменты контроля результатов обучения

Развитие дистанционных образовательных технологий [47,48] и электронных ресурсов [10, 12, 67-71, 42] для их реализации привело к тому, что возник новый тип электронных информационно-образовательных сред. В последние годы в мире произошла настоящая революция, характеризуемая аббревиатурой MOOC (Massive Open Online Courses)[95, 96], которая поставила новые задачи по модернизации информационно-образовательных сред и систем электронного обучения на основе открытых онлайн-курсов [74, 75]. В этих средах произошел переход от использования электронных, дистанционных образовательных технологий в качестве вспомогательных средств при традиционном обучении, уже прочно вошедшего в педагогическую практику на всех уровнях образования, и особенно для подготовки студентов в вузах Российской Федерации к легко масштабируемым онлайн-курсам, в которых электронные и дистанционные средства обучения и контроля составляют основу всего курса [82-85]. Такие курсы в основном независимым друг от друга и доступны всем желающим.

Возникновение платформ MOOCs, тенденции развития открытого и дистанционного образования, массовость современного образования, требование

объективности педагогических измерений, предъявляют повышенные требования к процессу контроля результатов обучения [92-94].

Традиционные формы контроля, основанные на экспертных оценках результатов обучения, обладают рядом недостатков с точки зрения применения их в современных электронных информационно-образовательных средах и массовых образовательных курсов. Например, на устном экзамене классифицирующие понятия («отлично», «хорошо», «удовлетворительно» и др.) определяются субъективно с помощью суждений экзаменатора и содержат в себе, как правило, значительный ошибочный компонент. Поскольку эти суждения принимаются за оцениваемые характеристики объектов, то их надо уметь распознавать, отождествлять, сравнивать, абстрагировать и обобщать. Для удобства оценочные суждения выражают в виде некоторых баллов по традиционной пятибалльной шкале или по любой другой, которая выбирается на основе экспертных соглашений. Приписываемые числа могут быть не вполне определенны в тех случаях, когда для построения качественных шкал не используются измерители. Например, при традиционном контроле у каждого преподавателя есть свои представления о том, за что нужно ставить ту или иную оценку [43]. Из этого следует, что сравнивать оценки студентов, полученные от разных экзаменаторов, не следует из-за возможной несогласованности их мнений о правилах оценивания. На самом деле, даже один и тот же экзаменатор может по-разному оценить одинаковый ответ в зависимости от времени, места, особенностей ситуации или личности экзаменуемого.

Другим существенным недостатком традиционных форм контроля, является сложность осуществления [82]. Действительно, для проведения собеседования, защиты лабораторной или практической работы или экзамена, как правило, каждый студент должен явиться в указанное место в указанное время подготовленным, дождаться своей очереди для беседы с экзаменатором. Экзаменатор же вынужден провести беседу с каждым студентом. Все это требует значительных временных и материальных затрат, не связанных напрямую с оценкой результатов обучения. В случае же, когда эксперт проверяет работы

студентов заочно, результат проверки оказывается доступен студентам лишь спустя значительное время.

Эти свойства традиционных форм обучения и контроля результатов обучения и новые появившиеся требования привели к формированию задачи автоматизации процесса контроля результатов обучения.

В настоящее время в образовании используется широкий спектр электронных средств автоматизации процессов обучения и аттестации [83-86]. Эти средства могут быть подразделены на несколько типов, различающихся назначением и методическими и архитектурными особенностями. Ниже приведено описание некоторых из таких типов электронных средств, которые могут быть включены в состав электронного УМК.

Электронные тесты - тесты, хранимые, обрабатываемые и предъявляемые тестируемому с помощью компьютерной и телекоммуникационной техники. Компьютерными не являются тесты, подразумевающие заполнение тестируемыми «бумажных» бланков и их последующую компьютерную обработку.

Электронные тесты созданы для автоматизации аттестации. Существуют и обучающие тесты, но они обычно направлены на подготовку обучающегося к аттестующему тестированию, знакомя его с видами заданий и правилами прохождения тестирования. Так, например, в руководстве по разработке электронного УМК для электронной информационно-образовательной среды AcademicNT [99] выделено следующее: «Основная задача электронных тестов -промежуточная и итоговая аттестация студентов и предварительная подготовка к ней. Система аттестующего и обучающего тестирования является одной из основных и наиболее методически отработанных подсистем в системе AcademicNT.»

Электронные тесты достаточно просты для реализации, содержатся в большинстве систем дистанционного обучения и, как правило, являются основой аттестационных средств электронных курсов. Применение электронных тестов имеют длительную историю.

Электронные тесты направлены на проверку знаний испытуемого. Оценить умения и навыки с их помощью сложно. С помощью электронного теста невозможно и приобрести практические умения и навыки, особенно в рамках самостоятельной работы студентов.

Электронные конспекты представляет собой организованную совокупность страниц и кадров, содержащих учебную информацию [58]. В отличие от обучения с использованием традиционных учебников, обучение с использованием качественного электронного учебника или электронного конспекта становится нелинейным, адаптивным и, возможно, более эффективным [59]. Современный персональный сетевой компьютер предоставляет дополнительные возможности (гипертекстовое изложение материала, качественные графические иллюстрации, анимация, аудиофрагменты, видеоролики), используя которые можно вывести процесс обучения, и в частности работу с электронным конспектом, на совершенно новый уровень.

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

Электронные тренажеры предназначены для отработки практических умений и навыков. Такие средства особенно эффективны для обучения действиям в условиях сложных и даже чрезвычайных ситуаций при отработке противоаварийных действий [57]. Электронные тренажеры сложны для реализации, поэтому встречаются достаточно редко.

Электронные тренажеры используется для формирования и закрепления практических навыков, отработки умений. К моменту использования электронного тренажера испытуемый уже должен обладать необходимыми для решения задач умениями, что снижает эффективность такого решения в качестве средства организации самостоятельной работы студентов. Еще одним недостатком электронного тренажера является то, что он не предназначен для аттестации.

Визуализатор - программа, иллюстрирующая выполнение алгоритма при определенных исходных данных. Визуализаторы сложны для реализации без использования специальных конструкторов, изготовление которых является темой отдельных исследований [11, 13, 18-22, 24-29].

В качестве примера можно привести проект «Computer Algorithm Tutor» [98] кафедры компьютерных технологий (КТ) Университета ИТМО. Существует инструмент для быстрого создания визуализаторов, и представлена библиотека построенных визуализаторов. Проект используется для обучения методам дискретной математики на кафедре КТ.

К сожалению, в рамках проекта результат обучения с помощью визуализаторов предлагается проверять созданием студентом собственного визуализатора, что никаким образом не гарантирует изучения студентом остальных методов дискретной математики, не представленных в его визуализаторе. Фактически, аттестация с помощью электронных средств отсутствует как в этом примере, так и системе визуализаторов вообще. Кроме того, с помощью визуализатора невозможно развивать практические навыки.

Виртуальная лаборатория - электронная среда, позволяющая создавать и исследовать наглядные модели реальных явлений [55]. Виртуальная лаборатория является одним из наиболее сложных для реализации элементов электронного УМК. Изготовленное практически каждой виртуальной лаборатории должно предварять исследование, в результате которого должны быть созданы модели упражнений и пользовательских решений, инструменты для подготовки таких решений, а также алгоритмы верификации и создания вариантов упражнений [5254, 60-64, 97].

Чтобы обеспечить эффективное применение в массовом образовательном курсе, комплект виртуальной лаборатории должен предоставлять возможность как для обучения, получения практических умений и навыков, так и для аттестации. При аттестации проверке подлежит не только ответ, полученный студентом в итоге решения задачи, а все составленное им решение. Это позволяет определить

владение практическими компетенциями и исключить возможность создания студентами библиотеки ответов [100]. Кроме того, появляется возможность организовать диагностику предоставленного решения с целью поиска места ошибки и оценить степень правильности решения задачи.

С развитием дистанционного обучения, студентоцентрированного подхода к учебному процессу и теории педагогических измерений и практики применения технологических средств при аттестации большую роль в образовании стали играть именно педагогические тесты, как основное средство автоматизации контроля результатов обучения.

Педагогическим тестом называется система заданий специфической формы, определенного содержания, возрастающей трудности - система, создаваемая с целью объективно оценить структуру и измерить уровень подготовленности учащихся, студентов [42]. К основным преимуществам тестов относят:

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

— технологичность тестовых методов,

— точность измерений,

— наличие одинаковых, для всех пользователей, правил проведения педагогического контроля и адекватной интерпретации тестовых результатов,

— сочетаемость тестовой технологии с другими современными образовательными технологиями.

Однако, наряду с достоинствами, педагогические тесты имеют и ряд существенных недостатков. С помощью тестов сложно или невозможно проверить наличие и способность к применению умений или навыков. Тест не сможет ответить на вопрос, способен ли испытуемый решать практические упражнения, с

помощью которых обычно и проверяется способность к применению практических умений.

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

Еще один недостаток тестов является уязвимость банка тестовых заданий, многократно используемых при аттестации. Практика показывает, что наличие банка заданий рано или поздно приводить к появлению соответствующего банка ответов, формируемого студентами для обмана системы тестирования.

Решить указанные проблемы и обеспечить автоматизированный контроль результатов обучения с проверкой умений и навыков можно с помощью виртуальных лабораторий.

1.3 Виртуальные лаборатории и технологии их разработки

Виртуальная лаборатория - это, как уже упоминалось, электронная среда, позволяющая создавать и исследовать наглядные модели реальных явлений [55]. В рамках электронной информационно-образовательной среды виртуальные лаборатории применяются для формирования и проверки креативных навыков [99]. В отличие от электронных тестов, упражнения виртуальных лабораторий могут иметь неразрешимое множество правильных ответов.

Виртуальные лаборатории могут быть использованы многократно, позволяют проходить обучение большому количеству человек в один момент времени, дешевы в использовании, то есть обладают многими положительными качествами, не присущими реальным лабораторным установкам или традиционным методам обучения, которые они призваны моделировать. [6,7] Использование виртуальных лабораторий также может помочь в обеспечении академической мобильности.

Важной особенностью виртуальных лабораторий является то, что их использование позволяет проводить эксперименты с помощью виртуальной

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

Список литературы диссертационного исследования кандидат наук Ефимчик, Евгений Александрович, 2016 год

Список источников

Печатные издания на русском языке

1. В. В. Монахов, С. В. Монахова. Определение способностей учащихся с помощью олимпиад, тестов и компьютерных моделей. Физическое образование в ВУЗах. 2008. т. 14. № 3. С. 75-86.

2. В.В.Монахов, С.К.Стафеев. Российский образовательный портал по физике - ресурсы для студентов и преподавателей. Компьютерные инструменты в образовании, 2004, N4, ^13-22.

3. В. В. Монахов, А. В. Кожедуб, П. А. Науменко, Л. А. Евстигнеев, М. А. Крукелис, Д. В. Солодовников, И. Б. Керницкий. BARSIC: программный комплекс, ориентированный на физика-исследователя. Программирование, 2005, N3, с.1-13.

4. Монахов В.В., Кожедуб А.В. Программный комплекс BARSIC. Свидетельство об официальной регистрации программы для ЭВМ № 2001611610, 2001.

5. Монахов В.В., Кожедуб А.В., Евстигнеев Л.А., Науменко П.А., Солодовников Д.В., Крукелис М.В. Использование программного комплекса BARSIC для разработки научного и учебного программного обеспечения в области физики. В трудах VII междунар. Конф. ФССО-2003. Т. 1. С. 91-93.

6. Вашенков О.Е., Лямин А.В. Механизм реализации виртуальных лабораторий в информационно-образовательной среде AcademicNT // Открытое образование. - 2009. - № 4. - С. 24-33.

7. Вашенков О.Е., Волкова А.А., Лямин А.В. Примеры реализации сетевых виртуальных лабораторий в среде системы дистанционного обучения // Научно-технический вестник СПбГУ ИТМО. Выпуск 45. Информационные технологии. - СПб: СПбГУ ИТМО, 2007. - С.157-164.

8. Койнов РВ., Лисицына Л.С. Практикум по дискретной математике. Учебно-методическое пособие. - СПб., 2004. - 78 с.

9. Вашенков О.Е., Лямин А.В. Технология разработки виртуальных лабораторий в информационно-образовательной среде AcademicNT на примере работы по информатике // Проблемы разработки учебно-методического обеспечения перехода на двухуровневую систему в инженерном образовании: Материалы межвузовской научно-методической конференции, 19-21 ноября 2008г., Москва: Издательский дом МИСиС, 2008.- С.239-249.

10. Васильев В.Н., Лямин А.В., Чежин М.С. Система дистанционного обучения второго поколения // Научно-технический вестник СПбГУ ИТМО. Выпуск 45. Информационные технологии. - СПб: СПбГУ ИТМО, 2007. - С.148-157.

11. Корнеев Г. А., Васильев В. Н., Парфенов В. Г., Столяр С. Е. Визуализаторы алгоритмов как основной инструмент технологии преподавания дискретной математики и программирования / Труды международной научно-методической конференции «Телематика 2001». СПбГУ ИТМО. 2001, с. 119, 120.

12. Агапонов С. В., Джалиашвили З. О., Кречман Д. Л. и др. Средства дистанционного обучения. Методика, технология, инструментарий. СПб.: БХВ-Петербург, 2003. - 336 с.

13. Корнеев Г. А. Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода. Диссертация на соискание ученой степени канд. техн. наук. СПбГУ ИТМО, 2006.

14. Шалыто А. А. Технология автоматного программирования // Мир ПК. 2003. № 10, с.74-78.

15. Шалыто А. А., Туккель Н. И. Преобразование итеративных алгоритмов в автоматные // Программирование. 2002. № 5, с. 12-26.

16. Шалыто А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. -628 с.

17. Шалыто А. А., Туккель Н. И. От тьюрингова программирования к автоматному // Мир ПК. 2002. № 2, с. 144-149.

18. Казаков М. А., Шалыто А. А. Методы построения логики визуализаторов алгоритмов // Открытое образование. 2005, № 4, с. 53-58.

19. Казаков М. А., Шалыто А. А. Реализация анимации при построении визуализаторов алгоритмов на основе автоматного подхода // Информационно-управляющие системы. 2005. № 4, с. 51-60.

20. Казаков М. А., Шалыто А. А. Использование автоматного программирования для реализации визуализаторов // Компьютерные инструменты в образовании. 2004. № 2, с. 19-33. 71.

21. Казаков М. А., Шалыто А. А. Автоматный подход к реализации анимации в визуализаторах алгоритмов // Компьютерные инструменты в образовании. 2005, № 3, с. 52-76. 72.

22. Казаков М. А., Корнеев Г. А., Шалыто А. А. Разработка логики визуализаторов алгоритмов на основе конечных автоматов // Телекоммуникации и информатизация образования. 2003. № 6, с. 27-58.

23. Казаков М. А., Столяр С. Е. Подготовка тестов как часть технологии автоматизированного тестирования / Тезисы докладов XXX науч.-техн. конф. проф.-преподавательского состава. СПбГИТМО (ТУ). 1999, с.105.

24. Казаков М. А., Столяр С. Е. Визуализаторы алгоритмов как элемент технологии преподавания дискретной математики и программирования / Тезисы докладов международной научно-методической конференции «Телематика'2000». СПбГУ ИТМО. 2000, с. 189-191.

25. Казаков М. А., Шалыто А. А., Туккель Н. И. Использование автоматного подхода для реализации вычислительных алгоритмов Тезисы докладов

международной научно-методической конференции «Телематика'2001». СПбГУ ИТМО. 2001, с.174-176.

26. Казаков М. А., Корнеев Г. А., Шалыто А. А. Построение логики работы визуализаторов алгоритмов на основе автоматного подхода / Тезисы докладов Всероссийской научно-методической конференции «Телематика'2003». СПбГУ ИТМО. 2003, с. 378, 379.

27. Казаков М. А. Использование автоматного подхода для построения визуализаторов / Вестник конференции молодых ученых СПбГУ ИТМО. 2004, с. 166-180.

28. Казаков М. А., Шалыто А. А. Реализация визуализаторов на основе автоматного программирования / Тезисы докладов Всероссийской научно-методической конференции «Телематика'2004». СПбГУ ИТМО. 2004, с. 191, 192.

29. Казаков М. А., Шалыто А. А. Технология построения визуализаторов алгоритмов на основе автоматного подхода / Тезисы докладов Всероссийской научно-методической конференции «Телематика'2005». СПбГУ ИТМО. 2005, с. 507-509.

30. Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб.: Питер, 2010

31. Соколов А. А. Генерация конечных автоматов с помощью генетических алгоритмов для решения задачи о поиске цели сенсорным агентом в области с препятствиями / Всероссийская научная конференция по проблемам информатики (СПИСОК-2012). СПб.: ВВМ. СПбГУ. 2012, с. 438 - 443.

32. Егоров К. В., Царев Ф. Н., Шалыто А. А. Построение автоматов управления системами со сложным поведением на основе верификации и сценариев работы / Всероссийская научная конференция по проблемам информатики (СПИСОК-2012). СПб.: ВВМ. СПбГУ. 2012, с. 411 - 414.

33. Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 81-85.

34. Царев Ф.Н. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования 11 информационно-упраЬляющие системьГ - 2010, - № 5. -

35. Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 96-100.

36. Буздалов М. В. Генерация конечных автоматов с помощью генетических алгоритмов для решения задач навигации //Сборник научных трудов У1-ой Международной научно-практической конференции «Интегрированные модели и мягкие вычисления в искусственном интеллекте. М. : Физмалит. 2011, с. 566 - 577.

37. Малаховски Я.М., Шалыто А.А. Реализация конечных автоматов на функциональных языках программирования // Информационно-управляющие системы. 2009. №6, с. 30-33.

38. Шалыто А.А. Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. Вып. 53. Автоматное программирование, с. 3-24

39. Мандриков Е.А., Кулев В.А. Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов // Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 100-103

40. Болгова Е.В., Богачева А.В., Духанов А.В., Князьков К.В., Бухановский А.В. Инфраструктурное обеспечение виртуальных лабораторных практикумов для междисциплинарных образовательных программ в рамках концепции облачных вычислений // Современные проблемы науки и образования 2012. № 5 (Электронный журнал). URL: www.science-education.ru/105-6977

41. Иванов С. В., Болгова Е. В., Каширин В. В., Якушев А. В., Чугунов А. В., Бу- хановский А. В. Web-ориентированный производственно-исследовательский центр «Социодинамика» // Изв. вузов. Приборостроение. 2011. № 10. С. 65-71

42. Шиков А.Н. Применение компьютерных лабораторных практикумов в системе подготовки студентов очной формы обучения // Дистанционное и виртуальное обучение. 2013. № 10. С. 79-87

43. Аванесов В.С. Теория и методика педагогических измерений (Материалы публикаций в открытых источниках и Интернет) // Подготовлено ЦТ и МКО УГТУ-УПИ, 2005 г.

44. Зайцева Л.В., Прокофьева Н.О., Модели и методы адаптивного контроля знаний // Educational Technology & Society 7(4) 2004б ISSN 1436-4522

45. В.И. Звонников, М.Б. Челышкова Контроль качества обучения при аттестации: компетентностный подход : Логос, Университетская книга; Москва; 2009 ISBN 978-5-98704-369-7

46. В.И. Звонников, М.Б. Челышкова Современные средства оценивания результатов обучения : учеб. пособие для студ. высш. учеб. заведения Контроль качества обучения при аттестации: компетентностный подход: Издательский центр «Академия»; Москва; 2007 ISBN 976-5-7695-3568-0

47. И.М. Ибрагимов Информационные технологии и средства дистанционного обучения : Издательский центр «Академия»; Москва; 2007

48. Муромцев Д.И., Злобин А.Н., Катков Ю.В., Починок И.Н. Разработка базы знаний по оптике для образовательных веб-приложений // Искусственный интеллект и принятие решений. 2011. № 3. С. 3-10.

49. Ефремова Н.Ф. Компетенции в образовании. Формирование и оценивание. - Национальное образование, 2012

50. Ефремова Н.Ф. Тестирование. Теория, разработка и использование в практике учителя - Национальное образование, 2012

51. Ефремова Н.Ф. Формирование и оценивание компетенций в образовании. Монография, - Ростов-на-Дону, «Аркод», 2010. — 386 с.

52. Паршукова, Н.Б. Виртуальная лаборатория по геометрии для 7-9 классов / Н.Б. Паршукова // «Математика и информатика: наука и образование». — г. Омск. 2005. - С. 235-238.

53. Паршукова, Н.Б. Проведение уроков по геометрии с использованием виртуальной лаборатории (ВЛ) / Н.Б. Паршукова // Ученые записки. Вып. 19.-М.: ИИО РАО, 2006. С. 71-77.

54. Паршукова, Н.Б. Решение прикладных задач по геометрии в виртуальной лаборатории / Н.Б. Паршукова // Сборник материалов конференции «Информатизация образования 2006», г. Тула. 2006. -С. 221-227.

55. Лавина Т.А., Роберт И.В. Толковый словарь терминов понятийного аппарата информатизации образования, - М.: ИИО РАО, 2009. - 96 с.

56. Роберт И.В. Теория и методика информатизации образования (психолого- педагогический и технологический аспекты). М.: ИИО РАО, 2008.

57. Роберт И.В. Толкование слов и словосочетаний понятийного аппарата информатизации образования // Информатика и образование. 2004. № 5. С. 22-29.

58. Роберт И.В. Толкование слов и словосочетаний понятийного аппарата информатизации образования // Информатика и образование. 2004. № 6. С. 63-70.

59. Хожиев А. Х. Особенности, преимущества и эффективность электронных учебников по специальным дисциплинам, применяемых в профессиональных колледжах [Текст] / А. Х. Хожиев // Молодой ученый. — 2012. — №2. — С. 311-313.

60. Волегова Н.Н., Наговицын А.А. Виртуальный лабораторный практикум или Электроника и микроэлектроника под соусом ИКТ // Учительская газета. 2007. 20 ноября

61. Соловов А.В. Виртуальные учебные лаборатории в инженерном образовании // Сборник статей «Индустрия образования». Вып. 2. М.: МГИУ, 2002.

62. Попов А.Э., Манжула В.Г., Семенихин И.Н. Виртуальные лабораторные практикумы: проблемы разработки и применения/ Материалы XII Всероссийской научно-методической конференции «Телематика'2005»

63. Измайлов И.Л. Использование компьютерных технологий в лабораторном практикуме по «Электротехнике» // Материалы XVI международной конференции-выставки «ИТО-2006», Москва. 2006.

64. Марченко А.Л., Освальд С.В. Лабораторный практикум по электротехнике и электронике в среде Multisim: Учебное пособие для вузов. М.: ДМК Пресс, 2010.

65. Лисицына Л.С., Лямин А.В., Шехонин А.А. Разработка рабочих программ дисциплин (модулей) в составе основных образовательных программ, реализующих ФГОС ВПО. Методическое пособие. - СПб.: СПбГУ ИТМО, 2011. - 63 с.

66. Ананьевский М.С., Болтунов Г.И., Зайцев Ю.Е., Лымарь А.Л., Лямин А.В., Матвеев А.С., Фрадков А.Л., Шиегин В.В. Санкт-Петербургские

олимпиады по кибернетике 1999-2012 / Под ред. А.Л.Фрадкова, М.С.Ананьевского. - СПб.: Наука, 2012. - 380 с.

67. Царева Е.В. Использование flash - технологии для расширения функциональности lms moodle и системы вебинаров adobe connect meeting // Высшее образование сегодня. - 2014. - № 8. С. 30 - 33.

68. Горисев С. А. , Ряшенцев И. В. , Стародубцев В. А. Комплексное применение аудиовизуальных технологий // Дистанционное и виртуальное обучение. - 2013 - №. 8. - C. 4-11

69. Горисев С. А. , Ряшенцев И. В. , Стародубцев В. А. Технология вебинара как регистратора событий в жизни вуза // Открытое образование. - 2013 -№. 3. - C. 51-55

70. Баранов П. Ф. , Горисев С. А. , Ряшенцев И. В. , Царева Е. В. , Цимбалист Э. И. FLASH-тренажеры как элемент успешной постановки лабораторного практикума // Открытое образование. - 2012 - №. 5 (94) -C. 30-35

71. Баранов П. Ф., Бориков В. Н., Дистанционный лабораторный практикум на основе графической программной технологии // Дистанционное и виртуальное обучение. - 2011 - №. 1 - C. 81-88

72. Ланда Л.Н. Алгоритмизация в обучении. - М.: Просвещение, 1966.-523с.

73. Майоров А.Н. Теория и практика создания тестов для системы образования. - М.: Интеллект-Центр, 2001. - 296 с.

74. Васильев В.Н., Стафеев С.К., Лисицына Л.С., Ольшевская А.В. От традиционного дистанционного обучения к массовым открытым онлайн-курсам // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 1 (89). С. 199-205.

75. Васильев В.Н., Лисицына Л.С. Основные направления развития информационно-образовательной среды вуза в связи с переходом на

ФГОС ВПО // Компьютерные инструменты в образовании. 2012. № 4. С. 62-68.

Печатные издания на английском языке

76. Practical experiences using RobUALab.ejs: a virtual and remote laboratory for Robotics e-learning Carlos A. Jara, Francisco A. Candelas, Santiago T. Puente, Jorge Pomares, Fernando Torres // Proceedings of 8th IFAC Symposium on Advances in Control Education. - Kumamoto, JAPAN, 2009.

77. Dormido, S., Vargas, H., Dormido, R., Duro, N., DormidoCanto, S. & Morilla, F.. Developing and Implementing Virtual and Remote Labs for Control Education: The UNED pilot experience. // 17th. IFAC World Congress, The International Federation of Automatic Control (IFAC), Korea.

78. EJS-Based Laboratory for Learning the Function of the Cardiovascular System A. M. Hernandez M. A. Mananas R. Costa-Castello // Proceedings of 8th IFAC Symposium on Advances in Control Education. - Kumamoto, JAPAN, 2009.

79. New features of Easy Java Simulations for 3D Modeling Carlos A. Jara, Francisco Esquembre, Francisco A. Candelas, Fernando Torres, Sebastián Dormido // Proceedings of 8th IFAC Symposium on Advances in Control Education. - Kumamoto, JAPAN, 2009.

80. A Virtual/Remote Laboratory to illustrate the Internal Model Principle for periodical signals. Lluis Diaz Guerra German A. Ramos Fuentes , Hector Vargas Ramon Costa-Castell'o // Proceedings of 8th IFAC Symposium on Advances in Control Education. - Kumamoto, JAPAN, 2009.

81. Development of an educational tool in LabVIEW and its integration in remote laboratory of automatic control M. Domínguez, P. Reguera, J.J. Fuertes, M. A. Prada, S. Alonso, A. Morán, D. Fernández // Proceedings of 8th IFAC Symposium on Advances in Control Education. - Kumamoto, JAPAN, 2009.

82. Kavita Rao. Universal Design for Online Courses: Addressing the Needs of Non-Traditional Learners // Technology Enhanced Education (ICTEE), 2012 IEEE International Conference, on 3-5 Jan. 2012. -Amritapuri, Kerala, India.

83. Joy Penman and Jyothi Thalluri. No Lectures:A Radical University Academic Initiative // Technology Enhanced Education (ICTEE), 2012 IEEE International Conference, on 3-5 Jan. 2012. -Amritapuri, Kerala, India.

84. Anita Diwakar, Sushanth Poojary and S.B. Noronha. Virtual labs in engineering education: Implementation using free and open source resources // Technology Enhanced Education (ICTEE), 2012 IEEE International Conference, on 3-5 Jan. 2012. -Amritapuri, Kerala, India.

85. V.Potkonjak, M. Vukobratovic, K. Jovanovic, M. Medenica: Virtual Mechatronic/Robotic Laboratory - A Step Further in Distance Learning. Computers & Education (Elsevier) 55, pp. 465-475, 2010.

86. J. Francés, M. Pérez-Molina, S. Bleda, E. Fernandez, C. Neipp, A. Beléndez: Educational Software for Interference and Optical Diffraction Analysis in Fresnel and Fraunhofer Regions Based on MATLAB GUIs and the FDTD Method. IEEE Trans. Education 55(1): 118-125 (2012).

87. Lyamin A.V., Vashenkov O.E. Virtual laboratory: multi-style code editor // 23rd ICDE World Conference on Open Learning and Distance Education including the 2009 EADTU Annual Conference. - Maastricht,The Netherlands, on 7-10 June 2009. - URL: http://www.ou.nl/icde2009.

88. Lyamin A.V., Vashenkov O.E. Virtual environment and instruments for student olympiad on cybernetics // Proceedings of 8th IFAC Symposium on Advances in Control Education. - Kumamoto, JAPAN, 2009.

89. Liubov S. Lisitsyna, Andrey V. Lyamin, Ivan A. Martynikhin, Elena N. Cherepovskaya, Situation Awareness Training in E-Learning, In: Smart Education and Smart e-Learning, Eds.: Vladimir L. Uskov, Robert J. Howlett, Lakhmi C. Jain, C. , Springer, ISBN 978-3-319-19874-3 (2015), pp. 273-285.

90. Liubov S. Lisitsyna, Andrey V. Lyamin, Ivan A. Martynikhin, Elena N. Cherepovskaya, Cognitive Trainings Can Improve Intercommunication with e-Learning System// 6th IEEE international conference series on Cognitive Infocommunications, IEEE Catalog Number CFP1526R-USB, ISBN 978-14673-8128-4 (2015), pp. 39-44.

91. L. Lisitsyna and A. Lyamin, Approach to Development of Effective E-Learning Courses, In: Frontiers in Artificial Intelligence and Applications 262 (2014), 732-738.

92. Kopylov D.S., Fedoreeva M.K., Lyamin A.V., Game-based Approach for Retaining Student's Knowledge and Learning Outcomes, In: Application of Information and Communication Technologies (2015), 609-613.

93. Belashenkova N.N., Cherepovskaya E.N., Lyamin A.V., Skshidlevsky A.A. Protection Methods of Assessment Procedures Used in e-Learning // 13th International Conference on Emerging eLearning Technologies and Applications. - 2015. - P. 27-32.

94. Lisitsyna L.S., Pershin A.A., Kazakov M.A., Game Mechanics Used for Achieving Better Results of Massive Online, In: Smart Education and Smart e-Learning, Eds.: Vladimir L. Uskov, Robert J. Howlett, Lakhmi C. Jain, C., Springer (2015), 183-193.

95. Kay, J., Reimann, P., Diebold, E., Kummerfeld, B.: MOOCs: So Many Learners, So Much Potential ... . In: IEEE Intelligent Systems, vol. 28(3), pp. 70-77 (2013)

96. Venugopal, G., Jain, R.: Influence of learning management system on student engagement. In: 2015 IEEE 3rd International Conference on MOOCs, Innovation and Technology in Education (MITE), pp. 427-432 (2015)

97. Rodríguez-del-Pino J. C., Rubio-Royo E., Hernández-Figueroa Z. J. A Virtual Programming Lab for Moodle with Automatic Assessment and Anti-plagiarism Features. // Proceedings of the 2012 International Conference on e-

Learning, e-Business, Enterprise Information Systems, & e-Government. -Las Vegas, 2012.

Ресурсы сети Интернет

98. Дискретная математика: алгоритмы [Электронный ресурс] / http://rain.ifmo.ru/cat.

99. Техническое руководство по разработке учебно-методического комплекса для системы дистанционного обучения [Электронный ресурс] http://de.ifmo.ru/--doc/tz_63.pdf

100. Пакет для разработки RLCP-совместимых виртуальных лабораторий системы ДО AcademicNT [Электронный ресурс] http://de.ifmo.ru/--doc/vl-rlcp.zip

Публикации автора по теме диссертации

Статьи в изданиях из перечня ВАК

101. Ефимчик Е.А., Лямин А.В. Средства разработки и тестирования RLCP-совместимых виртуальных лабораторий // Дистанционное и виртуальное обучение. - 2012. - № 10. - С. 37-47

102. Ефимчик Е.А., Лямин А.В. Определение сложности вариантов алгоритмических заданий для виртуальных лабораторий на основе автоматной модели // Компьютерные инструменты в образовании. - 2014. - № 3. - С. 34-43

103. Ефимчик Е.А., Лямин А.В. Автоматизация подготовки вариантов и оценивания решений алгоритмических заданий для виртуальных лабораторий на основе автоматной модели // Дистанционное и виртуальное обучение. - 2015. - № 6(96). - С. 20-33

Публикации в рецензируемых изданиях, индексируемых Scopus

104. Lyamin A., Efimchik E. RLCP-compatible virtual laboratories // International Conference on E-Learning and E-Technologies in Education, ICEEE 2012. -2012. - pp. 59-64

105. Efimchik E.A., Chezhin M.S., Lyamin A.V., Rusak A.V. Using Automaton Model to Determine the Complexity of Algorithmic Problems for Virtual Laboratories // 9th International Conference on Application of Information and Communication Technologies. - 2015. - pp. 541-545

106. Chezhin M.S., Efimchik E.A., Lyamin A.V. Automation of Variant Preparation and Solving Estimation of Algorithmic Tasks for Virtual Laboratories Based on Automata Model // Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. - 2016. - Vol. 160. - pp. 35-43

107. Efimchik E.A., Cherepovskaya E.N., Lyamin A.V. RLCP-Compatible Virtual Laboratories in Computer Science // Smart Innovation, Systems and Technologies. - 2016. - Vol. 59. - pp. 303-314

108. Lisitsyna L.S., Efimchik E.A. Design and Application of MOOC «Methods and Algorithms of Graph Theory" on National Platform of Open Education of Russian Federation // Smart Innovation, Systems and Technologies. - 2016. -Vol. 59. - pp. 145-154

Прочие публикации

109. Ефимчик Е.А. Генерирование заданий для виртуальных лабораторий по теории графов // Сборник тезисов VIII всероссийской межвузовской конференции молодых ученых. - 2011. - № 1. - С. 57-58

110. Ефимчик Е.А., Лямин А.В. Генерирование заданий для виртуальных лабораторий по дискретной математике // Труды XVIII Всероссийской научно-методической конференции «Телематика'2011». - 2011. - Т. 1. - С. 169-170

111. Ефимчик Е.А., Лямин А.В. Особенности разработки алгоритмов автоматизации процесса построения заданий для виртуальных лабораторий // Материалы XXIII Международной конференции «Применение новых технологий в образовании». - 2012. - С. 231-232

112. Ефимчик Е.А., Лямин А.В. Схема реализации виртуальных лабораторий с возможностью автоматического построения заданий и оценивания результатов их выполнения // Материалы международной научно-практической конференции «Новые информационные технологии в образовании - 2012». - 2012. - С. 143-145

113. Ефимчик Е.А., Лямин А.В. Виртуальная лаборатория для проверки навыков восстановления логической функции // Информационная среда вуза XXI века: материалы VI Международной научно-практической конференции. - 2012. - С. 78-81

114. Ефимчик Е.А., Казунка М.Н. Генерирование наборов графов для заданий виртуальных лабораторий // Сборник тезисов докладов I конгресса молодых ученых. - 2012. - № 1. - С. 60-62

115. Лямин А.В., Ефимчик Е.А. Виртуальные лаборатории в дистанционном образовании и особенности их разработки // Материалы Международной научно-практической конференции «Математические методы и модели анализа и прогнозирования развития социально-экономических процессов черноморского побережья Болгарии». - 2012. - С. 135-139

116. Ефимчик Е.А., Лямин А.В. Технология RLCP-совместимых виртуальных лабораторий // Труды XIX Всероссийской научно-методической конференции «Телематика'2012». - 2012. - Т. 1. - С. 153-154

117. Ефимчик Е.А. Разработка виртуальных лабораторий с применением компетентностного подхода // Сборник тезисов докладов конгресса молодых ученых. - 2013. - Вып. 3. - С. 27-28

118. Ефимчик Е.А. Опыт применения виртуальных лабораторий в преподавании дискретной математики // Материалы международной научно-практической конференции «Университет ШОС - новые горизонты дистанционного образования: опыт, практика, перспективы развития». - 2013. - С. 25-26

119. Ефимчик Е.А. Автоматическое построение заданий для проверки навыков выполнения операций над множествами // Новые информационные технологии в образовании: материалы международной научно-практической конференции. - 2013. - С. 278-281

120. Ефимчик Е.А. Виртуальная лаборатория для проверки навыков проведения операций над множествами // Сборник материалов XVIII Международной научно-практической конференции «Проблемы и перспективы развития образования в России». - 2013. - С. 102-108

121. Ефимчик Е.А. Применение RLCP-совместимых виртуальных лабораторий в преподавании дискретной математики // Материалы международной научно-практической конференции «Мировая наука и современное общество: актуальные вопросы экономики, социологии и права». - 2013. - С. 80-82

122. Ефимчик Е.А., Лямин А.В. Автоматизация учебного процесса с помощью RLCP-совместимых виртуальных лабораторий // Труды XX Всероссийской научно-методической конференции «Телематика'2013». -2013. - Т. 1. - С. 162-163

123. Efimchik E.A., Lyamin A.V., Chezhin M.S. Automation of Algorithmic Tasks for Virtual Laboratories Based on Automata Theory // EAI Endorsed Transactions on e-Learning. - 2016. - Vol. 16. - No. 10. - pp. 8-14.