CC BY
134
4. Ларкин Е.В., Котов В.В., Котова Н.А., Соколов В.А. К вопросу о моделировании отказоустойчивых систем с помощью сетей Петри-Маркова // Фундаментальные исследования. №5, 2007. С. 74-78
Котов Владислав Викторович, д-р техн. наук, проф., [email protected], Россия, Тула, Тульский государственный университет,
Котова Наталья Александровна, канд. техн. наук, доцент, [email protected], Россия, Тула, Тульский государственный университет,
Ларкин Евгений Васильевич, д-р техн. наук, проф., зав. кафедрой, [email protected], Россия, Тула, Тульский государственный университет
PETRI-MARKOV MODEL GENERATION FOR COGNITIVE LEARNING TECHNOLOGY OPTIMIZATION
E. V. Larkin, V. V. Kotov, N.A. Kotova
Questions of using Petri-Markov networks for the task of human operator training are considered. The developed program for Petri-Markov network creation and editing is described. The format of storage of structure and network parameters is offered.
Key words: Petri-Markov network, simulator, cognitive learning technology
Kotov Vladislav Viktorovich, doctor of technical science, professor, [email protected], Russia, Tula, Tula State University,
Kotova Natalia Aleksandrovna, candidate of technical science, docent, [email protected], Russia, Tula, Tula State University,
Larkin Evgeny Vasilievich, doctor of technical science, professor, manager of department, elarkin@mail. ru, Russia, Tula, Tula State University
УДК 519.217.2
МЕТОДИКА ФОРМИРОВАНИЯ СЕТИ ПЕТРИ-МАРКОВА ДЛЯ
МОДЕЛИРОВАНИЯ КОГНИТИВНЫХ ТЕХНОЛОГИЙ
Е.В. Ларкин, А.Н. Ивутин, Д.С. Костомаров
Построена аналитическая модель параллельного когнитивного процесса, в котором на структуру, учитывающую параллелизм, накладываются стохастико-вре-менные параметры и логические условия взаимодействия процессов. Предложена методика формирования первичной структуры сети Петри-Маркова и определения ее вероятностных и временных характеристик.
Ключевые слова: тренажерная система, алгоритм, полумарковский процесс, сеть Петри-Маркова
Рассмотрим чисто исполнительскую функцию когнитивного процесса, приведение в действие выбранного органа управления, которым является, например, клавиша на пульте (рис. 1). Для нажатия клавиши опера-
303
тор должен переместить руку из некоторой начальной позиции _у0 в позицию У[1].
Рис. 1. Перемещение руки при манипуляции органом управления
На зависимость у(0 накладываются случайные факторы, которые в первом приближении можно считать некоррелированным "белым шумом" п(0 с плотностью распределения в каждом сечении, описываемой законом )(у). Таким образом, процесс перемещения описывается зависимостью
) = у(? ) + п(? ). (1)
Нажатие клавиши происходит в случае, если величина Ш(0 в некоторый момент времени ? = твыходит за порог Y, т.е.
Ш(т) = у(т) + п(т) < Y.
Вероятность указанного события определяется интегралом свертки, в котором у(0 считается постоянной в рассматриваемом сечении величиной:
Y ¥
лш(т) < Y ]=11 б[ у(т) - а-гжа-оштжт). (2)
В интеграле (2) %($ представляет собой вспомогательную переменную для обозначения параметра у(Т).
Определим плотность распределения времени выхода координаты ШО за порог Y.
Разобьем некоторый период времени ? на интервалы А и построим СПМ, моделирующую исследуемый процесс (рис. 2).
Zl Z2 zn-1
q q q Ze
1 Г Г Л ’
Рис. 2. СПМ, моделирующая процесс достижения порога У
Сеть Петри, приведенная на рис. 2, в общем случае является бесконечной, т.е. содержит бесконечное множество позиций оп и примитивных переходов zn, п = 1, 2, ..., связывающих позиции в сеть:
П = {{^1, a2, ..., an, ...}, ^ь, Ze, Zl, z2, ..., Zn, ...},
{1л(?ъ) =0, 1л(?е) = {аь «2, ..ап, 1л(г\) = аь ..., 1л(ги) = аи, ...}, (3)
{О^ъ) = «1, Ол(2е) =0, Ол(^1) = «2, ., Ол(2и) = аи+1, ...}}.
Позиции и переходы сети имеют следующий физический смысл. Позиции ап моделируют принятие системой решения о достижении или недостижении порога в течение времени А. Переход 2ъ является стартовым и моделирует начало движения руки. Переход является конечным и моделирует достижение рукой требуемого рабочего органа. Достижение рабочего органа в течение времени Апроисходит с вероятностью д, недостижение - с вероятностью р = 1 - д.
Пусть плотность распределения времени между некоторым моментом времени 0 и моментом достижения Аопределяется в виде/(-). Тогда
q = 1 f (t )dt.
(4)
Вследствие малости Л, плотность распределения за указанный промежуток времени меняется мало, поэтому можно считать, что f(t) = const = f(0) = Я, где Я - некоторый параметр. Поэтому q = ЯЛ, p = 1 - ЯЛ.
Как следует из структуры приведенной СПМ, вероятность того, что отказ произойдет в течение (п + 1)-го интервала времени t, определяется в виде
РП+1 = ЯЛ (1 - ЯЛ)п. (5)
Обозначим значение п = t/Л, и положим, что зависимость (5) представляет собой приращение искомой функции распределения на интервале Л. Искомая плотность распределения получается в результате следующего предельного перехода:
f (t)=Лт
Л®0
ЛЛ(1 - ЛЛ) Л
= 1ітЛ(1 - ЛЛ) .
Л®0
1
(6)
Введем вспомогательную переменную О = —. Очевидно, что при
ЯА
А® 0, в®¥. Умножим обе части выражения на переменную -, получим
- = гЯв.
А
Подставляя (1.140) в (1.139) будем иметь
(в-1)-Яв
f (t) = lim Л-
О®¥ О
lim Л
О®*
V
О
У
At
■ Ле
-Лі
(7)
(8)
т.е. плотность распределения времени достижения обучаемым оператором рабочего органа с координатой У определяется экспоненциальным законом распределения, где: Я - плотность потока исследуемых событий (достижений операторами рабочих органов).
Таким образом, при воздействии случайных факторов на движение
0
руки оператора время достижения рабочего органа распределяется по экспоненциальному закону.
Рассмотрим ситуацию, когда у(ґ) Фєоибі. Разобьем весь временной промежуток 0 ... ґ на периоды А, в течение которых вероятности меняются мало, но возможно, являются разными, даже в соседних периодах. Указанная ситуация моделируется СПМ (3), но в которой рк ф рі (рис. 3).
Периоды Смогут быть подобраны таким образом, что параметры плотности распределения в течение этого периода меняются мало. В соответствии с вышерассмотренным случаем можно утверждать, что в этом случае в каждом из п периодов
/п () = 1 п ехр( —1П) .
Вероятности того, что в СПМ, приведенной на рис. 3, будут сделаны полушаги из позиции ап в переходы и 2п равны, соответственно
А
Чп = 11 п ехр(—1 ^ )& = [1—ехр(— 1 п а)] ;
0
Рп = 1 — Чп = ехР(—1 п а) .
Вероятность того, что полушаг в переход будет сделан из (п + 1)-й позиции, определяются в виде
п
п
. (9)
рп+1 =[1 — ехр(—1п+1А]Пехр(—1 кА) =[1 — ехр(—1 п+1А]ехР X(—1кА)
к=1 |_к=1
Разложение функции [1 — ехр(—Л„+1А] в ряд Маклорена в окрестностях точки А= 0, дает
[1 — ехр(—Лn+lА]»Лn+lА. (10)
Можно получить
п
рп+1 =1 п+1А ехр X (—1 кА) . (11)
_к=1 _
Но рг+1, с учетом того, что значение плотности распределения на интервале А остается практически неизменным, определяется в виде
р+1 = /[(п+ 1)А]А, (12)
где /[(п + 1)А] - текущее значение искомой функции.
Подставляя (12) в (11), и учитывая, что
306
Л(п+ 1)А = №,
limЛn+1 ехр
А®0
I (4-А)
- =1
= Я(ґ )ехр
і
- ^Я(т)йт
Таким образом, время достижения оператором рабочего органа определяется экспоненциальным законом, но с переменным параметром 1(?) [2].
Одной из важных при практическом применении математического аппарата сетей Петри-Маркова является проблема формирования первичной модели. Аппарат сетей Петри-Маркова позволяет построить аналитическую модель параллельного когнитивного процесса, в котором на структуру, учитывающую параллелизм, накладываются стохастико-временные параметры и логические условия взаимодействия процессов. Одной из проблем, препятствующих применению аппарата сетей Петри-Маркова в практике моделирования когнитивных технологий, является отсутствие методики формирования первичной структуры сети и определения ее вероятностных и временных характеристик. Для формирования сети, описывающей параллельные взаимодействующие процессы, необходимо выполнение следующих действий.
Методика 1. Формирование СПМ
1) Определение состава взаимодействующих субъектов^ = {зц^, ..., Sjs), ..., SJ(S)}. При описании когнитивного процесса состав взаимодействующих субъектов определен: это - технические средства, управляющая ЭВМ, обучаемый оператор, инструктор. Кроме того, каждый субъект при моделировании может быть представлен в виде совокупности параллельных каналов, каждый из которых работает по своему алгоритму. Например, обучаемый оператор может быть представлен как субъект, получающий информацию по визуальному, звуковому, тактильному, вестбулярно-му, обонятельному каналам, аппаратные средства функционируют по командам ЭВМ параллельно, и т.п.
Все, что не входит в состав взаимодействующих субъектов, относится к окружающей среде С, которая может выборочно в определенные моменты времени воздействовать на любую из подсистем множества &
2) Для подсистему^, 1(у) £/(з) £/(з) составляются алгоритмы функционирования Щз), 1(у) £/(з) /у), включающие множество операторов {ац^)], ..., а^ф], ..., а^ду)]}. Алгоритмы могут быть циклическими, а могут иметь операторы "Начало" и "Конец".
3) Для окружающей среды С на основании экспертных оценок составляется алгоритм Пс воздействия на субъекты множества &.
4) Каждый из алгоритмов изображается в виде элементарной подсети Петри-Маркова (ЭППМ), включающей т.н. примитивные переходы, переходы начльный и конечный.; циклические алгоритмы содержат только примитивные переходы.
0
5) В каждой ЭППМ определяются примитивные переходы, которые в дальнейшем будут преобразованы в непримитивные. К таковым относятся:
переходы, следующие за позициями, моделирующими операторы aj[aj(*)], генерирующие данные, используемые при выполнении операторов
( ^[a, ..., aj[a,l(s)], ..., aj[а,т(s)]} алгоритмов Ak(s), ..., АЛУЬ ..., Ат(*);
переходы, следующие за позициями, моделирующими операторы aj[aj(s)], выполнение которых необходимо для выполнения операторов
{aj[a,k(s)], ..., aj[a,l(s)], ..., aj[а,т(^)]} алгоритмов Ак(з):> ..., А1(з)-> ..., Ат(*);
переходы, предшествующие позициям, моделирующим операторы aj[aj{s)], использующие данные, генерируемые операторами (а^ду,], ...,
aj[a,l(s)], ..., aj[a,m(s)]} алгоритмов Ak(s•), ..., Al(s), ..., Ат(*);
переходы, предшествующие позициям, моделирующим операторы aj[a,j(s)], для выполнения которых необходимо выполнение операторов
{aj[a,^у)^ ..., aj[a,l(s)], ..., aj[а,т(у)]} алгоритмов Ak(s), ..., Al(s), ..., Ат(*);
переходы, предшествующие позициям (aj[a,k(s)], ..., ajW(s)], ..., Оя^)]} алгоритмов Аад, ..., А/(У), ..., Ат(*), использующим данные, генерируемые операторами ajj)];
переходы, предшествующие позициям (aj[a,k(s)], ..., aj[a,l(s)], ..., а^тс*)]} алгоритмов А^), ..., А^), ..., Ат(*), для выполнения которых требуется, выполнение оператора a^j)];
переходы, следующие за позициями, моделирующими операторы (aj[a,k(s)], ..., aj[a,l(s)], ..., aj[arn(s)]} алгоритмов Аед, ..., А^, ..., Ат(*), генерирующие данные, используемые оператором aj[aj(s)];
переходы, следующие за позициями, моделирующими операторы
(aj[a,k(s)], ..., a/'[a,l(s)], ..., aj[а,т(*)]} аЛг°ритм°в Ak(s), ..., Al(s), ..., Ат(.*)-> выполнение
которых требуется для выполнения оператора о^д*)];
переходы, которые в модели алгоритма Aj(s) являются конечными, а в моделях алгоритмов Аад, ..., Al(s), ..., Ат(*) - стартовыми;
переходы, которые в моделях алгоритмов Ak(s), ..., А^), ..., Ат(*) являются конечными, а в модели алгоритма Aj* - стартовыми.
6) Формируется общая СПМ, моделирующая взаимодействие субъектов путем объединения соответствующих примитивных переходов в непримитивные.
К непримитивным переходам относятся
переход FORK (вилка), полустепень захода которого равна единице, а полустепень исхода - двум или более;
переход JOINT (слияние), полустепень исхода которого равна единице, а полустепень захода - двум или более;
переход SYNCHRO (синхронизация), полустепени захода и исхода которого равны двум или более;
переход END/BEGIN (конец/начало), полустепени захода и исхода которого равны единице, но в котором кончается один алгоритм (напри-
мер, А^)) и начинается другой (например Аад).
7) Для каждого непримитивного перехода, для каждой позиции, формирующей его выходную функцию, определяются логические условия продолжения процесса в дизъюнктивной нормальной форме.
Например:
логические условия для выполнения полушага из непримитивного перехода типа FORK одинаковы для всех позиций, составляющих выходную функцию перехода и определяются выполнением полушага в указанный переход;
логические условия для выполнения полушага из перехода типа END/BEGIN определяются выполнением полушага в указанный переход;
логические условия для переходов типа JOINT и SYNCHRO могут быть таковыми, что для выполнения полушага из некоторого непримитивного перехода в позицию aj[aj(s)] требуется выполнение полушагов из всех позиций множества {аЛо>ад], ..., а,[аШ, ..., а,[аМ*)]};
логические условия для переходов типа JOINT и SYNCHRO могут быть таковыми, что для выполнения полушага из некоторого непримитивного перехода в позицию а^,)] требуется выполнение полушагов из любой позиции множества {а^д*)], ..., аЛаШ, ..., а,[аМ*)]};
логические условия для переходов типа JOINT и SYNCHRO могут быть таковыми, что для выполнения полушага из некоторого непримитивного перехода в позицию аj[а,j(s)] требуется выполнение полушагов из позиций множества {а^а,к(я)], ..., aj[a,m(s)]} при условии, что не был выполнен полушаг из позиции а,-^*)];
логические условия для переходов типа JOINT и SYNCHRO могут быть таковыми, что для выполнения полушага из некоторого непримитивного перехода в позицию ал„] требуется выполнение любых пар полушагов из позиций множества {a^k»], ..., аЛа,ад], ..., aj[aMs)\}, и т.п.
8) Определяются плотности распределения времени выполнения полушагов из позиций в переходы.
Для аппаратных средств временные характеристики выполнения операторов алгоритма могут быть:
указаны в паспортах, технических описаниях, инструкциях по эксплуатации соответствующий приборов;
рассчитаны по временным характеристикам последовательностей команд, выполняемых прибором;
заданы в циклограммах функционирования прибора; определены в результате эксперимента.
Для человека-оператора временные характеристики могут быть: указаны в инструкциях по эксплуатации оборудования; определены по методикам инженерной психологии как реакция восприятия, принятия решения, моторная и т.п. при решении аналогичных задач;
определены в результате эксперимента, в частности с использованием тренажерной техники.
9) Вероятности выполнения переходов в местах ветвления алгоритмов определяются по плотностям распределения обрабатываемых алгоритмами данных f(s)(d(s)) и порогам разделения данных при принятии решений.
Вопрос о законе распределения решается путем исследования статистики обрабатываемых данных в системе.
10) На основании экспертных оценок определяются временные и вероятностные характеристики алгоритма воздействия внешней среды на систему.
11) В сформированную СПМ добавляется стартовый переход, входной функцией которого является пустое множество, а выходной функцией - позиции ЭППМ, моделирующие операторы, с которых начинается функционирование соответствующих алгоритмов при запуске системы.
Таким образом, в результате выполнения пп. 1 - 11 методики формируется полная взвешенная сеть Петри-Маркова, моделирующая систему.
Список литературы
1. Привалов А.Н., Ларкин Е.В. Моделирование информационных процессов тренажерных систем: Концепция, методология, модели. - Saar-bruckenDeutchland: LAPLAMBERTAcademicPublishingGmbH&Co., 2012. 230 p. ISBN 978-3-8473-3699-0.
2. Ларкин Е.В. Редукция сетей Петри-Маркова // Известия ТулГУ. Серия: Математика. Механика. Информатика. Т. 1. Вып. 3, Математика. Тула: ТулГУ, 1995. С. 99 - 109.
Ивутин Алексей Николaевич, конд. техн. nayK, доц., alexey. ivutinagmail.сот, Россия, Туло, Тульский госудaрственный университет,
Лоркин Евгений Вaсильевич, д-р техн. ноук, проф., 3ae. шфедрой, elar-kina niail.ni. Россия, Туло, Тульский госудaрственный университет
METHOD OF PETRI-MARKO V NET FOR MODELING COGNITIVE TECHNOLOGIES
A.N. Ivutin, E.V. Larkin, D.S. Kostomarov
An analytical model of the parallel cognitive process in which the structure that takes into account the parallelism imposed stochastic-time paraMeters and logical conditions of interaction processes is proposed. The technique of forming the primary structure of a Pe-tri-Markov net and determine its probability and timing are described.
Key words: simulatorsystem, algorithm, semi-Markov process, Petri-Markov net
Ivutin Alexey Nicolaevich, candidate of technical science, docent, alexey. ivutina gmail.com, Russia, Tula, Tula State University
Larkin EvgeniyVasilevich, doctor of technical science, professor, manager of department, elarkin a.mail. ru, Russia, Tula, Tula State University
Kostomarov Denis Sergeevich, student, [email protected], Russia, Tula, Tula State University
УДК 159.953.5
ВОЗМОЖНОСТИ ИНЖЕНЕРНОЙ ПСИХОЛОГИИ
ПРИ ИССЛЕДОВАНИИ КОГНИТИВНЫХ ПРОЦЕССОВ
Е.В. Ларкин, А.Н. Привалов, Т.А. Акименко
Россмотрены вопросы инженерной психологии при исследовонии когнитивных процессов, предстовлен процесс упровления оперотором эрготической системой, воспроизводимый но треножёре, розделенный но состояния, кождое из которых ссуще-ствует в течение определенного времени; предстовлено диномическоя модель, кото-роя учитывоет все многооброзие действий, от полностью ошибочных до точных.
Ключевые слово: инженерноя психология, робочее простронство, оперотор, деятельностный подход, когнитивные процессы.
При исследовании когнитивных процессов, описывающих тренажёрную подготовку операторов эргатических систем, представляется целесообразным применение аппарата инженерной психология, поскольку эта область знания занимается исследованием поведения человека при выполнении профессиональных задач. В центре внимания инженерной психологии находится человек, управляющий технологическим процессом, энергетическими системами, транспортными средствами и т. п. Инженерная психология - научная дисциплина, изучающая объективные закономерности процессов информационного взаимодействия человека и техники с целью использования их в практике проектирования, создания и эксплуатации систем «человек - машина».
Как правило, имитаторы органов управления и индикаторов воспроизводят реальные приборы рабочего места с высокой степенью подобия, поэтому предметом изучения инженерной психологии в данном случае должно служить не рационализация труда человека за пультом управления за счет изменения расположения и внешнего вида приборов управления, а инженерные методы ускоренного освоения рабочего пространства с заданной конфигурацией обучаемым оператором.
Инженерная психология тесно связана с психологией труда [6]. Для эргатических систем исследуемого класса характерным является:
