Интеллектуальные системы и технологии
DOI: 10.5862/JCSTCS.236.7
УДК 656, 007; 004.81, 614.8; 007; 51-7, 351; 351.81; 351.78
Я.А. Селиверстов, С.А. Селиверстов
ИСПОЛЬЗОВАНИЕ СИСТЕМ КЛАССА ГАТЛОСЭМИ ДЛЯ УПРЕЖДЕНИЯ ПРИЧИН ВОЗНИКНОВЕНИЯ ДТП И НЕБЛАГОПРИЯТНЫХ СОЦИАЛЬНЫХ ИСХОДОВ В «УМНОМ ГОРОДЕ»
Ya.A. Seliverstov, S.A. Seliverstov
USE OF GATLOSAMI TO PREVENT CAUSES OF TRAFFIC ACCIDENTS AND ADVERSE SOCIAL ACCIDENTS IN A 'SMART CITY'
Произведено формальное построение модели интеллектуального городского анализатора транспортно-логистической и социально-экономической мобильности, посредством которого осуществляется переход к персонифицированному рекомендательному управлению элементами городской системы. Введено понятие директивный элемент городской системы. Поставлена проблема построения интеллектуальных систем профилактики причин возникновения ДТП и неблагоприятных социальных исходов в городской среде. Поиск причин наступления неблагоприятных социальных исходов разрешен процедурой абдуктивного вывода. Формирование кодифицированных библиотек потенциально-опасных шаблонов произведено с помощью процедуры индуктивного вывода. Рассмотрены практические приложения и даны рекомендации по дальнейшему функциональному развитию системы.
ИНТЕЛЛЕКТУАЛЬНЫЕ ТРАНСПОРТНЫЕ СИСТЕМЫ; УМНАЯ ГОРОДСКАЯ ЛОГИСТИКА; МОНИТОРИНГ ГОРОДСКИХ ТРАНСПОРТНО-ЛОГИСТИЧЕСКИХ И СОЦИАЛЬНО-ЭКОНОМИЧЕСКИХ ПРОЦЕССОВ; СИСТЕМЫ ПЕРСОНАЛЬНОГО РЕКОМЕНДАТЕЛЬНОГО УПРАВЛЕНИЯ; СИСТЕМЫ ПРОФИЛАКТИКИ ПРИЧИН ДТП.
The model of an intelligent data analyzer of city logistics, transportation, social and economic behavior of people and the state objects of urban systems has been developed in this paper. Personalized recommendation control elements of the urban system have been described. The concept of a directive element of the urban system was given and defined. The problem of prevention of causes of accidents has been detailed. Searching for causes of accidents was solved through an abductive inference process. The Codified Template Library of Potentially Dangerous Patterns of Behavior was created with an inductive inference process. Some examples and recommendations for improvement of the GATLOSEMI model were given.
INTELLIGENT TRANSPORT SYSTEMS; SMART URBAN LOGISTICS; MONITORING OF LOGISTICS AND SOCIO-ECONOMIC PROCESSES; PERSONAL RECOMMENDER SYSTEMS; ACCIDENT CAUSE PREVENTION SYSTEMS.
Постановка проблемы и анализ предметной области. Прогрессивное устойчивое развитие густонаселенных городских агломераций и мегаполисов [1] в существующих реалиях становится невозможным под
воздействием нарастающих факторов региональной логистической дестабилизации.
Традиционное городское и региональное управление требует ускоренного перехода к качественно новым системам класса
4
«умный город» или smart city, способным интеллектуализировать городскую среду [2].
Работа современных транспортных автоматизированных информационно-аналитических систем [3, 4] строится на вероятностных данных. как правило, такие системы выполняют функцию низковероятностного прогноза [5] и измерения реальной транспортной ситуации [6] в рамках существующих показателей [7, 8]. Они также в состоянии разглядеть результат неблагоприятных дорожно-транспортных исходов, но оперативно распознать и своевременно упредить процессы формирования городских социально-экономических, транспортных и логистических конфликтов в границах существующего программно-алгоритмического и технологического базисов для них является недостижимым шагом.
класс систем, способных производить интеллектуальный анализ городских транспортно-логистических процессов [9, 10] и упреждать возникновение неблагоприятных социальных исходов посредством информационного уведомления, будем называть городскими анализаторами транспортно-логистической и социально-экономической мобильности интеллектуальными (ГАТЯОСЭМИ).
Среди последних научно-исследовательских инициатив, направленных на конструирование систем анализа городских транспортно-логистических данных, можно выделить следующие: в работах [11, 12] решены задачи анализа городских данных применительно к транспортным системам; в [13] произведено построение формальной модели классификации межагентных отношений социально-экономического поведения городского населения, а в [14] формально раскрыта структурная схема системы городского транспортно-логистического мониторинга; в [15] рассмотрены существующие междисциплинарные подходы и предложена концепция «умных городов»; в [16] обозначены перспективы их будущего развития.
В настоящей статье рассматриваются следующие проблемы: создания модели ГАТЛОСЭМИ для рекомендательно -го управления городскими транспортно-
логистическими процессами; интеграции разобщенной информации городских ситуационных дата-центров: управления дорожным движением, сотовых операторов, информационных центров МЧС и др.; обеспечения координации городских ведомственных служб: МЧС, ГИБДД, Роспо-требнадзора, скорой медицинской помощи, информационной безопасности, федеральной безопасности, статистики, санитарно-эпидемиологического, налогового, миграционного надзоров и др.; профилактики неблагоприятных социальных исходов посредством информационного персонального упреждения населения.
классификация и анализ социально-экономического поведения элементов городской системы должны осуществляться в границах существующих систем уникальной идентификации [13], Единой системы классификации и кодирования технико-экономической и социальной информации [14], Единой адресной системы, Анатомо-терапевтическо-химической классификации, Медицинской классификации болезней десятого пересмотра (МкБ-10). Работа с данными должна осуществляться в рамках Федерального закона № 152-ФЗ «О персональных данных». эксплуатация системы предполагает использование вычислительной инфраструктуры ПАО «Ростелеком» и электронного правительства РФ, которая включает 78 серверов IBM, 29 серверов HP, девять серверов Sun, четыре сервера Kraftway, одиннадцать систем хранения данных (СХД) Hitachi, три СХД IBM и три СХД Sun.
Функциональное наполнение системы ГАТЛОСЭМИ опирается на аналитически выведенные ранее в [14] условия достоверной мобильности, обусловливающие наличие функций идентификации, аутентификации, местоопределения и распознавания состояний подвижных и стационарных объектов городской транспортной системы (ГТС).
условия достоверной мобильности применительно к городской системе (ГС) будем трактовать в следующей интерпретации: 1) каждый объект, входящий в ГС или находящийся внутри нее, должен иметь
идентификатор; 2) состояния объектов в ГС должны быть распознаваемы; 3) процесс идентификации объектов в ГС должен быть самоорганизован.
Выполнение условий достоверной мобильности в ГС реализуется процедурой директивизации в границах третьего условия (рис. 1).
Под директивизацией будем понимать процесс связывания совокупного множества элементов городской системы с директивными элементами (ДЭ) ГАХЛОСЭМИ, согласно выражению:
ft :®{э ^=э с,
(1)
где Э^ = Э, е = 1, ..., Nc} — множество элементов городской системы; Э° = {э^, d = 1, ..., Nd} — множество директивных элементов системы ГАТЛОСЭМИ; Эг = {эгс, с = 1, ..., Nc} — множество дирек-
тивизированных элементов ГС; Ф — опе-
/д
рация директивизации элементов ГТС.
Зададим формальную модель системы ГАТЛОСЭСМИ набором функционалов, согласно:
Фг = (Эг; Fn ; Fс; F т; FR ; F^;
(2)
F a ;F н; F;C.r';U г
где рN : ЭГ ^ N — функционал идентификации элементного множества ЭГ, который каждому объекту из ЭГ ставит в соответствие идентификатор/набор идентификаторов из множества N рс : ЭГ х IГ ^ СН — функционал характеристической параметризации элементного множества ЭГ, ко-
торый каждому объекту из Эг с уникальным номером из 1г ставит в соответствие наборы характеристик, присущих данному объекту, таких что CH = [chf, п = 1, ..., N} — множество характеристик элементов Эг, причем ch^ задается кортежем chэ = (name, {value}}, где name — имя п -й характеристики, {value} — область допустимых значений, которая задается перечислением этих значений, интервалом или функционально, с помощью правил вычисления и оценки; Fт : Эг ^ [тТ v (тт; тт+1)] — временной оператор, который каждому объекту из Эг ставит в соответствие момент или интервал времени из множества Т, на котором задано отношение стро-
хТг е Т — определенный момент времени, а (тТ ;тТ+1) еТ — определенный интервал времени; Ра : (Эг;/г) ^ А — агентное отображение, которое каждому ДЭ ГС э^ е ЭГ со множеством идентификаторов IЭг ставит в соответствие агента из а1 е А; рн — функционал интеллектуального анализа графов социально-экономического поведения элементов ГС Г'г (V- ;Т);
л эс Р С
р = ОСН ^ АСН ^ FCH — регламентирующая область социально-экономической и транспортно-логистической деятельности ДЭ ГС, включающая область оптимально-устойчивых ОСН, допустимо-устойчивых АСН и неустойчивых значений FCH характеристик ДЭ ГС СН и их поведение ЯДЭ1); сэг = (Са V Ср)v лСНЗБ - регулирующие воздействия ГАТЛОСЭМИ, состоящие из воздействий СА рекомендательного,
гого порядка, то есть т < т2, ..., тт < тт+1;
Рис. 1. Директивизация элементов городской системы
4
Ср принудительного и С^ девиантного* управлений; иГ = иГ(СН^) = {иг ({ск^})} -целевая функция управления ДЭ ГС (или функция полезности), зависящая от субъективных характеристик управления {иэ1 ({скпм})} каждого ДЭ ГС; Т — множество моментов или интервалов времени.
Тогда целевой функционал ГАТЯОСЭМИ ФС примет вид:
фс
ГАТЛОСЭМИ
lim Uг =
B, (ЭГ f (эГ) C Г : OCH<(CHГ )<ACH
(3)
= max UГ = Upr f,
где и1Гг ^ — функция оптимального или предпочтительного управления, максимизирующая полезность ДЭ ГС; Вре (Э^) — предпочтительное поведение ДЭ ГС.
Профилактика причин возникновения ДТП требует расширения существующих систем диагностики социально-экономической и потребительской деятельностей. Последнее делает необходимым введение в систему ГАТЛОСЭМИ новых информационных функционалов и операторов, позволяющих связать существующие и новые системы классификации.
Таковым является функционал контроля ДЭ ГС:
П = {п х}, (4)
где {п х} — множество операторов контроля характеристик ДЭ ГС.
функционал контроля множеству кодифицированных социальных и иных отклонений СЬаа, = {СЬа} и множеству кодифицированных объектов СЬи = {СЬЭ} ставит в соответствие множество кодифицированных причин отклонений или кодифицированных библиотек противопоказаний Ь = {Ьх}, в соответствии с выражением:
(5)
{пх}
П :{СЬЛ} п {СЬЭ} ^ {Ьх}.
Рассмотрим в составе функционала контроля ДЭ ГС два оператора, ответственных
* Информационное воздействие ГАТЛОСЭМИ, упреждающее приближение индивидуального поведения ДЭ ГС к потенциально-опасному шаблону.
за надлежащее физиологическое состояние городского населения. выражение (5) перепишем в следующем виде:
П = {пhX; ...;}, (6)
h
где ^ — оператор контроля товарного потребления, который множеству кодифицированных медицинских диагнозов международной классификации болезней десятого пересмотра [МКБ-10] = {dmj ставит в соответствие кодифицированную библиотеку товарных противопоказаний из множества существующих систем товарной и продуктовой классификации [ОКП, АТХ, ...] в соответствии с выражением:
пh : [МКБ-10] п [ОКП, АТХ, ...] ^ LGC, (7)
где LGC — кодифицированная библиотека товарных противопоказаний.
п — оператор контроля потребительской деятельности, который, сравнивая множество кодифицированных медицинских диагнозов [МКБ-10] = {dm J с системами классификации социально-экономической деятельности и социальных потребностей [ОКПД, ОКВЭД, LHN ...], выводит соответствующую кодифицированную библиотеку противопоказанных видов потребительской деятельности LNC в соответствии с выражением:
пh : [МКБ-10] п
(8)
п [ОКПД, ОКВЭД, ЫШ ...] ^ шс,
где ЬНП = {пеейа} — кодифицированная библиотека человеческих потребностей.
Введение новых систем потребительского контроля согласно (7), (8) потребует уточнений стандартов кодификации товаров, таких как ЕАМ-13.
Интеллектуальный анализ. Рассмотрим более подробно структуру функционала интеллектуального анализа:
Пн= {Ер; нЬ; Ер ...}, (9)
где Ер — процедура абдуктивного вывода; Ер — процедура индуктивного вывода; Ер — процедура вероятностного анализа.
Последовательно рассмотрим каждую из процедур (9).
Ер — процедура абдуктивного выво-
да [17, 18], каждому состоянию перехода (Ур ; Т) директивного элемента э]с из области оптимально-устойчивых состояний в область допустимо-устойчивых или неустойчивых состояний на интервале вре-
мени т
еТс
ставит в соответствие множе-
ство его порождающих временных гипотетических графов Гэс (Ур ; Т) на временном горизонте ТБ.
Состояние перехода (Ур ; Т) в общем случае будем называть ситуацией, а применительно к рассматриваемой проблеме — «неблагоприятным социальным исходом», вида:
—, %=(2%-1) (П=Щ \
¿Т(Уп ;Т)■
V
%=1
Л Г%'
%=1
(Урс ;Т)
= С,5, V ■■■ V С\ ,
Л=1 я=2Л-1'
(10)
где % = 1, ..., — число гипотез, квазипо-рождающих неблагоприятный социальный исход (Ур ;Т); % — количество наборов гипотетических графов С£, представляющих собой совместное сочетание выявленных причин; Б — индекс-указатель неблагоприятного социального исхода.
Процедуру Ер вероятностного анализа причин возникновения ДТП и неблагоприятных социальных исходов представим в виде:
¿тс (УПс ;Т)
-^(С^) > ... > р(С;=2%-1),(11)
где р(СБ=1), ..., (С55=2„-1) — вероятности совместных сочетаний гипотетических графов, на которых задан строгий порядок.
Процедура вероятностного анализа Ер строится на хорошо проработанном статистическом аппарате [19].
Пояснение процедуры абдуктивного вывода (10) в графовой интерпретации дано на рис. 2.
Гипотетические графы (10) формируются в процессе двух этапов.
Этап 1. Сравнение суточного социально-экономического поведения ДЭ ГС Гэ*е(Ур ;Т), предшествующего неблагоприятному социальному исходу (Ур ;Т), со следующими эталонными наборами графов социально-экономического поведения ДЭ ГС, находящихся в оптимально-устойчивой области:
• наиболее вероятным в интервале одного месяца социально-экономическим поведением ДЭ ГС с учетом дня недели:
% = 1: % г=1 = 1 Ут=1 = уГ \УГ пу:г) ^ г= ;Т),
(12)
где У* — множество ДЭ ГС (вершин), входящих в вершины У* графа Г*'е (Урс ;Т) и не входящих в вершины Уег1а'е графа Гэ*е(Урс ;Т); э'с
с • наиболее вероятным в интервале одного месяца социально-экономическим
Рис. 2. Графовое представление процедуры абдуктивного вывода
4
поведением ДЭ ГС:
h = 2 : h 2 = 2 V/= = V date \ (V т n V ) ^ fj 2(VF ; T ),
(13)
где V/ — множество ДЭ ГС (вершин), входящих в вершины Vэйate графа Г*е(V- ;Т) и не входящих в вершины КТ™"'4 графа (V- ;Т);
с • наиболее вероятным социально-экономическим поведением ДЭ ГС в интервале недели, предшествующей неблагоприятному социальному исходу:
h = 3 : hT=N = 3
v: = Vfe \ (Vda'e n V!- ) ^ гэ=3(V, ; T),
(14)
где V/ — множество ДЭ ГС (вершин), входящих в вершины Vйкate графа Г*е (V- ;Т)
и не входящих в вершины VsIweet графа Г^ V ;Т). э'с
с Параметр времени Т при этом определяет горизонт исследуемого события, регулирование которого позволяет включать и исключать из рассмотрения акты социально-экономического взаимодействия между ДЭ ГС. Наиболее вероятным для исследования является интервал времени Т = [т0;тя] от начала т0 до свершения события т8 исследуемого события.
Таким образом, на первом этапе в процессе выполнения процедур (12)—(14) вычленяются отличные от эталонных акты социально-экономической деятельности и формируются гипотетические графы, которые могли явиться причиной возникновения исследуемого неблагоприятного социального или иного исхода.
Этап 2. Проверка оператором СэГ состояний всех ДЭ ГС, входящих в граф
суточного
социально-экономического
поведения ДЭ ГС Г?'е V ;Т), предшествующего неблагоприятному социальному исходу (V- ;Т), через кодифицированные базы, сформированные операторами контроля характеристик ДЭ ГС П = {п^}.
В гипотетический граф включаются ДЭ ГС, чье социально-экономическое поведение протекает с нарушением кодифицированных баз операторов контроля, согласно условиям:
ГГ (V-Fc;T ) ^ (VF >эг;/е n L =
= ГЭс(VI ;T), x = п, ..., пх
{^ (VF;T )} ^ {(V^r } n{L } =
(15)
= {ГЭ;(VFc ;T)},
x = п, ..., пх
где эГс — ДЭ ГС, чей суточный граф социально-экономического поведения проверяется операторами функционала контроля; {э^} — множество ДЭ ГС, взаимодействующих с э г и входящими в его суточный граф социально-экономического поведения Гаte(VF ;T); 1% - кодифицированная библиотека для ДЭ ГС эг,, сформированная оператором контроля п{гэг(VFX ;T)} — множество гипотетических графов актов социально-экономического поведения ДЭ ГС, входящих в граф r^fe(VF1 ; T), в отношении которых выявлено нарушение кодифицированных библиотек, сформированных оператором контроля; {^fe(VFx ;T)} — социально-экономическое поведение множества ДЭ ГС {э cdate}, взаимодействующих с ДЭ ГС э г.
На втором этапе в процессе процедур (15) формируются гипотетические графы актов ДЭ ГС, в отношении которых выявлены нарушения кодифицированных баз, сформированных операторами контроля {п х}, и которые могли бы явиться причиной возникновения неблагоприятного социального исхода SJ; (V- ;T). Таким образом, число гипотетических графов (12)—(15) вычисляется в соответствии с выражением:
h = h + h, .
(16)
Процедура абдуктивного вывода (10) запускается в момент зарегистрированного перехода ДЭ из области оптимально-устойчивых состояний в область допустимо-устойчивых или неустойчивых состояний.
Так как ситуация БэТ (V-- ; Т) свидетельствует о переходе директивного элемента в допустимо-устойчивое или неустойчивое состояние, то гипотетический граф ее порождения Гэг(V- ;Т) будем называть потенциально-опасным шаблоном и обозначать Г^-(V- ;Т).
— процедура индуктивного вывода
с
Г
C
Г
[20], которая из множества межэлементных отношений {эгс ^ эг.с} = {г(V, )}, событий
ря
Г" (Урх ;Т) и фактов СНГ (ЭБ) за определенный период ГТЛ(УрХ ;Т), породивших согласно
неблагоприятный социальный исход (ситуацию) ¿эТ? (Урх ;Т), выводит правило порождения данной ситуации Гэг (УрХ ;Т),
СНХОГ) п (СЯхГ(ЭГ'), СНХ (ЭГ); 1х\¿РБР) ^ СНХ (ЭБ)
г э (Ур; Т) п {Г э (Ур; Т)} п ¿э (Ур; Т) ^ г эс (Ур; Т) {г(у; с с} е г э (Ур с Т), I = с = 1, щ, ; = 1, м?
¿Т V ;Т)
X : ¿Т (Ур; Т) ^ Г ? (Ур; Т), СНГ (Э*) И х = П
(17)
где СЩ(Эат*"е), СНхг(Э^') — характеристики множества ДЭ ГС графа ГЛа'е у ;Т) и эталонных графов {Г^ (Ур ;Т)} "на анализируемом интервале времени; ¿эТ? (V; грс) — множество зарегистрированных параметров функциональных отношений, предшеств о-вавших неблагоприятному социальному исходу; СН1(Э Г) — характеристики ДЭ ГС, ставших участниками неблагоприятного социального исхода; СНГ (Э5) — характеристики ДЭ ГС в гипотетических графах
порождения неблагоприятного социального исхода.
Пояснение процедуры индуктивного вывода (17) в графовой интерпретации дано на рис. 3.
В основу процедуры индуктивного вывода и формирования правила П^ порождения ситуаций положен принцип ситуационного подобия. Сформулируем его следующим образом:
Если в отношении ДЭ ГС э с характери-
Рис. 3. Процедура индуктивного вывода
стиками СНэ и социально-экономическим
поведением
^ (V, ;Т)
по причине
Г (V- ; Т) наступил неблагоприятный социальный исход 5ф = ^(К- ;Т), то ДЭ ГС э р, имеющий схожие параметры СНэ ~СНэ ; Гэ (V~ ; Т)~Гэ (К- ; Т) по той же причине Г (V- ^ Т) может попасть в схожий неблагоприятный социальный исход Бф, то есть:
Г^ (V-; Т) ©Цф =Г5ф (У-с';Т). (18)
Пояснение принципа ситуационного подобия (18) в графовой интерпретации дано на рис. 4.
Граф порождения ситуации (V- ; Т) при этом представляет собой потенциально опасный шаблон, то есть Г(¥Ь;Т) = Н^Вэ, (^;Т), который регистрируется в кодифицированной библиотеке потенциально-опасных шаблонов социально-экономической деятельности ДЭ ГС ЬРБР [21].
Рассмотрим работу ГАТЛОСЭМИ упрощенно на примере интеллектуального анализа причин возникновения ДТП с участием городского жителя.
Пример. Социально-экономическое поведение жителя Санкт-Петербурга Гй?'е^ ;Т) = Г0;,;11-2015^;[18:00 - 00:00]) с
ИНН = й, повлекшее 4 ноября 2015 года ДТП (V- ;Т), представлено на рис. 6. Эталонное социально-экономическое поведение жителя Санкт-Петербурга с ИНН = /й14 за октябрь 2015 года, день недели среда Г-^ ;Т) = Г1й°42015(и'еий)(^;[18:00 - 00:00]) в интервале времени с 18:00 по 00:00 представлено на рис. 5.
На рис. 5 и 6 нами использованы следующие обозначения:
ИНН (жителя) = ¡й?, друга жителя,
ИНН
= м,
2 '
Рис. 4. Графовое представление принципа ситуационного подобия
—ft
0IÍ
18:02— я¥
1 f 1 'isÉSs
МЕСТО РАБОТЫ СТОЯНКА УЧАСТОК УДС СТОЯНКА
АВТОМАШИН АВТОМАШИН
18:00
18:05 18:10 18:15
19:00
«i*
т 1
пц
20:50
БАР |
ЛН
г
КВИ ТАНЦИЯ НА ОПЛАТУ ШТРАФА II ОФОРМЛЕНИЕ ДТП
D
щ
20:55
21:00 р| ДИА1 HOÍ]
- iffl
ШЭ r+U
УЧАСТОК УДС СТОЯНКА
АВТОМАШИН
18:20 20:30
УЧАСТОК УДС
20:45
УЧАСТОК УДС 21:10
СТОЯНКА АВТОМАШИН
21:40
UJ
У <W
id I id
id i
i id5h
j УНИВЕРСАЛЬНАЯ
Х1ЕКТРОНПАЯ КАРТА
| IMSI
id°
id(p idГР id[tr idr2tr id$tr
idZ id\s id?
l n 3
idrS
'ЭЛЕКТРОННАЯ МЕДИЦИНСКАЯ КАРТА
0IÍ
id
te
id?
id'f
id
id
te
te
ПАСПОРТ ГРАЖДАНИНА РФ
i
id г
í idfd2
J?
ВОДИТЕЛЬСКОЕ УДОСТОВЕРЕНИЕ
С,
ví®
VV id2
ea
v
VW
ea
v
VW
id Ia
r
VW
id
ea
КВИТАНЦИЯ HA ОПЛАТУ ШТРАФА
ДИАГНОЗ
idf"
id{"ed
л
1
idr
БЛАНК jm
дтп ta i
Рис. 5. Социально-экономическое поведение жителя Санкт-Петербурга с ИНН = ¡ё?, повлекшее ДТП
л> i i
л> 7\
1<
tu i О" X tr л> п S п
—I
л>
О"
Л> X X
0
1 о -1
4
ИНН (потерпевшего) = id3,
ИНН
АсотрудникаЛ ГИБДД
= id,
4 '
ИНН (фельдшера) = ¡й\,
ИНН (бармена) = ; ¡й°°, /й20, /й30, /й40 -уникальные кадастровые номера (УКН) места жительства, работы, бара и больницы соответственно; ¡й^, /й^ — УКН пешеходных перегонов, примыкающих к работе и к бару соответственно; /й^, /й^, ¡йг/
дицинской карты; ¡й1 — уникальный номер погодной карты района в день ДТП; М2£ — уникальный номер погодной карты района в день, принятый за эталонный; 1й[а, ¡й21, ¡йе3а, 1йееа, 1йе5а, ¡йе6а — ИНН управляющей организации многоквартирным домом, в котором проживает житель; компании, в которой работает житель ¡й1?; бара; больницы; эксплуатационной службы, обслуживающей УДС; компании, которая владеет автопарковками соответственно; /й/с, ¡й%, 1й4 — уникальный сетевой адрес электрон-
УКН улично-дорожного перегона от ной проходной работы и парковок у рабо-
автостоянки у места работы до бара, улично-дорожного перегона, на котором произошло ДТП, улично-дорожного перегона на пути в больницу и улично-дорожного перегона от автостоянки у места работы до дома соответственно; id™, /d™, id3, id4 — УКН автостоянки у места работы, парковки у бара, парковочного пространства приемного отделения скорой помощи и дома соответственно; /'df, id2, id'3, id4 — государственные номерные знаки транспортных средств жителя, потерпевшего, сотрудника ГИБДД и скорой помощи; idf2 — уникальный идентификатор товаров (EAN-13) листового чая и курительного табака; idl"s — уникальный идентификатор бланка ДТП; idfn — уникальный идентификатор начисления штрафа ГИБДД; idmed — уникальный номер электронной ме-
ты и бара; ¡й^, ¡й'ес — уникальные номера элементов системы транспортного мониторинга соответственно; ¡й^ — идентификатор счета в баре (чек контрольно-кассовой машины).
Пусть также известны следующие данные о жителе с ИНН = ¡й? :
житель имеет нестабильную стенокардию (120.0 по МКБ) и хронический бронхит неуточненный (Д42 по МКБ); библиотека товарных противопоказаний для жителя и? имеет вид: ЮС (МКБ-10 о ОКП) = = ОКП 919316 (Табак соусированный и ароматизированный); а библиотека противопоказанных видов потребительской деятельности для него: ЬМС (МКБ-10 о ЬН^ = = «употребление табака»; процесс курения кальяна жителем /й1й осуществлялся
Рис. 6. Эталонное социально-экономическое поведение жителя с /d1
с 19:00-20:00.
Жители с ИНН = и ИНН = на момент ДТП зарегистрированных отклонений по здоровью не имеют.
Сотрудник ГИБДД , прибывший на место аварии, установил причину ДТП, классифицировав ее в соответствии с Кодексом административных правонарушений как 12.14-1 — «Невыполнение требований ПДД подать сигнал перед началом движения, перестроением, поворотом, разворотом или остановкой».
В результате ДТП фельдшером 12, были классифицированы по МКБ-10 следующие травмы: S00 (поверхностная травма головы), S80 (поверхностная травма голени), S20 (поверхностная травма грудной клетки). А также установлена причина травмы V43.4 (водитель, пострадавший в результате дорожного несчастного случая на автостраде).
со слов потерпевшего, фельдшером были установлены и другие неуточненные эффекты воздействия внешних причин, такие как Т65.2 отравление табаком и никотином.
Также известно, что эксплуатационное состояние транспортных средств, участков УДС и технического обеспечения УДС в момент ДТП находилось в пределах нормы.
Требуется произвести построение графа ДТП с указанием установленных ответственными лицами фактов в порядке следования и формально описать процесс выявления причин ДТП системой
ГАТЛОСЭМИ с использованием процедуры абдуктивного вывода на временном интервале 18:00—20:45.
Решение. На основе исходных данных построим граф ^ (КГ ; Т) ДТП с указанием установленных инспектором ГИБДД и фельдшером фактов.
Образное представление графа ДТП показано на рис. 7.
Далее перейдем к формализации процедуры абдуктивного вывода.
Гипотетические графы причин ДТП сформируем согласно процедуре (12) первого этапа.
Для этого выделим из графа суточного социально-экономического поведения пользователя Г°4Л112015К ;[18:00 -00:00]),
1<Л1 Г с
предшествующего неблагоприятному социальному исходу (К~ ;Т), отличные от эталонных акты социально-экономической деятельности, представляющие собой вершины и заданные графом г^2015^)(КГ ; [18:00 - 00:00]). В итоге, опираясь на рис. 8, получим:
1) для интервала времени с 18:00-00:00 (рис. 8)
КГ \(КГ -К2Т)
00:00 = 18:00 =
id^; idph; ¡2Г;1г; id!¡; ¡20ъ; id,¡; 12,; idgd2; ¡2?; ; ; ; 12,; ; 12р}1; 121п; ; idi^s; ¡2,; 123; К*2; ; /'24я ; 1\
Рис. 7. Формальное представление графа ДТП
V
date
idi1
МЕСТО РАБОТЫ СТОЯНКА УЧАСТОК УДС СТОЯНКА
АВТОМАШИН АВТОМАШИН
УЧАСТОК УК
8:00
18:05 18:10 18:15
8:20
СТОЯНКА ЛВТОМЛ1ПIIH
20:30
УЧАСТОК УДС
20:45
УЧАСТОК УДС
21:10
СТОЯНКА АВТОМАШИН
21:40
МЕСТО РАБОТЫ С ТОЯНКА УЧАСТОК УДС С ТОЯНКА ЖИЛОЕ ЗДАНИЕ
АВТОМАШИН АВТОМАШИН
y£date \ (у £ date ^ у date ^
id\ idi* id у
y date у ¡y date 0 y£date ) id^ id^ id^
20:45 18:00
-date
yuui* \ ^ydate 0 у £ date ) id* idj7 id*
00:00 18:00
S
S =П
1 В
-&-S
о Л "а О
&) а>
?" I i ф л> Я
^ s
? «
л
О 0J ГТ>
Ь
íq
£ s s n
S =1
CT\
"a <
ni ■=¡ ^
<Ъ hJ
(V -__
NJ О
ст>
Рис. 8. Формирование гипотез процедурой абдуктивного вывода
Рис. 9. Гипотетический граф ДТП
2) для требуемого интервала времени с 18:00-20:45 (рис. 8)
y s _ Vdate \ ( ydate _ ysdate ) V h_1 ~ Vidh M Vidh '
20:45 18:00
idW;idf ;idf ;id?;id°3 ;idh;idh
Таким образом, пользователь с номером не ревизовал следующие эталонные акты социально-экономической деятельно -сти (рис. 8):
3)
00:00 = {¿24*; /<; ; < }.
VSdate \( T/Sdat^ ^ T/date \ К ¡^ \\ У < Л У „И )
18:00
Граф Г^К? ;Т), построенный на вершинах множества К=1, ГАТЛОСЭМИ отнесет в набор гипотетических графов.
Вид данного графа представим на рис. 9.
Определив гипотетический граф с использованием процедуры первого этапа абдуктивного вывода, перейдем к опре-
делению причин ДТП с использованием процедуры второго этапа абдуктивного вывода.
Для этого произведем анализ суточного социально-экономического поведения пользователя с номером /21/г, предшествующего неблагоприятному социальному исходу S\ (К ;Т), на предмет его нарушения
г21 Г с
кодифицированным базам операторов контроля, согласно выражениям (7) и (8).
Для этого еще раз запишем выражение (15), подставив в него исходные данные в параметрическом виде, в итоге получим:
ГИVF ;T) ^ (VF )ddf n LGC
date
F c id"
(V;T ).
В представленное параметрическое выражение подставим заданные количественные значения, дополнив его для лучшего понимания связью МКБ-10 с ШС, в итоге получим:
г
h
id1 : {120, J42,Т65.2}^{ОКП 919316} n {idf^h1'2015 ф 0 ^ Yidh\ (V^;T).
МКБ-10 LGC
V ГГ
(VFc )idh
rdate y ;t )
Аналогично определим второй гипотетический граф, подставив в выражение (15) исходные данные. В итоге получим:
d : {120, J42,Т65.2} ^ i"5™! П f tf™ * 0 ^ Г£ y* ;T).
C
МКБ-10
[табака
LNC
п
г
h
г Ие(y?c ;т)
4
Рис. 10. Гипотетические графы второго этапа абдуктивного вывода
Произведем построение гипотетических графов Г^(Урп*;Т) и Г^ ;Т), выявленных на втором этапе процедуры абдуктивного вывода. Вид данных графов представим на рис. 10.
Таким образом, в процессе процедуры абдуктивного вывода системой ГАТЛОСЭМИ будет сформирован набор гипотез согласно (10). Перепишем его для наглядности в следующем виде:
¿Т? (Ур ;Т)-
Х=(2"-1) ( Й=М
V
Х=1
Л
Л Гэ" (Ур-;Т)
V Й=1
й = 1, м-
Подставив в вышестоящее выражение выявленные в процессе абдуктивного анализа гипотетические графы, получим:
—. X=5 А Й=3
^ (урТ )
ур;Т) | =
X=1 =1
м*
= ГЙЙ11; Т) V ГЙЙ =2 (Ур"; Т) А
А ГЙ=з3 ; Т) V (ГЙ1 ; Т) Л
Л ^Й^=((Урс ;Т)) V V |г; Т) л ГЙ^зЗУр; Т
VI Г«^;Т) Л Гм^(У/; ;Т) Л
Л г^ ^(уп- ;Т) ], Й = 1, мЙ.
Данный пример наглядно раскрывает работу системы класса ГАТЛОСЭМИ по
автоматическому выявлению причин произошедшего неблагоприятного социального исхода.
В настоящей статье рассмотрено технологическое обеспечение «Умных городов». Произведено формальное построение интеллектуальных городских анализаторов транспортно-логистической и социально-экономической мобильности.
Реализация рекомендательного управления в границах профилактики неблагоприятных социальных исходов позволила не только расширить набор управляющих функционалов, дополнив его функционалами контроля и интеллектуального анализа данных, но и увязать существующие российские и международные классификаторы недостающими кодифицированными библиотеками.
Последнее продемонстрировано на примере построения рекомендательного управления потребительской деятельности городского жителя при помощи Кодифицированной библиотеки товарных противопоказаний. Непосредственное формирование кодифицированной библиотеки товарных противопоказаний осуществляется оператором контроля потребительской деятельности в ходе анализа Международной классификации болезней десятого пересмотра, Единой системы классификации и кодирования технико-экономической и социальной информации и кодифицированной библиотеки человеческих потребностей.
Описанное выше, в контексте «Умных городов» (Smart City), позволяет говорить о возможности разрешения системных проблем рациональной организации и устойчивости городских транспортно-логистических процессов.
Согласованное использование
ГАТЯОСЭМИ с интеллектуальной систе-
мой организации ГТС [22] позволит качественно повысить эффективность транспортного и логистического обслуживания современного мегаполиса.
Работа выполнена при поддержке РФФИ № 16-31-00306 в рамках проекта «Построение модели интеллектуального управления городскими транспортными потоками».
СПИСОК ЛИТЕРАТУРЫ
1. Баринова Л.Д., Забалканская Л.Э. Комплексный подход к управлению экологически устойчивым развитием городской транспортной системы // Транспорт: наука, техника, управление. 2013. № 10. С. 24-27.
2. Paroutis S., Bennett M., Heracleous L. A strategic view on smart city technology: The case of IBM Smarter Cities during a recession// Technological Forecasting & Social Change. 2013. Pp. 1-11.
3. Каримов Т.н., Симонова Л.А. Интеллектуальная система поддержки принятия решения для оперативного управления транспортными потоками // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2011. № 1(115). С. 37-41.
4. Малыгин И.Г., Сильников М.В. Интеллектуальные системы транспортной безопасности // Проблемы управления рисками в техносфере.
2014. № 1(29). С. 1-13.
5. нурминский Е.А., Пугачев И.н., Шамрай н.Б. Определение пассажиропотоков в региональной транспортной системе на основе модифицированных гравитационных моделей // Наука и техника. 2015. № 5. С. 39-45.
6. Селиверстов Я.А. Методы и модели построения матриц транспортных корреспонден-ций // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление.
2015. № 2-3(217-222). С. 49-70.
7. Селиверстов С.А., Селиверстов Я.А. Разработка показателей интегрального развития транспортной системы мегаполиса // Науковедение. 2015. Т. 7. № 5. C. 1-24. DOI 10.5862/JCSTCS/5
8. Селиверстов С.А., Селиверстов Я.А. О методе оценки эффективности организации процесса дорожного движения мегаполиса // Вестник транспорта Поволжья. 2015. № 2(50). С. 91-96.
9. Daganzo c.F. Logistics Systems Analysis. Springer, 2005. 310 p.
10. Селиверстов Я.А. О методе анализа струк-
туры смешанного транспортного потока на городской улично-дорожной сети // Известия ПГУПС. 2015. № 3. C. 104-111.
11. Silva c.T. Bridging Theory with Practice: An Exploratory Study of Visualization Use and Design for Climate Model Comparison // IEEE Transaction on Visualization and Computer Graphics. 2015. Pp. 1-16.
12. Silva c.T. Visual Exploration of Big SpatioTemporal Urban Data: A Study of New York City Taxi Trips // IEEE Transactions on Visualization and Computer Graphics. 2013. Vol. 19(12). Pp. 2149-2158.
13. Селиверстов Я.А. О построении модели классификации межагентных отношений социально-экономического поведения городского населения в системах управления транспортными потоками мегаполиса // Науковедение. 2014. № 5. С. 188.
14. Селиверстов Я.А., Селиверстов С.А., Ста-риченков А.Л. Особенности построения системы городского транспортно-логистического мониторинга // Известия Санкт-Петербургского государственного электротехнического университета ЛЭТИ. 2015. Т. 1. С. 29-36.
15. Hafedh chourabi et al. Understanding Smart Cities: An Integrative Framework // 45th Hawaii International Conf. on System Sciences. 2012. Pp. 2289-2297.
16. Batty M., Axhausen K.W. Smart cities of the future // The European Physical Journal Special Topics. 2012. Vol. 214. Iss. 1. Pp. 481-518.
17. Kakas A.c., Kowalski R., Toni F. Abductive logic programming // Journal of Logic and Computation. 1992. Vol. 2(6). Pp. 719-770.
18. Strabykin D.A. Logical Method for Predicting Situation Development Based on Abductive Inference // J. of Computer and Systems Sciences International. 2013. Vol. 52(5). Pp. 759-763.
19. Таранцев А.А. Случайные величины и работа с ними: Учеб.-метод. пособие. СПб., 2011. 160 с.
4
20. Wei Li. Inductive Inference // Mathematical Logic. Ser. Progress in Computer Science and Applied Logic. 2014. Vol. 25. Pp. 235-255.
21. Селиверстов Я.А., Селиверстов С.А. Формальное построение цепочек транспортной активности городского населения // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2015.
№ 4(224). С. 91—104. БО! 10.5862/JCSТCS.224.9 22. Селиверстов С.А., Селиверстов Я.А.
О построении интеллектуальной системы организации и развития транспортной системы мегаполиса // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2015. № 2-3(217-222). С. 139—161. БО! 10.5862/JCSТCS/12
REFERENCES
1. Barinova L.D., Zabalkanskaya L.E.
Kompleksnyy podkhod k upravleniyu ekologicheski ustoychivym razvitiyem gorodskoy transportnoy sistemy [Integrated Approach to the Management of Environmentally Stable Development of the Urban Transportation System]. Transport: nauka, tekhnika, upravleniye [Transport: Science, Technology, Management], 2013, No. 10, Pp. 24—27. (rus)
2. Paroutis S., Bennett M., Heracleous L. A
strategic view on smart city technology: The case of IBM Smarter Cities during a recession, Technological Forecasting & Social Change, 2013, Pp. 1—11.
3. Karimov T.N., Simonova L.A. Intellektualnaya sistema podderzhki prinyatiya resheniya dlya operativnogo upravleniya transportnymi potokami [Intelligent decision support system for operational management of traffic flows], Nauchno-tekhnicheskiye vedomosti SPbGPU. Informatika. Telekommunikatsii. Upravleniye [St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunication and Control]. St. Petersburg, 2011, No. 1(115), Pp. 37-41. (rus)
4. Malygin I.G., Silnikov M.V. Intellektualnyye sistemy transportnoy bezopasnosti [Intelligent transport safety systems]. Problemy upravleniya riskami v tekhnosfere [Problems of technosphere risk management], 2014, No. 1 (29), Pp. 1-13. (rus)
5. Nurminskiy Ye.A., Pugachev I.N., Shamray N.B. Opredeleniye passazhiropotokov v regional-noy transportnoy sisteme na osnove modifitsirovan-nykh gravitatsionnykh modeley [Determination of passenger-traffic flows in regional transport system on the basis of modified gravity models]. Nauka i tekhnika [Science & Technology], 2015, No. 5, Pp. 39-45. (rus)
6. Seliverstov S.A., Seliverstov Ya.A. Metody i modeli postroyeniya matrits transportnykh korre-spondentsiy [Methods and models of the construction of transport correspondence matrix]. Nauch-no-tekhnicheskiye vedomosti SPbGPU. Informatika. Telekommunikatsii. Upravleniye [St. Petersburg State Polytechnical University Journal. Computer Science.
Telecommunication and Control]. St. Petersburg, 2015, No. 2-3 (217-222), Pp. 49-70. (rus)
7. Seliverstov S.A., Seliverstov Ya.A. Razrabot-ka pokazateley integralnogo razvitiya transportnoy sistemy megapolisa [The development of indicators for integrated development of the transport system of the metropolis]. Naukovedeniye [Internet magazine Naukovedenie], 2015, Vol. 7, No. 5, Pp. 1-24. (rus)
8. Seliverstov S.A., Seliverstov Ya.A. O metode otsenki effektivnosti organizatsii protsessa dorozh-nogo dvizheniya megapolisa [A method of evaluating the effectiveness of the organization of traffic metropolis]. Vestnik transporta Povolzhya, 2015, No. 2 (50), Pp. 91-96. (rus)
9. Daganzo c.F. Logistics Systems Analysis. Springer, 2005, 310 p.
10. Seliverstov Ya.A. o metode analiza struktury smeshannogo transportnogo potoka na gorodskoy ulichno-dorozhnoy seti [On the method of structure analysis of mixed traffic flow on urban road network], Izvestiya PGUPS, 2015, No. 3, Pp. 104-111. (rus)
11. Silva c.T. Bridging Theory with Practice: An Exploratory Study of Visualization Use and Design for Climate Model Comparison. IEEE Transaction on Visualization and Computer Graphics, 2015, Pp. 1-16.
12. Silva c.T. Visual Exploration of Big Spatio-Temporal Urban Data: A Study of New York City Taxi Trips. IEEE Transactions on Visualization and Computer Graphics, 2013, Vol. 19 (12), Pp. 2149-2158.
13. Seliverstov Ya.A. O postroyenii modeli klas-sifikatsii mezhagentnykh otnosheniy sotsialno-eko-nomicheskogo povedeniya gorodskogo naseleniya v sistemakh upravleniya transportnymi potokami megapolisa [On the construction of classification models mezhagentnyh relations of social and economic behavior of the urban population in traffic management systems metropolis]. Naukovedeniye [Internet magazine Naukovedenie], 2014, No. 5, P. 188. (rus)
14. Seliverstov Ya.A., Seliverstov S.A., Stari-chenkov A.L. Osobennosti postroyeniya sistemy gorodskogo transportno-logisticheskogo monitoringa [Features of construction of urban transport and logistics monitoring]. Izvestiya SPbGETU «LETI», 2015, No. 1, Pp. 29-36. (rus)
15. Hafedh Chourabi et al. Understanding Smart Cities: An Integrative Framework. 45th Hawaii International Conference on System Sciences, 2012, Pp. 2289-2297.
16. Batty M., Axhausen K.W. Smart cities of the future. The European Physical Journal Special Topics, 2012, Vol. 214, Iss. 1, Pp. 481-518.
17. Kakas A.C., Kowalski R., Toni F. Abductive logic programming, Journal of Logic and Computation, 1992, Vol. 2(6), Pp. 719-770.
18. Strabykin D.A. Logical Method for Predicting Situation Development Based on Abductive Inference. Journal of Computer and Systems Sciences International, 2013, Vol. 52(5), Pp. 759-763.
19. Tarantsev A.A. Sluchaynyye velichiny i rabota s nimi [Random variables and work with them]. St. Petersburg, 2011, 160 p. (rus)
20. Wei Li. Inductive Inference, Mathematical Logic. 2014. Vol. 25 of the series Progress in Computer Science and Applied Logic, Pp 235-255.
21. Seliverstov Ya.A., Seliverstov S.A. Formal-noye postroyeniye tsepochek transportnoy aktivnosti gorodskogo naseleniya [The Formal Development of Patterns of Daily Travel Activity Chains of the Urban Population]. Nauchno-tekhnicheskiye ve-domosti SPbGPU. Informatika. Telekommunikatsii. Upravleniye [St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunication and Control]. St. Petersburg, 2015, No. 4 (224), Pp. 91-104. (rus)
22. Seliverstov S.A., Seliverstov Ya.A. O postroy-enii intellektualnoy sistemy organizatsii i razvitiya transportnoy sistemy megapolisa [Construction of Intelligent System for the Organization and Development of Transport System Metropolis]. Nauch-no-tekhnicheskiye vedomosti SPbGPU. Informatika. Telekommunikatsii. Upravleniye [St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunication and Control]. St. Petersburg, 2015, No. 2-3 (217-222), Pp. 139-161. (rus)
СЕЛИВЕРСТОВ Ярослав Александрович — научный сотрудник Института проблем транспорта имени Н.С. Соломенко РАН.
199178, Россия, Санкт-Петербург, 12-я линия ВО, д. 13.
E-mail: [email protected]
SELIVERSTOV Yaroslav A. Solomenko Institute of Transport Problems of the Russian Academy of Sciences.
199178, 12th line of Vasilievsky Island, 13, St. Petersburg, Russia.
E-mail: [email protected]
СЕЛИВЕРСТОВ Святослав Александрович — научный сотрудник Института проблем транспорта имени Н.С. Соломенко РАН.
199178, Россия, Санкт-Петербург, 12-я линия ВО, д. 13.
E-mail: [email protected]
SELIVERSTOV Sviatoslav А. Solomenko Institute of Transport Problems of the Russian Academy of Sciences.
199178, 12th line of Vasilievsky Island, 13, St. Petersburg, Russia.
E-mail: [email protected]
© Санкт-Петербургский политехнический университет Петра Великого, 2016