CC BY
52
Раздел IV. Интеллектуальные системы, автоматика,
управление
УДК 681.3:519.168
Л.С. Берштейн, С.Л. Беляков, А.В. Боженюк
МАРШРУТИЗАЦИЯ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ
С ИСПОЛЬЗОВАНИЕМ НЕЧЁТКИХ ТЕМПОРАЛЬНЫХ ВНЕШНЕ УСТОЙЧИВЫХ МНОЖЕСТВ*
Рассматривается задача маршрутизации в транспортной сети с нечётко определёнными параметрами, изменяющимися во времени. В связи с этим рассматривается понятие нечеткого темпорального графа, который является обобщением, с одной стороны, нечеткого, а с другой стороны — темпорального графов. Предлагается использовать нечеткий темпоральный граф в качестве модели геоинформационной системы. Анализируется задача и предлагается метод выделения нечетких темпоральных внешне устойчивых множеств. Рассматриваются особенности современных геоинформационных систем, связанные с оперативным картографированием. Вводится модель рабочей области прецедента маршрутизации. Описываются процедуры логического вывода для оценки близости и степени аналогичности прецедентов.
Маршрутизация; геоинформационные системы; нечеткий темпоральный граф; степень достижимости; время достижимости; нечеткое темпоральное внешне устойчивое множество.
L.S. Bershtein, S.L. Beliakov, A.V. Bozhenyuk
ROUTING IN THE CONDITIONS OF UNCERTAINTY WITH USE FUZZY TEMPORAL EXTERNAL STABLE SETS
In this paper the routing problem in a transport network with fuzzy parametres changing in time is considered. In this connection, the concept of fuzzy temporal graph is introduced. Which one is a generalisation of a fuzzy graph on the one hand, and a temporal graph on the other hand. The incidence of graph vertices is changed in the discrete time in fuzzy temporal graph. Fuzzy temporal graph is offered to use as a model in geographical information system. The problem is analyzed and the method of allocation fuzzy temporal external stable sets is offered. The features of modern geographical information systems connected with operative mapping are considered. The model of working area of precedent of routeing is entered. Procedures of a logic conclusion for an estimation of affinity and degree of analogousness of precedents are described.
Routeing, geographical information systems; fuzzy temporal graph; degree of graph reachability; reachability time; fuzzy temporal external stable set.
В практике управления техническими и социально-экономическими системами существует достаточно обширный класс задач, связанных с управлением материальными потоками. Целью управления потоком является перемещение продукта из одной точки пространства в другую с минимальными затратами при соблюдении ряда поставленных ограничений. Важной особенностью реализации процесса управления заключается в неполноте, неточности информации и много-
* Работа выполнена при поддержке гранта РФФИ проект № 12-01-00032а. 82
факторности описания транспортной среды. Это создаёт трудности в построении наилучшей стратегии маршрутизации - задачи выбора пути перемещения продукта в транспортной сети.
Данная работа посвящена анализу модели маршрутизации, использующей концепцию темпоральных нечётких графов и пространственного анализа в интеллектуальных геоинформационных системах. Сочетание формализмов графовых моделей с процедурами извлечения достоверной информации о состоянии реальной транспортной сети способно значительно повысить качество решений задачи маршрутизации.
Теория графов привлекает большое внимание специалистов различных областей знания. Традиционно теория графов используется для представления отношений между элементами сложных структур различной природы [1]. При этом данные отношения между элементами являются постоянными и не меняются во времени. Такие графы в работе [2] были названы «статическими». В случае, когда отношения между элементами некоторой структуры изменяются во времени, становится актуальным использование графой модели, в которой связи между вершинами графа изменяются во времени, т.е., темпорального графа [3]. В случае, когда в темпоральном графе, связи между вершинами являются нечеткими, приходим к понятию нечеткого темпорального графа [4]. Однако использование нечетких темпоральных нечетких графов как моделей различных систем имеет трудности. Эти связано с тем, что большинство изоморфных преобразований нечетких графов изменяют их внешнее представление, не меняя их сигнатуры. В связи с этим, актуальными являются вопросы, связанные с рассмотрением инвариантов нечетких темпоральных графов. В данной работе рассматривается понятие нечеткого множества внешней устойчивости, которое является инвариантом относительно изоморфных преобразований рассматриваемого нечеткого темпорального графа и позволяет производить его структурный анализ.
Темпоральным нечетким графом [5] называется тройка О =(Х,{ Г( },Т), где X - множество вершин графа с числом вершин |Х|=и; Т={1,2,...,Щ - множество натуральных чисел, определяющих (дискретное) время; { Г( } - семейство нечетких
соответствий, или нечетких отображений множества вершин X в себя в моменты времени 1еТ. То есть
(УхеХ)(^еГ) [ ~ (х) = {<Иг (У)/У >}], У е X, е [0,1].
Графически темпоральный нечеткий граф можно задать в виде ориентированного графа (рис. 1), на дугах которого указано нечеткое множество на множестве времени Т.
{<0,8/1>,<0,5/2>,<0,6/3>}
Рис. 1. Пример нечеткого темпорального графа
Таким образом, темпоральный нечеткий граф сводится к семейству Т нечетких суграфов на одном и том же множестве вершин X.
Пусть задан нечеткий суграф Ог = (X,0{) темпорального нечеткого графа
О=(Х,{ Г( },Т), где X - множество вершин, и; = {^; (х{, х ■) | (х{, х ■) е X 2} -нечеткое множество ребер в момент времени I с функцией принадлежности : X2 ^ [0,1]. Рассмотрим нечеткий подграф О' = (X',0'), где
X' с X,и' с и{. Пусть X' - произвольное подмножество множества вершин X. Для каждой вершины у е X \ X' определим значение
Г( У) = шах{^; (у, х)}. (1)
xеX ’
Множество X' назовем нечетким внешне устойчивым множеством графа
О со степенью внешней устойчивости Д(X') = шш у(у). Учитывая выраже-
yEX \ X'
ние (1), получаем Д(X') = шт шах^(у, х)}.
yеX\X xеX
Введем теперь понятие минимального нечеткого внешне устойчивого множества темпорального нечеткого графа, являющегося расширением множества для нечетких графов [6-8].
Подмножество X' С X назовем минимальным внешне устойчивым множеством суграфа О{ со степенью Д( X'), если для любого подмножества
X" С X выполняется условие: (ХЖ') <ДX/).
Пусть 1 = {X X X } - семейство всех минимальных нечетких внешне устойчивых к вершинных множеств со степенями внешней устойчивости
Х , Х ,..., Х соответственно. Обозначим через
Xk X к X к
РГ = шахД. XXk2,..., XXк}.
Если семейство 1 = 0 , то положим ДЩ™ = ХШЦ . Величина Д™1 означает, что в графе существует подграф на к вершин со степенью внешней устойчивости Д™1 и не существует никакого другого подграфа с к вершинами, чья степень
внутренней устойчивости была бы больше величины Д™1.
Множество ~ ={<ХЩт/1 >,<ХЩтх/2>,...,<ХТ/П >} является нечетким множеством внешней устойчивости темпорального нечеткого графа О =(X,{Г },Т) в момент I. Множество В = & В назовем нечетким множеством внешней устой-
г=\,Т
чивости темпорального нечеткого графа О =(X,{ Г( },Т).
Рассмотрим метод нахождения всех минимальных нечетких внешне устойчивых множеств с наибольшей степенью внешней устойчивости.
Пусть Р - некоторое нечеткое внешне устойчивое множество нечеткого графа О = ( X ,и) со степенью внешней устойчивости Х(Р) . Тогда для произ-
вольной вершины х1 е X должно выполняться одно из двух условий (или оба одновременно): а) вершина х1 принадлежит рассматриваемому множеству Р; б) существует некоторая вершина Xj, которая принадлежит множеству Р и при
этом функция принадлежности & Л (х•, х ■) > Д(Р) .
геТ ■’
Иными словами, справедливо следующее высказывание:
(Ух; е X )[х(. е Р V (З^. )(х е Р&(&Д (х., Xj )) >Х(Р))]. (2)
1 геТ 1
Каждой вершине х. е X поставим в соответствие булеву переменную р., принимающую значение 1 при х. е Р и 0 - в противном случае. Высказыванию
& Л (х., х-) >Д(Р) поставим в соответствие нечеткую переменную
геТ ]
= & Л(х,х-).
Переходя от кванторной записи высказывания (2) к записи через логические операции, получаем истинное логическое высказывание
фР = &(р.VV(р1 &4)).
1 1
Полагая £ = 1 и учитывая, что для любого х1 выполняется равенство
р; V V р; & =V р -а;-, окончательно получаем
1 1
ф Р = & V (£-р-). (3)
• 1
В выражении (3) раскроем скобки и приведем подобные члены, используя правила нечеткого поглощения (3). В результате выражение (3) будет представлено в виде
фт = X(р. & р21&...& рк & а1). (4)
Если в выражении (4) дальнейшее упрощение на основе правил (3) невозможно, то для каждого 1-го дизъюнктивного члена совокупность всех вершин, соответствующая переменным, которые в нем присутствуют, дает минимальное внешне устойчивое множество с вычисленной степенью внешней устойчивости
С1 . Найдем минимальные внешне устойчивые множества для графа, приведенного на рис. 1. Выражение (3) для этого графа примет вид
ФР = (р1 V0,5р2)&(р2 V0,4р3)&(р3 V0,2р4)&(р4 V0,1р V0,6р2).
Перемножая первую скобку на вторую, а третью на четвертую и используя правила поглощения, получаем
Фр = (р.р2 V0,4р.р3 V0,5р2)&(р3р4 V0,6р2р3 V0,1р.р3 V0,2р4).
Перемножая полученные скобки, окончательно получаем
ФР = р1 р2 р3 р1 V 0М р2р3 V 0,2р. р2 р4 V 0,4р1 ^3 р4 V 0,1^1 ^3 V 0,5^2^3 V 0,2^2Ли
Из последнего равенства следует, что нечетким множеством внешней устойчивости темпорального графа О является
В = {< 0/1>, < 0,5/2 >,< 0,6/3 >,<1/4 >}.
Данное множество означает, в частности, что в рассматриваемом графе в любой момент времени существует подмножество из двух вершин, в которое оставшиеся две вершины отображаются со степенью не менее 0,5; существует подмножество из трех вершин, в которое оставшаяся вершина отображается со степенью 0,6.
Применение описанного формализма на практике даёт возможность оценивать свойства транспортных сетей и решать задачу маршрутизации, перенося опыт с одних сетей на другие. Вместе с тем, получение данных об исходных временных диаграммах изменения весов ребер продолжает оставаться актуальной проблемой. Рассмотрим подход к её решению с помощью ГИС.
Стандарты картографического производства предполагают обновление и корректировку карт с периодом в 5-7 лет и более, что полностью исключает фиксацию кратковременных явлений. Кроме того, при картографировании территорий принципиально не ставится задача отображения «быстропротекающих» процессов и явлений. Всякая географическая карта является обобщением наблюдений, сделанных в течение длительного временного периода. Обеспечить оперативное обновление картографических данных ГИС достаточно сложно по ряду объективных причин. В частности, отдельные этапы создания карт не поддаются формализации, поскольку предполагают использование знаний, умений и опыта экспертов-картографов. Это увеличивает сроки обновления карт. Поэтому следует заключить, что традиционное картографирование не даст ожидаемого эффекта принципиально.
Создать достоверную картину динамичного реального мира возможно лишь с привлечением оперативной информации от разнородных систем, фиксирующих реальные события и связанных телекоммуникациями. Особую роль здесь играет сеть Интернет. Например, данные об аномальной природной ситуации можно получить как сообщение из новостных потоков (ИЗБ), опубликованных космических или аэрофотоснимков, видеопотоков Web-камер, репортажей из электронных средств массовой информации, из личных блогов, от специализированных сообществ в социальных сетях, а также из картографических сервисов. Зачастую такая информация не метрическая и не содержит явной координатной привязки. Тем не менее ценность её в случае принятия ответственных решений настолько высока, что способна компенсировать недостаток точности и полноты.
Следует предположить, что совершенствование систем распознавания изображений, текстов и речи в недалёком будущем приведёт к появлению новой функции геоинформационных систем - картографированию не полностью определённых ситуаций. Соответствующая подсистема будет представлять в образнознаковом виде объекты и явления, описание которых получено из источников информации в сети Интернет. Очевидно, что требуется особый подход к процедурам построения и оценки качества подобных карт. Его основой должно стать использование принципов интеллектуализации информационных систем.
Возможная реализация двух ситуаций в картографическом виде показана на рис. 2. На участок карты, соответствующей спутниковому снимку, нанесены два площадных объекта, отображающих автомобильные пробки. Можно видеть, что отображение ситуаций на базовой географической основе не согласовано с окружающими объектами. Это вполне ожидаемо ввиду неточности описания шаблона ситуации и упрощённого алгоритма его отображения на карте. Вместе с тем, очевидна полезность такой информации о реальном мире. Показанные картографические объекты существуют на карте в течение ограниченного времени, которое также оценивается программой распознавания.
Рис. 2. Спутниковый снимок и не определённая ситуация на карте
В организованных подобным образом ГИС возникает возможность по-новому использовать опыт маршрутизации.
Предположим, что имеется опыт прохождения по маршруту Р - временной график прохождения маршрута
Р = {(Po, а( Р^ ^1),...,( Рп , *п )} где (Р1,tl)- пара «участок пути - временной интервал прохождения пути». Используя методологию прецедентного анализа [9], полученное знание можно распространить на ту же траекторию в любой другой временной промежуток. Такой вариант справедлив только в одном случае, когда поведение транспортной сети не зависит от времени. Для повышения достоверности оценки маршрута привлекают дополнительную информацию о поведении транспортных потоков. Например, предполагают, что в изменении поведения присутствует суточная цикличность, недельная или месячная периодичность, сезонность. Тогда, если Р^ - маршрут,
сконструированный на основе прецедента Р , то возможность его практического использования определится ограничением
М(Р,РА1) >£,
где М (х, у) - метрика близости прецедентов, £ - уровень принадлежности расстояния между прецедентами, выше которого располагается область их эквивалентности. Величина М (Р, Р^ ) оценивается использованием экспертных знаний.
Недостатком подобной модели оценивания маршрутов является отсутствие анализа асинхронных событий. К ним относятся события с непредсказуемыми моментами наступления и завершения. Например, ремонт дороги или возникшая даже недалеко от магистрали аварийная ситуация может привести к временному изменению поведения участка транспортной сети. С этой целью представляется целесообразным использовать концепцию рабочей области прецедента, которая определяется как
АР = Р и Е,
где Р - множество объектов, описывающих маршрут на карте, Е - множество объектов окружения маршрута, прямо или косвенно влияющих на его поведение.
Множество E строится как результат экспертного анализа прецедента в картографическом виде. Тем самым анализ временного поведения любого участка транспортной сети связывается с областями на карте. Объекты, явления и процессы должны быть отображены картографическими объектами с пространственной привязкой.
Логические рассуждения, на основе которых формируются степени принадлежности дуг нечеткого темпорального графа, базируются на следующих механизмах.
Нечёткая эквивалентность прецедентов определяется как
M(E ,E ) >£^ P = P .
у т’п' m n
Здесь M (x, y) - метрика близости областей окружения прецедентов. Как и в предыдущем случае, расстояние оценивается с помощью экспертных знаний.
Аналогия между прецедентами (обозначим Pm = Pn) может быть установлена как
M(E ,E ) >£^ P = P ,
у m’ ns m — n 5
где
(Em С Em )&(En С En )& (Em П En Ф 0), т.е. аналогия определяется структурным образом. В этом случае идёт речь о совпадении отдельных подмножеств экземпляров объектов и их типов.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Кристофидес Н. Теория графов. Алгоритмический подход. - М.: Мир, 1978.
2. Kostakos V. Temporal graphs. In Proc. of Physica A: Statistical Mechanics and its Applications. - 2008. - Vol. 388, № 6. - P. 1007-1023.
3. Берштейн Л.С., Боженюк А.В. Использование темпоральных графов как моделей сложных систем // Известия ЮФУ. Технические науки. - 2010. - № 4 (105). - С. 198-203.
4. Берштейн Л.С., Боженюк А.В., Розенберг И.Н. Определение сильной связности нечетких темпоральных графов // ОПиПМ. 2- 011. - Т. 18. - Вып. 3. - С. 414-415.
5. Берштейн Л.С., Беляков С.Л., Боженюк А.В. Использование нечетких темпоральных графов для моделирования в ГИС // Известия ЮФУ. Технические науки. - 2012. - № 1 (126). - С. 121-127.
6. Берштейн Л.С., Боженюк А.В. Определение нечетких внутренне устойчивых, внешне устойчивых множеств и ядер нечетких ориентированных графов // Известия РАН. ТиСУ. - 1999. - № 1. - С. 161-165.
7. Bershtein L.S. and Bozhenuk A.V. Maghout Method for Determination of Fuzzy Independent, Dominating Vertex Sets and Fuzzy Graph Kernels // Int. J. General Systems. - 2001. - Vol. 30, № 1. - P. 45-52.
8. Берштейн Л.С., Боженюк А.В. Нечеткие графы и гиперграфы. - М.: Научный мир, 2005.
9. Люггер Д.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем: Пер. с англ. - 4-е изд. - М.: Вильямс, 2005.
Статью рекомендовал к опубликованию д.т.н., профессор Я.Е. Ромм.
Берштейн Леонид Самойлович - Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Южный федеральный университет»; e-mail: lsb@tti.sfedu.ru; 347928, г. Таганрог, пер. Некрасовский, 44; тел.: 88634371695; кафедра прикладной информатики; зав. кафедрой; д.т.н.; профессор.
Беляков Станислав Леонидович - е-mail: beliacov@yandex.ru; д.т.н.; профессор.
Боженюк Александр Витальевич - е-mail: avb002@yandex.ru; кафедра прикладной информатики; д.т.н.; профессор.
Bershtein Leonid Samoilovich - Federal State-Owned Autonomy Educational Establishment of Higher Vocational Education “Southern Federal University”; e-mail: lsb@tti.sfedu.ru; 44, Nekrasovskiy, Taganrog, 347928, Russia; phone: 88634371695; the department of applied information science; head the department; dr. of eng. sc.; professor.
Beliacov Stanislav Leonidovich - e-mail: beliacov@yandex.ru; the department of applied information science; dr. of eng. sc.; professor.
Bozhenyuk Alexandr Vitalievich - e-mail: avb002@yandex.ru; the department of applied information science; dr. of eng. sc.; professor.
УДК 681.3
О.В. Шевченко АНАЛИЗ СОВРЕМЕННЫХ ПОДХОДОВ ПРОЕКТИРОВАНИЯ ИНФОРМАЦИОННЫХ СИСТЕМ
Проводится анализ существующих подходов проектирования информационных систем. Выделяются аспекты для их сравнения: предметная область, структура данных, интеграция. Проанализированы требования, предъявляемые к информационным системам. В статье рассматриваются классические подходы и подход на основе метамодели. Описываются особенности рассматриваемых подходов относительно аспектов и требований. По проведенному анализу приводится рисунок одного из вариантов реализации информационной системы. В результате сравнения предлагается использовать подход на основе метамодели. В качестве примера реализации этого подхода приводится платформа Primus.
Проектирование; информационная система; метамодель.
O.V.Shevchenko ANALYSIS OF MODERN APPROACHES THE DESIGN OF INFORMATION
SYSTEMS
The analysis of the existing approaches of designing information systems is described. Aspects for comparison such as: subject area, the data structure, the ability to integrate highlighted. The requirements for information systems analyzed. The article shows the classical approach and the approach based on the metamodel. The peculiarities of the considered approaches on aspects and requirements described. A picture of the options for implementing an information system provides according to the analysis. The comparison is proposed to use an approach based on the metamodel. As an example of this approach provides a platform Primus.
Design; information system; metamodel.
Все нужно проектировать сверху вниз, за исключением фундамента, с которого нужно начинать.
Алан Джей Перлис
Введение. Темпы развития и динамика современного мира находят свое отражение не только в различных сферах деятельности, применяемых технологиях, методах производства, но и предъявляют к ним определенные требования. Управление любой деятельностью, ее поддержка, сегодня неразрывно связаны с информационными системами (ИС), которые специалисты пытаются создавать с учетом возможных изменений в различных сферах.
В данной статье проводится анализ имеющихся на сегодняшний день подходов проектирования ИС относительно трех аспектов, которые являются наиболее чувствительными к различного рода изменениям, и поэтому их сложнее всего учитывать, когда речь идет о создании ИС. Такими аспектами являются: предметная область, структура данных и возможность интеграции.
