НАУЧНО-ТЕХНИЧЕСКИИ ВЕСТНИК ИНФОРМАЦИОННЫХ ТЕХНОЛОГИИ, МЕХАНИКИ И ОПТИКИ ноябрь-декабрь 2015 Том 15 № 6 ISSN 2226-1494 http://ntv.i1mo.ru/
SCIENTIFIC AND TECHNICAL JOURNAL OF INFORMATION TECHNOLOGIES, MECHANICS AND OPTICS November-December 2015 Vol. 15 No 6 ISSN 2226-1494 http://ntv.ifmo.ru/en
УДК 378.14:004.02
МЕТОД АНАЛИЗА ЛОГИЧЕСКИХ УСЛОВИЙ ДЛЯ ДЕШИФРАЦИИ РЕЗУЛЬТАТОВ ДИАГНОСТИЧЕСКОГО ТЕСТА УРОВНЯ ОСВОЕНИЯ
ЭЛЕМЕНТОВ КОМПЕТЕНЦИЙ В.И. Фрейман a
a Пермский национальный исследовательский политехнический университет, Пермь, 614990, Российская Федерация Адрес для переписки: vfrey@mail.ru Информация о статье
Поступила в редакцию 07.05.15, принята к печати 06.10.15 doi:10.17586/2226-1494-2015-15-6-1169-1176 Язык статьи - русский
Ссылка для цитирования: Фрейман В.И. Метод анализа логических условий для дешифрации результатов диагностического теста уровня освоения элементов компетенций // Научно-технический вестник информационных технологий, механики и оптики. 2015. Т. 15. № 6. С. 1169-1176.
Аннотация
Постановка задачи. Проанализированы особенности представления результатов обучения по компетентностно-ориентированным образовательным программам. Показана важность решения задач дешифрации и оценивания уровня освоения элементов и компонентов дисциплинарных частей компетенций. Сформулированы цель и основные задачи работы. Методы исследования. В работе использованы методы математической логики, аппарат булевой алгебры, а также параметрический анализ результатов реализации сложного диагностического теста, контролирующего уровень освоения нескольких элементов дисциплинарных компетенций. Результаты. Разработан метод анализа логических условий, который позволит сформулировать условия для определения уровня освоения каждого из проверяемых сложным диагностическим тестом элемента дисциплинарной компетенции. Нормализованный результат теста разбит на непересекающиеся зоны, для каждой из которых сформулировано логическое условие об уровне освоения контролируемых элементов. Введены обобщенные характеристики для зон, представляющих результат теста. Приведен пример формирования логических условий для диагностического теста с заданными характеристиками. Практическая значимость. Предлагаемый метод анализа логических условий использован в алгоритме дешифрации результатов тестового диагностирования уровня освоения элементов дисциплинарных компетенций. Он позволит автоматизировать процедуру поиска элементов с недостаточным уровнем освоения, а также может быть использован для оценивания результатов изучения дисциплины или раздела компетентностно-ориентированной образовательной программы. Ключевые слова
элемент дисциплинарной компетенции, результат обучения, тестовое диагностирование, уровень освоения, логическое условие, алгоритм дешифрации.
LOGICAL CONDITIONS ANALYSIS METHOD FOR DIAGNOSTIC TEST RESULTS DECODING APPLIED TO COMPETENCE ELEMENTS PROFICIENCY
V. I. Freyman a
a Perm National Research Polytechnic University, Perm, 614990, Russian Federation Corresponding author: vfrey@mail.ru Article info
Received 07.05.15, accepted 06.10.15 doi:10.17586/2226-1494-2015-15-6-1169-1176 Article in Russian
For citation: Freyman V. I. Logical conditions analysis method for diagnostic test results decoding applied to competence elements proficiency. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2015, vol. 15, no. 6, pp. 1169-1176.
Abstract
Subject of Research. Representation features of education results for competence-based educational programs are analyzed. Solution importance of decoding and proficiency estimation for elements and components of discipline parts of competences is shown. The purpose and objectives of research are formulated. Methods. The paper deals with methods of mathematical logic, Boolean algebra, and parametrical analysis of complex diagnostic test results, that controls proficiency of some discipline competence elements. Results. The method of logical conditions analysis is created. It will give the possibility to formulate logical conditions for proficiency determination of each discipline competence element, controlled by complex diagnostic test. Normalized test result is divided into noncrossing zones; a logical condition about controlled elements proficiency is formulated for each of them. Summarized characteristics for test result zones are imposed. An example of logical conditions forming for diagnostic test with preset features is provided. Practical Relevance. The proposed method of
logical conditions analysis is applied in the decoding algorithm of proficiency test diagnosis for discipline competence elements. It will give the possibility to automate the search procedure for elements with insufficient proficiency, and is also usable for estimation of education results of a discipline or a component of competence-based educational program. Keywords
discipline competence element, education result, test diagnosis, proficiency, logical condition, decoding algorithm.
Введение
Образовательные программы, построенные в соответствии с требования Федеральных образовательных стандартов высшего профессионального образования (ФГОС ВПО и их модификации - ФГОС ВО), являются компетентностно-ориентированными [1]. Это означает, что в результате их реализации у выпускника должен быть сформирован набор компетенций, который и должен являться предметом оценивания вузом и работодателем [2, 3]. Дисциплины и разделы образовательной программы выполняют функции формирования и контроля частей компетенций (дисциплинарных компетенций - ДК). Для эффективности и управляемости указанных процедур компетенция задается на уровне компонентов «знание», «умение», «владение» (ЗУВ), а те, в свою очередь, детализируются до уровня элементов (ЭДК), в которых указывается конкретный объект или действие над объектом [4] (например, «Знать способы расчета параметров и оценки вероятностных характеристик помехоустойчивых кодов», «Уметь реализовать алгоритмы кодирования и декодирования избыточных кодов в предложенном аппаратно-программном базисе», «Владеть навыками синтеза и исследования кодирующих и декодирующих устройств в заданной среде проектирования и моделирования» и т.п.).
Инженерное образование требует применения самых современных и инновационных подходов и технологий [5]. Международный и российский опыт модернизации системы высшего образования признает важность проблемы контроля и оценивания промежуточных и итоговых результатов обучения для эффективного управления качеством образования [6-9]. Для этого привлекаются различные средства и технологии: многоуровневое и адаптивное тестирование, case-технологии, метод проектов, дистанционные образовательные технологии, портфолио и т.д. [10-16].
В дисциплине (разделе) образовательной программы необходимо предусмотреть взаимоувязанные способы формирования и средства контроля ЭДК. Это является достаточно новой, слабоформализуемой и потому актуальной проблемой системы высшего образования. Для ее решения предлагается использовать аппарат и методы технических наук, которые должны быть адаптированы к особенностям выбранных объекта (компетенция) и субъекта (студент) контроля и оценивания [17-22].
На основании результатов оценивания ЭДК определяется степень освоения вышележащих уровней (компонентов, дисциплинарных компетенций, компетенций), например, с использованием аддитивного интегро-дифференциального критерия [23, 24]. Таким образом, от точности результатов оценивания ЭДК зависит точность принятия решения по всем результатам реализации образовательной программы. Исходя из этого, важной проблемой является разработка процедуры дешифрации и оценивания результатов тестового диагностирования уровня освоения ЭДК. Предлагаемая работа является продолжением решения задач, поставленных в работе [4], которая посвящена анализу и количественной оценке результатов процедуры тестового диагностирования уровня освоения компетенций и их составляющих.
Целью настоящей работы является разработка метода дешифрации результатов реализации диагностического теста уровня освоения элементов дисциплинарных компетенций, построенного с использованием аппарата математической логики и булевой алгебры.
Основные положения метода анализа логических условий
В данном разделе предлагается разработанный авторами метод анализа логических условий. Он позволяет сформулировать условия для определения уровня освоения каждого из подмножества ЭДК, проверяемых одним сложным диагностическим тестом:
1. все освоены;
2. все не освоены;
3. требуется уточнение другими тестами или повторным тестированием.
Результат позволяет определить по двухуровневой шкале, освоены все ЭДК из подмножества, контролируемых данным тестом (вариант 1) или все они не освоены (вариант 2). Если имеет место результат, не дающий возможность сделать точный вывод, то вывод об освоении или неосвоении элемента не производится, и возникает состояние неопределенности принятия решения (вариант 3). Для снятия неопределенности возможны повторная реализация того же теста (пересдача) или совместный анализ логического условия для данного теста с логическими условиями результатов остальных тестов, реализуемых в рамках дисциплины (модуля, раздела) и контролирующих заданную совокупность ЭДК. После совместного анализа для каждого элемента будет принято решение, освоен он или нет. Метод основан на использовании аппарата математической логики и результатах параметрического анализа, выполненных в работе [4].
Воспользуемся приведенной на рисунке [4] графической иллюстрацией зон точного принятия решения (S и S+) и зоны результатов, нуждающихся в уточнении (S ). Для одного сложного теста опреде-
лим логические условия, связанные со значениями (достаточный или недостаточный уровень освоения) контролируемых им ЭДК в зависимости от попадания результата теста в одну из указанных зон на рисунке. Предварительно введем следующие обозначения.
Обозначим контролируемые элементы через Эк (к е [1; к\, где к - количество контролируемых тестом ЭДК), соответственно запись «Эк» означает, что элемент Эк освоен (прямая форма записи), а запись « Эк » - элемент Эк не освоен (инверсная форма записи). Тогда при попадании нормированного результата теста в зону (ни один из к контролируемых тестом ЭДК не освоен) формулируется следующее логическое условие:
5 — Э^ • Э2 '
. • Эк
• Э к-1 • Эк — П Эк
(1)
Аналогично при попадании нормированного результата теста в зону (все к, контролируемых тестом ЭДК, освоены) формулируется следующее логическое условие:
5 — Э, • Э2
. • Эк
• Эк-1 • Эк —П Эк
(2)
Для определения логических условий для зоны 5 (требуется уточнить уровень освоения контролируемых тестом ЭДК дополнительными тестами поиска) необходимо предварительно декомпозировать ее на фрагменты (участки). Рассмотрим декомпозицию множества 5 на два подмножества, располагающиеся на рисунке по разные стороны относительно порогового значения Опор.:
1. 5" = {5кк-1; 5кк-1к-2; ..; 5кк-1к-2 О, где индекс «*-» означает, что рассматривается диапазон
[0; Опор); '
2. 5*+ = {501; 5012; ...; 50,1,2,...,к-1}, где индекс «*+» означает, что рассматривается диапазон [Опор.; 1\.
Индексы участков показывают, при каком количестве неосвоенных ЭДК (нЭДК) нормированный результат реализации теста принадлежит диапазону данного участка.
Уточним условия для перечисленных участков зоны 5 - (перечисление от минимальной оценки Отш(к) слева направо, см. рисунок; индексы, обозначающие количество нЭДК, располагаются в порядке убывания):
- 5к,к-1: количество нЭДК равно к или (к-1), так как результат теста О е [Отт(к-1); Отт(к-2));
- 5к к-1,к-2: количество нЭДК равно к или (к-1) или (к-2), так как результат теста О е [Отт(к-2); Отт(к-З));'
- 5к,к-1,к-2,...,1: количество нЭДК равно к или (к-1) или (к-2) или ... или 1, так как результат теста О е [Отш(1);' Отт(О)).
Необходимо уточнение (5)
Все ЭДК не освоены (5-)
0
Отт(к) —' Отт(к-1)
Отт(0
От,п(1) От:п(0)
Все ЭДК освоены (5;)
1
Отах(0)
Отах(1)
Отах(0
Отах(к-1)
Отах(к)
Рисунок. Графическая иллюстрация анализа результатов тестирования для Л и Опор., а также минимальной Отт(/) и максимальной Отах(/) оценок для заданного значения неосвоенных ЭДК / е [0; Л]
Уточним условия для перечисленных участков зоны 5 + (перечисление от максимальной оценки Отах(0) справа налево, см. рисунок; индексы, обозначающие количество нЭДК, располагаются в порядке возрастания):
к—1
к— 1
- 50,1: количество нЭДК равно 0 или 1, так как результат теста О е (Отах(2); Отах(1)];
- 5012: количество нЭДК равно 0 или 1 или 2, так как результат теста О е (Отах(3); Отах(2)];
- 5012 и-1: количество нЭДК равно 0 или 1 или 2 или ... или (И-1), так как результат теста О е
(Отах(^); От'ах(^-1)].
Определим мощность полного множества вариантов |5| и мощность составляющих его подмножеств |5*"| и |5*+| для сложного теста, контролирующего И ЭДК:
|5| = 2-И = |5"| + |5+| + |5*| = |5"| + |5+ + |5*| + |5*+|;
5- = 1; |5+| = 1; |5*| = |5*-| + |5+|; |5*-| = |5*+| = И-1; |5*| = 2(И-1);
|5| = 1 + 1 + 2(И-1) = 2-И. ^ ^ (3)
Теперь можно записать логические условия для составляющих подмножеств 5 - и 5 +, каждая из которых представляет собой подмножество подозреваемых на недостаточный уровень освоения ЭДК.
Задание логических условий для подмножеств результатов дешифрации
В подмножестве 5 - для зоны 5И,И-1, при попадании результата теста в которую делается вывод о том, что не освоены либо И ЭДК, либо (И-1) ЭДК, формулируется следующее логическое условие:
5и, И-1 =П Э* +1
к=1 ]=\
Э у П Э *
к=1, к * У
В сформулированном логическом условии каждый терм показывает вариант распределения освоенных и неосвоенных ЭДК в зависимости от расположения на рисунке рассматриваемого участка (индексов подмножества 5*"). В результате минимизации логической функции получается следующий результат:
И И
5И, И-1 = ХП Эк.
У = 1 к=1, к * у
Проанализировав все варианты подмножества 5 - можно сделать вывод, что логическое условие для произвольного значения ' 5И,...,' (' е [1; И-1]) записывается как дизъюнктивная нормальная форма (ДНФ). Термы ДНФ представляют конъюнкцию из ' неосвоенных элементов, каждый из которых обозначается инверсной формой записи (Эк). Число сочетаний (термов) определяется в соответствии законами комбинаторики (для принятой двухуровневой шкалы оценивания): ' И \ И!
(4)
N.
= С' =
^И
') '!(И -')!
Запишем логическое условие для произвольного значения ' с учетом (4):
ми..., И
5и,...,' = Х П Эк
(5)
У=1 к=1,
к еи
где и у - совокупность индексов для у-го сочетания.
Пример 1. Для И = 4, ' = 2 множество сочетаний и состоит из Ж4,3,2 = С42 = 6 вариантов по ' = 2 индекса: и = {и,У е [1; 6]} = {1, 2; 1, 3; 1, 4; 2, 3; 2, 4; 3, 4}, а логическое условие 54,3,2 определяется следующим образом:
^,2 4 _ __ __ __ __ __ __
54,3,2 = Х ПП Эк = Э1 ' Э2 + Э1 ' Э3 + Э1 ' Э4 + Э2 ' Э3 + Э2 ' Э4 + Э3 ' Э4.
У=1 к=1,
к еи
В подмножестве 5 + для зоны 501, при попадании результата теста в которую делается вывод о том, что не освоены либо 0 ЭДК, либо 1 ЭДК, формулируется следующее логическое условие:
5с,1 =Х П Эк.
У=1 к=1, к * у
Проанализировав все варианты подмножества 5*+, можно сделать вывод, что логическое условие для произвольного значения ' 50 ' (' е [1; И-1]) записывается как дизъюнктивная нормальная форма.
Термы ДНФ представляют конъюнкцию из (И-') освоенных элементов, каждый из которых обозначается прямой формой записи (Эк). Число сочетаний (термов) определяется в соответствии законами комбинаторики:
И ■ ( И Л И!
К ■ = СИ-' = 1 1 = —-—. (6)
0'...'' И [И -') (И -')!'! v '
Запишем логическое условие для произвольного значения ' с учетом (6):
к0, И
50,...,'■ = Х П Эк, (7)
У=1 к=1,
к еи
У
где и у - совокупность индексов для у-го сочетания.
Пример 2. Для И = 4, ' = 1 множество сочетаний и состоит из К01 = С44-1 = С43 = 4 вариантов по ' = 4 - 1 = 3 индекса: и = Щ, у е [1; 4]} = {1, 2, 3; 1, 2, 4; 1, 3, 4; 2, 3, 4}, а логическое условие 501 определяется следующим образом:
К0Д 4
50,1 = Х II Эк = Э1 ' Э2 ' Э3 + Э1 ' Э2 ' Э4 + Э1 ' Э3 ' Э4 + Э2 ' Э3 ' Э4.
У=1 к=1,
к еи
у
Доказательство правильности формул (4)-(5) и (6)-(7) может быть выполнено, например, методом перебора и вследствие большого объема рутинных расчетов не приводится.
Введем обобщенные характеристики (тест Ту контролирует Wу элементов) на основании анализа графической иллюстрации зонного разбиения на рисунке:
N = У + У N = 2-Жу; = 2; Ы* = 2-Жу - 2 = 2Щ - 1), (8)
где N - количество вариантов результата теста (мощность множества 5); К/+ - количество вариантов точного принятия решения (все контролируемые тестом элементы не освоены или все контролируемые тестом элементы освоены, т.е. суммарная мощность подмножеств 5~ и 5+); Ку - количество вариантов, требующее уточнения дополнительными тестами, т.е. мощность подмножества 5 = 5 - + 5 +.
Следующей задачей является применение разработанного метода анализа логических условий в основе алгоритма дешифрации результатов реализации тестового набора (совокупности диагностических тестов поиска) для безусловного или одного (с произвольным номером) шага условного алгоритма диагностирования.
Пример формирования логических условий для диагностического теста с заданными
характеристиками
Запишем логические условия для сформулированных утверждений применительно к тесту, контролирующему И = 3 ЭДК. Обозначим контролируемые элементы Э1, Э2 и Эз. В соответствии с (3) мощность множества 5 и составляющих его подмножеств определяется по формуле (8):
|5| = 2-И = 2-3 = 6;
|51 = 1; |5+| = 1; |5*"| = |5*+| = И - 1 = 3 - 1 = 2; |5*| = 2 (И-1) = 4. Укажем состав подмножеств: 5*~ = {5И,И-1 = 532; 5^^, И-2 = 5321}. Запишем логические условия для подмножеств.
1. 5" = Э1 • Э2 • Э3 - условие уверенного принятия решения о том, что все И = 3 контролируемые тестом ЭДК не освоены (в соответствии с формулой (1)).
2. 5+ = Э1 • Э2 • Э3 - условие уверенного принятия решения о том, что все И = 3 контролируемые тестом
ЭДК освоены: (в соответствии с формулой (2)).
3. Для 5И,И-1 = 532 условие будет состоять из трех термов (в соответствии с (4) и (5) для И = 3 и ' = 2 количество сочетаний С32 = 3), каждый из которых представляет собой конъюнкцию из ' = 2 элементов в инверсной форме записи (с учетом выполненной минимизации логической функции):
53,2 = Э1 • Э2 + Э1 • Э3 + Э2 • Э3 .
Приведенное условие показывает: или все три контролируемые тестом элементы не освоены, или какие-либо два из трех элементов не освоены.
4. Для 5и,и-1,и-2 = 5321 условие будет состоять из трех термов (в соответствии с (4) и (5) для И = 3 и ' = 1 количество сочетаний С31 = 3), каждый из которых представляет собой ' = 1 элемент в инверсной форме записи (с учетом выполненной минимизации логической функции):
53,2,1 = Э1 + Э2 + Э3 .
Приведенное условие показывает: или все три контролируемые тестом элементы не освоены, или какие-либо два из трех элементов не освоены, или какой-либо один из трех элементов не освоен.
5. Для 50,1 условие будет состоять из трех термов (в соответствии с (6) и (7) для к = 3 и / = 1 количество сочетаний С33-1 = 3), каждый из которых представляет собой конъюнкцию из к - / = 3 - 1 = 2 элементов в прямой форме записи (с учетом выполненной минимизации логической функции):
50,1 — Э1 • Э2 ^ Э1 • Э3 ^ Э2 • Э3 .
Приведенное условие показывает: или все три контролируемые тестом элементы освоены, или какие-либо два из трех элементов освоены (что то же самое - или нет неосвоенных элементов, или есть один неосвоенный элемент).
6. Для 5012 условие будет состоять из трех термов (в соответствии с (6) и (7) для к = 3 и / = 2 количество сочетаний С33-2 = 3), каждый из которых представляет собой конъюнкцию из к - / = 3 - 2 = 1 элемента в прямой форме записи (с учетом выполненной минимизации логической функции):
50,1,2 — Э1 ^ Э2 ^ Э3 .
Приведенное условие показывает: или все три контролируемые тестом элементы освоены, или какие-либо два из трех элементов освоены, или какой-либо один из трех элементов освоен (что то же самое - или нет неосвоенных элементов, или есть один неосвоенный элемент, или два неосвоенных элемента).
Варианты 3-6 не дают точной информации о результате освоения контролируемых тестом элементов и нуждаются в уточнении дополнительными тестами поиска.
Применение предлагаемого метода при решении задачи автоматизации процедуры контроля и оценивания результатов обучения по компетентностно-ориентированным образовательным программам предполагается провести в три этапа.
1 этап - Разработка и анализ подхода к количественной оценке результатов контроля уровня освоения элементов и компонентов компетенций, построенного на его основе метода анализа логических условий и алгоритма дешифрации результатов тестового диагностирования. Проводится иллюстрация на уровне примеров. В процессе реализации данного этапа разрабатывается и используется программа имитационного моделирования, которая позволяет для заданной таблицы диагностирования (совокупность результатов реализации полной группы тестов) определить вероятностные показатели выбранного варианта таблицы и определить полный список вариантов логических условий. Программа предоставляет возможность по конкретным результатам реализации тестов определить общее логическое условие для оценки уровня освоения контролируемой совокупности элементов дисциплинарной компетенции, сформировать список корректирующих воздействия и тестов для повторной реализации. Результаты и иллюстрирующие примеры приводятся в статьях. Проводится научно-методическая апробация в виде публикации в журналах и обсуждения на семинарах и конференциях.
2 этап - Апробация предлагаемого подхода к количественной оценке результатов контроля уровня освоения элементов и компонентов компетенций, метода анализа логических условий и алгоритма дешифрации результатов тестового диагностирования на примере контроля результатов обучения по конкретной дисциплине. На сегодняшний день процедуры контроля и оценивания частично автоматизируются с помощью разработанной и апробированной на практике программы имитационного моделирования, разработанной на этапе 1.
3 этап - Разработка и внедрение автоматизированной системы сопровождения учебного процесса (АССУП) и оценка ее эффективности. В составе организационного (методического), информационного, математического и программного обеспечения системы используются предложенные подход к количественной оценке, метод анализа логических условий и алгоритм дешифрации результатов тестового диагностирования. На данный момент прорабатывается ее функциональность и структура, задачи подсистем в ее составе, формат базы данных, условия применения и т.д. Полное внедрение системы и оценка ее эффективности будут проходить поэтапно в течение ближайших лет. Проектируемая система даст возможность:
1. студенту - определить необходимый объем работы и форм контроля своего уровня подготовки (компетентности) для достижения заданного результата;
2. преподавателю - разработать и применить эффективный учебно-методический комплекс и фонд оценочных средств по всем своим учебным дисциплинам, построить эффективный график своей работы с учетом системы ограничений ресурсов (временных, пространственных, технических, организационных и т.д.);
3. учебно-методическим службам вуза - управлять и контролировать учебный процесс с возможностью получения интегральных и дифференциальных оценок успеваемости студентов, деятельности педагогов и использования ресурсов образовательного учреждения.
Апробация метода анализа логических условий проводится при его применении в основе разработанного алгоритма дешифрации результатов тестового диагностирования уровня освоения ЭДК. Он дает возможность определить общее логическое условие, которое характеризует состояние (освоение или не-
освоение) по всем контролируемым элементам дисциплинарных компетенций. После этого проводится анализ общего логического условия с целью выявления, достаточно ли информации для принятия решение об уровне освоения каждого элемента дисциплинарной компетенции. При необходимости производится переход к последующим шагам алгоритма, а именно: определяется перечень тестов для повторной или дополнительной проверки, а также список корректирующих мероприятий, учебно-методической литературы для подготовки и т.п.
Предлагаемый метод анализа логических условий и построенный на его основе алгоритм дешифрации реализован в разработанной программной модели, показывающей, что его использование позволит автоматизировать процедуру оценивания результатов обучения, заданных в компетентностном формате. Указанные подходы, методы и алгоритмы планируется применить в разрабатываемой АССУП, решающей задачи управления и контроля качества обучения. Последовательность разработки и применение предлагаемого алгоритма дешифрации результатов тестового диагностирования подробно описаны в следующей работе.
Заключение
В настоящей работе представлены следующие результаты.
1. Сформулирована важность и актуальность проблемы дешифрации и оценивания результатов тестового диагностирования уровня освоения элементов дисциплинарных компетенций, поставлена задача данной работы.
2. Разработан метод анализа логических условий: введены основные положения, сформулированы правила задания логических условий, определены обобщенные вероятностные характеристики. Предложенный метод позволяет выполнить дешифрацию результатов одного диагностического теста проверки уровня освоения элементов дисциплинарных компетенций.
3. Рассмотрен иллюстрирующий пример формирования логических условий для диагностического теста с заданными характеристиками.
4. Описано применение предложенного метода в алгоритме дешифрации результатов реализации группы сложных диагностических тестов, контролирующих совокупность элементов компетенций дисциплины или раздела образовательной программы.
Литература
1. Основные тенденции развития высшего образования: глобальные и Болонские измерения / Под ред. В.И. Байденко. М.: Исследовательский центр проблем качества подготовки специалистов, 2010. 352 с.
2. Васильев В.Н., Лисицына Л.С. Планирование и оценивание ожидаемых результатов освоения компетенций ФГОС ВПО // Научно-технический вестник информационных технологий, механики и оптики. 2013. № 2 (84). С. 142-148.
3. Васильев В.Н., Лисицына Л.С., Шехонин А.А. Концептуальная модель для извлечения результатов обучения из избыточного содержания образования // Научно-технический вестник СПбГУ ИТМО. 2010. № 4 (68). С. 104-108.
4. Кон Е.Л., Фрейман В.И., Южаков А.А. Анализ и количественная оценка результатов реализации образовательных программ с использованием диагностических тестов // Научно-технический вестник информационных технологий, механики и оптики. 2015. Т. 15. № 4. С. 756-763. doi: 10.17586/22261494-2015-15-4-756-763
5. Engineering Education Quality Assurance: A Global Perspective / Eds. A. Patil, P. Gray. London: SpringerVerlag, 2009. 316 p. doi: 10.1007/978-1-4419-0555-0
6. Krathwohl D., Bloom B., Masia B. Taxonomy of Educational Objectives: the Classification of Educational Goals. NY: Longman, 1984. 196 p.
7. A Taxonomy for Learning, Teaching and Assessing: a Revision of Bloom's Taxonomy of Educational Objectives / Eds. L.W. Anderson, D.R. Krathwohl. NY: Longman, 2000. 336 p.
8. Heywood J. Assessment in Higher Education: Student Learning, Peaching, Programmes and Institutions. London: Jessica Kingsley Publishers, 2000. 452 p.
9. Yorke M. Formative assessment in higher education: moves towards theory and the enhancement of pedagogic practice // Higher Education. 2003. V. 45. N 4. P. 477-501. doi: 10.1023/A: 1023967026413
10. Gulikers J., Biemans H., Mulder M. Developer, teacher, student and employer evaluations of œmpetence-based assessment quality // Studies in Educational Evaluation. 2009. V. 35. N 2-3. P. 110-119. doi: 10.1016/j.stueduc.2009.05.002
11. Reimann P., Kickmeier-Rust M., Albert D. Problem solving learning environments and assessment: a knowledge space theory approach // Computers and Education. 2013. V. 64. P. 183-193. doi: 10.1016/j.compedu.2012.11.024
12. Wakimoto D., Lewis R. Graduate student perceptions of eportfolios: uses for reflection, development, and assessment // Internet and Higher Education. 2014. V. 21. P. 53-58. doi: 10.1016/j.iheduc.2014.01.002
13. Rodrigues F., Oliveira P. A system for formative assessment and monitoring of students' progress // Computers and Education. 2014. V. 76. P. 30-41. doi: 10.1016/j.compedu.2014.03.001
14. Крокер Л., Алгина Дж. Введение в классическую и современную теорию тестов. М.: Логос, 2010. 668 с.
15. Челышкова М.Б., Звонников В.И., Давыдова О.В. Оценивание компетенций в образовании: учебное пособие. М.: ГУУ, 2011. 229 с.
16. Ефремова Н.Ф. Подходы к оцениванию компетенций в высшем образовании: учеб. пособие. М.: Исследовательский центр проблем качества подготовки специалистов, 2010. 216 с.
17. Кон Е.Л., Фрейман В.И., Южаков А.А. Разработка и исследование подходов к управлению, контролю и оцениванию качества реализации компетентностно-ориентированных образовательных программ // Наука и образование: электронное научно-техническое издание. 2015. № 3. С. 356-372.
18. Фрейман В.И. Применение методов и процедур технической диагностики для контроля и оценки результатов обучения, заданных в компетентностном формате // Известия СПбГЭТУ ЛЭТИ. 2014. № 6. С. 79-85.
19. Кон Е.Л., Фрейман В.И., Южаков А.А. Анализ возможности применения аппарата и методов технической диагностики для контроля и оценки результатов освоения компетентностно-ориентированных образовательных программ // Известия СПбГЭТУ ЛЭТИ. 2014. № 7. С. 66-71.
20. Кон Е.Л., Фрейман В.И., Южаков А.А. Применение аппарата нечеткой логики для контроля результатов обучения, заданных в компетентностном формате // Нейрокомпьютеры: разработка, применение. 2014. № 12. С. 20-25.
21. Фрейман В.И. Разработка метода дешифрации результатов диагностирования уровня освоения элементов компетенций с использованием нечеткой логики // Нейрокомпьютеры: разработка, применение. 2014. № 12. С. 26-30.
22. Фрейман В.И. Реализация одного алгоритма условного поиска элементов компетенций с недостаточным уровнем освоения // Информационно-управляющие системы. 2014. № 2 (69). С. 93-102.
23. Adomian G. On integral, differential, and integro-differential equations, perturbation and averaging methods // Kybernetes. 1995. V. 24. N 7. P. 52-60.
24. Кон Е.Л., Фрейман В.И., Южаков А.А. Количественная оценка результатов обучения, представленных в компетентностном формате // Вестник УГАТУ 2015. Т. 19. № i (67). С. 206-212.
Фрейман Владимир Исаакович - кандидат технических наук, доцент, доцент, Пермский
национальный исследовательский политехнический университет, Пермь, 614990, Российская Федерация, vfrey@mail.ru
Vladimir I. Freyman - PhD, Associate Professor, Associate Professor, Perm National Research
Polytechnic University, Perm, 614990, Russian Federation, vfrey@mail.ru