WikiDer > Моделирование деятельности человека
Моделирование деятельности человека (HPM) представляет собой метод количественной оценки человеческого поведения, познания и процессов; инструмент, используемый исследователями и практиками человеческого фактора как для анализа функций человека, так и для разработки систем, предназначенных для оптимального взаимодействия с пользователем.[1] Это дополнительный подход к другим методам тестирования удобства использования для оценки влияния функций интерфейса на производительность оператора.[2]
История
В Общество человеческого фактора и эргономики (HFES) сформировала Техническую группу моделирования деятельности человека в 2004 году. человеческие факторы практикующие специалисты конструируют и применяют модели деятельности человека с тех пор, как Вторая Мировая Война. Известные ранние примеры моделей человеческой деятельности включают модель направленного двигательного движения Пола Фитта (1954),[3] выбор модели времени реакции Хика (1952)[4] и Хайман (1953),[5] и Swets et al. (1964) работают над обнаружением сигналов.[6] Предполагается, что самые ранние разработки HPM возникли из-за необходимости количественной оценки обратной связи между человеком и системой для тех военных систем, которые разрабатывались во время Второй мировой войны (см. Теория ручного управления ниже); с постоянным интересом к развитию этих моделей, дополненным когнитивная революция (видеть Познание и память ниже).[7]
Модели деятельности человека
Модели поведения человека предсказывают поведение человека в задаче, области или системе. Однако эти модели должны основываться на эмпирических данных и сравниваться с ними. человек-в-петле данные, чтобы гарантировать, что прогнозы действий человека верны.[1] Поскольку человеческое поведение по своей сути сложно, упрощенное представление взаимодействий имеет важное значение для успеха данной модели. Поскольку ни одна модель не может охватить всю широту и детализацию действий человека в системе, предметной области или даже задаче, детали абстрагируются, чтобы модели оставались управляемыми. Хотя упущение деталей является проблемой в фундаментальных психологических исследованиях, это не так важно в прикладных контекстах, таких как те, которые больше всего волнуют специалистов по человеческим факторам.[7] Это связано с внутренним-внешним срок действия компромисс. Тем не менее, разработка модели поведения человека - это упражнение в наука о сложности.[8] Коммуникация и изучение наиболее важных переменных, управляющих данным процессом, часто так же важны, как и точное предсказание результата с учетом этих переменных.[7]
Цель большинства моделей деятельности человека - собрать достаточно деталей в определенной области, чтобы их можно было использовать для целей исследования, проектирования или оценки; таким образом, область применения любой конкретной модели часто весьма ограничена.[7] Определение и передача предметной области данной модели является важной особенностью практики - и всего человеческого фактора - как системной дисциплины. Модели деятельности человека содержат как явные, так и неявные предположения или гипотезы, от которых зависит модель, и обычно являются математическими - состоят из уравнений или компьютерного моделирования, - хотя существуют также важные модели, которые носят качественный характер.[7]
Индивидуальные модели различаются по своему происхождению, но имеют общее применение и использование для решения проблем с точки зрения человеческого фактора. Это могут быть модели продуктов деятельности человека (например, модель, которая дает те же результаты решений, что и люди-операторы), процессы, связанные с деятельностью человека (например, модель, имитирующая процессы, используемые для принятия решений), или и то, и другое. Обычно они относятся к одной из трех областей: восприятие и распределение внимания, управление и контроль или познание и память; хотя модели других областей, таких как эмоции, мотивация и социальные / групповые процессы, продолжают расти и расти внутри дисциплины. Интегрированные модели также приобретают все большее значение. Антропометрические и биомеханические модели также являются важнейшими инструментами человеческого фактора в исследованиях и на практике и используются вместе с другими моделями деятельности человека, но имеют почти полностью отдельную интеллектуальную историю, поскольку индивидуально больше связаны со статическими физическими качествами, чем процессами или взаимодействиями.[7]
Модели применимы во многих отраслях и областях, включая военную,[9][10] авиация[11] атомная энергия,[12] автомобильная промышленность[13] космические операции,[14] производство[15] пользовательский интерфейс / дизайн пользовательского интерфейса (UX / UI),[2] и т. д. и использовались для моделирования как простых, так и сложных взаимодействий между человеком и системой.
Категории моделей
Командование и контроль
Модели поведения человека в Command & Control описывают результаты поведения оператора, а также часто являются моделями ловкость внутри взаимодействий для определенных задач.
Закон Хика-Хаймана
Хик (1952) и Хайман (1953) отмечают, что сложность задачи выбора времени реакции во многом определяется информационная энтропия ситуации. Они предположили, что информационная энтропия (ЧАС) является функцией количества альтернатив (п) в задаче выбора, ЧАС = журнал2(п + 1); и что время реакции (RT) человека-оператора является линейной функцией энтропии: RT = a + bH. Это известно как Закон Хика-Хаймана для выбора времени отклика.[7]
Указывая
Наведение на стационарные цели, такие как кнопки, окна, изображения, пункты меню и элементы управления на компьютерных дисплеях, является обычным делом и имеет хорошо зарекомендовавший себя инструмент моделирования для анализа - Закон Фитта (Fitts, 1954), в котором говорится, что время для выполнения прицельного движения (MT) является линейной функцией индекса сложности движения: MT = a + bID. Индекс сложности (ID) для любого заданного движения является функцией отношения расстояния до цели (D) и ширины цели (W): ID = бревно2(2D / W) - отношения, производные от теория информации.[7] Закон Фитта фактически отвечает за повсеместное распространение компьютера. мышь, благодаря исследованиям Карда, Инглиша и Берра (1978). Расширения закона Фитта также применимы к наведению на пространственно движущиеся цели через закон управления, первоначально обнаруженный К.Г. Друри в 1971 году[16][17][18] и позже переоткрыт в контексте взаимодействия человека и компьютера Аккоттом и Чжаем (1997, 1999).[19][20]
Теория ручного управления
Сложные двигательные задачи, например, выполняемые музыкантами и спортсменами, не моделируются должным образом из-за их сложности. Однако поведение человека по отслеживанию цели является одной сложной двигательной задачей, которая является примером успешного HPM.
История теории ручного управления обширна, начиная с 1800-х годов в отношении управления водяными часами. Однако в течение 1940-х годов, когда во время Второй мировой войны были изобретены сервомеханизмы, были проведены обширные исследования в области непрерывного управления и стабилизации современных систем, таких как радиолокационные антенны, орудийные башни и корабли / самолеты, посредством сигналов управления с обратной связью.
Были разработаны методы анализа, которые предсказывали необходимые системы управления, необходимые для обеспечения стабильного и эффективного управления этими системами (James, Nichols, & Phillips, 1947). Первоначально интересовавшийся временной реакцией - взаимосвязью между воспринимаемой выходной мощностью и выходной мощностью двигателя как функцией времени - Джеймс и др. (1947) обнаружили, что свойства таких систем лучше всего характеризуются пониманием временной реакции после того, как она была преобразована в частотную характеристику; отношение выходной амплитуды к входной и задержка отклика в диапазоне частот, к которому они чувствительны. Для систем, которые линейно реагируют на эти входные данные, функция частотной характеристики может быть выражена математическим выражением, называемым функция передачи.[7] Сначала это применялось к машинным системам, а затем к человеко-машинным системам для максимизации возможностей человека. Тастин (1947), занимающийся проектированием орудийных турелей для управления человеком, был первым, кто продемонстрировал, что нелинейный человеческий отклик может быть аппроксимирован передаточной функцией. МакРуер и Кренцель (1957) синтезировали всю работу, начиная с Тастина (1947), измеряя и документируя характеристики передаточной функции человека, и положили начало эре моделей ручного управления человеческой деятельностью. С внедрением электромеханических и гидравлических систем управления полетом в самолеты, автоматика и электронные системы искусственной стабилизации стали позволять пилотам-людям управлять высокочувствительными системами. передаточные функции все еще используются сегодня в техника управления.
Отсюда модель оптимального управления (Pew & Baron, 1978), разработанный для моделирования способности человека-оператора усваивать динамику системы и минимизировать целевые функции, такие как среднеквадратичная ошибка (RMS) от цели. Модель оптимального управления также распознает шум в способности оператора наблюдать сигнал ошибки и подтверждает наличие шума в выходной системе двигателя человека.
Однако технологический прогресс и последующая автоматизация уменьшили необходимость и желание ручного управления системами. Человеческий контроль над сложными системами теперь часто носит контролирующий характер над данной системой, и как человеческий фактор, так и HPM перешли от исследований перцептивно-моторных задач к когнитивным аспектам деятельности человека.
Внимание & Восприятие
Теория обнаружения сигналов (SDT)
Хотя теория обнаружения сигналов не является формальной частью HPM, она оказывает влияние на метод, особенно в интегрированных моделях. SDT почти наверняка является самой известной и наиболее широко используемой структурой моделирования человеческого фактора и ключевой особенностью обучения человеческим ощущениям и восприятию. Применительно к применению представляет интерес ситуация, в которой человек-оператор должен сделать двоичное суждение о том, присутствует ли сигнал или отсутствует на фоне шума. Это суждение может применяться в любом количестве жизненно важных контекстов. Помимо реакции оператора, возможны два «истинных» состояния мира - либо сигнал присутствовал, либо его не было. Если оператор правильно определяет сигнал как присутствующий, это называется ударить (ЧАС). Если оператор отвечает, что сигнал присутствовал, когда сигнала не было, это называется ложная тревога (FA). Если оператор правильно реагирует при отсутствии сигнала, это называется правильный отказ (CR). Если сигнал присутствует, и оператор не может его идентифицировать, это называется скучать (М).
В прикладной психологии и человеческом факторе SDT применяется для исследования проблем, включая распознавание, память, проверку способностей и бдительность. Бдительность, имея в виду способность операторов обнаруживать редкие сигналы с течением времени, важен для человеческого фактора в различных областях.
Визуальный поиск
Развитая область внимания - это контроль визуального внимания - модели, которые пытаются ответить: «Куда человек будет смотреть дальше?» Подмножество этого касается вопроса визуального поиска: как быстро может быть обнаружен указанный объект в поле зрения? Это обычная тема, вызывающая озабоченность человеческими факторами в самых разных областях, с большой историей в когнитивной психологии. Это исследование продолжается современными концепциями заметность и карты значимости. Методы моделирования деятельности человека в этой области включают работу Меллоя, Даса, Грамопадхай и Духовски (2006) относительно Марковские модели предназначен для получения оценок верхнего и нижнего пределов времени, затрачиваемого оператором на сканирование однородного дисплея.[21] Другой пример из работы Витуса и Эллиса (2003) включает вычислительную модель, касающуюся обнаружения наземных транспортных средств на сложных изображениях.[22] Столкнувшись с неравномерной вероятностью того, что пользователь компьютера выберет вариант меню, когда выделены определенные подмножества элементов, Фишер, Кури, Тенгс и Даффи (1989) вывели уравнение для оптимального количества выделенных элементов для заданного общего числа. элементы заданного распределения вероятностей.[23] Поскольку визуальный поиск является важным аспектом многих задач, модели визуального поиска теперь разрабатываются в контексте интеграции систем моделирования. Например, Флитвуд и Бирн (2006) разработали модель визуального поиска ACT-R посредством отображения помеченных значков, прогнозируя влияние качества значков и их размера не только на время поиска, но и на движения глаз.[7][24]
Визуальная выборка
Многие домены содержат несколько дисплеев и требуют большего, чем простое дискретное измерение времени отклика «да / нет». Критическим вопросом для таких ситуаций может быть: «Сколько времени операторы будут смотреть на X по сравнению с Y?» или «Какова вероятность того, что оператор полностью пропустит критическое событие?» Визуальная выборка - основное средство получения информации из мира.[25] Ранней моделью в этой области является модель Sender (1964, 1983), основанная на мониторинге операторами нескольких наборов номера, каждый с разной скоростью изменения.[26][27] Операторы стараются, как могут, восстановить исходный набор циферблатов на основе дискретной выборки. Это опирается на математический Теорема Найквиста заявляя, что сигнал с частотой Вт Гц может быть восстановлен путем дискретизации каждые 1 / Вт секунды. Это было объединено с измерением скорости генерации информации для каждого сигнала, чтобы предсказать оптимальную частоту дискретизации и время задержки для каждого набора. Человеческие ограничения не позволяют человеку соответствовать оптимальной производительности, но предсказательная сила модели повлияла на будущую работу в этой области, например, расширение модели Шериданом (1970) с учетом стоимости доступа и значения выборки информации.[7][28]
Современная концептуализация Wickens et al. (2008) - модель значимости, усилий, ожиданий и ценности (SEEV). Он был разработан исследователями (Wickens et al., 2001) как модель поведения сканирования, описывающая вероятность того, что данная область интереса привлечет внимание (AOI). Модель SEEV описывается p (A) = sS - efEF + (exEX) (vV), в котором р (А) вероятность того, что конкретная область будет выборкой, S это заметность для этой области; EF представляет усилие требуется для перераспределения внимания на новый AOI, связанный с расстоянием от текущего местоположения до AOI; БЫВШИЙ (ожидание) - ожидаемая частота событий (полоса пропускания), а V - ценность информации в этом AOI, представленная как произведение релевантности и приоритета (R * P).[25] Значения в нижнем регистре - это константы масштабирования. Это уравнение позволяет вывести оптимальные и нормативные модели поведения оператора и охарактеризовать его поведение. Викенс и др. (2008) также создали версию модели, которая не требует абсолютной оценки свободных параметров окружающей среды - только сравнительную значимость других регионов по сравнению с интересующей областью.[7]
Визуальная дискриминация
Модели визуального различения отдельных букв включают модели Гибсона (1969), Бриггса и Хосевара (1975) и Макклелланда и Румелхарта (1981), последняя из которых является частью более крупной модели распознавания слов, известной своим объяснением эффект превосходства слов. Эти модели отличаются высокой степенью детализации и позволяют делать количественные прогнозы относительно небольших эффектов конкретных букв.[7]
Восприятие глубины
Качественный пример HPM включает модель восприятия глубины Каттинга и Виштона (1995), которая показывает, что сигналы к восприятию глубины более эффективны на различных расстояниях.
Нагрузка
Хотя точное определение или метод измерения структуры рабочей нагрузки обсуждается сообществом, занимающимся человеческими факторами, критически важной частью концепции является то, что люди-операторы имеют некоторые ограничения производительности и что такие ограничения могут быть превышены только с риском снижения производительности. Что касается физической нагрузки, можно понять, что есть максимальная величина, которую человека следует просить поднимать повторно, например. Однако понятие рабочей нагрузки становится более спорным, когда способность, которую нужно превышать, касается внимания - каковы пределы человеческого внимания и что именно подразумевается под вниманием? Моделирование деятельности человека дает ценную информацию в этой области.[7]
Бирн и Пью (2009) рассматривают пример вопроса о базовой рабочей нагрузке: «В какой степени мешают задачи A и B?» Эти исследователи указывают на это как на основу психологический рефрактерный период (PRP) парадигма. Участники выполняют два задания на время реакции на выбор, и эти два задания будут в определенной степени мешать - особенно когда участник должен реагировать на стимулы для двух заданий, когда они находятся близко друг к другу во времени, - но степень вмешательства обычно меньше, чем общее время, затраченное на выполнение любой задачи. В модель узкого места выбора ответа (Pashler, 1994) хорошо моделирует эту ситуацию - каждая задача состоит из трех компонентов: восприятия, выбора реакции (познания) и двигательной активности. Ограничение внимания - и, следовательно, локус рабочей нагрузки - заключается в том, что выбор ответа может выполняться только для одной задачи за раз. Модель делает множество точных прогнозов, а те, которые она не может учесть, учитываются когнитивными архитектурами (Byrne & Anderson, 2001; Meyer & Kieras, 1997). В простых двойных задачах внимание и рабочая нагрузка оцениваются количественно, и становятся возможными значимые прогнозы.[7]
Хорри и Викенс (2003) рассматривают вопросы: в какой степени второстепенная задача будет влиять на ходовые качества и зависит ли это от характера вождения и от интерфейса, представленного во второй задаче? Используя модель на основе теория множественных ресурсов (Wickens, 2002, 2008; Navon & Gopher, 1979), в котором предполагается, что существует несколько локусов для взаимодействия нескольких задач (этапы обработки, коды обработки и модальности), исследователи предполагают, что межзадачное взаимодействие увеличивается пропорционально тому, в какой степени эти две задачи используют одни и те же ресурсы в пределах заданного измерения: визуальное представление задачи чтения должно больше мешать вождению, чем слуховое представление, потому что вождение само по себе более сильные требования к зрительной модальности, чем к слуховой.[7]
Хотя теория множественных ресурсов является наиболее известной моделью рабочей нагрузки в области человеческого фактора, ее часто представляют качественно. Подробные вычислительные реализации являются лучшей альтернативой для применения в методах HPM, включая модель Хорри и Виккенса (2003), которая является достаточно общей для применения во многих областях. Интегрированные подходы, такие как моделирование сети задач, также становятся все более распространенными в литературе.[7]
Числовой набор текста - важная перцептивно-моторная задача, выполнение которой может варьироваться в зависимости от ритма, стратегии пальцев и срочности ситуаций. Человеческий процессор с сетевой моделью очередей (QN-MHP), вычислительная архитектура, позволяет математически моделировать выполнение перцепционно-моторных задач. В текущем исследовании QN-MHP усовершенствован за счет нисходящего механизма управления, управления движением с обратной связью и механизма управления двигателем с помощью пальцев, чтобы учесть вмешательство задачи, уменьшение конечных точек и дефицит силы соответственно. Модель также включала теорию нейромоторного шума для количественной оценки изменчивости конечных точек при наборе текста. Прогнозы модели скорости и точности набора текста были подтверждены экспериментальными результатами Lin and Wu (2011). Полученные среднеквадратические ошибки составили 3,68% с корреляцией 95,55% для времени ответа и 35,10% с корреляцией 96,52% для точности набора текста. Модель может применяться для обеспечения оптимальной скорости речи для синтеза голоса и дизайна клавиатуры в различных ситуациях ввода чисел.[29]
Психологический рефрактерный период (PRP) - это основная, но важная форма двойной обработки информации. Существующие модели последовательной или параллельной обработки PRP успешно учитывают различные явления PRP; однако каждый из них встречает по крайней мере 1 экспериментальный контрпример к своим предсказаниям или механизмам моделирования. В этой статье описывается основанная на сети массового обслуживания математическая модель PRP, которая способна моделировать различные экспериментальные результаты в PRP с уравнениями в замкнутой форме, включая все основные контрпримеры, встречающиеся в существующих моделях с меньшим или равным количеством свободных параметров. Эта работа по моделированию также предлагает альтернативное теоретическое рассмотрение PRP и демонстрирует важность теоретических концепций «очередей» и «гибридных когнитивных сетей» для понимания когнитивной архитектуры и многозадачности.[30]
Познание и память
Сдвиг парадигмы психологии от бихевиоризма к изучению познания оказал огромное влияние на область моделирования деятельности человека. Что касается памяти и познания, исследования Ньюэлла и Саймона относительно искусственного интеллекта и Решение общих проблем (GPS; Newell & Simon, 1963), продемонстрировали, что вычислительные модели могут эффективно фиксировать фундаментальное когнитивное поведение человека. Ньюэлл и Саймон были озабочены не просто объемом информации - скажем, подсчетом количества битов, которые человеческая когнитивная система должна была получить от системы восприятия, - а скорее фактическими выполняемыми вычислениями. Они были критически вовлечены в ранний успех сравнения познания с вычислением и способность вычислений моделировать критические аспекты познания, что привело к созданию суб-дисциплины искусственный интеллект в Информатика, и изменение взгляда на познание в психологическом сообществе. Хотя когнитивные процессы не меняют биты буквально так, как это делают дискретные электронные схемы, пионеры смогли показать, что любая универсальная вычислительная машина может моделировать процессы, используемые в другой, без физического эквивалента (Phylyshyn, 1989; Turing, 1936). В когнитивная революция позволили подойти ко всему познанию с помощью моделирования, и теперь эти модели охватывают широкий спектр когнитивных областей - от простого запоминания списков до понимания общения, решения проблем и принятия решений, образов и т. д.[7]
Одним из популярных примеров является работа Аткинсона-Шиффрина (1968). «модальная» модель памяти. Также см. Когнитивные модели для информации, не включенной здесь ..
Обычные когнитивные навыки
Одна из областей памяти и познания касается моделирования обычных когнитивных навыков; когда оператор имеет правильные знания о том, как выполнять задачу, и ему просто необходимо выполнить эти знания. Это широко применимо, поскольку многие операторы достаточно опытны, чтобы их процедуры стали рутинными. Семейство GOMS (цели, операторы, методы и правила выбора) моделей деятельности человека, популяризируемое и хорошо определенное исследователями в этой области (Card et al., 1983; John & Kieras, 1996a, 1996b), первоначально применялось к пользователям моделей. компьютерных интерфейсов, но с тех пор были распространены на другие области. Это полезные инструменты HPM, подходящие для множества различных задач и масштабов анализа, но ограниченные в том, что касается анализа ошибок пользователя (см. Wood & Kieras, 2002, где представлена попытка расширить GOMS для обработки ошибок).[7]
Самая простая форма модели GOMS - это модель на уровне нажатия клавиш (KLM) - в котором перечислены все физические действия (например, нажатия клавиш, щелчки мышью), также называемые операциями, которые пользователь должен выполнить для выполнения заданной задачи. Умственные операции (например, поиск объекта на экране) дополняют это с помощью простого набора правил. У каждой операции есть время, связанное с ней (например, 280 мс для нажатия клавиши), а общее время для задачи оценивается путем сложения времени операции. Затем можно сравнить эффективность двух процедур, используя их предполагаемое время выполнения. Хотя эта форма модели является весьма приблизительной (многие допущения принимаются на свободу), она все еще используется сегодня (например, бортовые информационные системы и мобильные телефоны).[7]
Существуют подробные версии GOMS, в том числе:
--CPM-GOMS: «Когнитивный, перцепционный, моторный», «метод критического пути» (John & Kieras, 1996a, 1996b) - попытка разбить производительность на примитивные единицы CPM длительностью от десятков до сотен миллисекунд (продолжительность многих операций в моделях CPM-GOMS взяты из опубликованной литературы, особенно Card et al., 1983).[7]
--ГОМСЛ / НГОМСЛ: GOMS Language или Natural GOMS Language, которые сосредоточены на иерархической декомпозиции целей, но с анализом, включая методы - процедуры, которые люди используют для достижения этих целей. Многие общие мыслительные операции в KLM заменены подробными описаниями когнитивной деятельности, включающими организацию процедурных знаний людей в методы. Подробный анализ GOMSL позволяет прогнозировать не только время выполнения, но и время, необходимое для изучения процедур, и ожидаемый объем передачи на основе уже известных процедур (Gong and Kieras, 1994). Эти модели полезны не только для информирования при изменении дизайна пользовательских интерфейсов, но и для количественного прогнозирования времени выполнения и обучения для нескольких задач.[7]
Принимать решение
Еще одна важная когнитивная деятельность, представляющая интерес для человеческого фактора, - это процесс суждения и принятия решений. Эти действия резко контрастируют с рутинными когнитивными навыками, процедуры которых известны заранее, поскольку во многих ситуациях операторы должны делать неопределенные суждения - производить оценку качества или, возможно, выбирать среди множества возможных альтернатив. Хотя многие дисциплины, включая математику и экономику, вносят значительный вклад в эту область исследований, большинство этих моделей не моделируют поведение человека, а моделируют оптимальное поведение, например теория субъективной ожидаемой полезности (Сэвидж, 1954; фон Нейман и Моргенштерн, 1944). Несмотря на то, что модели оптимального поведения важны и полезны, они не учитывают исходный уровень для сравнения действий человека - хотя многие исследования принятия решений человеком в этой области сравнивают человеческие характеристики с математически оптимальными формулировками. Примеры этого включают Канемана и Тверски (1979) теория перспектив и Тверски (1972) исключение по модели аспектов. Менее формальные подходы включают основополагающую работу Тверски и Канемана по эвристике и предубеждениям, работу Гигеренцера о «быстрых и бережливых» сокращениях (Gigerenzer, Todd, & ABC Research Group, 2000) и описательные модели Пауны, Беттмана и Джонсона (1993). по адаптивным стратегиям.[7]
Иногда оптимальная производительность сомнительна. Одним из ярких и популярных примеров является модель объектива (Brunswick, 1952; Cooksey, 1996; Hammond, 1955), в котором рассматривается захват политики, когнитивный контроль, и использование кия, и использовался в авиации (Bisantz & Pritchett, 2003), командовании и управлении (Bisantz et al., 2000); для исследования человеческого суждения при собеседовании (Doherty, Ebert, & Callender, 1986), финансового анализа (Ebert & Kruse, 1978), диагнозов врачей (LaDuca, Engel, & Chovan, 1988), рейтингов учителей (Carkenord & Stephens, 1944). ) и многие другие.[7] Хотя эта модель имеет ограничения [описанные в Byrne & Pew (2009)], она очень эффективна и по-прежнему недостаточно используется в профессии, связанной с человеческим фактором.[7]
Осведомленность о ситуации (SA)
Модели SA варьируются от описательных (Endsley, 1995) до вычислительных (Shively et al., 1997).[14][31][32] Наиболее полезной моделью в HPM является модель McCarley et al. (2002) известный как В качестве модели (Внимание / осведомленность о ситуации). Он включает в себя два полунезависимых компонента: модуль восприятия / внимания и когнитивный модуль обновления SA.[14] Модель P / A этой модели A-SA основана на теории визуального внимания.[33] (Bundesen, 1990) (см. McCarley et al., 2002).[14]
Интегрированные модели
Многие из этих описанных моделей очень ограничены в применении. Хотя было предложено множество расширений SDT для охвата множества других областей суждения (см. Примеры T.D. Wickens, 2002), большинство из них так и не прижилось, и SDT остается ограниченным двоичными ситуациями. Однако узкая сфера применения этих моделей не ограничивается человеческим фактором - законы движения Ньютона, например, не обладают предсказательной силой в отношении электромагнетизма. Однако это разочаровывает специалистов по человеческому фактору, потому что реальная человеческая деятельность in vivo основана на широком спектре человеческих возможностей. Как описывают Бирн и Пью (2009), «в течение минуты пилот может довольно легко провести визуальный поиск, прицелиться и нажать кнопку, выполнить рутинную процедуру, сделать вероятностное суждение с множеством сигналов» и сделать просто обо всем остальном, описанном в фундаментальных моделях деятельности человека.[7] В фундаментальном обзоре HPM, проведенном национальными академиями (Elkind, Card, Hochberg, & Huey, 1990), интеграция описывается как большая нерешенная проблема в HPM. Эту проблему еще предстоит решить, однако были предприняты усилия по интеграции и унификации нескольких моделей и построения систем, охватывающих разные области. В человеческом факторе два основных подхода к моделированию, которые достигают этой цели и приобрели популярность: моделирование сети задач и когнитивные архитектуры.[7]
Моделирование сети задач
Период, термин сетевая модель относится к процедуре моделирования, включающей Монте-Карло симуляция, а не конкретная модель. Хотя структура моделирования является атеоретической, качество моделей, построенных с ее помощью, не уступает качеству теорий и данных, используемых для их создания.[7]
Когда разработчик модели строит сетевую модель задачи, первым шагом является построение блок-схемы, разлагающей задачу на дискретные подзадачи - каждая подзадача как узел, последовательные и параллельные пути, соединяющие их, и логика стробирования, которая управляет последовательным потоком через результирующую сеть. При моделировании производительности человек-система некоторые узлы представляют процессы принятия решений человеком и или выполнение задач, выполняемых человеком, некоторые представляют подзадачи выполнения системы, а некоторые объединяют производительность человека / машины в один узел. Каждый узел представлен статистически заданным распределением времени завершения и вероятностью завершения. Когда все эти спецификации запрограммированы в компьютер, сеть повторно проверяется методом Монте-Карло для построения распределений совокупных показателей производительности, которые интересуют аналитика. Искусство в этом заключается в выборе моделистом правильного уровня абстракции для представления узлов и путей и в оценке статистически определенных параметров для каждого узла. Иногда моделирование с участием человека в контуре проводится для обеспечения поддержки и проверки оценок. Подробности относительно этого, связанных и альтернативных подходов можно найти в Laughery, Lebiere, and Archer (2006) и в работе Schwieckert и его коллеги, такие как Schweickert, Fisher и Proctor (2003).[7]
Исторически сложилось так, что моделирование сети задач основано на теории очередей и моделировании инженерной надежности и контроля качества. Психолог Арт Сигел первым применил методы надежности к имитационной модели поведения человека и машины методом Монте-Карло (Siegel & Wolf, 1969). В начале 1970-х годов ВВС США спонсировали разработку СВЯТОЙ (Системный анализ интегрированных сетей задач), язык программирования высокого уровня, специально разработанный для поддержки программирования моделирования методом Монте-Карло сетей человек-машина задач (Wortman, Pritsker, Seum, Seifert, & Chubb, 1974). Современная версия этого программного обеспечения Micro Saint Sharp (Арчер, Хедли и Аллендер, 2003 г.). Это семейство программного обеспечения породило древо специализированных программ с разной степенью общности и специфичности с Micro Saint. Самым известным из них является ОТПЕЧАТАТЬ series (Улучшенный инструмент интеграции исследования производительности)[34] спонсируется армией США (и основан на MANPRINT), который предоставляет шаблоны моделирования, специально адаптированные для конкретных приложений моделирования действий человека (Archer et al., 2003). Две программы для конкретных рабочих нагрузок - это W / INDEX (North & Riley, 1989) и WinCrew (Lockett, 1997).
Сетевой подход к моделированию с использованием этих программ популярен из-за его технической доступности для людей с общими знаниями методов компьютерного моделирования и анализа производительности человека. Блок-схемы, полученные в результате анализа задачи, естественным образом приводят к формальным сетевым моделям. Модели могут быть разработаны для конкретных целей - от моделирования человека с использованием интерфейса человек-компьютер до анализа потенциального транспортного потока в больничном центре неотложной помощи. Их слабость - большая трудность, необходимая для получения времени выполнения и вероятностей успеха на основе предыдущих данных, теории или основных принципов. Эти данные составляют основное содержание модели.
Когнитивные архитектуры
Когнитивные архитектуры - это широкие теории человеческого познания, основанные на широком наборе человеческих эмпирических данных и обычно реализованные в виде компьютерного моделирования. Они являются воплощением научной гипотезы о тех аспектах человеческого познания, которые относительно постоянны во времени и не зависят от задачи (Gray, Young, & Kirschenbaum, 1997; Ritter & young, 2001). Когнитивные архитектуры - это попытка теоретически объединить разрозненные эмпирические явления в форме компьютерных имитационных моделей. Хотя теория неадекватна для применения человеческого фактора, с 1990-х годов когнитивные архитектуры также включают механизмы ощущений, восприятия и действия. Два первых примера этого включают модель интерактивного управления исполнительным процессом (EPIC; Kieras, Wood, & Meyer, 1995; Meyer & Kieras, 1997) и ACT-R (Byrne & Anderson, 1998).
Модель задачи в когнитивной архитектуре, обычно называемая когнитивной моделью, состоит как из архитектуры, так и из знаний для выполнения задачи. Эти знания приобретаются с помощью методов человеческого фактора, включая анализ задач моделируемой деятельности. Когнитивные архитектуры также связаны со сложным моделированием среды, в которой должна выполняться задача - иногда архитектура напрямую взаимодействует с реальным программным обеспечением, которое люди используют для выполнения задачи. Когнитивные архитектуры не только позволяют прогнозировать производительность, но и выводят фактические данные о производительности, позволяя создавать последовательности действий с отметками времени, которые можно сравнить с реальными действиями человека при выполнении задачи.
Примеры когнитивных архитектур включают систему EPIC (Hornof & Kieras, 1997, 1999), CPM-GOMS (Kieras, Wood, & Meyer, 1997), Human Processor Network-Model (Wu & Liu, 2007, 2008),[35][36], ACT-R (Anderson, 2007; Anderson & Lebiere, 1998) и QN-ACTR (Cao & Liu, 2013).[37]
Модель человеческого процессора модели сети очередей использовалась для прогнозирования того, как водители воспринимают рабочую скорость и объявленное ограничение скорости, делают выбор скорости и выполняют заданную рабочую скорость. Модель была чувствительной (средний d ’составляла 2,1) и точной (средняя точность тестирования была более 86%), чтобы предсказать большинство случаев непреднамеренного превышения скорости.[35]
ACT-R использовался для моделирования самых разных явлений. Он состоит из нескольких модулей, каждый из которых моделирует различные аспекты человеческой системы. Модули связаны с определенными областями мозга, и ACT-R, таким образом, успешно предсказал нейронную активность в некоторых частях этих областей. Каждая модель, по сути, представляет собой теорию работы этой части общей системы, полученную из исследовательской литературы в этой области. Например, система декларативной памяти в ACT-R основана на серии уравнений, учитывающих частоту и новизну, и которые включают байсовские понятия вероятности потребности в заданном контексте, а также включают уравнения для обучения, а также производительности. Некоторые модули имеют более высокую точность, чем другие. Тем не менее, ручной модуль включает в себя закон Фитта и другие простые принципы работы, но не так подробен, как модель теории оптимального управления (пока что). Однако есть мнение, что каждый из этих модулей требует строгой эмпирической проверки. Это одновременно и преимущество, и ограничение ACT-R, поскольку еще предстоит проделать большую работу по интеграции когнитивных, перцептивных и моторных компонентов, но этот процесс многообещающий (Byrne, 2007; Foyle and Hooey, 2008 ; Pew & Mavor, 1998).
Групповое поведение
Моделирование работы команды / экипажа
GOMS использовался для моделирования как сложных командных задач (Kieras & Santoro, 2004), так и группового принятия решений (Sorkin, Hays, & West, 2001).
Подходы к моделированию
Модели / подходы компьютерного моделирования
Пример: IMPRINT (улучшенный инструмент интеграции исследования производительности)
Математические модели / подходы
Пример: Когнитивная модель
Сравнение моделей HPM
Один из способов сравнения различных моделей HPM - вычислить их AIC (информационный критерий Акаике) и учесть критерий перекрестной проверки.[38]
Преимущества
Многочисленные преимущества могут быть получены от использования методов моделирования на людях. область производительности.
Специфика
Значительное большинство объяснений в психологии не только качественные, но и расплывчатые. Такие понятия, как «внимание», «способность обработки», «рабочая нагрузка» и «осведомленность о ситуации» (SA), как общие, так и специфические для человеческого фактора, часто трудно количественно определить в прикладных областях. Исследователи различаются в своих определениях таких терминов, что также затрудняет определение данных для каждого термина. Формальные модели, напротив, обычно требуют явного определения теоретических терминов. Специфика требует, чтобы объяснения были внутренне связными; в то время как словесные теории часто настолько гибки, что не могут оставаться последовательными, что позволяет делать противоречивые прогнозы на основе их использования. Однако не все модели носят количественный характер, и поэтому не все в одинаковой степени обладают преимуществом специфичности.[7]
Объективность
Формальные модели обычно не зависят от моделистов. Хотя для построения конкретной модели требуются большие навыки, после ее создания любой, обладающий соответствующими знаниями, может ее запустить или решить, и модель дает одни и те же прогнозы независимо от того, кто запускает или решает модель. Прогнозы больше не привязаны к предубеждениям или интуиции одного эксперта, а, скорее, к спецификации, которая может быть обнародована.[7]
Количественность
Многие модели действий человека позволяют делать количественные прогнозы, которые имеют решающее значение в прикладных ситуациях. Чисто эмпирические методы, анализируемые с помощью техник проверки гипотез, которые являются стандартными для большинства психологических экспериментов, сосредоточены на предоставлении ответов на расплывчатые вопросы, такие как «Отличаются ли A и B?» а затем «Является ли эта разница статистически значимой?»; в то время как формальные модели часто предоставляют полезную количественную информацию, такую как «A на x% медленнее, чем B.»[7]
Ясность
Модели действий человека обеспечивают ясность, поскольку модель дает объяснение наблюдаемым различиям; такие объяснения обычно не предоставляются строго эмпирическими методами.[7]
вопросы
Заблуждения
Многие модели производительности человека имеют общие ключевые особенности с методами и системами искусственного интеллекта (ИИ). Функция исследований искусственного интеллекта состоит в создании систем, которые демонстрируют интеллектуальное поведение, как правило, без учета того, в какой степени этот интеллект напоминает или предсказывает человеческие возможности, однако различие между методами искусственного интеллекта и методами HPM временами неясно. Например, байесовские классификаторы, используемые для фильтрации спам-сообщений, приблизительно соответствуют характеристикам человеческой классификации (классифицируя спам-сообщения как спам, а не спам-сообщения как импортные) и, таким образом, являются высокоинтеллектуальными системами, но не могут полагаться на интерпретацию семантики самих сообщений; вместо этого полагаться на статистические методы. Однако байесовский анализ также может иметь важное значение для моделей деятельности человека.[7]
Полезность
Модели могут больше фокусироваться на процессах, связанных с деятельностью человека, а не на продуктах человеческой деятельности, что ограничивает их полезность в практике человеческого фактора.[7]
Абстракция
Абстракция, необходимая для понятных моделей, соперничает с точностью. Хотя общность, простота и понятность важны для применения моделей в практике человеческого фактора, многие ценные модели деятельности человека недоступны для тех, кто не имеет диплома или постдокторской подготовки. Например, пока Закон Фиттса проста даже для студентов, модель линзы требует глубокого понимания множественной регрессии, а построение модели типа ACT-R требует обширных навыков программирования и многолетнего опыта. Хотя успехи сложных моделей значительны, специалист по HPM должен знать о компромиссе между точностью и удобством использования.[7]
Бесплатные параметры
Как и в большинстве наук, основанных на моделях, свободные параметры, широко распространенные в моделях деятельности человека, также требуют априорных эмпирических данных.[7] Могут быть ограничения в отношении сбора эмпирических данных, необходимых для запуска данной модели, что может ограничивать применение этой модели.
Проверка
Валидация моделей деятельности человека является высшей задачей науки о HPM.
Обычно исследователи используют R-квадрат и среднеквадратическое значение (RMS) между экспериментальными данными и предсказаниями модели.
Кроме того, хотя достоверность можно оценить путем сравнения данных, полученных от человека, и результатов модели, свободные параметры могут быть гибкими, чтобы неправильно соответствовать данным.[7]
Общие термины
-Свободный параметр: Параметры модели, значения которых оцениваются на основе моделируемых данных, чтобы максимально согласовать прогноз модели.[39]
-Коэффициент детерминации (R квадрат): Линия или кривая показывают, насколько хорошо данные соответствуют статистической модели.
-Среднеквадратическое значение (RMS): Статистическая мера, определяемая как квадратный корень из среднего арифметического квадратов набора чисел.[40]
Смотрите также
Общество человеческого фактора и эргономики
Рекомендации
- ^ а б Себок, А., Виккенс, К., и Сарджент, Р. (2013, сентябрь). Использование результатов метаанализа и сбора данных для поддержки разработки модели деятельности человека. В Материалы ежегодного собрания Общества по человеческому фактору и эргономике (Том 57, №1, стр. 783-787). Публикации SAGE.
- ^ а б Кэролан, Т., Скотт-Нэш, С., Коркер, К., и Келлмейер, Д. (2000, июль). Приложение моделирования действий человека для оценки расширенных функций пользовательского интерфейса. В Материалы ежегодного собрания Общества по человеческому фактору и эргономике (Том 44, № 37, с. 650-653). Публикации SAGE.
- ^ Фиттс, П. М. (1954). «Информационная способность двигательной системы человека в управлении амплитудой движения». Журнал экспериментальной психологии. 47 (6): 381–91. Дои:10,1037 / ч0055392. PMID 13174710.
- ^ Хик, У. Э. (1952). «О скорости получения информации». Ежеквартальный журнал экспериментальной психологии. 4 (1): 11–26. Дои:10.1080/17470215208416600.
- ^ Хайман, Р. (1953). «Информация о стимуле как детерминант времени реакции». Журнал экспериментальной психологии. 45 (3): 188–96. Дои:10,1037 / ч0056940. PMID 13052851.
- ^ Светс, Дж. А., Таннер, У. П. и Бердсолл, Т. Г. (1964). Процессы принятия решений в восприятии. Обнаружение и распознавание сигналов людьми-наблюдателями, 3-57.
- ^ а б c d е ж грамм час я j k л м п о п q р s т ты v ш Икс у z аа ab ac объявление ае аф аг ах ай эй ак аль Бирн, Майкл Д .; Пью, Ричард У. (01.06.2009). «История и основы моделирования деятельности человека». Обзоры человеческого фактора и эргономики. 5 (1): 225–263. Дои:10.1518 / 155723409X448071. ISSN 1557-234X.
- ^ Уорвик, В., Марусич, Л., и Бухлер, Н. (2013, сентябрь). Сложные системы и моделирование деятельности человека. В Материалы ежегодного собрания Общества по человеческому фактору и эргономике (Том 57, №1, с. 803-807). Публикации SAGE.
- ^ Лоутон, К. Р., Кэмпбелл, Дж. Э. и Миллер, Д. П. (2005). Моделирование деятельности человека для системы системной аналитики: усталость солдата (№ SAND2005-6569). Сандийские национальные лаборатории.
- ^ Митчелл, Д. К., & Сэммс, К. (2012). Аналитический подход к прогнозированию нагрузки и производительности солдат с помощью моделирования действий человека. Взаимодействие человека и робота в будущих военных операциях.
- ^ Фойл, Д. К., и Хуи, Б. Л. (ред.). (2007). Моделирование деятельности человека в авиации. CRC Press.
- ^ О’Хара, Дж. (2009). Применение моделей деятельности человека при проектировании и оценке атомных электростанций: руководство по пересмотру и техническая основа. БНЛ-90676-2009). Аптон, Нью-Йорк: Брукхейвенская национальная лаборатория.
- ^ Lim, J. H .; Liu, Y .; Цимхони, О. (2010). «Исследование производительности водителей с помощью систем ночного видения и обнаружения пешеходов - Часть 2: Моделирование работы человека в сети массового обслуживания». IEEE Transactions по интеллектуальным транспортным системам. 11 (4): 765–772. Дои:10.1109 / tits.2010.2049844.
- ^ а б c d Маккарли, Дж. С., Виккенс, К. Д., Го, Дж., И Хорри, В. Дж. (2002, сентябрь). Вычислительная модель внимания / осведомленности о ситуации. В Материалы ежегодного собрания Общества по человеческому фактору и эргономике (Том 46, № 17, стр. 1669–1673). Публикации SAGE.
- ^ Baines, T. S .; Кей, Дж. М. (2002). «Моделирование деятельности человека как помощь в процессе проектирования производственной системы: экспериментальное исследование». Международный журнал производственных исследований. 40 (10): 2321–2334. Дои:10.1080/00207540210128198.
- ^ DRURY, C.G. (1971-03-01). «Движения с боковым ограничением». Эргономика. 14 (2): 293–305. Дои:10.1080/00140137108931246. ISSN 0014-0139. PMID 5093722.
- ^ Drury, C.G .; Дэниелс, Э. Б. (1975-07-01). «Ограничения производительности при боковых ограничениях движений». Эргономика. 18 (4): 389–395. Дои:10.1080/00140137508931472. ISSN 0014-0139.
- ^ Друри, Колин Дж .; Montazer, M. Ali; Карван, Марк Х. (1987). «Самостоятельный контроль пути как задача оптимизации». IEEE Transactions по системам, человеку и кибернетике. 17 (3): 455–464. Дои:10.1109 / TSMC.1987.4309061.
- ^ Акко, Джонни; Чжай, Шумин (01.01.1997). «За пределами закона Фиттса: модели для задач HCI на основе траектории». Материалы конференции ACM SIGCHI по человеческому фактору в вычислительных системах. ЧИ '97. Нью-Йорк, Нью-Йорк, США: ACM: 295–302. Дои:10.1145/258549.258760. ISBN 0897918029.
- ^ Акко, Джонни; Чжай, Шумин (1999-01-01). «Оценка производительности устройств ввода в задачах на основе траектории: применение закона управления». Материалы конференции SIGCHI по человеческому фактору в вычислительных системах. ЧИ '99. Нью-Йорк, Нью-Йорк, США: ACM: 466–472. Дои:10.1145/302979.303133. ISBN 0201485591.
- ^ Melloy, B.J .; Das, S .; Gramopadhye, A.K .; Духовский, А. Т. (2006). «Модель расширенного полусистематического визуального поиска» (PDF). Человеческий фактор: журнал общества по человеческому фактору и эргономике. 48 (3): 540–554. Дои:10.1518/001872006778606840. PMID 17063968.
- ^ Witus, G .; Эллис, Р. Д. (2003). «Компьютерное моделирование обнаружения фовеальных целей». Человеческий фактор: журнал общества по человеческому фактору и эргономике. 45 (1): 47–60. Дои:10.1518 / hfes.45.1.47.27231. PMID 12916581.
- ^ Фишер, Д. Л .; Coury, B.G .; Tengs, T. O .; Даффи, С. А. (1989). «Минимизация времени на поиск визуальных дисплеев: роль выделения». Человеческий фактор: журнал общества по человеческому фактору и эргономике. 31 (2): 167–182. Дои:10.1177/001872088903100206. PMID 2744770.
- ^ Fleetwood, M.D .; Бирн, М. Д. (2006). «Моделирование визуального поиска дисплеев: пересмотренная модель поиска значков ACT-R на основе данных отслеживания взгляда». Взаимодействие человека с компьютером. 21 (2): 153–197. Дои:10.1207 / s15327051hci2102_1.
- ^ а б Кассаво, Н. Д., Бос, А., Макдональд, К., Гунаратне, П., и Бэкс, Р. В. (2013). Оценка модели SEEV для прогнозирования распределения внимания на перекрестках во время имитации вождения. В 7-й Международный симпозиум по вождению по человеческому фактору в оценке, обучении водителей и проектировании транспортных средств (№ 52).
- ^ Сендерс, Дж. У. (1964). Человек-оператор как наблюдатель и контролер разнородных систем свободы. Человеческий фактор в электронике, IEEE Transactions on, (1), 2-5.
- ^ Отправители, Дж. У. (1983). Визуальный отбор проб (Докторская диссертация, Universiteit van Tilburg).
- ^ Шеридан, Т. (1970). «О том, как часто супервайзер должен брать пробы». IEEE Transactions по системной науке и кибернетике. 2 (6): 140–145. Дои:10.1109 / TSSC.1970.300289.
- ^ Lin, Cheng-Jhe; У, Чансю (01.10.2012). «Математическое моделирование эффектов стимуляции, стратегии пальцев и срочности на производительность числового набора с помощью человеческого процессора модели сети очередей». Эргономика. 55 (10): 1180–1204. Дои:10.1080/00140139.2012.697583. ISSN 0014-0139. PMID 22809389.
- ^ У, Чансю; Лю, Или (2008). «Моделирование сети массового обслуживания психологического рефрактерного периода (PRP)». Психологический обзор. 115 (4): 913–954. CiteSeerX 10.1.1.606.7844. Дои:10.1037 / a0013123. PMID 18954209.
- ^ Эндсли, М. Р. (1995). «К теории осознания ситуации в динамических системах». Человеческие факторы. 37 (1): 85–104.
- ^ Шивели Р. Дж., Брикнер М. и Силбигер Дж. (1997). Вычислительная модель ситуационной осведомленности, реализованная в MIDAS. Труды Девятого Международного симпозиума по авиационной психологии (стр. 1454-1459). Колумбус, Огайо: Университет Огайо.
- ^ Бундесен, К. (1990). Теория визуального внимания. Психологический обзор, 97, 523-547.
- ^ Саммс, К. (2010, сентябрь). Улучшенный инструмент интеграции исследования производительности (IMPRINT): моделирование деятельности человека для улучшения проектирования системы. ВМатериалы ежегодного собрания Общества по человеческому фактору и эргономике(Том 54, № 7, стр. 624-625). Публикации SAGE.
- ^ а б У, Чансю; Лю, Или (01.09.2007). «Моделирование нагрузки и производительности драйверов в сети массового обслуживания». IEEE Transactions по интеллектуальным транспортным системам. 8 (3): 528–537. Дои:10.1109 / TITS.2007.903443. ISSN 1524-9050.
- ^ У, Чансю; Лю, Или; Куинн-Уолш, К. (2008-09-01). "Моделирование сети массового обслуживания психофизиологического индекса умственной нагрузки № x2014 в реальном времени; P300 в потенциале, связанном с событием (ERP)". Транзакции IEEE по системам, человеку и кибернетике - Часть A: Системы и люди. 38 (5): 1068–1084. Дои:10.1109 / TSMCA.2008.2001070. ISSN 1083-4427.
- ^ Цао, Ши; Лю, Или (2013). «Адаптивное управление рациональным мышлением в сети очередей (QN-ACTR): интегрированная когнитивная архитектура для моделирования сложных когнитивных и многозадачных характеристик». Международный журнал моделирования и моделирования человеческого фактора. 4 (1): 63–86. Дои:10.1504 / ijhfms.2013.055790.
- ^ Буземейер, Дж. Р. (2000) Сравнение моделей и выбор моделей на основе методологии критерия обобщения, Journal of Mathematical Psychology 44, 171-189
- ^ Вычислительное моделирование в познании: принципы и практика (2010) Стефана Левандовски и Саймона Фаррелла
- ^ «Среднеквадратичное значение». Словарь по физике (6 изд.). Издательство Оксфордского университета. 2009 г. ISBN 9780199233991. Издательство Оксфордского университета. 2009 г. ISBN 9780199233991.