CC BY
18
УДК 004.8
05.00.00 Технические науки
ТЕМПОРАЛЬНОЕ СОГЛАСОВАНИЕ В ПЛАНИРОВАНИИ ДЕЙСТВИЙ ГРУПП ОБЪЕКТОВ В РЕАЛЬНОМ ОПЕРАЦИОННОМ ВРЕМЕНИ1
Сергеев Николай Евгеньевич д.т.н., профессор
SPIN-код: 6841-9120. Scopus ID: 42762281100 [email protected]
Самойлов Алексей Николаевич к.т.н., доцент
SPIN-код: 3984-2664. Scopus ID: 35103477400 [email protected]
Ряжкина Ольга Александровна аспирант
ФГАОУВПО «Южный федеральный
университет» Россия, Таганрог
UDC 004.8 Engineering
TEMPORAL HARMONIZATION IN PLANNING ACTIONS OF GROUPS OF OBJECTS IN REAL OPERATING TIME
Sergeev Nikolay Evgenievich Dr.Tech.Sci., Professor
SPIN-code: 6841-9120. Scopus ID: 42762281100 [email protected]
Samoylov Alexey Nikolaevich Cand.Tech.Sci., associate professor SPIN-code: 3984-2664. Scopus ID: 35103477400 [email protected]
Ryazhkina Olga Alexandrovna graduate student [email protected]
Southern Federal University, Russia, Taganrog
В работе рассмотрены проблемы построения темпорального процессора при планировании и управлении множеством объектов с использованием различных темпоральных теорий представления временных факторов восприятия внешней среды, основанных на феномене памяти человека
The article considers problems of constructing a temporal processor in the planning and management of a multitude of objects using various temporal theories of representing temporal factors of perception of the external environment based on the phenomenon of human memory
Ключевые слова: МОДЕЛЬ ВРЕМЕНИ, ВРЕМЕННАЯ ШКАЛА, ВРЕМЕННЫЕ КАТЕГОРИИ, ТРЕНД, ПРОЦЕСС, СОБЫТИЕ, ТЕМПОРАЛЬНЫЕ ОТНОШЕНИЯ,
Keywords: TIME MODEL, TEMPORAL SCALE, TEMPORAL CATEGORIES, TREND, PROCESS, EVENT, TEMPORAL RELATIONS, MODELING, TEMPORAL LINEARITY
МОДЕЛИРОВАНИЕ, ТЕМПОРАЛЬНАЯ ЛОГИКА
йо!: 10.21515/1990-4665-134-072
При построении систем планирования совместных групповых действий целесообразно сам процесс согласования возложить на отдельный «процессор». Таким процессором для детерминированных систем являются системы единого времени, которые являются хранителями времени и источником синхронизирующих и синхронизированных сигналов в соответствии с технологией или
1 Работа выполнена в рамках проектной части госзадания Минобрнауки России № 2.3928.2017/4.6 в Южном федеральном университете.
алгоритмом функционирования системы. Для случая наличия неопределенностей во времени появления событий и длительности процессов привязка к операционному времени не целесообразна. Тем более при наличии множества операционных единиц.
Для проектирования темпорального процессора необходимо решение следующих вопросов:
1. Определение перечня атрибутов и действий, требующих согласования во времени;
2. Разработка и исследование представлений темпоральных атрибутов и отношений для планирования совместных операций;
3. Определение структуры темпорального процессора и его места в общей структуре системы управления
4. Разработка алгоритмов процессора отображений темпоральных отношений совместных действий группы.
Настоящая работа посвящена проблемам разработки представлений темпоральных атрибутов и отношений для планирования совместных операций.
Шкала времени представляет собой перенос представления человека о пространстве на другие атрибуты, воспринимать которые непосредственно с помощью органов чувств человек не может. [1] Само время человеком измеряется с помощью событий или процессов, которые обладают стабильностью по отношению к данному их свойству (времени). Сравнивая идентичные события или процессы, мы используем категорию времени для того, чтобы их различать: одно из рассматриваемых событий уже произошло, другое еще происходит (длится). Отсюда по отношению к конкретному событию можно выделить начало, окончание или протекание данного события в настоящее время.
Темпоральные отношения могут быть формализованы в конечное множество отношений либо представлять высказывания на естественном
языке. Объектами темпоральных отношений могут быть события или процессы. Под событием [1] будем понимать факт или результат. Событие принято характеризовать одним отсчетом времени (темпором) - временем, когда оно произошло. Процесс принято характеризовать моментом (темпором) начала и окончания и, как следствие, длительностью.
Временные категории «прошлое», «настоящее» и «будущее» присутствуют в лексике человека и характеризуют или объясняют отдельные события и процессы, а так же и их группы. Таким образом, моделируя деятельность человека, в том числе и при управлении несколькими объектами или процессами или управлении одним сложным объектом, мы сталкиваемся с необходимостью представления в таких моделях временных соотношений [2, 3, 4].
Все события и процессы могут быть описаны при помощи четких и нечетких темпоров (г^-е-), на основании этого возникает два типа
элементарных темпоральных высказываний [2]:
1) ЕЯ 7 - между событием и темпором (рисунок 1, а);
2) тДТг - между двумя темпорами (рисунок 1,6).
Рисунок 1 - Взаимосвязь объектов темпоральных отношений
Целью настояшего рассмотрения является создание темпоральной подсистемы, подходящей для темпорального процесса управления множеством разнотипных объектов и других подобных приложений.
Рассмотрим отношения между двумя интервальными темпорами [1,
3]:
1) (rts) последовательны с паузой. Интервал первого процесса закончился раньше, чем начался интервал второго.
Еьд(П) - событие начала процесса, - окончание процесса, П0-
пустой процесс (описывает паузу между процессами),
- время, в течение которого оба процесса существуют
одновременно, £^¿(11^1 - совпадение начала и конца процесса.
2) (rtsn) последовательны без паузы.
3) (rtes) пересекающиеся.
4) (rtel) вложенные с примыканием к началу.
5) (rter) вложенные с примыканием к окончанию.
7) (rte) вложенные без примыканий
8) (rtU) отношение несравнимости темпоров. Будем считать, что два темпора Tlf т2 находятся между собой в отношениях если ничего не известно о процессах, которые характеризуются данными темпорами и если необходимо предпринять некоторые действия, чтобы эти отношения стали определенными.
Можно считать, что отношение rtU является универсальным, т.е. rtU(т±, т2) = rts(q, т2) V rtsn(^f z2) V rtes(^f т2) v rtel(rlf т2) v rter(^, т2) v rte(i^fT2)
Данные свойства будут необходимы при рассмотрении различных темпоральных теорий и использовании их в единой темпоральной модели.
Отношения высказываний темпоральных теорий «было-есть-будет» (ws-is-bn) и «прошлое-настоящее-будущее» (ps-pr-ft), составляют множество отношений:
firvvs-is-bn RTP RTS, RTps_?r_it a RTP с RTS, где
RT - группа интервально-временных отношений,
RTP - группа проблемно ориентированных отношений,
RTS - темпоральные отношения.
Темпоратьные теории «было-есть-будет» (ws-is-bn) и «прошлое-настоящее-будущее» (ps-pr-ft) дают относительные характеристики. А абсолютные характеристики относительно точечного темпора может дать только теория «закончился-длится-не начался» для процессов и «уже произошло-происходит-еще не произошло» для событий (P-N-F) и множество отношений этой теории fiTp_N_F с RTP с: RTS. Теория «P-N-F» представляет для темпоральной системы константы, вследствие чего, является пассивной.
Характеристики констант такого рода теорий могут являться основанием для решений в планировании двигательных действий [4] по некоторым конкретным темпоральным планам:
1. Рассмотрим минимально достаточные свидетельства о том, что событие А или процесс П происходит или длится в настоящем соответственно.
Свидетельство, требующее подтверждения: VA: tAe TS I ws(ft(A)) (1.1)
УП: {пе Т8 | луб (Й(П)) (1.2)
, где
Высказывания «Событие А было ^б) в будущем» (й) и «процесс П был ^б) в будущем (й)» справедливы для любых событий и процессов с тем лишь условием, что они обязательно произойдут в настоящем, т.е. они запланированны.
Косвенное минимально достаточное свидетельство: Ьп (рб(а)) & ws (й(Л)) ^ К(Л) (1.3)
Ьп (рб(П)) & ws (й(П)) ^ К(П) (1.4)
Если «Событие «А» (процесс «П») будет (Ьп) в прошлом (рб) и было (ws) в будущем (й)», то можно сказать, что пересечением этих двух высказываний является настоящее для рассматриваемого события или процесса.
Прямое минимально достаточное свидетельство. ¿б (рг) ^ К(Л) (1.5)
¿б (рг) ^ К(П) (1.6)
«Событие «А» (процесс «П») происходит (длится), т.е. есть в настоящем.
2. Рассмотрим минимально достаточные свидетельства о том, что событие А или процесс П происходит или длится в прошлом соответственно.
Свидетельство, требующее подтверждения. У А\гАе Т8 | Ьп (рБ (А)) (2.1)
V П: гп е Т8 | Ьп (рз(П)) (2.2)
Высказывание «Событие «А» (процесс «П») будет (Ьп) в прошлом (рБ)», аналогично высказыванию «Событие «А» было ^б) в будущем (й)».
Косвенное минимально достаточное свидетельство. ws (рг(А)) ^ Р(Л) (2.3)
луб (рг(П)) => 3 1 е гп:Р(0 (2.4)
Высказывание «Событие А» было (^б) в настоящем (рг)» свидетельствует о том, что «Событие А» «уже произошло».
Высказывание «Процесс П» был ^б) в настоящем (рг)», означает, что процесс как минимум начался, и как максимум уже закончился. Прямой минимальное достаточное свидетельство. (рб(А)) ^ Р(А) (2.5)
¿б (рз(П)) => 3 1 е гп:Р(0 (2.6)
Высказывание «Событие А» есть ^б) в прошлом (рБ), так же свидетельствует о том, что «Событие А» «уже произошло».
Высказывание «Процесс П» есть ^б) в прошлом (рБ), означает, что процесс как минимум начался, и как максимум уже закончился. Прямое минимально достаточное свидетельство. (рБ) ^ Р(А) (2.7)
(рБ) ^ Р(П) (2.8)
«Событие «А» (процесс «П») уже произошло (закончился), т.е. есть в прошлом.
Высказывание «Событие «А» (процесс «П») было (^б) в настоящем (рг)», аналогично высказыванию «Событие «А» есть ^б) в прошлом (рБ)».
3. Рассмотрим минимально достаточные свидетельства о том, что событие А или процесс П происходит или длится в будущем соответственно.
Косвенное свидетельство того, что событие еще не произошло, а процесс еще не завершился.
Ьп (А) = й (А) = Ьп (рг (А)) => Б (А) = ¥(гА) (3.1)
Ьп (рг(П)) —1Р(£ПЙ(П)) (3.2)
Высказывание «Событие А» будет (Ьп) эквивалентно высказыванию «Событие А» будет (Ьп) в настоящем (рг)» и свидетельствует о том, что
событие еще не произошло и, значит, оно или его темпор является принадлежностью будущего Р(А).
Высказывание «процесс П» будет (Ьп) в настоящем (рг)» может означать, что процесс процесс однозначно еще будет длиться и окончание его еще не наступило (—1Р(£Л1г(П))), а вот длится ли оно в настоящем и
какая часть процесса уже завершилась, требует уточнения. Косвенное минимально достаточное свидетельство.
Из истинности составного темпорального высказывания «Событие А» будет (Ьп) в будущем (й)» следует, что «событие еще не произошло (Р)».
Из истинности составного темпорального высказывания «Процесс П» будет (Ьп) в будущем (й)» может следовать только то, что процесс еще не закончился (—^(¿^(П))).
Прямое минимально достаточное свидетельство.
Из истинности составного темпорального высказывания «Событие А» есть (¿б) в будущем (й)» следует, что «событие еще не произошло (Р)».
Из истинности составного темпорального высказывания «Процесс П» есть (¿б) в будущем (й)» может следовать только то, что процесс еще не закончился (—1Р(Яяег(П))).
Более определенно охарактеризовать процессы можно событиями их начала и окончания. Для любого события, которое еще не произошло, действительны высказывания (3.1), (3.3), (3.5), однако достаточным является истинность хотя бы одного высказывания, поэтому еще не произошедшее событие можно описать высказыванием:
Ьп (й(Л)) ^ Б(Л) Ьп (й(П)) -^(Е^т
(3.3)
(3.4)
¿б (й(Л)) ^ Б(Л)
(3.5)
(3.6)
¿Б (Й(П)) ^ 0
Ьп (рг(А)) V Ьп (й(А)) V ¿б (й (А)),
Ьп (рг(А)) ^ Б(А); (3.7)
Для процесса, который еще не начался, применимо высказывание характеризующее процесс событиями начала и конца: Ьп (рг(£^(П))) V Ьп (й(ЕЪдт) V 15 (Ж^(П))),
Ьп (рг(£ь/П))) БСЛ); (3.8)
И как следсвие из этого имеем выражение: Б(П)^ Ьп (рг(П)) & Ьп (й(П)) & (й(П)) & Ьп (рБ(П)) (3.9)
Из выражения «процесс П не начался Б(П)», следует, что «Процесс П» будет (Ьп) в настоящем (рг) и будет (Ьп) в будущем (й), так же «Процесс П» есть ^б) в будущем (й) и будет (Ьп) в прошлом (рБ)».
По аналогии с будущими событиями настоящие события описываются выражениями (2.7) и (2.17), следовательно
Ьп (рБ(А)) & ws (й(А)) V (рг(А)) ^ К(А) (3.10)
Процессы, длящиеся в настоящем времени, удовлетворяют выражениям (2.8) и (2.18),и, следовательно:
Ьп (рБ(П)) & ws (й(П)) V (рг(П)) ^ К(П) (3.11)
4. Относительно нахождения интервального темпора в «будущем» не исключает истинность N(7) и Р(). То же самое можно сказать о «настоящем» и «прошлом». Поэтому для прошлого и будущего можем составить неопределенности:
(4.1)
(4.2)
Точечный темпор находится в «прошлом», при условии, что он не находится в «будущем» или не находится в «настоящем».
Точечный темпор находится в «будущем», при условии, что он не находится в «прошлом» и не находится в «настоящем».
Для такого рода выражений применимо свойство Де Моргана: Р(ч) г,) & г,) СР(Ч) & К(г,)) (4.3)
Ч) Ч) & г,) -,( Р(Ч) & К(г,)) (4.4)
Выводы: Используя данные подходы представления времени при планировании и управлении, можно построить темпоральный процессор и обеспечить встраивание его в общую систему управления множеством объектов. А также изучать работу таких систем на основе анализа исторических трендов и трендов реального времени. Рассмотренные обобщения отношений разных темпоральных теорий, являются важным инструментом для создания темпоральной подсистемы, подходящей для темпорального сопровождения процесса управления.
Список литературы
1. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д. А. Представление знаний о времени и пространстве в интеллектуальных системах / Под ред. Д. А. Поспелова. М.: Наука. Гл.ред. физ.-мат. лит., 1989.
2. Сергеев Н.Е. Нечеткие модели инструментальных двигательных действий оператора. Ростов н/Д, 2004.
3. Сергеев Н.Е. Системы искусственного интеллекта, учебное пособие / Таганрог, 2016. Том Часть 1
4. Сергеев Н.Е., Целых Ю.А. Использование темпоральных отношений при описании сложных сцен по видеоизображениям Известия ЮФУ. Технические науки. 2009. № 12 (101). С. 134-142.
References
1. Kandrashina E.Ju., Litvinceva L.V., Pospelov D.A. Predstavlenie znanij o vremeni i prostranstve v intellektual'nyh sistemah / Pod red. D.A. Pospelova. M.: Nauka. Gl.red. fiz.-mat. lit., 1989.
2. Sergeev N.E. Nechetkie modeli instrumental'nyh dvigatel'nyh dejstvij operatora. Rostov n/D, 2004.
3. Sergeev N.E. Sistemy iskusstvennogo intellekta, uchebnoe posobie / Taganrog, 2016. Tom Chast' 1
4. Sergeev N.E., Celyh Ju.A. Ispol'zovanie temporal'nyh otnoshenij pri opisanii slozhnyh seen po videoizobrazhenijam Izvestija JuFU. Tehnicheskie nauki. 2009. № 12 (101). S. 134-142.
