Научная статья на тему 'Методы решения многокритериальных задач оптимизации информационных систем'

Методы решения многокритериальных задач оптимизации информационных систем Текст научной статьи по специальности «Математика»

CC BY
2630
175
i Надоели баннеры? Вы всегда можете отключить рекламу.

Аннотация научной статьи по математике, автор научной работы — Безрук Валерий Михайлович

С единых позиций излагается методология оптимизации информационных систем при учете совокупности показателей качества, включая особенности многокритериальной постановки задачи, методы формирования множества допустимых вариантов и нахождения подмножества Парето-оптимальных систем, а также выбора среди них единственного варианта системы.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Methods of decision of multi-criteria tasks of information systems optimization

Methodology of decision of information systems optimization problems accounting for the set of quality indices is set out. Particular features of basic steps of problem decision are considered. In particular, the reasons of appearance of multi-criteria task are analyzed; methods of forming of the set of acceptable variants of systems are set force. Methods of obtaining of subset of Pareto-optimal alternatives and further choice of the single variant of the system among them are also adduced.

Текст научной работы на тему «Методы решения многокритериальных задач оптимизации информационных систем»

V (В)

E \

\E

Е!'[ Ф0); с)]

cb

& F s(z(i), с]

cb

2

• Л(с\а2(p0))~l . (18)

Можно показать, что

&V

сВ2

есть положительно

определенная матрица. Это достаточное условие минимума матричного функционала r'Vr-

Поскольку найдено единственное значение экстремума r'Vr, то значение В0 из (17) определяет его глобальный минимум.

Выбрав оптимальную матрицу В0, можно построить либо оптимальный (если известна плотность распределения шума объекта) по асимптотической скорости сходимости алгоритм идентификации исследуемого стохастического объекта, либо реализуемый оптимальный алгоритм (если плотность распределения шума объекта р0 и дисперсия <у2(р0) неизвестны), определяемый выражением

с(п) = b(n - 1) +

nE

1__________

С F S( Z (i ), b)]

cb2

■ Л( c( n - 1),

^2(Po))_1 x

<F[ s(z(i), c(i - 1))] Fb (i - 1)x(i))

cb cb

(19)

УДК 519.237

МЕТОДЫ РЕШЕНИЯ МНОГОКРИТЕРИАЛЬНЫХ ЗАДАЧ ОПТИМИЗАЦИИ ИНФОРМАЦИОННЫХ СИСТЕМ

БЕЗРУК В.М.

С единых позиций излагается методология оптимизации информационных систем при учете совокупности показателей качества, включая особенности многокритериальной постановки задачи, методы формирования множества допустимых вариантов и нахождения подмножества Парето-оптимальных систем, а также выбора среди них единственного варианта системы.

В настоящее время наблюдается повышенное внимание к проблемам оптимизации сложных систем по совокупности показателей качества. Это объясняется необходимостью более глубокого изучения предельных возможностей систем, а также практическими потребностями конструктивного учета совокупности противоречивых требований при проектировании систем. В работах [1-9] рассмотрены особенности отдельных этапов решения многокрите-

Здесь нормированная информационная матрица Л (с , а2 (р0)) заменена выборочной

Л(с(п - 1);СТ2(Po)) 1.

Таким образом, с использованием принципов матричного дифференциального исчисления выбрана матрица усиления, минимизирующая ковариацию ошибок оценки, что позволяет сформировать асимптотически оптимальный на классе алгоритм идентификации стохастического объекта, обладающий максимально возможной скоростью сходимости. При этом окончательное выражение для В0 не противоречит результатам выбора оптимальной матрицы В0 в [3].

Литература: 1. Катковник В.Я. Линейные оценки и стохастические задачи оптимизации. М.: Наука, 1976. 138с. 2. Подвинцев Ю.В., Первухина Е.Л. К вопросу идентификации в линейных динамических системах с помощью матричного дифференцирования. Деп. в УкрНИИНТИ 02.01.86, № 19-Ук86, 6с. 3. ЦыпкинЯ.З. Информационная теория идентификации. М.: Наука, 1984. 140с. 4. Bentler, P. Lee, S. Matrix derivatives with chain rule and rules for simple, Hadamard and Kronecker products; Journal of Mathematical Psychology. 1978. N17. P. 255-262. 5. Magnus & Neudecer. Matrix Differential Calculus with Applications in Statistics and Econometrics. Wiley, New York,1988. 180р.

Поступила в редколлегию 21.06.99 Рецензент: д-р техн. наук Стенин А.А.

Первухина Елена Львовна, канд. техн. наук, доцент Севастопольского государственного технического университета. Научные интересы: методы стохастической оптимизации Адрес: Украина, 310007, Харьков, ул. Мира, 4, кв. 52, тел. 30-82-18.

риальных задач. В данной статье обобщаются и с единых позиций анализируются все этапы решения многокритериальных задач применительно к оптимизации информационных систем, включая постановку задачи, нахождение Парето-оптимальных систем и выбор единственного варианта системы.

1. Постановка задачи проектирования оптимальной системы

В самом общем случае систему можно рассматривать как упорядоченное множество элементов, отношений и их свойств [1]. Однозначное их задание полностью определяет систему, т.е. ее структуру, цель, эффективность. Основной задачей проектирования является конкретизация и определение всех указанных категорий. Решение этой задачи включает определение исходного множества решений, формирование подмножества допустимых решений, задание критерия оптимальности системы, а также выбор системы, оптимальной по заданному критерию [1-4]. Предполагается, что система ф = (5, Д) определяется структурой 5 (совокупностью элементов и связей) и вектором параметров Д . Для информационной системы должно быть задано множество входных воздействий х и выходных результатов Y , что определяет систему как отображение

РИ, 1999, № 2

63

ф\ X ^ Y . Это абстрактное определение системы при проектировании должно конкретизироваться. В частности, при формализации постановки задачи должно быть составлено математическое описание условий работы (сигналов, помех) и функционального назначения системы (решений, получаемых на ее выходе), которые и определяют множество возможных вариантов системы ф еФ . При описании входных воздействий информационных систем, которые, как правило, носят сучайный характер, должны использоваться адекватные вероятностные модели сигналов и помех [9]. Вид выбранной модели и функциональное назначения информационной системы во многом определяет ее структуру.

Ограничения на условия работы, структуру 5 є Sd и параметры 0еВд системы задают множество

допустимых проектных решений Фд = Sd X Вд . Возможны разные способы задания множества допустимых проектных решений, в частности [3]:

—неявное задание с использованием ограничений на условия работы, сформулированных в строгой математической форме;

— перечисление допустимых вариантов системы;

—определение формального механизма формирования вариантов системы.

Выбор критерия оптимальности связан с формализацией представления заказчика системы об ее оптимальности. Существуют два подхода к описанию предпочтения заказчика одного варианта системы другому: ординалистический и кардиналистичес-кий [2].

Ординалистический подход аппелирует к порядку (лучше-хуже) и основан на введении некоторых бинарных отношений на множестве допустимых альтернатив. В этом случае предпочтение заказчика—

бинарное отношение R на множестве Фд, отражающее представление заказчика, что альтернатива ф’

лучше альтернативы ф”: ф'Иф”.

Предположим, заказчик при выборе проектных решений на множестве допустимых альтернатив Ф д руководствуется некоторым отношением строгого предпочтения ^ , являющегося асимметричным и

транзитивным. Решение ф(о) є Фд называется оптимальным по отношению ^ , если не существует других решений ф є Фд , для которых справедливо

отношение ф~^ ф(о) . Множество всех оптимальных

решений по отношению ^ обозначается через орґуФ д . В зависимости от структуры допустимого множества и свойств отношения ^ множество оптимальных решений может содержать единственный элемент, конечное либо бесконечное число элементов. Если отношение неразличимости совпадает с отношением

равенства =, то множество орґуФд (если оно не пусто) содержит единственный элемент.

Кардиналистический подход к описанию предпочтений заказчика приписывает каждой альтернативе ф є Фд некоторое число U , интерпретируемое

как полезность альтернативы ф. Каждая функция полезности определяет соответствующий порядок (или предпочтение) R на множестве Фг) (ф'Rф”) тогда и только тогда, когда U(^')> U(ф"). В этом случае говорят, что функция полезности U(•) является индикатором предпочтения R . Фактически этот подход связан с заданием некоторой скалярной целевой функции (условного критерия предпочтения), оптимизация которой в общем случае может привести к выбору единственного оптимального варианта системы.

Выбор критерия оптимальности связан с формализацией представления заказчика системы (т.е. лица, принимающего решения (ЛПР)) об ее оптимальности. Однако из-за информационной энтропии о строго формализованных представлениях ЛПР об оптимальности системы при постановке задачи часто не удается в явном виде задать скалярный критерий оптимальности, приводящий к выбору

единственного варианта решения ф(о) = opt [U(ф)\,

Фд

где U (ф) — некоторая целевая функция ценности (полезности) системы.

Поэтому на начальных этапах проектирования систему характеризуют совокупностью целевых функций [2,4]

к(Ф) = (h (Ф),...,кт (фУ), (1)

определяющих влияние структуры 5 и параметров

р системы ф = (5, р) на ее основные показатели качества.

При этом возникают задачи оптимизации проектных решений по совокупности показателей качества, которые также называются задачами многокритериальной либо векторной оптимизации. По существу постановка и решение многокритериальных задач связаны с заменой (аппроксимацией) представления заказчика об оптимальности системы некоторым другим понятием оптимальности, которое удается формализовать в виде векторного критерия оптимальности и довести решение задачи до конструктивной оптимизационной процедуры.

2. Формирование множества допустимых вариантов и выбор Парето-оптимальных систем

При оптимизации систем по совокупности показателей качества, когда заданы их декомпозиции на подсистемы, рационально основываться на морфологическом подходе, широко используемом при проектировании сложных систем [3].

При этом полагается, что любой вариант системы обладает определенной структурой, т.е. состоит из конечного числа элементов (подсистем), и распределение системных функций между ними может быть осуществлено конечным числом способов.

Рассмотрим особенности формирования структурного множества допустимых вариантов системы. Будем предполагать, что выполнена функциональная декомпозиция системы на некоторое множество элементов

64

РИ, 1999, № 2

___ L

Фj, j = i,L U Ф] =Ф

J=1

Считаются заданными [3] конечное множество элементов системы E, а также разбиение множества

E на L морфологических классов a(l), l = 1, L

таких, что u(l) П cr(l') = ® при l ф l'.

Вводится понятие морфологического пространства Лс 2E , элементами которого являются морфологические варианты системы ф = (фi^2,--^l) • Каждый морфологический вариант ф есть некоторая совокупность представителей классов^) є <r(l).

При этом для всех феА и для любого индекса l = 1,L множество фєЛ одноэлементное.

В предположении, что существует некоторое множество альтернативных способов реализации каждой

подсистемы ф1к , к = 1, K , l = 1, L , может быть задана морфологическая таблица.

Морфо- логичес- кие классы Возможные способы реализации элементов системы Число способов реализа- ции системы

а(1) ^11ІА2] Ф13—Ф\Х1 K1

а(2) Ф21 Ф22 ^23---[^2K2J K 2

a(l) ФпФі2 [Фі3 \-Фщ Kl

a(L) [fe]^L2 ФL3■■■ФLKL KL

В таблице для примера показан некоторый q -й морфологический вариант системы

ФЧ = {^12,Ф2К2,--,Фп,---,Фь^, определяющий ее структуру. Общее число всех возможных морфологических вариантов системы в

L

общем случае определяется как Q = П K .

l=1

При формировании множества допустимых вариантов системы должно учитываться ограничение

на структуру, параметры и техническую реализацию элементов и системы в целом, а также допустимые комбинации соединения элементов и ограничения на значение показателей качества системы в целом.

Здесь существуют противоречивые требования. С одной стороны, желательно с максимальной полнотой представить все возможные варианты системы, чтобы не пропустить потенциально лучших вариантов. С другой — существуют ограничения, определяемые допустимыми затратами (времени и средств) на проектирование системы.

РИ, 1999, № 2

После задания указанным выше способом множества допустимых вариантов системы, определяемых вполне конкретной структурой (набором элементов системы и связей между ними), не представляет особых сложностей оценить значения показателей качества и одним из известных способов выделить множество Парето-оптимальных вариантов, а также в последующем выполнить сужение множества до единственного наиболее предпочнительного варианта системы.

3. Нахождение Парето-оптимальных вариантов системы

С введением совокупности целевых функций (1) каждый вариант системы ф отображается из множества допустимых вариантов Фд в критериальное

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

пространство оценок V є Rm [4]:

V = K(Фд) = (V є Rm|v = к(ф),фєФд). (2)

При этом каждому проектному решению ф соответствует своя оценка выбранных показателей качества V = к(ф) и, наоборот, каждой оценке соответствует проектное решение (в общем случае не обязательно одно).

Отношению строгого предпочтения у на множестве Фд соответствуют отношения у и > в критериальном пространстве оценок V . Согласно первой аксиоме Парето [4] для любых двух оценок v',V" є V, удовлетворяющих векторному неравенству V' > V' , всегда выполняется соотношение V у v'. Кроме того, согласно второй аксиоме Парето для любых двух проектных решений ф',ф" <еФд , для которых верно

к(ф') > к(ф") , всегда имеет место соотношение ф’ у ф". Аксиома Парето накладывает определенные требования на характер отношения предпочтения в многокритериальных задачах.

Для заказчика желательно по каждому критерию получить по возможности наилучшее значение. Однако на практике этот случай встречается очень редко. Здесь следует отметить, что показатели качества (целевые функции) системы (1) могут быть трех типов: нейтральными, согласованными между собой и конкурирующими друг с другом [7]. В первых двух случаях оптимизация системы может осуществляться в отдельности по каждому из показателей качества. В третьем случае достигнуть потенциального значения каждого из показателей в отдельности не представляется возможным. При этом может быть достигнут лишь согласованный оптимум введенных целевых функций — оптимум по критерию Парето, означающий что дальнейшее улучшение каждого из показателей может быть достигнуто лишь за счет ухудшения остальных показателей качества системы.

Оптимуму по критерию Парето в критериальном пространстве соответствует множество Парето-оптимальных оценок, удовлетворяющих условию [4]

P(V) = opt>V = (V° є Rr‘

W = к(ф) є V: к(ф°) > к(ф)) .(3)

Нахождение оптимума по критерию Парето может производиться либо непосредственно согласно (3) путем перебора всех допустимых вариантов сис-

65

темы Фд, либо с использованием специальных методов, например, весового, метода рабочих характеристик [2-7].

В случае применения весового метода Парето-оптимальные решения находим путем оптимизации взвешенной суммы целевых функций

opt [кр(ф) = Іхкх(ф) +І2кг(ф) +... + яткт(^)J, (4) ^єФ д

в которой весовые коэффициенты выби-

т

раем из условия Л > 0, ^Л = 1. Парето-оптимальны-

i=1

ми решениями являются те варианты системы, которые удовлетворяют условию (4) при разных допустимых комбинациях весовых коэффициентов

2-і,2,2,.. ,Ли • При решении этой оптимизационной

задачи варьируются варианты системы ф = (s,p) є Фд в пределах заданных ограничений на ее структуру и параметры.

Метод рабочих характеристик состоит в том, что все целевые функции кроме одной, например, первой переводятся в разряд ограничений типа равенства и ищется ее оптимум на множестве допустимых альтернатив

oPt [kM к2(Ф) = К2ф; к3(Ф) = К3ф,-,кт(Ф) = Ктф. (5)

феФд

Здесь К 2ф, Кзф,..., Ктф — некоторые фиксированные, но произвольные значения показателей качества.

Оптимизационная задача (5) решается последовательно для всех допустимых комбинаций значений

К2ф ^ К2д,Кзф ^ Кзд^.^Ктф ^ Ктд • В каждом случае путем вариаций ф є Фд находится оптималное значение показателя k^pt. В результате определяется

некоторая многомерная рабочая поверхность в критериальном пространстве:

k1opt ~ fр (К2ф,К3ф,...,Ктф) • (6)

Если найденная зависимость (6) имеет монотонно убывающий характер по каждому из аргументов, рабочая поверхность совпадает с Парето-оптималь-ной поверхностью [7]. Эта поверхность может быть связной, несвязной и просто набором изолированных точек.

Следует отметить, что каждая точка Парето-оптимальной поверхности обладает свойством т -кратного оптимума, т.е. этой точке соответствует

потенциально достижимое (при вариации ^єФд)

значение одного из показателей к^ при фиксированных (соответствующих этой точке) значениях остальных (т -1) показателей качества. Парето-оптимальная поверхность может быть описана любым из следующих соотношений:

k1opt ~ fno (k2, k3,..., кт'),..., ктсopt ~ fno (k1, k2v, кт-1), (7)

которые представляют собой многомерные диаграммы обмена между показателями качества, подтверждающими, что потенциально достижимое значение

соответствующего показателя зависит от значений т -1 других показателей.

Таким образом, Парето-оптимальная поверхность связывает потенциально достижимые значения показателей и представляет собой согласованный оптимум по Парето в общем случае зависимых и конкурирующих между собой показателей качества. Поэтому, получая Парето-оптимальную поверхность в критериальном пространстве, тем самым находят многомерные потенциальные характеристики (МПХ) системы и связанные с ними многомерные диаграммы обмена (МДО) [7].

По сравнению с широко используемыми одномерными потенциальными характеристиками системы МПХ доставляют качественно новую информацию для анализа проектных решений, поскольку дают представления о потенциально возможных значениях совокупности показателей и рассматриваемых возможностях. Анализируя МДО, можно выяснить, как необходимо изменить значения одних показателей качества системы ради улучшения других показателей, а также как при этом следует изменить структуру и параметры соответствующей системы.

Следует отметить, что в зависимости от постановки задачи существуют различные типы оптимизационных задач [7]:

Дискретный выбор. Исходное множество Фд задано конечным числом вариантов построения системы [фі, l = 1, Ьд, ф є Фд }• Требуется выбрать множество

Парето-оптимальных вариантов системы opt^Фд .

Параметрическая оптимизация. Структура системы Sз задана. Необходимо найти такие значения

векторов po єВд , при которых ф = (Sз,р) Є opt-^Фд .

Структурно-параметрическая оптимизация. Требуется синтезировать структуру s є Sд и найти такие значения вектора параметров р єВд , при которых

Ф = (s,P) Є opt^Фд .

В теории многокритериальной оптимизации хорошо разработаны методы решения первых двух типов задач [2-4]. Решение третьего типа задач представляет наибольшую сложность. Для синтеза Парето-оптимальной структуры и нахождения оптимальных параметров системы следует производить оптимизацию совокупности функционалов

К1(s,р), К2(s,p),...,Кт(s,p). Однако оптимизация функционалов даже в скалярном случае часто наталкивается на трудности не только математического, но и принципиального характера. В векторном случае решение таких оптимизационных задач еще больше усложняется. Поэтому при проектировании систем с учетом совокупности показателей качества приходится производить упрощение оптимизационной задачи путем декомпозиции системы на более простые подсистемы, сокращать число используемых при синтезе структуры системы показателей качества.

Если найденное в результате оптимизации множество Парето-оптимальных вариантов системы оказалось узким, то в качестве оптимального можно

66

РИ, 1999, № 2

использовать любой из них. В таком случае можно считать, что отношение строгого предпочтения у

совпадает с отношением > и поэтому optyV = P(V).

Однако часто на практике множество P(V) оказывается достаточно широким. Это означает, что отношения у и > хотя и связаны аксиомой Парето, однако не совпадают. При этом справедливы включения opt_V с P(V), а также opty<S>d с Pj; (Ф^).

Поэтому в последующем возникает задача сужения найденного множества Парето-оптимальных решений с привлечением дополнительной информации об отношении строгого предпочтения заказчика. Однако все же окончательный выбор оптимальных проектных решений должен производиться лишь в пределах найденного множества Парето-оптимальных решений. Вне его оптимальных решений быть не может.

4. Сужение множества Парето-оптимальных решений до единственного варианта системы

Формальная модель задачи Парето-оптимизации не содержит информации для выбора единственной альтернативы. При этом множество допустимых вариантов лишь сужается до множества Парето-оптимальных решений за счет исключения безусловно худших вариантов по отношению строгого предпочтения.

Однако для последующих этапов проектирования, как правило, должен быть выбран единственный вариант системы. Поэтому возникает необходимость сужения множества Парето-оптимальных решений до единственного варианта системы с привлечением дополнительной информации об отношении строгого предпочтения заказчика. Такая информация появляется в результате всестороннего анализа Парето-оптимальных вариантов системы, в частности, структуры, параметров, рабочих характерстик полученных вариантов системы, относительной важности введенных показателей качества и т.п. Полученные при этом дополнительные сведения о предпочтениях заказчика используются для построения функции (целевой скалярной функции), оптимизация которой приводит к выбору единственного варианта системы.

Для сужения множества Парето-оптимальных решений могут использоваться различные подходы, в частности, основанные на теории полезности, теории размытых множеств и др. [4-8]. Кратко рассмотрим некоторые из них.

Выбор оптимальных проектных решений с использованием скалярной функции ценности. Одним из распространенных способов сужения множества Парето-оптимальных решений является построение скалярной функции ценности, использование которой приводит к выбору одного из оптимальных вариантов системы.

Числовую функцию F(vj,V2,...,vm) m переменных называют функцией ценности (полезности) для отношения ^ , если для произвольных оценок v', v" є V неравенство F(у1) > F(v”) имеет место тогда и только тогда, когда v' у V" [4,6]. Если для отношения ^ существует функция ценности F(V?), то, очевидно,

opt^V = і V о є V : F(Vо = max F(V) \ l VeV J

и отыскание оптимальной оценки сводится к решению однокритериальной задачи оптимизации функции F (V) на множестве V . При этом могут быть использованы аддитивная, мультипликативная, полилинейная функции ценности [6]. Часто используется функция ценности вида

m

F (vh vm ) = Z cjfj (VJ ) ’ (8)

j=1

где cj — шкалирующие коэффициенты, fj (vj) — некоторые одномерные функции ценности, являющиеся оценками полезности варианта системы ф по показателю kj (ф).

Задача построения функции ценности (8) сводится к оценке шкалирующих коэффициентов, постро -

ению одномерных функций полезности fj (Vj), а также проверке их независимости и согласованности. При этом существенно используются сведения, которые получены в результате опросов заказчика по отношению анализируемых вариантов проектируемой системы. Разработаны специальные методики опроса и пакеты программ, предназначенные для получения дополнительной информации о предпочтениях заказчика [5,6].

Выбор оптимальных проектных решений на основе теории размытых множеств. Этот подход основан на том, что из-за априорной неопределенности в отношении предпочтения заказчика понятие “наилучший вариант системы” нельзя определить точно. Можно считать, что это понятие представляет собой размытое множество и для оценивания системы могут быть использованы основные положения теории размытых множеств [9].

Пусть X — некоторое множество возможных значений частного показателя качества системы. Размытое множество G на множестве х задается функцией принадлежности : X ^ [ОД] , которая

ставит в соответствие каждому элементу множества X действительное число £g в интервале [0,1]. Значение £g определяет степень принадлежности элементов множества X размытому множеству G . Чем ближе значение к единице, тем выше степень

принадлежности. Функция принадлежности %G (х) является обобщением характеристической функции множеств, которая принимает лишь два значения : 1— при х є G; 0 — при х g G. В случае дискретных множеств X применяется запись размытого множества G как множество пар: G = {x,^G (х)}.

Таким образом, в соответствии с теорией размытых множеств каждый из показателей качества может быть задан в виде размытого множества

kj = h >^kj (kj :>),

где £kj ( ) — функция принадлежности конкретного значения j -го показателя размытому множеству наилучшего значения.

Такая запись частного показателя обладает высокой информативностью, так как дает представление о его физическом смысле, конкретном значении и

РИ, 1999, № 2

67

“ценности” относительно наилучшего (экстремального) значения, которую характеризует функция

принадлежности ^ (•).

Основную трудность в практической реализации рассмотренного подхода представляет выбор вида функции принадлежности. В некотором смысле универсальная форма функции принадлежности, интерпретированная в терминах теории размытых множеств при учете совокупности показателей, имеет вид [8]

& (кх, k2,..., кт)=m jf \к. (к,) . (9)

Преимуществом этой формы является то, что в зависимости от значения параметра р реализуется широкий класс функций от линейной аддитивной формы при Р=\до сугубо нелинейных зависимостей при Р ^<Х> .

Следует отметить, что и при данном подходе существенно должна быть использована информация, получаемая от заказчика методом экспертных оценок для выбора функций принадлежности, а также различного рода коэффициентов.

Выбор оптимальных проектных решений при строго упорядоченных по важности показателях качества. Иногдадля заказчика желательно получить возможно большее значение одного из показателей, например kj, даже за счет “потерь” по остальным показателям. Это означает, что kj оказывается более важным, чем остальные показатели.

Возможен также случай, когда весь набор показателей kj, k2,..., km строго упорядочен по важности так, что показатель kj более важен, чем все остальные показатели kj,k2,...,km ; показатель k2 более важен, чем все показатели k^,k^,..,km и т.д. Это соответствует ситуации, когда при сравнении оценок проектных решений используется лексико-графическое отношение [4]. Приведем его определение.

Пусть имеются два вектора оценок v',v" є V с Rm . Лексико-графическое отношение lex определяется

следующим образом: отношение lex имеет место тогда и только тогда, когда выполнено одно из следующих условий:

1) vi> vj;

2) vj = vj; v2 > v2 ;

m) vj = v'j , j = j,2,..,rm - j v'm > v"m , (10)

C = (vj, v2,...,v'm); C' = (vj,v'2,...,v'm ).

В этом случае говорят, что компоненты vj, v2,..., vm , т.е. оценки показателей качества системы kj(ф),k2(ф),..,km(ф), строго упорядочены по важности. При выполнении соотношения v' lexv" говорят,

что вектор У' лексико-графически больше, чем вектор v . При m = j лексико-графическое отношение совпадает с отношением > на подмножестве вещественных чисел.

В определении лексико-графического отношения важную роль играет порядок перечисления показателей качества. Изменение нумерации показателей качества приводит к другому лексико-графическому отношению.

5. Выводы

Рассмотрена методология формирования и выбо -ра вариантов информационных систем при их оптимизации по совокупности показателей качества. Многокритериальные задачи оптимизации систем решаются в три этапа. Вначале с использованием морфологического подхода формируется структурное множество допустимых вариантов системы, которое отображается в пространство векторных оценок. В этом пространстве выделяется подмножество Парето-оптимальных оценок, определяющих потенциальные характеристики системы по совокупности показателей качества. На заключительном этапе среди Парето-оптимальных вариантов системы выделяется единственный вариант из условия экстремума некоторого скалярного функционала, вид которого определяется с использованием дополнительной информации, получаемой от заказчика.

Литература: 1. Сингх М, Титл. Системы: декомпозиция, оптимизация, управление. М.:Мир, 1986. 486с. 2. Березовский Б.А., Барышников Ю.М., Борзенко В.И., Кепнер Л.М. Многокритериальная оптимизация: Математические аспекты. М.:Наука,1986. 186с. 3. Дубов Ю.А., Травкин С.И, Якимец В.Н. Многокритериальные модели формирования и выбора вариантов систем. М.:Наука, 1986. 296с. 4. Подиновский В. Д, Ногин В. Д. Парето-оптимальные решения многокритериальных задач. М.:Наука, 1982. 256с.

5. Саати Т, Керс К Аналитическое планирование. Организация систем. М.:Радио и связь, 1991.224с. 6. Кини Р.Л., Райфа X. Принятие решений при многих критериях предпочтения и замещения. М.:Радио и связь, 1981. 524с. 7.Гуткин Л. С. Проектирование радиосистем и радиоустройств. М.:Сов. радио, 1986.352с. 8. Кузьмин И.В. Оценка эффективности и оптимизации АСКУ. М.:Сов радио, 1980. 284с. 9. Прикладная теория случайных процессов и полей / Под ред. Васильева К.К, Омельченко В.А. Улья-новск:УлГТУ, 1995. 256с.

Поступила в редколлегию 27.06.99 Рецензент: д-р техн. наук Яковлев С.В.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Безрук Валерий Михайлович, канд. техн наук, старший научный сотрудник, ведущий научный сотрудник кафедры приема и обработки сигналов ХТУРЭ. Научные интересы: распознавание сигналов, моделирование и оптимизация систем распознавания сигналов. Увлечения и хобби: активный отдых, музыка, чтение литературы. Адрес: Украина, 61726, Харьков, просп. Ленина, 14, тел. 40-94-32.

68

РИ, 1999, № 2

i Надоели баннеры? Вы всегда можете отключить рекламу.