CC BY
49
2) Разработку и сертификацию практических методик, обеспечивающих оценку основных факторов надежности ПС на различных этапах их разработки (обращая основное внимание на оценку завершенности и отказоустойчивости ПС) с учётом современных представлений о технологии оценки и обеспечения надёжности ПС.
3) Разработку и сертификацию программных средств генерации тестовых данных, необходимых для качественной оценки надёжности ПС создаваемых АСУ СН.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Полонников Р.И., Никандров А.В. Методы оценки показателей надёжности программного обеспечения. - СПб.: Политехника, 1992. - 78 с.
2. ЛипаевВ.В. Надёжность программных средств. - М.: Синтег, 1998. - 222 с.
3. Липаев В.В. Процессы и стандарты жизненного цикла сложных программных средств. Справочник. - М.: Синтег, 2006. - 260 с.
4. Василенко Н.В., Макаров В.А. Модели оценки надёжности программного обеспечения // Вестник Новгородского государственного университета. - 2004. - № 28. - C. 126-1З2.
5. ГОСТ 28806-90. Качество программных средств. - М.: Госстандарт, 1991.
6. ГОСТ Р ИСО/МЭК 9126-93. Информационная технология. Оценка программной продукции. Характеристики качества и руководство по их применению. Госстандарт России, 1993.
Статью рекомендовал к опубликованию д.т.н., профессор Е.А. Башков.
Балыбердин Валерий Алексеевич - Научно-исследовательский институт Министерства обороны России; e-mail: baliberdinv@yandex.ru; 107564, г. Москва, Погонный проезд, 10; тел.: 89162386854; д.т.н.; профессор; ведущий научный сотрудник.
Степанов Олег Алексеевич - тел.: 89165095834; начальник управления; к.т.н.
Белевцев Андрей Михайлович - Научно-исследовательский институт технологий нового поколения; e-mail: ambelevtsev@yandex.ru; 121522, г. Москва, ул. Оршавская, 3; тел.: 890З7691788; директор; д.т.н.; профессор.
Baliberdin Valery Alecseevich - Ministry of Defence of the Russian Federation; e-mail: baliberdinv@yandex.ru; 10, Pogonny’j, Moscow, 107564, Russia; phone: +79162386854; dr. of eng. sc.; professor, a leading researcher.
Stepanov Oleg Alecseevich - phone: +79165095834; cand. of eng. sc.; head the department.
Belevtsev Andrey Michailovich - Research institute of the new generation of Technologies; e-mail: ambelevtsev@yandex.ru; 3, Orshavckay street, Moscow, 121522, Russia; phone: +79037691788; director; dr. of eng. sc; professor.
УДК 681.327
А.В. Боженюк, С.Л. Беляков, И.Н. Розенберг
НАХОЖДЕНИЕ ЦЕНТРОВ НЕЧЕТКИХ ИНТЕРВАЛЬНЫХ ГРАФОВ НА ОСНОВЕ СИЛЬНОЙ СВЯЗНОСТИ*
Рассмотрена задача оптимального размещения сервисных центров по минимаксному критерию. При этом предполагается, что информация, получаемая из географической информационной системы, представляется в виде графа с нечеткими интервальными расстояниями на ориентированных или неориентированных ребрах. Для решения поставлен-
* Работа частично выполнена при финансовой поддержке РФФИ в рамках научных проектов № 13-00-13103 офи_м_РЖД и № 14-01-00032а.
ной задачи в работе вводится понятие нечеткого множества сильной связности нечеткого интервального графа. Нечеткое множество сильной связности является инвариантом нечеткого интервального графа. Показано, что задача размещения сервисных центров сводится к задаче нахождения нечеткого множества сильной связности. В работе предложен метод нахождения нечеткого множества сильной связности нечеткого интервального графа. Данный метод является обобщением метода Магу для нахождения нечеткого множества баз нечеткого темпорального графа. Рассмотрен пример нахождения нечеткого множества сильной связности нечеткого интервального графа, на основе которого делается вывод об оптимальном размещении сервисных центров в зависимости от их количества.
Географическая информационная система; нечеткий интервал; нечеткий интервальный граф; нечеткое множество сильной связности; лингвистическая переменная.
A.V. Bozhenyuk, S.L. Belyakov, I.N. Rozenberg CENTERS FINDING OF FUZZY INTERVAL GRAPHS ON THE BASIS OF STRONG CONNECTIVITY
In this paper the problem of optimal location of service centers is considered by minimax criterion. It is supposed that the information received from Geographic Information System is presented like graph with fuzzy interval distances on directed or undirected edges. To solve this problem, we introduce the concept offuzzy set fuzzy interval strongly connected graph. Fuzzy set of strong connectivity is an invariant interval fuzzy graph. It is shown that the problem of service centers location is reduced to a problem of finding fuzzy set of strong connectivity. This paper presents a method for finding a fuzzy set of strongly connected fuzzy interval graph. This method is a generalization ofMaghout method for finding fuzzy set offuzzy temporal bases offuzzy graph. An example offinding strongly connected fuzzy set offuzzy interval graph is considered here.
Geographical information system; fuzzy interval; fuzzy interval graph; fuzzy set strong connectivity; linguistic variable.
Введение. Происходящее во всем мире широкомасштабное наращивание и разноплановое внедрение географических информационных систем (ГИС) в значительной степени связано с необходимостью совершенствования информационных систем, обеспечивающих принятие решений. ГИС предлагают широкий спектр функций, таких как поиск информации, ее отображение, аналитические инструментарии и поддержка принятия решений [1, 2]. Однако географические данные часто анализируются и связываются со значительной неопределенностью. Неопределенность присутствует во всем процессе географической абстракции: от приобретения данных до их использования [3]. Процесс абстракции и генерации реальных форм географических данных определяются как моделирование данных [4].
Одной из задач, решаемых с ГИС, является задача размещения центров [5]. В некоторых случаях критерий оптимальности может состоять в минимизации расстояния (или времени проезда) от центра обслуживания до самого отдаленного пункта обслуживания, другими словами - в оптимизации «наихудшего варианта» [6]. Однако очень часто информация, представляемая в ГИС, бывает приблизительной или недостаточно достоверной [7]. Поэтому при формализации задачи размещения центров может оказаться естественным использование субъективных оценок при определении расстояний между частями рассматриваемой территории или временем проезда, на основе опыта эксперта с использованием лингвистических переменных [8, 9].
В данной работе рассматривается подход к размещению центров обслуживания в случае, когда рассматриваемая территория задается в виде нечеткого графа с трапецеидальными функциями принадлежности расстояния или времени, а критерием оптимальности является минимизация суммы расстояний (или времени) от центров обслуживания до оставшихся вершин графа с возвратом.
Основные понятия и определения. Будем считать, что информация, полученная из ГИС, представлена в виде нечеткого интервального графа С = (X, Щ, в котором X - вершины графа, представляющие районы некоторой территории, а и = {< ./(х1., х]) >} - множество нечетких ориентированных ребер с весами в
виде нечетких интервалов расстояний вида / = \аі/.Ьі/ \. Здесь |аи.А; | - «около интервала [а, Ь^ ]» - значение лингвистической переменной «расстояние между объектами», величины а , Ь є Я1 и а < Ь • Будем считать, что величина
У У ЧУ
~ = [0,0], V/ є {1,2,...,и).
Для обоснования решения данной задачи введем понятие интервальной сильной связности нечеткого интервального графа. Данное понятие является расширением понятий сильной связности и степени живучести для обычного ориентированного и нечеткого графов [10].
Пусть ^ = [~, Ь ] и ~ = [~2, Ь2] - произвольные нечеткие интервалы. Если выполняются неравенства a1> a2 и Ь1< Ь2, то интервалы ^ и /2 будем называть несоизмеримыми, иначе, на интервалах ^ и /2 естественным образом можно задать отношения >, <, >, и <. Суммой нечетких интервалов ^ и /2 назовем интервал ^ = [~, Ь ], в котором границы а = а + а2 и Ь = Ьх + Ь2 [11].
Пусть на множестве интервалов L={li} заданы две операции INCMIN(L) и INCMAX(L) - выделение подмножеств наименьших и наибольших интервалов из множества интервалов L соответственно [12].
Так, если множество интервалов L={[10,15], [12,14], [12,17], [15,18]}, то INCMIN(L) = {[10,15], [12,14]} и INCMAX(L) = {[15,18]}.
Пусть х и ^ - произвольные вершины нечеткого интервального графа
С = (X, и). Обозначим через Ь множество нечетких интервалов, с помощью
которых вершина у достижима из вершины x. Тогда паре вершин ^,у) можно поставить в соответствие множество нечетких интервалов:
Ь(х, у) = темы(Ь^)+темы(Ь^).
Величина Ь (х, у) определяет семейство несоизмеримых нечетких интервалов (или один), определяющее наименьшее нечеткое интервальное расстояние от вершины x до у и обратно.
Для любого подмножества вершин YcX определим семейство интервалов Л(7), определяемых выражением
Л(7) = ШСМЛХ{/ЖМТЫ{Цх,у))).
Среди всех подмножеств, состоящих из одной вершины, выберем такие, у которых интервалы расстояния также являются наименьшими или несоизмеримыми,
и обозначим их через Л . Среди всех подмножеств, состоящих из двух вершин, выберем такие, у которых интервалы расстояния также является наименьшими или не сравниваемыми между собой, и обозначим их через Л2 , и т.д.
Определение. Множество Л = {<Л1 /1 >,<Л2/2 <Ли /п >} назовем не-
четким множеством сильной связности нечеткого интервального графа G .
Нечеткое множество сильной связности определяет совокупность наименьших или не сравниваемых между собой нечетких интервалов расстояний от любого района до некоторого центра обслуживания и обратно при обслуживании всей территории kцентрами обслуживания (к.е {1,2,...,п}).
Для нахождения нечеткого множества сильной связности рассмотрим метод, являющийся обобщением метода Магу для нахождения нечетких интервальных баз [12].
Рассмотрим некоторое подмножество Y с семейством интервалов Л (7). Пусть некоторый интервал ~ принадлежит семейству Л(7). Тогда для произвольной вершины xi еХ должно выполняться одно из условий: а) xi еY; б) если х,^, то существует некоторая вершина Xj еY, от которой до вершины х, и обратно нечеткий интервал
расстояния / не больше I . Иными словами, справедливо высказывание:
(Ух, е X)[хг е7 V (Зху е7 | ~ ~)]. (1)
С каждой вершиной х,еХ нечеткого интервального графа свяжем булеву переменную рравную 1, если вершина х, е Y, и 0, если вершина х,-£ 7 Введем предикатную форму Q(lji), равную 1, если ~ < I , и 0 в противном случае. Используя
аналогию между кванторами общности и существования с одной стороны, и операциями конъюнкция и дизъюнкция с другой, получаем истинность выражения
Ф в = & (р, V V(Р] & 0(~)) = 1. (2)
1=1,п ]=1,П
Полагая, что Q(lii) = 6([0,0]) = 1, выражение (2) перепишем как
Фв = & ( V(Р] & б(/~,)) = 1. (3)
1=1, п ]=1,п
Раскроем скобки в выражении (3) и приведем подобные члены, используя правила поглощения:
6(0 & 6(4)=6(0 пРи к > к;
■ РАРг&0(1)&0(к)^РАРг&0(Ь) = РАРг&0(к)&0(к) пРи (4)
л&й&6(0^&6(/2) = л&6(/'2) при /~>/2.
А в случае несоизмеримых интервалов, например, если I = [], Ъ ], 4 = [], Ь ] и выполняется а1> а2 и Ъ1< Ъ2, то
6(0 & 6(12)=б(13) > (5)
где нечеткий интервал 13 = [~~, Ъ2 ].
В результате выражение (3) примет вид Ф В = V (р1;. & Р2, &...&Рш & 0(0 )&6(~2г )&...&б(/^г )) = 1 (6)
7=1,/
Можно доказать следующее свойство:
Свойство. Если в выражении (6) дальнейшее упрощение на основе правил
(4) и (5) невозможно, то для каждого /-го дизъюнктивного члена совокупность всех вершин, соответствующая переменным, которые в нем присутствуют, дает некоторое множество с семейством несоизмеримых интервалов, определяемых присутствующими предикатами.
На основании данного свойства можно предложить следующий метод нахождения нечеткого множества сильной связности нечеткого интервального графа:
♦ для рассматриваемого нечеткого интервального графа G записать выражение (3);
♦ упрощая выражение (3), используя правила нечеткого поглощения (4) и
(5), привести его к виду (6);
♦ по полученным дизъюнктивным членам разложения (6) выписать нечеткое множество сильной связности.
Пример нахождения центров. Рассмотрим данный метод на примере нечеткого интервального графа, представленного на рис. 1
Х2
X,
Рис. 1. Пример нечеткого интервального графа
Для данного графа составим матрицу нечетких расстояний длины 1 (матрицу смежности), имеющую вид
Rx =
X1 ( да [ІШ] да [1?,??] да
X [І?,??] да [Ш?] да да
X да [іТД] да [1?,??] [1?,??]
X4 [І?,??] да [11,12] да [І?,??]
X5 v да да [12,1?] [І?,??] да
Для нахождения матрицы интервальной достижимости графа, воспользуемся методом возведения в степень матрицы нечетких расстояний, приведенным в работе [12]. В результате получим матрицу достижимости
кх = я(Х
Nv =
По полученной матрице достижимости определим симметричную матрицу нечетких интервальных расстояний:
>ї x о R? о R_? о Rx4 :
Xi X2 X? X? X?
Xi ' {[0,0]} {[11,1?]} {[2T,2~]} {[І?,!?]} {[2?,??]}
X2 {[1?,??]} {[0,0]} {[І?,!?]} {[2T,2~]} {[2T,2?]}
X? {[2T,2~]} {[І?,!?]} {[0,0]} {[11,1?]} {[12,1?]}
X4 {[І?,!?]} {[2T,2~]} {[11,1?]} {[0,0]} {[І?,!?]}
X? ^Я]} {[2T,2~]} {[І?,!?]} {[І?,!?]} {[0,0]}
X
X
X
X
X
2
У
У
1
т Х2
Dx = Nx + NX = x
X3
x.
{[0,0]} {[23,25]} {[46,52]} {[30,32]} {[58,62]}
{[23,25]} {[0,0]} {[22,26]} {[44,50]} {[46,52]}
{[46,52]} {[22,26]} {[0,0]} {[22,24]} {[24,26]}
{[30,32]} {[4~4,5~0]} {[22,24]} {[0,0]} {[29,30]}
{[28,62]} {[4~6,5~2]} {[24,26]} {[29,30]} {[0,0]} .
По полученной матрице достижимости составим выражение Фв = {Q(0;0)Pi v Q(23;25)^ v Q(46;52)p3 v Q(30;32)p4 v Q(58;62)p5}&
& {Q(23;25)px v Q(0;0)p2 v Q(22;26)p3 v Q(44;50)pA v Q(46;52)p5}&
& {Q(46;52)pi v Q(22;26)p2 v Q(0;0)p3 v Q(22;24)pA v Q(24;26)p5}&
& {Q(30;32)pi v Q(44;50)p2 v Q(22;24)p3 v Q(0;0)p4 v Q(29;30)p5}&
& {Q(58;62)pi v Q(46;52)p2 v Q(24;26)p3 v Q(29;30)pA v Q(0;0)p5}.
Приведя подобные члены, используя нечеткого поглощения (4) и (5), окончательно получаем:
Фв = Q(58;62)p1 v Q(46;52)p2 v Q(46;52)p3 v Q(44;50)p4 v Q(58;62)p5 v Q(44;50)p2ps v Q(24;26)pp3 v Q(29;30)pp4 v Q(29;30)pps v Q(24;26)p2p3 v Q(29;30)p2p4 v Q(29;30)p2p5 v Q(24;26)pp3 v Q(30;32)p3p4 v Q(24;26)ppp3 v Q(30;32)pip2p5 v Q(23;25)pip3p5 v Q(23;25)pp4ps v Q(23;25)p2p3p5 v Q(23;25)p2p4ps v Q(22;26)pip2p5 v Q(22;24)pp2p3p5 v Q(22;24)pp2p4p5 v Q(22;26)pp2p3p5 v Q(24;26)pp2pp4 vQ(0;0)pip2p3p4p5.
Таким образом, нечеткое множество сильной связности нечеткого интервального графа имеет вид
Л = {< [44;50] /1 >; < [24;26] /2 >; < {[23;25],[22,26]}/3] >;
< {[22,24], [20,26]}/ 4 >, < [0;0]/5 >}.
Нечеткое множество сильной связности определяет, в частности, следующее оптимальное распределение сервисных центров: если мы имеем 5 сервисных центров, то размещаем их в каждой вершине. В этом случае никаких затрат на достижение остальных вершин не потребуется (расстояние равно 0). Если имеется три центра, то их можно разместить в вершинах, например, xi, x3, x5 с минимальным расстоянием, находящемся в нечетком интервале [23;25]. Или, например, в вершинах xi , x2, x5 c минимальным расстоянием, находящемся в нечетком интервале [22;26] . Если имеется только один сервисный центр, то его нужно разместить в районе x4, и тогда минимальное расстояние находится в нечетком интервале [44;50].
Заключение. Рассмотренный метод позволяет решать актуальные задачи нахождения центров обслуживания. Однако необходимо отметить, что данный подход позволяет определять наилучшие места распределения сервисных центров в случае их размещения в вершинах графа, а не на ребрах с генерацией новых вершин. Кроме того, большой интерес вызывает актуальная задача свертки несоизмеримых интервалов, что позволило бы упростить процесс вычислений.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Clarke K. Analytical and Computer Cartography. Englewood Cliffs, N.J.: Prentice Hall, 1995.
2. Longley P., Goodchild M., Maguire D., Rhind D. Geographic Information Systems and Science. New York: John Wiley & Sons, Inc., 2001.
x
x
x
x
x
5
x
V
/
3. Zhang J., GoodchildM. Uncertainty in Geographical Information. New York: Taylor & Francis, Inc., 2002.
4. Goodchild M. Modelling Error in Objects and Fields. In: Goodchild, M.F., Gopal, S. (eds.): Accuracy of Spatial Databases. Basingstoke: Taylor & Francis, Inc. - 1989. - P. 107-113.
5. Кофман А. Введение в прикладную комбинаторику. - М.: Наука, 1975.
6. КристофидесН. Теория графов. Алгоритмический подход. - М.: Мир, 1978.
7. Malczewski J. GIS and Multicriteria Decision Analysis. - New York: John Wiley & Sons, Inc., 1999.
8. Zadeh L. The Concept of a Linguistic Variable and Its Application to Approximate Reasoning. Inf. Sci. 8, 9, 1975.
9. Берштейн Л.С., Боженюк А.В. Нечеткие графы и гиперграфы. - М.: Научный мир, 2005.
10. Боженюк А.В., Розенберг И.Н., Ястребинская Д.Н. Нахождение живучести нечетких транспортных сетей с применением геоинформационных систем. - М.: Научный мир, 2012. - 176 с.
11. Hansen E. Global Optimization Using Interval Analysis. - New York: Dekker, 1992.
12. Берштейн Л.С., Боженюк А.В. Розенберг И.Н. Моделирование поиска сервисных центров в ГИС нечеткими интервальными графами // Известия ЮФУ. Технические науки. - 2010. - № 5 (106). - С. 7-16.
Статью рекомендовал к опубликованию д.т.н., профессор Е.А. Башков.
Боженюк Александр Витальевич - Научно-технический центр «Информационные технологии» федерального государственного образовательного учреждения высшего профессионального образования «Южный федеральный университет»; e-mail: avb002@yandex.ru; 347922, г. Таганрог, Октябрьская пл., 4; тел.: 89198799621; д.т.н.; профессор.
Беляков Станислав Леонидович - тел.: 88634611086; д.т.н.; профессор.
Розенберг Игорь Наумович - ОАО «Научно-исследовательский и проектно-конструкторский институт инженеров железнодорожного транспорта» (НИИАС); e-mail: I.kudreyko@gismps.ru; 109029, г. Москва, ул. Нижегородская, 27, стр. 1; тел.: 84959677701; зам. генерального директора; д.т.н.
Bozhenyuk Alexander Vitalievich - Scientific and Technical Center «Information Technologies» of Federal State-Owned Autonomy Educational Establishment of Higher Vocational Education «Southern Federal University»; e-mail: avb002@yandex.ru; 4, Oktyabrskaya Square, Taganrog, 347922, Russia; phone: +79198799621; dr. of eng. sc.; professor.
Belyakov Stanislav Leonidovich - phone: +7863611086; dr. of eng. sc.; professor.
Rozenberg Igor Naymovich - Public corporation “Research and development institute of railway engineers”; e-mail: I.kudreyko@gismps.ru; 27/1, Nizhegorodskaya, Moscow, 109029, Russia; phone: +74959677701; deputy director; dr. of eng. sc.
УДК 681.142
А.М. Белевцев, М.А. Дружинин
АНАЛИЗ ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ ОПТИМИЗАЦИИ ДЛЯ ТРЕЙДЕРСКИХ ОПЕРАЦИЙ НА ФОНДОВОЙ БИРЖЕ
Развитие биржевой торговли и ее глобализация приводят к интенсивному развитию информационных технологий и их применению в биржевых операциях. Для выполнения успешных трейдерских операций необходимо в очень сжатые сроки принимать решения на основании множества различных факторов. Существующая проблема сводится к оптимизационной задаче большой размерности с нелинейной целевой функцией и нелинейными ограничениями. Генетические алгоритмы оптимизации имеют полный набор инструментов
