ВУЗ: Не указан

Категория: Реферат

Дисциплина: Не указана

Добавлен: 09.01.2024

Просмотров: 706

Скачиваний: 2

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

СОДЕРЖАНИЕ

1.2. Общая постановка задачи оперативного управленияпроектомПредположим, что в рамках имеющейся информированности руководителя проекта – центра – он обладает достоверной инфор- мацией обо всех существенных параметрах, то есть условно можно считать, что функционирование системы происходит в условиях полной информированности [15, 17, 19, 22, 78]. Исследуем в рамках этого предположения избыточность приведенной в разделе 1.1системы показателей освоенного объема.Даже краткое рассмотрение частных случаев (см. пример 1)свидетельствует, что набор показателей освоенного объема (основ- ных и производных) является избыточным как с содержательной (в рамках рассматриваемой модели не всегда ясны содержательные трактовки различий между фактическими и освоенными затратами,а также между фактическим и освоенным объемом), так и с фор- мальной (некоторые производные показатели являются комбинаци- 38ей других основных или производных показателей и т.д.) точек зрения. Поэтому введем следующий минимальный1 набор показа- телей освоенного объема (см. рисунок 9), которые используются ниже в настоящей работе.Основные показатели освоенного объема:C0 – планируемые суммарные затраты на проект (TB);T0 – планируемый срок завершения проекта;X0 – суммарный объем работ по проекту;c0(t) – планируемая динамика затрат (BCWS);c(t) – фактическая динамика затрат (ACWP);x0(t) – планируемая динамика объемов работ (BQWS);x(t) – освоенный объем (BQWP);T – фактический срок окончания проекта;C – фактические суммарные затраты на проект (EAC – EstimateAt Complete).Производные показатели освоенного объема:∆с(t) = c0(t) - c(t) - разность между плановыми и фактическими затратами;∆x(t) = x0(t) - x(t) - разность между плановым и освоенным объ- емом2;α(t) = x(t) / x0(t) – показатель освоенного объема, характеризует выполнение плана по объему;β(t) = c(t) / c0(t) – показатель динамики затрат, характеризует соответствие поступления средств директивному графику;γ(t) = x(t) / c(t) – эффективность использования средств3;τс(t) = t - 1 0−c(c(t)) – текущая задержка по затратам;τx(t) = t - 1 0−x(x(t)) – текущая задержка по объему;e0 = X0 / C0 – плановая эффективность проекта в целом;e0(t) = x0(t) / c0(t) = β(t) γ(t) / α(t) – плановая эффективность ис- пользования средств;1 Условно можно считать, что освоенные затраты могут быть рассчи-таны по освоенному объему (см. подробности ниже).2 По четырем независимым переменным с учетом размерности можноопределить две независимых их разности.3 По четырем независимым переменным можно определить три ихнезависимых отношения. 39e = X / C – фактическая эффективность проекта в целом.Помимо перечисленных показателей освоенного объема мо- дель проекта должна включать в себя оператор G(⋅), связывающий объем с затратами и отражающий «технологию» использования ресурсов.τx(t)T0x(t)/X0 – освоенный объемx0(t)/X0 – план по объему100%c(t)/C0 – фактические затратыtc0(t)/C0 – планируемые затратыTtτc(t)C / C0Рис. 9. Пример динамики основных показателей освоенного объемаДокажем, что введенная система показателей освоенного объ- ема включает в себя используемую зарубежными авторами систему показателей (см. ее описание во введении) как частный случай.Пусть x = kc, где k – коэффициент интенсивности (в примере 1использовалось уравнение dx/dt = ku, где u = dc/dt). Получаем, что:SPI = α(t); CPI = γ(t) / k;EAC = c(t) + (C0 – ce(t)) / CPI = c(t) + (X0 – x(t)) / γ(t),то есть в случае линейной связи между объемом и ресурсами соот- ветствие полное (с точностью до линейного преобразования).В рамках рассматриваемой модели задача управления проек- том включает в себя задачу планирования, решаемую до начала реализации проекта, и задачу оперативного управления - выработки оперативных управляющих воздействий в ходе реализации проекта.Задача планирования заключается в определении объема проектаX0, плановых значений затрат с0(t), объема x0(t) и продолжительно- 40сти проекта T0 при известной «модели проекта» G0(⋅); при этомC0 = c0(T0), x0(T0) = X0. Задача планирования рассматривается в разделе 1.3 настоящей работы, поэтому перейдем к рассмотрениюобщей постановки задачи оперативного управления проектом,которая включает задачи идентификации, прогнозирования и соб- ственно управления.На рисунке 10 изображена структура системы оперативного управления проектом в рамках модели освоенного объема. Прямо- угольниками отражены реальный проект и его модель. Входом модели проекта является плановая зависимость затрат от времениc0(t), выходом – плановая зависимость объема от времени x0(t).Входом реального проекта является фактическая зависимость затрат от времени c(t), выходом – величина освоенного объема x(t).Как отмечалось выше, несовпадение: x(t)≠ x0(t) может быть вызва- но следующими причинами: внешней – c(t)≠ c0(t) и/или внутрен- ней – G(⋅) ≠ G0(⋅).Следовательно, первой задачей идентификации (обозначенной«И1» на рисунке 10), которую можно также рассматривать и как задачу прогнозирования, является задача оценки зависимости фактических затрат от времени на основании сравнения наблюдае- мых значений фактических и плановых затрат.Если представить, что на вход модели проекта подаются не плановые, а фактические затраты, то, зная оператор G0(⋅), можно определить следующую зависимость от времени: xˆ(t) = G0(c(t)),сравнение которой с плановой зависимостью x0(t) может служить исходными данными для решения второй задачи идентификации(обозначенной «И2» на рисунке 10) – задачи идентификации собст- венно модели проекта, то есть «уточнения» G(⋅, τ) (см. двойную линию на рисунке 10), G(⋅, 0) = G0, соответствующего оператора(индекс “τ” в операторе G присутствует для того, чтобы подчерк- нуть зависимость от времени τ, то есть в зависимости от продолжи- тельности имеющейся истории наблюдений за время [0; τ] модель может изменяться). 41c(t’)x(t’)xˆ(t)c0(t)x0(t)c(t)),( τ⋅GG0(⋅)G0(⋅)G0(⋅)МОДЕЛЬ ПРОЕКТАРис. 10. Структура системыоперативного управления проектомРЕАЛЬНЫЙ ПРОЕКТУПРАВЛЕНИЕИ1И2x(t)ПРОГНОЗИтак, возникают следующие задачи идентификации:И1. В момент времени τ ≥ 0 на основании истории наблюдений{c(t), c0(t)}t∈[0; τ] определить «прогноз» затрат c(t’, τ) для t’ > τ.И2. В момент времени τ ≥ 0 на основании истории наблюдений{c(t), c0(t), x0(t), x(t), xˆ(t)}t∈[0; τ] идентифицировать проект, то есть построит адекватную ему модель G(⋅, τ).Решив обе задачи идентификации, то есть имея в своем распо- ряжении зависимости c(t, τ) и G(⋅, τ), можно в момент времениτ ≥ 0 решить задачу прогнозирования, то есть сделать прогноз значения освоенного объема x(t’, τ) для моментов времени t’ > τ :x(t’, τ) = G(c(t’, τ), τ).Необходимо принимать во внимание, что для решения задач идентификации и прогнозирования могут использоваться не только 42данные о ходе реализации рассматриваемого проекта, но и инфор- мация о реализации других аналогичных проектов.Сделав маленькое отступление, отметим, что в рамках рас- сматриваемого подхода легко показать, что введенная в настоящем разделе система показателей освоенного объема является мини- мально необходимой для полного описания проекта в рамках мето- дики освоенного объема. Для этого достаточно доказать, что пока- затели фактического объема и освоенных затрат (присутствующие в «расширенном» списке показателей освоенного объема, приве- денном во введении и в разделе 1.1) не являются независимыми и могут быть выражены, через фактические и плановые затраты, а также освоенный и плановый объем. Действительно, фактический объем может интерпретироваться как объем, который был бы освоен, если бы присутствовала только внешняя причина, а внут- ренняя причина отсутствовала, то есть фактический объем есть ни что иное, как xˆ(t) = G0(c(t)). Освоенные затраты ce(t) соответству- ют тем затратам, которые понадобились бы для того, чтобы показа- тель освоенного объема для реального проекта равнялся заданной величине x(t), то есть G(сe(t)) = x(t).Решив задачи идентификации и прогнозирования, то есть имея в момент времени τ в своем распоряжении прогнозы c(t’, τ) иx(t’, τ), для t’ > τ, и зная директивные (плановые) графики затрат и объема, можно решать задачи оперативного управления проек-том – выработки таких управляющих воздействий, которые кор- ректировали бы ход реализации проекта в нужную (с точки зрения руководителя проекта – см. более подробно ниже) сторону.Рассмотрим более подробно задачи идентификации, прогноза и оперативного управления. Отметим, что в настоящей работе при анализе и синтезе моделей оперативного управления проектами мы будем следовать следующему общему принципу. Так как конечная цель всех разрабатываемых в рамках методики освоенного объема методов и механизмов оперативного управления заключается в повышении эффективности управления реальными проектами, то критерием необходимости изучения той или иной частной задачи управления является неизвестность на сегодняшний день возмож- ности сведения ее к уже исследованным, например, оптимизацион- ным и другим задачам, методы решения которых могут быть алго- ритмизированы, то есть использованы в методиках или прикладных 43компьютерных программах, ориентированных на использование руководителями проектов. Такая практическая направленность четко выделяет необходимую степень детализации при исследова- нии тех или иных задач управления, возникающих при описании проекта показателями освоенного объема. Другими словами, в рамках используемого подхода частная задача синтеза определен- ного механизма управления может считаться решенной, если для нее сформулированы либо алгоритм решения, либо приведена ссылка на метод решения эквивалентной ей задачи, которые могут быть использованы в прикладных методиках и алгоритмах, причем создание последних, при наличии подробно изученных с теорети- ческой точки зрения методах решения, может рассматриваться как инженерная задача.Первая задача идентификации (И1), которую можно также рас- сматривать как задачу прогнозирования значений фактических затрат, заключается в оценке будущей зависимости фактических затрат от времени на основании сравнения наблюдаемых значений фактических и плановых затрат.Итак, имеются два временных ряда: c0(t) и c(t), t ≤ τ. Прогнозc(t’, τ), t’ > τ, может быть получен двумя путями. Первый путь, не учитывающий специфику рассматриваемой задачи, заключается в использовании методов «технического» анализа (статистический анализ временных рядов [2, 51, 72, 99]) для оценки величиныc(t’, τ), t’ > τ, только на основании наблюдаемых реализаций c(t),t ≤ τ. Второй путь – построение модели, отражающей связь между плановыми и фактическими затратами и, быть может, учитываю- щей информацию о результатах реализации аналогичных завер- шившихся проектов, и адаптивная идентификация этой модели на основании имеющих статистических данных. Иллюстрацией второ- го пути может служить введенное в примере 1 предположение(модель) о постоянстве ресурсов, то есть затрат в единицу времени.Тогда однократное наблюдение фактических значений ресурсов позволяет однозначно идентифицировать модель. Таким образом,для прогнозирования будущих значений фактических затратc(t’, τ), t’ > τ, могут быть использованы (то есть, «зашиты» в соответствующую компьютерную программу без существенной адаптации) известные методы и алгоритмы прогнозирования и идентификации [2, 74, 97-99]. 44Аналогичным образом обстоит дело и со второй задачей иден- тификации (И2) - построения в момент времени τ ≥ 0 адекватной модели проекта G(⋅, τ) на основании истории наблюдений{c(t), c0(t), x0(t), x(t), xˆ(t)}t∈[0; τ], для решения которой в теории адаптивного управления и идентификации существуют хорошо развитые методы решения [98, 99 и др.]. В рамках примера 1 иден- тификация проекта означала определение коэффициентов интен- сивности на основании однократного наблюдения (которое оказы- валось достаточным) параметров фактической реализации проекта.При известном прогнозе фактических затрат и имеющейся мо- дели проекта решение задачи прогнозирования будущих значений показателей освоенного объема тривиально – оно заключается в подстановке прогноза c(t’, τ) в модель G(⋅, τ), то естьx(t’, τ) = G(c(t’, τ), τ), t’ > τ:Несколько сложнее обстоит дело с задачей собственно управ- ления – поиска оптимальных управляющих воздействий на основа- нии результатов решения задач идентификации и прогнозирования.Этот класс задач, как и задачи планирования, заслуживает отдель- ного исследования, проводимого в разделе 1.3 настоящей работы.Таким образом, для решения задач идентификации и прогно- зирования в рамках методики освоенного объема на сегодняшний день существуют хорошо развитые методы адаптивного управле- ния, идентификации и прогнозирования. Другими словами, возни- кающие при использовании методики освоенного объема задачи идентификации и прогнозирования, естественно, обладают собст- венной спецификой, однако, специфичны они не настолько, чтобы к ним были неприменимы известные методы и алгоритмы решения. 451.3. Планирование и оперативное управление проектом в условиях полной информированностиСохраним введенное в начале раздела 1.2 предположение о том, что руководитель проекта – центр – в рамках своей информи- рованности обладает достоверной информацией.Часть показателей освоенного объема, введенных в разделе 1.2,может рассматриваться как управляющие параметры (ими могут,например, быть плановые затраты, интенсивности и т.д.). Осталь- ные показатели являются при этом зависимыми, то есть при фикси- рованной модели проекта однозначно определяемыми значениями управляющих параметров (например, если плановые затраты ин- терпретируются как управляющий параметр, то при модели проек- та G0(⋅) плановое значение объема является зависимым показате- лем: x0(t) = G0(c0(t)) и т.д.). В зависимости от рассматриваемой модели (то есть в зависимости от рассматриваемой задачи управле- ния) одни и те же показатели могут быть либо управляющими,либо зависимыми.Пусть известны ограничения на значения управляющих пара- метров и задан критерий эффективности управления1, зависящий как от управляющих, так и от зависимых параметров. Тогда на качественном уровне задачу управления можно сформулировать следующим образом: выбрать такие допустимые значения управ- ляющих параметров, которые доставляли бы экстремум критерию эффективности управления (в частном случае – максимизировали эффективность проекта).Задача планирования, являющаяся частным случаем сформу- лированной выше задачи управления, решается до начала реализа- ции проекта и заключается в определении на основании всей имеющейся на данный момент информации оптимальных плановых значений управляющих параметров для t’ ≥ 0.Задача оперативного управления, также являющаяся частным случаем задачи управления, решается в ходе реализации проекта и заключается в определении на основании всей имеющейся на дан- ный момент информации оптимальных текущих и будущих значе-1 Следует различать эффективность проекта, определяемую как отно-шение объема к затратам (см. выше), и эффективность управления. 46ний управляющих параметров, то есть оптимальных плановых значений управляющих параметров для t’ ≥ τ.Таким образом, задачи планирования и оперативного управле- ния являются частными случаями одной и той же задачи управле- ния, отличающимися лишь той информацией, которая имеется на момент принятия решений.Поясним последнее утверждение более подробно. При реше- нии задачи планирования имеется информация об ограничениях на допустимые значения плановых показателей и модель проекта. При решении задачи оперативного управления имеется информация об ограничениях на допустимые значения показателей освоенного объема и модель проекта, скорректированные в соответствии с решениями соответствующих задач идентификации и прогнозиро- вания, описанными в разделе 1.2, и учитывающие историю реали- зации проекта.Коль скоро установлена качественная эквивалентность задач планирования и оперативного управления, достаточно рассмотреть подробно одну из них, поэтому ниже в настоящем разделе мы по умолчанию будем подразумевать, что формулируемые и решаемые задачи могут интерпретироваться двояко. Более того, качественно основной результат настоящего раздела заключается в следующем:при агрегированном представлении проекта, то есть рассмотрении проекта как единого целого в рамках модели, описанной в разделе1.2, решение задач планирования и оперативного управления в условиях полной информированности заключается в сведении к известным оптимизационным задачам, методы и алгоритмы реше- ния которых хорошо известны.Обоснуем это утверждение.Важную часть показателей освоенного объема составляют плановые показатели: планируемая длительность проекта, плани- руемая динамика затрат, плановые значения величины освоенного объема. Поэтому рассмотрим возможные постановки задачи плани- рования.В разделах 1.1-1.2 была введена следующая взаимосвязь между освоенным объемом и количеством ресурса (напомним, что коли- 47чество ресурса – объем средств – затрат, которые вкладываются в единицу времени: u(t) = c’(t), c(t) = ∫tdu0)(ττ):(1)))(()(tuwdttdx=, x(t) = ∫tduw0))((ττ, ∫Tduw0))((ττ = X0,или в более общем случае:(2) )),(),(()(ttutxwdttdx=, x(0) = 0, x(T) = X0.Соотношения (1) или (2) определяют модель проекта, то есть в задаче планирования ими косвенно задается оператор G0(⋅), а в задаче оперативного управления – оператор G(⋅, τ), причем в последнем случае нулевой момент времени в (1) или (2) заменяется на момент времени τ. Во избежании путаницы, а также для того,чтобы приводимые результаты с минимальной адаптацией были применимы и к задаче планирования, и к задаче оперативного управления, будем рассматривать только задачу планирования,помня, что переход к задаче оперативного управления в момент времени τ осуществляется следующей формальной заменой:u(t) = c’(t), c(t) = с(τ) + ∫tdyyuττ ),(, )),,(()(ττtuwdttdx=,x(t) = x(τ) + ∫tdyyuwτττ),),((, t ≥ τ, x(τ) + ∫Tdyyuwτττ)),,(( = X0,или в более общем случае: ),),,(),(()(ττ ttutxwdttdx=,x(t=τ) = x(τ), x(T) = X0, где ),(τ⋅w - результат идентификации модели проекта в момент времени τ, u(⋅, τ) = 'c(⋅, τ) – прогноз динамики финансовых ресурсов в момент времени τ. Кроме того,отметим, что в задаче планирования приведенные соотношения связывают плановые показатели, а в задаче оперативного управле- ния – фактические или прогнозные. Однако, так как мы установили эквивалентность формулировок этих задач, ниже будем опускать нижние и верхние индексы, соответствующие плановым или про- гнозным значениям. 48Аналогичным образом учитывается и другая, поступившая до момента времени τ информация1. Например, если стало известно,что завершению проекта соответствует значение суммарного объе- ма X’, отличное от X0, то учет этой информации приведет к замене в приведенных выше для задачи оперативного управления соотно- шениях старой величины суммарного объема на новую.Предположим, что ограничения на ресурсы и интенсивности заданы в следующем виде:(3) c(t)∈ Ξ,(4) u(t)∈ U,(5) w(⋅) ∈ W,где Ξ, U и W – классы возможных значений соответственно затрат,ресурсов и интенсивностей.Возможны следующие постановки 1   2   3   4   5   6   7   8   9   10   11

Глава 2. Механизмы оперативного управления проектамиВо второй главе настоящей работы рассматриваются три об- ширных класса механизмов управления проектами, учитывающих активность как управляющего органа, так и управляемых субъек- тов, и нацеленных, в основном, на оптимизацию такой важнейшей характеристики проекта как фактическое время1 его завершения.Первым классом механизмов, рассматриваемым в разделе 2.1,являются механизмы получения информации о возможной про- должительности проекта от лиц (экспертов), обладающих большей информацией по этому вопросу, чем руководитель проекта. Если эксперты заинтересованы в результатах экспертизы, то возникает проблема манипулируемости (целенаправленного искажения ими сообщаемой информации), решение которой для случая сообщения экспертами скалярных оценок описано в [15]. Однако, во многих случаях эксперту проще сформулировать свое мнение в нечетком виде, поэтому ниже рассматриваются нечеткие механизмы актив- ной экспертизы, оперирующие нечеткими мнениями экспертов.Вторым классом механизмов, рассматриваемым в разделе 2.2,являются механизмы стимулирования, в которых решается задача синтеза поощрений исполнителей, при которых они были бы готовы сократить продолжительность проекта на оптимальную с точки зрения проект-менеджера (с учетом затрат на стимулирова- ние исполнителей) величину. Помимо изучения детерминирован- ных моделей, то есть моделей проектов (рассматриваемых как активные системы), функционирующих в условиях полной инфор- мированности, ниже рассматриваются задачи управления продол-1 В теории сетевого планирования и управления (СПУ) ключевым поня-тием является понятие критического пути, поэтому когда речь идет осокращении продолжительности проекта, в первую очередь необходимосокращать критические операции, причем величина сокращения, очевид-но, не должна превышать минимальный из резервов околокритическихопераций. Следовательно, можно рассматривать по отдельностизадачи сокращения каждой из критических операций, то есть в рамкахметодологии СПУ достаточно ограничиться рассмотрением набораодноэлементных задач управления (в терминологии теории активныхсистем [22]). 65жительностью проекта за счет использования механизмов мотива- ции в условиях неопределенности.Одним из способов снижения неопределенности является со- общение информации от более информированных участников системы менее информированным. На основании сообщенной исполнителями руководителю проекта информации последний определяет значения управляющих параметров, то есть использует механизмы планирования, рассматриваемые в разделе 2.3. Для механизмов планирования исследуется задача манипулируемости и показывается, что использование механизмов с сообщением информации, даже в условиях манипулирования со стороны ис- полнителей, не снижает эффективности управления.2.1. Механизмы нечеткой активной экспертизыПод механизмом активной экспертизы понимается следующая модель [15, 17, 21, 43, 76]. Пусть имеются n активных элементов(АЭ) – экспертов [60, 61], каждый из которых имеет собственные представления ri∈ [d; D] ⊆ ℜ1 (ri является точкой пика однопико- вой [22, 78] функций предпочтения i-го АЭ) об оцениваемой ска- лярной величине и сообщает центру информацию si∈ [d; D],i ∈ I = {1, 2, …, n} о своих предпочтениях. Результат экспертизы(итоговое мнение, коллективное решение и т.д.) x ∈ [d; D] опреде- ляется в соответствии с процедурой планирования π(s), то есть x =π(s), где s = (s1, s2, …, sn) – вектор сообщений экспертов.Относительно процедуры планирования предполагают:А.2.1. π(⋅) - непрерывна, строго монотонно возрастает по всем переменным и удовлетворяет условию единогласия: ∀ z ∈ [d; D]π(z, z, ..., z) = z.Без потери общности можно положить d = 0, D = 1.Если предположить, что каждый из экспертов заинтересован в том, чтобы результат экспертизы был максимально близок к его мнению, то в общем случае он будет сообщать недостоверную информацию, стремясь повлиять на результат в требуемую с его точки зрения сторону. Следовательно, возникает проблема мани- пулируемости механизма активной экспертизы.В работе [15] доказано, что для любого механизма экспертизы,удовлетворяющего введенным выше предположениям, существует 66эквивалентный прямой (неманипулируемый) механизм, причем итоговое мнение в равновесии определяется совокупностью ис- тинных мнений (иногда называемых их идеальными точками)экспертов r = {ri} и числами ν(π) = {νi(π)}Ni 0=, определяемыми следующим образом: если собственные представления всех экс- пертов различны и упорядочены в порядке возрастания, то(1)νk(π) = π (3 21k0,...,0,0, 3 21kn−1,...1,1), k = n,0При этом равновесное итоговое мнение (коллективное реше- ние) x*определяется [15]:(2) x*(r, ν(π)) = nk,1max= min (νk-1, rk).Понятно, что последовательность ν(π) зависит от упорядоче- ния идеальных точек экспертов. В общем случае существует 2nразбиений вида (1), однако, так как (2) является соответствующим механизму π прямым механизмом, все рассуждения можно прово- дить для некоторого фиксированного упорядочения.Кроме того, в настоящем разделе мы ограничимся анонимны- ми механизмами активной экспертизы, то есть механизмами,симметричными относительно перестановок АЭ. Если механизм экспертизы является анонимным, то разбиение (1) единственно и не зависит от упорядочений истинных мнений экспертов.Определим линейный механизм активной экспертизы [76]:(3)πL(s) = ∑=nkkks1α,где αk≥ 0, ∑=nkk1α = 1. Последовательность (1) для линейного механизма имеет вид:(4)νk(πL) = 1 - ∑=kii1α, k = n,1, ν0(πL) = 1.Очевидно, у любого анонимного механизма последователь- ность ν(π) разбивает отрезок [0; 1] на N равных частей, в частности- у анонимного линейного механизма экспертизы αi = 1/N. В рабо- те [76] для анонимных механизмов экспертизы доказано, что в 67многоуровневых АС они допускают произвольную децентрализа- цию. Кроме того, в упомянутой работе доказано, что для любого механизма экспертизы в двухуровневой АС существует эквива- лентный линейный механизм экспертизы, причем при доказатель- стве этого факта устанавливается следующая взаимосвязь между исходным (нелинейным) механизмом экспертизы и соответствую- щим ему линейным механизмом:(5)αk = νk-1 - νk, k = n,1,и любой механизм вида (3), являющийся механизмом экспертизы,удовлетворяет αk > 0, k = n,1, и для любого механизма экспертизы все элементы последовательности ν(π), определяемой (1), различ- ны.При нечетном числе экспертов анонимный механизм активной экспертизы является оптимальным (в смысле погрешности проце- дуры принятия решений в ситуации равновесия относительно базовой процедуры) в классе линейных механизмов [76], и, следо- вательно (см. выше), в классе произвольных механизмов эксперти- зы с соответствующим фиксированным упорядочением истинных мнений экспертов.Таким образом, мы привели известные результаты исследова- ния механизмов активной экспертизы, позволяющие определять равновесие и описывающие свойства линейных механизмов (см.(1)-(5)). Важным свойством анонимных механизмов экспертизы является то, что при их исследовании достаточно ограничиться изучением линейных механизмов экспертизы с одинаковыми весами всех экспертов.Перейдем к рассмотрению нечетких механизмов активной экспертизы, то есть механизмов, в которых сообщения экспертов нечеткие. Для этого, в первую очередь, требуется определить, что понимается под равновесием Нэша в случае, когда стратегии игро- ков нечеткие. Напомним, что в четком случае s*∈ S – равновесиеНэша, тогда и только тогда, когда выполнено:(6)∀ i ∈ I ∀ si∈ Si fi(*is, *is−)≥ fi(si, *is−),где fi(s) – целевая функция i-го АЭ, s = (s1, s2, …, sn) – вектор сооб- щений, s-i = (s1, s2, …, si-1, si+1, …, sn) – обстановка игры для i-го АЭ.Обозначим P(π) – множество четких равновесий Нэша. В[15, 76] доказано, что P(π) ≠ ∅. 68Пусть функции выигрыша игроков fi : X → ℜ1 и механизм планирования π : S → X четкие, а сообщения АЭ нечеткие. Обо- значим1iS - множество всех нечетких подмножеств множества Si,i ∈ I, S - множество всех нечетких подмножеств множества S.Стратегией i-го АЭ является нечеткое сообщение is∈iS с функцией принадлежности )(issiµ. Построим функцию принад- лежности )(ssµ вектора s∈ S [81, 82]:(7))(ssµ = Ii∈min {)(issiµ}.Обозначим S(x) = {s ∈ S | π(s) = x}, X - множество всех не- четких подмножеств множества X. Тогда в соответствии с принци- пом обобщения [82] при нечетких сообщениях АЭ и четкой проце- дуре планирования коллективное решение x будет нечетким подмножеством множества [0; 1] с функцией принадлежности)(xxµ, определяемой следующим образом:(8))(xxµ = )(supxSs∈)(ssµ.Определим предпочтения экспертов на множестве X нечет- ких коллективных решений. Образом нечеткого множества )(xxµпри четком отображении fi: X → ℜ1 будет нечеткое множество if с функцией принадлежности )(iffiµ, которая в силу принципа обобщения удовлетворяет:(9))(iffiµ = )(supiifXx∈)(xxµ,где Xi(z) = {x ∈ X | fi(x) = z}. Подставляя (7) и (8) в (9), получим:(10))(iffiµ = )(supiifXx∈)(supxSs∈Ii∈min {)(issiµ}.Выражение (10) есть функция принадлежности нечеткого вы- игрыша АЭ в ситуации игры s = (1s, 2s, …, ns).1 Здесь и далее тильда обозначает нечеткость соответствующейпеременной. 69В общем случае, когда предпочтения АЭ на множестве кол- лективных решений нечеткие, то есть заданы нечеткими отноше- ниям предпочтения (НОП) iR с функциями принадлежности),(yxiRµ, x, y ∈ X, i ∈ I. Фиксируем для i-го АЭ нечеткую обста- новку is−, тогда (8) можно записать как ),,(iixssx−µ. Анало- гично можно записать (10) как: ),,(iiifssfi−µ. Тогда обобщенноеНОП i-го АЭ на множестве iS есть [75, 82]:(11)),,(2 1iiiisss−η = Xxx∈2 1,sup min{),,(1 1iixssx−µ,),,(2 1iixssx−µ, ),(2 1xxiRµ}.Имея НОП (11) можно по аналогии с тем как это делается в[82] построить для каждого АЭ множество максимально недоми- нируемых при данной обстановке альтернатив, а затем воспользо- ваться (6) для определения нечеткого равновесия Нэша. Такой путь возможен, но трудоемок, поэтому вспомним, что в рассматривае- мой модели предпочтения АЭ четкие, и вернемся к выражению(10).Введем на множестве iS отношение «is−f» доминирования стратегий: при фиксированной остановке is− игры 2isis−f1isтогда и только тогда, когда:(12)∀ 1if∃ 2if: 2if≥ 1if и ),,(1 1iiifssfi−µ≤ ),,(2 2iiifssfi−µРациональным будем считать выбор активным элементом не- доминируемой стратегии. Вектор недоминируемых стратегий назовем нечетким равновесием Нэша. Отметим, что в предельном случае – при переходе к четким стратегиям – введенное нечеткое равновесие Нэша совпадает с (6).Обозначим )( πP – множество нечетких равновесий Нэша.Очевидно, что выполнено P(π)⊆)( πP, то есть )( πP≠ ∅.Введем следующее предположение: 70A.2.2. Функции выигрыша АЭ строго однопиковые с точками пика ri; нечеткие множества is, i ∈ I, нормальны1Теорема 2.1. В нечетком анонимном механизме активной экс- пертизы для любого АЭ и для любого равновесного по Нэшу его сообщения существует недоминируемое равновесное по Нэшу четкое сообщение.Доказательство. В силу предположения А.2.2 множество Xi(fi)состоит не более чем из двух точек (и не менее, чем одной точки),которые мы обозначим )(iifx− и )(iifx+, )(iifx−≤ )(iifx+Очевидно, что при этом выполнено:∀ 1if > 2if)(2iifx−≤)(1iifx−≤ ri≤)(1iifx+≤ )(2iifx+Выражение (9) при этом упрощается и принимает вид:(13))(iffiµ = max {(xµ)(iifx−), (xµ)(iifx+)}.Пусть при нечеткой обстановке is− для i-го АЭ существует нечеткая недоминируемая стратегия *is. Сделаем ее четкой (про- изведем «дефаззификацию»), положив соответствующую функцию принадлежности )(*issiµ равной нулю всюду, за исключением точки, на которой достигается максимум в (12)-(13).Получим четкую недоминируемую стратегию i-го АЭ. Анало- гичным образом можно поступить по одиночке и для других АЭ,получив в итоге четкое равновесие Нэша типа (6), эквивалентное исходному. •Следствием утверждения теоремы 2.1 является тот факт, что для любого АЭ и для любой его нечеткой стратегии всегда сущест- вует не худшая для него четкая стратегия. Поэтому, с одной сторо- ны, можно утверждать, что допущение возможности сообщения экспертами нечеткой информации качественно не изменяет2 струк- туру и свойства равновесных стратегий.1 Нормальным называется нечеткое множество, максимальное значениефункции принадлежности которого равно единице [82].2 С содержательной точки зрения нечеткое коллективное решениеможет давать лицу, принимающему решение (ЛПР), большую информа-цию, нежели чем четкое коллективное решение экспертов. 71С другой стороны, при нечетких сообщениях АЭ расширяется множество равновесных по Нэшу стратегий (P(π)⊆)( πP), что порождает определенные трудности при построении соответст- вующего прямого механизма (см. также модель интервальной экспертизы ниже). Поясним последнее утверждение более подроб- но. Соответствующим исходному механизму π(s), π: S → X, пря- мым механизмов h(r), h:ℜn→ X, называется механизм [17, 78, 85],в котором АЭ сообщают центру информацию о своих точках пика,после чего центр вычисляет равновесные s*(r) в исходном меха- низме при данных точках пика заявки, то есть h(r) = π(s*(r). Если соответствующий прямой механизм неманипулируем, то есть в нем сообщение достоверной информации является равновесной стратегией каждого АЭ, то он называется эквивалентным прямым механизмом [78, 85].Если для каждого профиля предпочтений (профилем предпоч- тений в случае однопиковых целевых функций называется вектор точек пика) в исходном (непрямом) механизме существует единст- венное равновесие Нэша (вектор равновесных по Нэшу сообщенийАЭ), то это равновесие подставляется в соответствующий прямой механизм. Именно так дело обстоит в четком механизме активной экспертизы, в котором существует единственное равновесие Нэша и для которого можно построить эквивалентный прямой механизм.Сложнее дело обстоит, когда существует несколько равнове- сий Нэша. В этом случае для задания соответствующего прямого механизма используют соответствие отбора равновесий, опреде- ляющее единственное для каждого профиля предпочтений равно- весие в непрямом механизме. При этом возникают следующие трудности. Основная проблема заключается в том, что при практи- ческом использовании соответствия отбора равновесий нет ника- кой гарантии, что АЭ выберут равновесие, отбираемое применяе- мым соответствием. Выходов из этой ситуации несколько: либо использование максимального гарантированного (по множеству равновесий при каждом профиле) результата, либо введение до- полнительных гипотез о поведении АЭ (см. интервальные модели экспертизы ниже). В первом случае уменьшается эффективность управления, во втором требуется обоснование вводимых гипотез.Таким образом, можно сделать следующий качественный вы- вод – при использовании механизмов нечеткой активной эксперти- 72зы увеличивается информация, поступающая к ЛПР, но, в то же время, возникает неопределенность относительно равновесных стратегий экспертов, снятие которой либо приводит к снижению эффективности данного механизма, либо требует дополнительной информации для введения обоснованных предположений о пове- дении экспертов. И тот и другой способ применимы далеко не во всех ситуациях, встречающихся на практике, поэтому наиболее прямолинейным способом решения проблемы множественности равновесий является отказ от нечеткости, то есть переход к четким механизмам экспертизы, в которых равновесие единственно.Частным случаем механизмов нечеткой активной экспертизы является класс механизмов интервальной активной экспертизы, к описанию которых мы и переходим. Пусть каждый эксперт (ак- тивный элемент) сообщает центру отрезок is = [−is; +is], где0 ≤−is≤+is≤ 1, i ∈ I. Механизм интервальной экспертизы являет- ся частным случаем механизма нечеткой экспертизы, так как первому соответствует конкретная функция принадлежности:(14))(issiµ = ∉∈+−+−];[,0];[,1iiiiiissssss, i ∈ I.При использовании анонимного механизма множество S(x)имеет вид:S(x) = {s ∈ S |∑=niis1 = nx}.Коллективное решение является интервалом с функцией при- надлежности:(15))(xxµ = ∉∈∑∑∑∑=+=−=+=−];[,0];[,1 11 11niiniiniiniissnxssnx 73Интервальный выигрыш i-го АЭ имеет функцию принадлеж- ности )(iffiµ, определяемую следующим образом(16)ifµ=∉∉∈∈∑∑∑∑∑∑∑∑=+=−+=+=−−=+=−+=+=−−];[)(и];[)(,0];[)(или];[)(,1 11 11 11 11niiniiiiniiniiiiniiniiiiniiniiiissfnxssfnxssfnxssfnx.Построим равновесие Нэша. Пусть АЭ упорядочены в порядке возрастания их точек пика: r1≤ r2≤ …≤ rn. Построим разбиение отрезка [0; 1]: Ωi = [nin−; nin1+−], i ∈ I. По аналогии с четким случаем [15] можно утверждать, что если существует (а он если существует, то единственен) АЭ с номером k таким, что rk∈ Ωk, то он является диктатором, то есть его тока пика будет принадлежать интервальному коллективному решению.Обозначим −Σi = ∑≠−ijjs, +Σi = ∑≠+ijjs. Структура равновесияНэша *s и его свойства в рамках предположений А.2.1-А.2.2даются следующей теоремой.Теорема 2.2. 1) Если −Σi > nri, то *is = [0; a], где a – произ- вольное число из отрезка [0; 1];Если +Σi + 1 < nri, то *is = [a; 1], где a – произвольное число из отрезка [0; 1];Если nri∈ [−Σi; +Σi + 1], то *is = [a; b], где a ≤ b иa ∈ [0; min{nri - −Σi; 1}].Доказательство теоремы 2.2 тривиально, так как заключается в проверке того, что построенные сообщения при фиксированной обстановке являются недоминируемыми, и опускается.Следствие. В интервальном механизме активной экспертизы диктатором является АЭ с номером k (см. определение выше).Равновесные сообщения имеют следующий вид:(17)∀ i < k *is = [0; a], ∀ i > k *is = [b; 1],а сообщение диктатора таково, что rk∈ π(*s). 74Отметим, что в соответствии с результатом теоремы 2.2 одним из равновесий Нэша является сообщение всеми экспертами одина- ковых сообщений, совпадающих с отрезком [0; 1] (см. выражение(17)), то есть всем интервалом возможных значений оцениваемой величины. Понятно, что подобные сообщения (являющиеся равно- весными!) не несут для ЛПР никакой информации.Основной качественный результат теоремы 2.2 заключается в том, что в интервальных механизмах активной экспертизы сущест- вует множество равновесий Нэша. Для уменьшения их числа необходимо вводить те или иные гипотезы о поведении АЭ или модифицировать механизм, например, ограничивать «ширину»отрезков, сообщаемых АЭ, и т.д.Выше мы рассмотрели модель нечеткой активной экспертизы,в которой механизм планирования и целевые функции АЭ были четкими, а нечеткими могли быть сообщения АЭ. «Фаззифициро- вать» можно и другие параметры, например, механизм планирова- ния и др. В качестве иллюстрации в заключение настоящего разде- ла кратко рассмотрим модель экспертизы, в которой все параметры за исключением предпочтений АЭ четкие.Пусть iR – НОП i-го АЭ, i ∈ I, на множестве X = [0; 1],имеющее функцию принадлежности ),(yxiRµ, i ∈ I. Если страте- гии АЭ и механизм планирования четкие, то четким является и результат экспертизы – коллективное решение.Механизм планирования π(⋅) и НОП АЭ iR индуцируют на множестве Si = [0; 1] НОП iQ с функцией принадлежностиiiiQsssi−,,(2 1µ). При фиксированной обстановке игры s-i, в част- ном случае, функцию принадлежности НОП iQ можно записать в виде: ),,(2 1iiiQsssi−µ = )),(),,((2 1iiiiRssssi−−ππµ. Значит НОПiQ является прообразом НОП iR при отображении π(⋅), то есть объединением всех нечетких множеств в Si× Si, образы которых при этом отображении лежат в нечетком множестве iQµ (опреде- 75ление прообраза нечеткого множества для общего случая приведе- но в [82]).Построим в Si нечеткое подмножество недоминируемых аль- тернатив с функцией принадлежности(18)ηi(si, s-i) = 1 - iSz∈sup[),,(iiQsszi−µ - ),,(iiQszsi−µ].Функцию (18) можно рассматривать как функцию выигрышаi-го АЭ и определять по ней нечеткое равновесие Нэша. В пре- дельном случае (при переходе к четким предпочтениям АЭ) нечет- кое равновесие Нэша переходит в четкое (см. выражение (6)). 761   2   3   4   5   6   7   8   9   10   11

2.2. Механизмы стимулированияРассмотрим задачу оперативного управления продолжительно- стью проекта. Пусть проект состоит из двух участников – руково- дителя проекта (центра в терминологии теории активных систем[22, 78]), осуществляющего управление проектом, и исполнителя(активного элемента (АЭ) в терминологии теории активных сис- тем). Таким образом, проект рассматривается в виде активной системы (АС), имеющей следующую структуру.Участники АС - менеджер проекта (центр) и исполнитель (АЭ).Центр выполняет планирующие, управляющие и контролирующие функции и несет ответственность за завершение проекта в дирек- тивные сроки с требуемым качеством и запланированными затра- тами. Активный элемент является исполнителем работ по проекту,то есть от его действий (и, быть может, от состояния природы – см.первую главу) зависят качество, сроки и т.д.В качестве основного выберем такой показатель как время за- вершения проекта (см. также обсуждение во введении к данной главе). Если в процессе реализации проекта оказывается, что про- гнозируемое время его завершения отличается от планового, то возникает необходимость в оперативном управлении – дополни- тельных мерах по сокращению продолжительности выполнения незавершенной части проекта. Реализация этих мер требует соот- ветствующих затрат, то есть возникает задача определения опти- мальных коррекционных воздействий, причем критерием эффек- тивности, как правило, выступают финансовые показатели,зависящие как от продолжительности проекта (санкции и штрафы за задержку сроков завершения и т.д.), так и от затрат на выполне- ние проекта (см. примеры в первой главе).При решении задачи управления центр должен учитывать ак- тивность АЭ, то есть вознаграждение исполнителя в зависимости от сокращения им сроков должно быть согласовано с его предпоч- тениями. В теории активных систем задачи согласования предпоч- тений и интересов изучаются при синтезе механизмов стимулиро- вания [77, 79], поэтому рассмотрим постановку задачи стимулирования исполнителей, в которой критерием эффективно- сти являются финансовые показатели центра, зависящие в свою очередь от продолжительности проекта. 77Последовательность изложения материала настоящего раздела следующая. Сначала рассматривается задача стимулирования в детерминированной АС, то есть в АС, функционирующей в усло- виях полной информированности о существенных внешних и внут- ренних параметрах. Затем исследуются более сложные модели,учитывающие возможность наличия интервальной, вероятностной или нечеткой неопределенности. В качестве одного из способов снижения неопределенности предлагается также использовать механизмы с сообщением информации, которые подробно рассмат- риваются в следующем разделе.2.2.1. Детерминированная АС (отсутствие неопределенности)Будем считать, что известны плановое T0 и прогнозируемое Tвремена завершения проекта (ограничимся наиболее распростра- ненным на практике случаем T ≥ T0). Как отмечалось выше, рас- сматриваемая модель охватывает как задачи планирования (решае- мые до начала реализации проекта), так и задачи оперативного управления, которые могут последовательно решаться в ходе реа- лизации проекта по мере поступления новой информации – уточне- ния прогнозируемого времени завершения проекта и других пара- метров (см. модели в разделах 1.2. и 1.3, а также механизмы экспертного прогнозирования в разделе 2.1).Предположим, что в случае задержки выполнения проекта центр выплачивает, например, заказчику или вышестоящей органи- зации, штрафы χ(t), t ≥ T0 (в частном случае, например, штрафы могут быть линейны: χ(t) = χ0 t). Исполнитель имеет возможность сократить срок реализации проекта (относительно прогнозируемо- го) или, что то же самое – сократить продолжительность одной или нескольких критических операций, что требует от него определен- ных затрат1 c(y), где y ∈ A – время, на которое сокращается про- должительность проекта. Переменная y может интерпретироваться как действие АЭ – выбираемая им стратегия.1Следует подчеркнуть, что в настоящем и следующем разделе c(y) –затраты исполнителя, но не затраты на проект (как это имело местово введении и первой главе)! 78Для того, чтобы побудить АЭ к выбору некоторой стратегии центр должен использовать соответствующую систему стимулиро- вания, то есть назначить зависимость σ(y) вознаграждения АЭ от выбираемых им действий. Эта зависимость σ(⋅) ∈ M называется функцией стимулирования (M – множество допустимых функций стимулирования).Интересы участников проекта (активной системы) выражены их целевыми функциями. Будем считать, что рациональность пове- дения участников проекта заключается в стремлении к максимиза- ции целевых функций. Более подробно, предположим, что центр заинтересован в том, чтобы минимизировать свои выплаты (сум- марные выплаты по штрафам и стимулированию АЭ), то есть целевая функция центра •(σ(⋅), y) имеет вид:(1)Φ(σ(⋅), y) = σ(y) + χ(T – T0 – y).Целевая функция активного элемента f(σ(⋅), y) представляет собой разность между стимулированием и затратами:(2) f(σ(⋅), y) = σ(y) – c(y).Введем следующие предположения:А.2.3. A = [0; T – T0].А.2.4. M – множество кусочно-непрерывных положительно- значных функций.А.2.5. c(y) – положительнозначная, монотонно возрастающая,строго выпуклая, непрерывно дифференцируемая функция, такая,что c(0) = 0.В ходе всего изложения материала настоящего раздела, если не будет оговорено особо, будем предполагать, что выполнена гипоте- за благожелательности (ГБ) – из множества реализуемых действий1P(σ) = Arg Ay∈max f(y, σ)активный элемент выбирает действия, наиболее благоприятные для центра.Последовательность функционирования следующая: центр со- общает АЭ функцию стимулирования, после чего АЭ при извест- ной функции стимулирования выбирает свое действие. Следова-1 Реализуемым некоторой системой стимулирования действием АЭназывается такое его допустимое действие, на котором достигаетсямаксимум его целевой функции [78, 79]. 79тельно, задача центра заключается в выборе такой допустимой системы стимулирования, которая минимизировала бы значение его целевой функции при условии, что АЭ выбирает допустимое действие, максимизирующее его собственную целевую функцию:(3)∈→Φ∈−∈∈)(max min)),((*];0[,**0*yfArgyyyAyTTyMσσЗадача (3) является игрой типа Г2 (в терминологии теории ие- рархических игр [38, 40, 56]) и может рассматриваться как детер- минированная задача стимулирования второго рода (в терминоло- гии теории активных систем [22, 78]). Ее решение дается следующей теоремой1Теорема 2.3. Оптимальное решение σ*(y) задачи (3) имеет вид:(4)σ*(y) = ≠=***,0),(yyyyyc,где оптимальное действие АЭ y* определяется следующим выраже- нием:(5) y* = arg ],0[0minTTy−∈Φ(y).При использовании центром системы стимулирования (4) (на- зываемой в теории активных систем квазикомпенсаторной[22, 78, 79]), максимальное значение целевой функции равно нулю и принимает это значение в двух точках, то есть P(σ*) = {0}∪ {y*}.В [78, 79] доказано, что оптимальной является такая допусти- мая система стимулирования, на которой достигается минимум затрат центра на стимулирование по реализации действий АЭ.Поэтому докажем, что система стимулирования (4)-(5) характери- зуется минимальными затратами центра на стимулирование. Пусть существует система стимулирования σ, такая, чтоy*∈ P(σ),σ(y*) < σ*(y*). Условие реализуемости имеет вид:1 В теории активных систем существует семейство теорем, дающихоптимальное решение задачи стимулирования в различных моделях АС[22, 79]. Поэтому теорема 2.3 может рассматриваться как результатприменения этой общей методологии к конкретной модели оперативногоуправления продолжительностью проекта. 80∀ y ∈ A σ(y*) – c(y*)≥ σ(y) – c (y).Подставим в это условие y = 0. Получим: σ(y*) – c(y*)≥ σ(0).В силу введенных предположений σ<0, что противоречит А.2.4. •Пример 3. В частном случае, когда штрафы центра линейны:χ(t) = χ0 t, действие (5) единственно (так как штрафы линейны, а функция затрат АЭ строго выпукла), следовательно на отрезке[0; T – T0] функция {c(y) - χ0 y)} достигает единственного максиму- ма. Более того, оптимальное решение оказывается устойчивым по параметрам модели в следующем смысле.Обозначим ξ = c’ –1(χ0), где c’ –1(⋅) – функция, обратная произ- водной функции затрат АЭ (она существует в силу А.2.5). Тогда оптимальное решение задачи (3) можно записать в виде:(6) y*(ξ) = +≥+≤−ξξξ0 00,,TTTTTTСодержательно, в случае линейных штрафов центру не обяза- тельно знать «точную» оценку реального времени T завершения проекта (неизвестного и приближенно оцениваемого в ходе его реализации), если оптимистичная оценка задержки T – T0 времени завершения проекта превышает величину ξ, которая зависит от внешних штрафов и функции затрат АЭ, то оптимальное с точки зрения внешних выплат центра сокращение продолжительности проекта «не зависит» от оценки будущей его продолжительности. •Итак, мы рассмотрели задачу оптимизации продолжительности проекта за счет использования механизмов стимулирования в одноэлементной активной системе. Перейдем к описанию много- элементного случая.Пусть имеется многоэлементная АС с n ≥ 1 активными элемен- тами, каждый из которых отвечает за соответствующую операцию(комплекс которых и составляет проект) и может сокращать ее продолжительность, независимо от продолжительности других операций. Обозначим yi≥ 0 – время сокращения i-ой операции,i ∈ I, где I = {1, 2, …, n} – множество АЭ.Время сокращения продолжительности проекта ∆T зависит от порядка выполнения и технологической связи операций и является функцией от сокращений каждой из операций (как критических,так и околокритических), то есть: ∆T = Y(y1, y2, …, yn). Получили 81многоэлементную активную систему со слабо связанными элемен- тами [79].Пусть центр решил n задач типа (3) – по одной для каждогоАЭ. Результатом является набор {ϑi(yi)} минимальных затрат цен- тра на стимулирование по реализации1 соответствующего вектора yдействий АЭ: y = (y1, y2, ,…, yn). Целевая функция центра имеет при этом вид:Φ(y) = χ(T – T0 – Y(y)) - ∑∈Iiϑi(yi).Следовательно, задача стимулирования заключается в поиске такого допустимого (y ∈ A’ = ℜn) вектора действий АЭ, который минимизировал бы целевую функцию центра Φ(y). ЗадачаΦ(y) → Ay′∈min является стандартной задачей условной оптимизации.В качестве ограничения множества допустимых действий АЭможет выступать, например, бюджетное ограничение: если фонд оперативного управления центра ограничен величиной R, то, оче- видно, допустимыми будут такие действия, для которых имеет место: A’ = {y ∈ +ℜn | ∑∈Iiϑi(yi)≤ R}.В зависимости от технологической взаимосвязи показателей операций (см. раздел 1.4, посвященный проблемам агрегирования показателей освоенного объема) возможны различные зависимостиY(⋅). Например, если операции выполняются последовательно, то∆T = ∑∈Iiyi, если параллельно, то ∆T = Ii∈min yi и т.д.Проиллюстрируем использование предложенного похода к решению задач стимулирования в многоэлементных АС на сле- дующем примере.Пример 4. Предположим, что штрафы линейны, а бюджетное ограничение отсутствует и ∆T = ∑∈Iiyi, тогда получаем набор1 В случае оптимальности компенсаторных функций стимулированияминимальные затраты центра на стимулирование определяются затра-тами АЭ, то есть имеет место: ϑi(yi) = ci(yi), i ∈ I. 82одноэлементных задач, в каждой из которых оптимально решение типа (6) с соответствующей функцией ξi(⋅) = 1'−ic(⋅), i ∈ I.Если ∆T = Ii∈min yi, тогда, очевидно, что в оптимальном реше- нии все АЭ должны завершить свои операции одновременно, то есть ∃ v ≥ 0: ∀ i ∈ I yi = v. Следовательно, решение задачи стиму- лирования заключается в поиске такого значения скалярной вели- чины v, которое минимизировало бы целевую функцию центра, то есть: χ(T – T0 – v) - ∑∈Iiϑi(v)→ 0min≥v. Получили стандартную зада- чу скалярной оптимизации. Если штрафы линейны, то оптималь- ным оказывается следующее сокращение продолжительности проекта: v* = )()(0 1'χ−∈⋅∑Iiic•Итак, задача оперативного управления продолжительностью проекта в случае многоэлементной АС со слабо связанными АЭсводится к параметрическому набору одноэлементных задач сти- мулирования и задаче поиска оптимальных значений параметров.Основную сложность при этом представляет решение одноэле- ментных задач1, так как второй этап сводится к стандартной задаче условной или безусловной оптимизации. Поэтому при изучении задач стимулирования в условиях неопределенности мы ограни- чимся рассмотрением, в основном, одноэлементных задач.Рассмотрев детерминированные задачи стимулирования, пе- рейдем к рассмотрению задач оперативного управления продолжи- тельностью проекта в условиях неопределенности.1 Для случая сильно связанных АЭ игра АЭ может быть декомпозирована.При этом оптимальной является «компенсаторная» «одноэлементная»система стимулирования, то есть сделанные качественные выводы,относительно необходимости акцентирования основного внимания наспецифике одноэлементных задач, остаются в силе и в общем случаемногоэлементных АС, то есть при сильно связанных активных элемен-тах. 83 2.2.2. Внешняя интервальная неопределенность относительно результатов деятельности АЭВ рамках модели, рассмотренной в предыдущем подразделе,предположим, что реальное сокращение z ∈ A0 = A = [0; +∞) про- должительности проекта зависит от действия АЭ и от состояния природы. Будем считать, что, выбирая свои стратегии, участники проекта имеют информацию лишь об интервале возможных значе- ний: z ∈ Z(y) = [Q-(y); Q+(y)]. Кроме того, предположим, что дейст- вия, выбираемые АЭ, не наблюдаются центром, которому стано- вится известен лишь результат деятельности. Поэтому стимулирование АЭ центром уже не может (как в детерминирован- ном случае) основываться на действиях АЭ, а должно зависеть от неопределенной величины – результата деятельности.Целевая функция АЭ равна: f(σ, y, z) = σ(z) – c(y). Устраняя ин- тервальную неопределенность, то есть применяя метод максималь- ного гарантированного результата (МГР), получим, что гарантиро- ванное значение целевой функции АЭ равно:(7) fГ(σ, y) = )(minyZz∈σ(z) – c(y).Следовательно, в рассматриваемой модели множество реали- зуемых действий АЭ есть P(σ) = Arg Ay∈max fГ(σ, y).Введем следующее предположение:1   2   3   4   5   6   7   8   9   10   11

А.2.6. ∀ y ∈ A Q-(y)≤ y, Q+(y)≥ y; Q-(⋅), Q+(⋅) – строго возрас- тающие непрерывные функции.Если целевая функция центра зависит от фактического сокра- щения продолжительности проекта z ∈ A0, то ее гарантированное значение равно:(8)ΦГ(σ, y) = )(maxyZz∈Φ(z, σ).Итак, задача стимулирования имеет вид:(9)∈→Φ≥−∈∈),(max min)),((г0*];0[,**г0*yfArgyyyyTTyMσσσЗадача (9) является детерминированной задачей стимулирова- ния (см. задачу (3)). 84Теорема 2.4а. Система стимулирования(10)σ(y*, z) = ∉∈+−+−)]();([,0)]();([),(*****yQyQzyQyQzyc,реализует действие АЭ y*. Оптимальное значение реализуемого действия АЭ определяется следующим выражением:(11) y* = arg ],0[0minTTy−∈)(maxyZz∈Φ(z, σ(z)).При этом гарантированное значение целевой функции АЭ рав- но нулю.Реализуемость действия y*∈ A системой стимулирования (10)следует из определения гарантированной реализуемости и предпо- ложения А.2.6. Справедливость остальных утверждений теорема2.4а очевидна. •Отметим, что в условиях теоремы 2.4а не фигурирует правая граница Q+(y) диапазона возможных значений результата деятель- ности при заданном действии. Это объясняется тем, что при вычис- лении МГР в (7) и (8) используется минимум (соответственно,максимум) про множеству Z(y) (см. также [79]).Содержательно, для того, чтобы побудить АЭ выбрать дейст- вие y*∈ A центр вынужден компенсировать ему затраты в размереc(y*) во всем множестве Z(y).Предположим, что функция штрафов центра монотонна, тогда целевая функция центра имеет вид:Φ(y) = )(maxyZz∈{χ(T – T0 – z) + σ(y, z)}.Так как функция штрафов монотонна, а система стимулирова- ния (10) кусочно-постоянна, то Φ(y) = χ(T – T0 –Q-(y)) + c(y). ЗадачаΦ(y) → 0min≥y является скалярной оптимизационной задачей.Пример 5. Пусть левая граница множества возможных резуль- татов деятельности имеет следующий вид: Q-(y) = (1-∆-)y, где вы- полнено: ∆-∈ [0; 1], а функция штрафов линейна. Тогда получаем,что оптимальное решение y* = arg 0min≥yΦ(y) имеет вид (3), гдеξ(⋅) = c’-1((1 – ∆-)χ0).Легко проверить, что с ростом неопределенности (увеличением∆-∈ [0; 1]) эффективность стимулирования не возрастает. В пре- 85дельном случае (при ∆- = 0) решение задачи в условиях неопреде- ленности переходит в решение соответствующей детерминирован- ной задачи, что вполне согласуется с общими принципами, изло- женными в [79]. •Рассмотрим теперь случай, когда на момент принятия решений участники АС информированы асимметрично (данная модель близка к задачам стимулирования, рассмотренным в [79]): АЭ знает достоверно каким будет результат деятельности z ∈ A0 в зависимо- сти от выбираемого им действия: z = z(y), а центр имеет информа- цию об интервале возможных значений: z(y)∈ Z(y). Для простоты можно положить ∀ y ∈ A z(y) = y.Целевая функция АЭ равна: f(σ, y) = σ(z(y)) – c(y). Следова- тельно, в рассматриваемой модели множество реализуемых дейст- вий АЭ есть P(σ) = Arg Ay∈max{σ(z(y)) – c(y)}.Если целевая функция центра зависит от фактического сокра- щения продолжительности проекта z ∈ A0, то ее гарантированное значение равно:(12)ΦГ(σ, y) = )(maxyZz∈Φ(z, σ).Итак, задача стимулирования имеет вид:(13)−∈→Φ≥−∈∈)}())(({max min)),((0*];0[,**г0*ycyzArgyyyyTTyMσσσЗадача (13) является детерминированной задачей стимулиро- вания (см. задачу (3)).Теорема 2.4б. Система стимулирования(14)σ(y*, z) = ∉∈+−+−)]();([,0)]();([),(*****yQyQzyQyQzyc,реализует действие АЭ y*. Оптимальное с точки зрения центра значение реализуемого действия АЭ определяется следующим выражением:(15) y* = arg ],0[0minTTy−∈)(maxyZz∈Φ(z, σ(z)).При этом гарантированное значение целевой функции АЭ равно:fГ(y*) = c(y*) – c(Q-(y*))≥ 0. 86Доказательство теоремы 2.4б аналогично доказательству тео- ремы 2.4а и опускается. Обсудим качественное различие результа- тов.Отличие моделей заключается в том, что в задаче (13), по сравнению с задачей (10), АЭ достоверно знает зависимость между своим действием и результатом деятельности, а центру по- прежнему известен лишь интервал возможных значений. Следова- тельно, имеет место асимметричная информированность участни- ков. Так как в обоих случаях информированность центра одинако- ва, то одинакова в обоих случаях и максимальная гарантированная эффективность управления (максимальное гарантированное значе- ние целевой функции центра на множестве гарантированно реали- зуемых действий АЭ). Отличие в информированности АЭ приводит к тому, что увеличивается гарантированное значение его целевой функции. Системы стимулирования (11) и (14) одинаковы, однакоАЭ имеет возможность «обмануть центр», то есть выбрать действиеQ-(y*) (обеспечив тем самым z = Q-(y*)) и получить при этом возна- граждение c(y*) превышающее его реальные затраты c(Q-(y*)).В предельном случае, то есть при увеличении информирован- ности участников АС, задачи (10) и (13) и их решения переходят,соответственно, в детерминированную задачу (3) и ее решение (5),то есть принцип соответствия [79] имеет место.2.2.3. Внешняя вероятностная неопределенность относительно результатов деятельности АЭВ рамках модели, рассмотренной в предыдущем подразделе,предположим, что реальное сокращение z ∈ A0 = [0; +∞) продол- жительности проекта зависит от действия АЭ, но является случай- ной величиной с интегральной функцией условного распределенияF(z, y) – модель теории контрактов [79, 105, 107, 133-136, 144].Будем считать, что, выбирая свои стратегии, участники проекта имеют информацию лишь об этом распределении. Кроме того,предположим, что действия, выбираемые АЭ, не наблюдаются центром, которому становится известен лишь результат деятельно- сти. Поэтому стимулирование АЭ центром уже не может (как в детерминированном случае) основываться на действиях АЭ, а 87должно зависеть от случайной величины – результата деятельно- сти.Дополнительно к предположениям А.2.4 и А.2.5 введем сле- дующее предположение относительно свойств функции распреде- ления (модель простого активного элемента [22, 79, 42]):А.2.7. F(z, y) = ≥<yzyzzF,1),(, F(T - T0) < 1.Содержательно предположение А.2.7 означает, что реальное сокращение продолжительности проекта оказывается не большим,чем действие АЭ. Кроме того, считается, что, даже если АЭ ориен- тируется (выбирает действие) на такое сокращение длительности,что продолжительность проекта в детерминированном случае оказалась бы меньшей, чем плановая, то существует ненулевая вероятность того, что фактическая продолжительность проекта превысит плановую.Так как функции полезности (не путать с целевыми функция- ми! [78]) участников проекта:(16)Φ(σ(z), z) = σ(z) + χ(z),(17) f(σ(z), z) = σ(z) – c(z)зависят от случайных величин, распределения которых им известны, будем считать, что они выбирают свои стратегии, стре- мясь максимизировать ожидаемую полезность. Таким образом,целевые функции участников определяются их ожидаемой полез- ностью, то есть имеет место1: Φ(σ, y) = E Φ(σ, z) = E {σ(z) + χ(T – T0 – z)}, f(σ, y) = E f(σ, z) = E {σ(z) – c(z)}, а задача управления имеет вид:(18)∈→Φ∫∫≥−∈∈0 0*0),()),((max min),()),((0*];0[,*AyTTyMAdzyzpzzfArgydzyzpzzσσσ.1 Символ «E» обозначает оператор вычисления математического ожи-дания. 88Теорема 2.5а. Оптимальное решение σ*(z) задачи (18) имеет вид:(19)σ*(z*, z) = >≤**,0),(zzzzzc,где оптимальное значение результата деятельности АЭ z* определя- ется следующим выражением:(20) z* = arg ],0[0minTTy−∈Φ(σ*, y).Доказательство теоремы 2.5а использует тот факт, что в моде- ли простого АЭ стационарные точки функции полезности и целе- вой функции совпадают, то есть, практически, повторяет доказа- тельство утверждения 3.1.15, приведенного в работе [79], и по этой причине опускается.Если затраты АЭ зависят не от результата его деятельности, а непосредственно (и только!) от его действия, то есть c = c(y), то дело обстоит несколько более сложным образом. Для этого случая оптимальное решение задачи оперативного управления дается следующей теоремой.Теорема 2.5б. Если затраты АЭ зависят от его действия, то оп- тимальное решение σ*(z) задачи (18) имеет вид:(21)σ*(y*, z) = ≠=−****,0,)(1)(yzyzyFyc,где оптимальное значение результата деятельности АЭ z* определя- ется следующим выражением1:(22) z* = arg Ay∈max{с(y) + Eχ(T – T0 – z)}.Докажем, что система стимулирования (21)2 реализует дейст- вие y*∈ A. Ожидаемая полезность АЭ равна:1 Символ «E» обозначает оператор математического ожидания.2 Отметим, что в работе [42] для близкой к рассматриваемой задачи(также в модели простого АЭ) была доказана оптимальность следующейсистемы стимулирования: ∫−=zdxxFxczw0 0)(1)(')(. 89f(y, σ) = ∫y0σ(z) p(z) dz + σ(y)[1 – F(y)] – c(y).Подставляя систему стимулирования (21), легко видеть, что выполнено условие реализуемости: ∀ y ∈ A f(y*, σ*)≥ f(y, σ*).Докажем, что (21) минимизирует затраты центра на стимули- рование. Предположим противное, то есть пусть существуетσ∈ M, такое, что выполнено:(23)∫*0yσ(z) p(z) dz + σ(y*)[1 – F(y*)] < Eσ*(y*, z) = c(y*).Подставляя в условие реализуемости действия y* системой стимулирования σ конкретное значение действия АЭ: y = 0, полу- чим (первое неравенство следует из (23)):0 > ∫0Aσ(z)p(z, y*) dz – c(y*)≥ σ(0) – c(0),что противоречит А.2.4. •Сравним эффективность стимулирования в двух случаях. Пер- вый случай - когда функция затрат АЭ зависит от результата его деятельности, второй случай когда функция затрат АЭ зависит от его действия. Так как множества A и A0 совпадают, то будем рас- сматривать одну и ту же функцию затрат c(⋅).Следствие. Эффективность стимулирования в случае, когда за- траты АЭ зависят от ненаблюдаемого центром действия АЭ, не выше, чем в случае, когда затраты АЭ зависят от его результата деятельности, наблюдаемого центром.Вычислим ожидаемое значение функции стимулирования (19):E σ*(z*, z) = ∫*0zc(z) p(z) dz + c(z*)[1 – F(z*)]≤ c(z*).Последнее неравенство получено оценкой интеграла сверху в силу монотонности и неотрицательности затрат АЭ.В ходе доказательства теоремы 2.5б было установлено, что ожидаемое значение функции стимулирования (21) равно следую- щей величине : E σ*(y*, z) = c(y*). 90Если приравнять действия y* и z*, реализуемые, соответствен- но, системами стимулирования (21) и (19), то получим:E σ*(y*, z) ≥ E σ*(z*, z).Так как минимальные затраты на стимулирование по реализа- ции любого действия системой стимулирования (21) выше, чем системой стимулирования (19), то по теореме о минимальных затратах на стимулирование [78] получаем утверждение следст- вия. •Итак, теоремы 2.5а и 2.5б дают решение задачи синтеза опти- мальной функции стимулирования, побуждающей простой актив- ный элемент к сокращению времени выполнения проекта.Проверим выполнение принципа соответствия – при «предель- ном переходе» от вероятностной АС (рассматриваемой модели простого АЭ) к соответствующей детерминированной АС опти- мальные решения должны совпадать. Действительно, система стимулирования (19) переходит в оптимальную в детерминирован- ной модели компенсаторную систему стимулирования [79], а (21) в точности совпадает с оптимальной квазикомпенсаторной системой стимулирования (4).2.2.4. Внешняя нечеткая неопределенность относительно результатов деятельности АЭВ рамках модели, рассмотренной в предыдущем подразделе,предположим, что реальное сокращение z ∈ A0 = [0; +∞) продол- жительности проекта зависит от действия АЭ, но, выбирая свои стратегии, участники проекта имеют о нем нечеткую информациюP(z, y), P: A × A0→ [0; 1]. По-прежнему будем считать, что дей- ствия, выбираемые АЭ, не наблюдаются центром, а стимулирова- ние зависит от результата деятельности, в то время как целевая функция центра зависит от действия АЭ (если в рассматриваемой модели с нечеткой неопределенностью целевая функция центра зависит от результата деятельности АЭ, то в рамках вводимых ниже предположений задача управления сводится [79] к детерми- нированной, то есть описанной выше).Дополнительно к предположениям А.2.4 и А.2.5 введем сле- дующее предположение относительно свойств нечеткой информа- ционной функции: 911   2   3   4   5   6   7   8   9   10   11

А.2.8. Нечеткая информационная функция P(z, y) 1- нормальна [82], то есть:∀ y ∈ A 0supAz∈P(z, y) = 1 и ∀ z ∈ A0∃ y ∈ A: P(z, y) = 1.Так как функции полезности участников проекта (центра иАЭ): Φ(σ(z), z) и f(σ(z), z) = σ(z) – c(z) зависят от неопределенных величин, то будем считать, что они выбирают свои стратегии,недоминируемые по индуцированному нечеткому отношению предпочтения (НОП) [82]. Множество максимально недоминируе- мых (по НОП, индуцированному на множестве A функцией полез- ности АЭ f(z) и нечеткой информационной функцией P(z, y))обозначим )),((0ARPAσ. Алгоритм построения этого множества описан в [75, 82]. Таким образом, задача управления имеет вид:(24)∈→Φ−∈∈)),((min)),((0 0**];0[,**ARPyyyATTyMσσσОбозначим Q(z) = {y ∈ A | P(z, y) = 1}. Решение задачи (24)дается следующей теоремой.Теорема 2.6. Оптимальное решение σ*(z) задачи (24) имеет вид:(25)σ*(z) = ≠=***,0),(zzzzzc,где оптимальное значение результата деятельности АЭ z* в рамках гипотезы благожелательности определяется следующим выражени- ем:(26) z* = arg 0minAz∈{)(minzQy∈[c(z) + χ(T – T0 – y)]}.Если гипотеза благожелательности не выполнена, то опти- мальное значение результата деятельности АЭ z* определяется следующим выражением:(27) z* = arg 0minAz∈{)(maxzQy∈[c(z) + χ(T – T0 – y)]}.Множество максимально недоминируемых (по НОП, индуци- рованному на множестве A целевой функцией АЭ f(σ, z) и нечеткой информационной функцией P(z, y)) действий АЭ описывается 92достаточно сложно (см. [75, 82]), и использование такого описания для решения задачи стимулирования затруднительно. Поэтому в теории активных систем (по аналогии с тем как это делалось в теории принятия решений [82]) был предложен подход, заключаю- щийся в сведении задачи анализа зависимости множества недоми- нируемых альтернатив от системы стимулирования к анализу зависимости решения задачи четкого математического программи- рования (ЧМП) от системы стимулирования [75, 79]. Более кон- кретно, было доказано, что, если выполнено предположение А.2.8,то действие y0∈ A является четко недоминируемым [82] тогда и только тогда, когда существует результат деятельности z0∈ A0,такой, что пара (y0, z0) является решением следующей задачи ЧМП:(28) f(σ, z) → max, P(z, y) = 1, y ∈ A, z ∈ A0В соответствии с результатом теоремы 2.3 при использовании системы стимулирования (25) максимум целевой функции АЭдостигается в точке z. Кроме того, (25) – минимальная (квазиком- пенсаторная) система стимулирования, реализующая этот результат деятельности. В соответствии с (28) множество Q(z)⊆ A и только оно [78] будет множеством четко недоминируемых действий, то есть ))),(((*0AzRPAσ = Q(z).Значит АЭ выберет одно из четко недоминируемых при данной системе стимулирования действий. Осталось устранить неопреде- ленность относительно конкретного выбора АЭ. В рамках ГБ для этого используется минимум по множеству Q(z), при использова- нии МГР – максимум (см. выражения (26) и (27)), то есть на втором этапе (этапе согласованного планирования [19, 78]) центру остается решить задачу поиска оптимального реализуемого действия АЭ –см., соответственно, выражения (26) и (27). •Отметим, что при предельном переходе к соответствующему детерминированному случаю (в котором P(z, y) = ≠=yzyz,0,1) из теоремы 2.6 следует, что оптимальным становится решение (5),которое оптимально в соответствующей детерминированной зада- че. 93Пример 6. Пусть P(z, y) = ∆+∆−∉∆+∆−∈)]1();1([,0)]1();1([,1yyzyyz, где∆ ∈ [0; 1]1. Тогда Q(z) = [z - ∆; z + ∆]. Вычислим множествоQ(z) = [∆+1z; ∆−1z]. Тогда оптимальное решение имеет вид:z* = arg 0minAz∈{)(minzQy∈[c(z) + χ(T - T0 - y)]} == arg 0minAz∈[c(z) - χ(T - T0 - ∆+1z)].Получили скалярную задачу оптимизации. В случае линейных штрафов получаем, что оптимально решение (6), гдеξ(⋅) = c’-1(∆+1 0χ).Отметим, что полученное решение совпадает с решением, оп- тимальным в случае соответствующей интервальной неопределен- ности (см. теоремы 2.4а и 2.4б), то есть методы учета этих двух типов неопределенности согласованы.При отсутствии неопределенности (∆ = 0) получаем решение, в точности совпадающее с (5). Легко проверить, что с ростом неоп- ределенности (увеличением ∆ ∈ [0; 1]) эффективность стимулиро- вания не возрастает. •В случае интервальной и вероятностной неопределенности и симметричной информированности участников АС относительно времени завершения проекта устранение неопределенности произ- водится, соответственно, применением МГР и ожидаемых полезно- стей, то есть методами, исследованными достаточно подробно [79].Рассматривать их адаптацию к частному случаю задачи оператив- ного управления временем завершения проекта мы не будем, по- этому сконцентрируем основное внимание на случае нечеткой неопределенности относительно времени завершения проекта,который, практически, не исследован в литературе по управлениюАС в условиях неопределенности.1 При данной функции принадлежности нечеткая неопределенностьможет рассматриваться как интервальная неопределенность – см.обсуждение совпадения соответствующих решений ниже. 94 2.2.5. Внешняя нечеткая неопределенность относительно времени завершения проектаПредположим, что результат деятельности АЭ совпадает с его действием, однако относительно времени T завершения проекта имеется нечеткая информация: µT(t), µT : [0; +∞) → [0; 1]. Задача оперативного управления заключается в выборе центром системы стимулирования, которая минимизировала бы его выплаты с уче- том имеющейся информации.Воспользовавшись результатом теоремы 2.3, получаем, что минимальные затраты центра на стимулирование АЭ, побуждаю- щие последнего сократить продолжительность проекта на величинуy ≥ 0 равны c(y).Четкая целевая функция центра равна:Φ(y, T) = c(y) + χ(T – T0 – y).Обозначим Y(T) = Arg Ay∈minΦ(y, T). Множество Y(T) может рас- сматриваться как нечеткое отображение µY(t, y): A × A → [0; 1]времени окончания проекта в действия АЭ, то есть:(29)µY(t, y) = Φ∉Φ∈∈∈),(minArg,0),(minArg,1tyytyyAyAyОбразом нечеткого множества µT(t) при нечетком отображенииµY(t, y) в соответствии с принципом обобщения [82] будет нечеткое множество µ(y) с функцией принадлежности(30)µ(y) = 0sup≥t min {µT(t); µY(t, y)}.Обозначим Amax = Arg Ay∈maxµ(y) – множество действий АЭ,максимизирующих функцию принадлежности (30).Оптимальным будем считать максимизирующее решение [82],то есть любое действие из множества Amax. Из вышесказанного следует справедливость следующей теоремы.Теорема 2.7. Оптимальной в условиях нечеткой неопределен- ности относительно времени завершения проекта является сле- дующая система стимулирования: 95(31)σ*(y) = ∉∈max max,0),(AyAyycДоказательство теоремы 2.7 повторяет (с учетом выражений(29)-(31)) доказательство теоремы 2.3 (см. также теорему 2.6 и ее доказательство) и не приводится.В предельном (детерминированном) случае нечеткое множест- во µT(t) имеет вид µT(t) = ≠=TtTt,0,1, а множествоAmax = Arg Ay∈maxµ(y) = Arg Ay∈minΦ(y, T) соответствует (5).Пример 7. Рисунки 12 и 13 являются графической иллюстраци- ей использования теоремы 2.7 для случая линейных штрафов. •Рис. 12. Нечеткое множество µT(t)продолжительностей проектав примере 7tT0µT(t)Рис. 13. Образ нечеткого множестваµT(t) в примере 7T0+ξµ(y)T0ξy*(t)ty02.3. Механизмы планированияВ разделе 2.2 рассмотрены механизмы стимулирования, побу- ждающие активные элементы сокращать продолжительность вы- полнения проекта в случае, когда последняя превышает директив- ные сроки. Анализ механизмов управления в условиях неопределенности свидетельствует, что с ростом информированно- сти управляющего органа эффективность оперативного управления не снижается. Выше были рассмотрены случаи интервальной,вероятностной и нечеткой внешней неопределенности, то есть 96неопределенности относительно результатов деятельности АЭ.Кроме нее в системе может присутствовать внутренняя неопреде- ленность – недостаточная информированность центра о параметрах самих активных элементов.В настоящем разделе рассматриваются механизмы управления в условиях внутренней неопределенности. В том числе, традицион- но в качестве одного из методов снижения неопределенности ис- пользуются механизмы с сообщением информации от более ин- формированных участников менее информированным. При их применении возникают две основные задачи – оценки эффективно- сти и исследования достоверности сообщаемой центру информа- ции. Обе эти задачи для случая сокращения продолжительности времени реализации проекта рассматриваются ниже.2.3.1. Внутренняя интервальная неопределенность относительно возможностей АЭПредположим, что функция затрат c(y, r), удовлетворяющая при любом допустимом значении параметра r предположениюА.2.4, активного элемента зависит от неизвестного центру парамет- ра r ∈ [d; D], относительно которого центру известен лишь диапа- зон [d; D] его возможных значений (случай внутренней интерваль- ной неопределенности в соответствии с классификацией, введенной в [22, 79]). Рассмотрим задачу синтеза оптимальных управляющих воздействий.Если, помимо множества возможных значений неопределенно- го параметра, центр не имеет никакой дополнительной информа- ции, то он вынужден применять принцип максимального гаранти- рованного результата (МГР) и решать затем соответствующую задачу стимулирования.Запишем условия гарантированной реализуемости некоторого действия y*∈ A системой стимулирования σ ∈ M:(1)∀ y ∈ A ∀ r ∈ [d; D] σ(y*) – c(y*, r)≥ σ(y) – c(y, r).Положив σ(y) = 0 ∀ y ≠ y* и используя А.2.4, оценим по (1) ми- нимальные затраты центра на стимулирование:(2)σ(y*)≥ ];[maxDdr∈ c(y*, r). 97Следовательно, решение задачи синтеза оптимальной системы стимулирования (по аналогии с теоремой 2.3) имеет вид:(3)σ*(y*, y) = ≠=∈***];[,0),,(maxyyyyrycDdr,где оптимальное действие АЭ y* определяется следующим выраже- нием:(4) y* = arg ],0[0minTTy−∈{σ*(y) + χ(T – T0 - y)}.Выше при рассмотрении задачи стимулирования в АС с интер- вальной внешней неопределенностью было показано, что при асимметричной информированности выигрыш АЭ (значение его целевой функции на реализуемом центром действии) не ниже, чем в случае симметричной информированности. Такое же заключение может быть сделано и для рассматриваемой модели. Выигрыш АЭ(по сравнению с детерминированным случаем) равен следующей величине: {];[maxDdr∈ c(y*, r) – c(y*, r)}, причем этот выигрыш не убы- вает с ростом неопределенности (расширением отрезка [d; D]).Качественно этот факт можно сформулировать следующим обра- зом: чем меньше знает центр об АЭ, тем это более выгодно для последнего.Сделанный вывод справедлив и для многоэлементных АС со слабо связанными АЭ (см. раздел 2.2.1 выше). Переход осуществ- ляется следующим образом – для i-го АЭ используется функция затрат ];[maxiiiDdr∈ ci(yi*, ri). Другими словами, вектор {xi} гарантиро- ванно оптимальных действий АЭ определяется как решение сле- дующей задачи:(5)χ(T - T0 - ∑∈Iiix) + ∑∈∈IiiiiDdrrxciii),(max];[→ 0minTTxIii−≤∑∈Пример 8. Пусть n = 1 и функция затрат АЭ имеет вид:c(y; r) = y2/2r, а штрафы линейны: χ(t) = χ0 t. Если истинное значе- ние параметра r известно центру, то, применяя результат теоремы2.3, получаем, что оптимальное решение имеет вид: 98σ*(y) = ≠=***,0),(yyyyyc, y* = +≥+≤−rTTrrTTTT0 00 00 0,,χχχОптимальное значение целевой функции центра при этом рав- но:Φ∗(σ*(y*), y*) = min {rTT2)(2 0−; χ0(T - T0) - 2 0χ r / 2}.Если истинное значение параметра затрат АЭ неизвестно цен- тру, то решение, максимизирующее гарантированный результат,имеет вид:*gσ(y) = ≠=***,0),,(yyyydyc, y* = +≥+≤−dTTddTTTT0 00 00 0,,χχχ.Оптимальное гарантированное значение целевой функции цен- тра при этом равно:*gΦ(*gσ(y*), y*) = min{dTT2)(2 0−; χ0(T - T0) - 2 0χ d / 2}.Очевидно, что имеет место:∀ r ∈ [d; D] Φ*(σ*(y*), y*)≤ *gΦ(*gσ(y*), y*),то есть эффективность управления в случае неопределенности(незнания или неточного знания центром возможностей АЭ) не выше, чем в условиях полной информированности, причем с рос- том неопределенности гарантированная эффективность управления не возрастает. •2.3.2. Механизмы с сообщением информацииОдним из способов повышения эффективности управления в условиях неопределенности является сообщение информации от более информированных участников системы менее информиро- ванным (в нашем случае – от активных элементов центру). Так как участники системы обладают свойством активности, в том числе –способностью к самостоятельному выбору своих действий, то в общем случае активные элементы сообщат центру такую информа- цию (не обязательно достоверную), чтобы принятое центром на 99основании этой информации решение оказалось наиболее выгод- ным для АЭ [17, 78].Принцип принятия решений центром на основании информа- ции, сообщенной АЭ, называется механизмом планирования. Ис- следование свойств этого механизма, побуждающих АЭ сообщать достоверную информацию, называется в теории активных систем и теории принятия решений проблемой манипулируемости[19, 73, 104, 119, 138, 141, 144].Рассмотрим сначала одноэлементную АС. Итак, пусть АЭ со- общает центру оценку s ∈ [d; D] параметра своей функции затрат.Механизмом планирования π(s), s ∈ S, в данном случае является отображение множества возможных сообщений S во множество Xпланов – параметров функции стимулирования, например - в то действие, которое центр хотел бы реализовать при данной инфор- мации о параметрах АЭ, то есть X = A, π: S → A.В теории активных систем известен следующий результат: в системах с одним активным элементом для любого механизма планирования существует неманипулируемый механизм не мень- шей эффективности [15, 19, 78]. Этот принцип, называемый также принципом открытого управления, позволяет достаточно просто решить задачу синтеза оптимального механизма планирования для рассматриваемой модели, ограничившись классом механизмов открытого управления. Содержательно, центр должен принять сообщения АЭ за истинные и назначить такой план, который был бы наиболее выгоден для АЭ, если бы истинное значение парамет- ра его функции затрат совпадало с сообщенным.Следовательно, если центр использует принцип открытого управления, то АЭ в общем случае сообщит s ≠ r и центр будет вынужден, например, использовать систему стимулирования, ком- пенсирующую затраты c(y, s), то есть получим задачу стимулиро- вания, методы решения которой описаны выше.К сожалению, в многоэлементных АС утверждение об опти- мальности принципа открытого управления не имеет места. Будем считать, что центр определяет планы (на основании предоставляе- мой элементами информации) по процедуре планированияXS→:π, где ∏∈=IiiSS, ∏∈=IiiXX и план, назначаемый i-му 100АЭ, будет определяться выражением: )(sxiiπ=, Ii∈,s = (s1, s2, .., sn), Ss∈. В качестве моделей поведения АЭ примем концепции равновесия Нэша и равновесия в доминантных страте- гиях.Механизм XS→:π, в котором АЭ сообщают оценки из множеств }{iS, называется непрямым механизмом [78, 85]. При фиксированном соответствии отбора равновесий для непрямого механизма π(⋅) можно построить соответствующий ему прямой механизм: ))(()(*rsrhπ=, где s*(r) – вектор равновесных поНэшу при значениях параметров r стратегий, в котором АЭ сооб- щают непосредственно оценки своих параметров. Если в соответст- вующем прямом механизме сообщение достоверной информации является доминантной стратегией, то он называется эквивалентным прямым механизмом [78].В предположении рационального поведения элементов при фиксированных планах выбираемые ими действия ∗iy будут макси- мизировать соответствующие целевые функции, то есть:) , ,(Argmax),(iiiiAiyiiiiryxfrxPyi∈∗=∈. Таким образом, можно говорить о функции полезности АЭ (в игре с сообщением инфор- мации функции полезности АЭ называют функциями предпочтения[22, 78]): ) ,,(max),(iiiiAyiiiryxfrxii∈=ϕОчевидно, в механизмах с сообщением информации АЭ будут руководствоваться своей собственной полезностью и необязательно будут сообщать достоверную информацию. Явление сообщения АЭнедостоверной информации называется манипулированием инфор- мацией, а механизмы, в которых выгодно (является равновесием)сообщение достоверной информации называются неманипулируе- мыми. Для прямых механизмов неманипулируемым называется механизм, в котором при любых типах АЭ сообщение достоверной информации является равновесием в доминантных стратегиях.Для механизмов управления проектами задача планирования(задача сокращения продолжительности производственного цикла)рассматривалась в работах [8, 18, 22]: для частного случая функций затрат АЭ типа Кобба-Дугласа [48] построен оптимальный немани- 101пулируемый механизм. Этот результат, наряду с механизмами опережающего самоконтроля [18, 21] и другими, естественно,может использоваться и при применении методики освоенного объема (см. пример ниже).Пусть центр использует следующий механизм планирования –назначаемые АЭ планы {xi} определяются в результате решения следующей задачи1:(6)χ(T - T0 - ∑∈Iiix) + ∑∈Iiiiisxc),(→ 0minTTxIii−≤∑∈Содержательно, решая задачу (6), центр определяет вектор действий АЭ, реализация которого при использовании соответст- вующей компенсаторной системы стимулирования минимизирует суммарные выплаты центра при условии, что сообщенная АЭинформация считается истинной.Отметим, что, если функция штрафов линейна, то получаемАС со слабо связанными АЭ (задача (6) распадается на набор одно- элементных задач, для которых существует общее бюджетное ограничение).Очевидно, что в условиях внутренней интервальной неопреде- ленности эффективность управления при использовании механиз- мов с сообщением информации не ниже, чем при использовании метода максимального гарантированного результата. Справедли- вость этого утверждения следует сравнения максимальных значе- ний целевых функций в задачах (5) и (6).Пусть зависимость затрат АЭ от параметра удовлетворяет сле- дующему предположению:(7)∀ y ∈ A ∀ r1≤ r2 c(y, r1)≥ c(y, r2).Если имеет место (7), то при использовании центром механиз- ма планирования (6) выполнена гипотеза реальных оценок: ∀ i ∈ Isi < ri. Справедливость этого утверждения следует из того, что целевая функция i-го АЭ при выборе им действия xi, удовлетво- ряющего (6), имеет вид:(8) fi(xi, ri, si) = ci(xi, si) – ci(xi, ri), i ∈ I.1 Содержательно, центр согласованно распределяет величины сокраще-ний продолжительностей критических операций между соответствую-щими исполнителями. 102В силу условия индивидуальной рациональности значение це- левой функции (8) должно быть неотрицательно, поэтому из (7)следует, что ∀ i ∈ I si < riПример 9. Пусть функции затрат АЭ имеют вид1:ci(yi, ri) = riΨ(yi / ri), i ∈ I. Если функция штрафов центра линейна,то, обозначая ξ(⋅) = Ψ’-1(⋅) и предполагая, что ∑∈Iiir≤ (T-T0)/ξ(χ0),получим, что решение задачи (6) имеет вид: yi*(si) = siξ(χ0).Функция предпочтения i-го АЭ имеет вид:(9)ϕi(si, ri) = iiAy∈max fi(yi, ri, si) = ci(xi, si) – ci(xi, ri), i ∈ I.В рассматриваемом примереϕi(si, ri) = siΨ(ξ(χ0)) - riΨ(ξ(χ0)si/ri).Так как функция предпочтения каждого АЭ зависит только от его собственной стратегии si, то в равновесии АЭ сообщат:(10) si*(ri) = max {di, ri min {1, ξ[Ψ(ξ(χ0))/ξ(χ0)]}}, i ∈ I.Итак, у каждого АЭ существует доминантная стратегия (10),следовательно, можно воспользоваться принципом открытого управления.Например, для функций Кобба-Дугласа выполнено:ξ[Ψ(ξ(χ0))/ξ(χ0) = αα 1 1−−≤ 1,то есть при квадратичных затратах si*(ri) = ri / 2 и т.д.2 Легко ви- деть, что при α → 1 si*→ ri•Итак, мы рассмотрели задачу синтеза неманипулируемого ме- ханизма, причем вопрос о его эффективности не ставился. Ниже1 Частным случаем функции Ψ(⋅) является функция Кобба-Дугласа:Ψ(z) = zα/α.2 Отметим, что мы решили задачу синтеза неманипулируемого механиз-ма для рассматриваемой в примере модели. При этом оказалось, что висходном (непрямом) механизме сообщение достоверной информации неявляется равновесной стратегией АЭ. На первый взгляд этот фактпротиворечит серии теорем об оптимальности принципа открытогоуправления в механизмах внутренних цен [6, 76, 78]. Противоречие, одна-ко, кажущееся – в упомянутых работах использовалась пропорциональнаясистема стимулирования, а в приведенном примере – квазикомпенсатор-ная (см. также механизмы В-типа в [76]). 103рассматривается класс активных систем, для которых также суще- ствует неманипулируемый механизм планирования.Введем следующее предположение.А.2.9. Функция штрафов и функции затрат АЭ линейны, при- чем относительно функций затрат АЭ центр не имеет никакой дополнительной информации1В рамках предположения А.2.9 задача (6) примет вид:(11)∑∈−Iiiisx)(0χ→ 0minTTxIii−≤∑∈,где si – сообщение i-го АЭ центру о коэффициенте ri линейной функции затрат: ci(yi, ri) = ri yi, i ∈ I.Пусть функции затрат АЭ упорядочены следующим образом:(12) r1≤ r2≤ … ≤ rnПримем следующую договоренность: если несколько АЭ со- общили одинаковые заявки, то приоритет имеет АЭ с меньшим номером.Если выполнено (12), то решение задачи (11) очевидно: упоря- дочиваем АЭ в порядке возрастания значений сообщенных ими параметров и назначаем планы в соответствии со следующей про- цедурой:(13) x1* = T – T0, если s1≤ χ0, иначе x1* = 0; xi* = 0, i = n,2При этом ненулевой план получает единственный АЭ (если он существует), а именно тот, который сообщил минимальное значе- ние коэффициента (не превосходящее ставки χ0). Содержательно,если s1≥ χ0, то центру выгоднее платить внешние штрафы, чем сокращать продолжительность проекта.Теорема 2.8. Если выполнено предположение А.2.9, то равно- весие в механизме (13) имеет следующую структуру2:(14) если χ0 < r1, то si* = ri, xi* = 0, i ∈ I;(15) если χ0≥ r1, то s1* = r2, x1* = T - T0, si* = ri, xi* = 0, i = n,2Более того, соответствующий прямой механизм неманипули- руем.1 В терминах рассмотренной выше модели последнее утверждение озна-чает, что ∀ i ∈ I di = 0, Di = +∞.2 Отметим, что (15) является аукционным равновесием [64, 86, 143]. 104Доказательство теоремы 2.8 заключается в построении соот- ветствующего механизму (13) прямого механизма планирования.В рассматриваемой модели гипотеза реальных оценок имеет вид: si≥ ri, i ∈ I, то есть ни один из АЭ не сообщит оценку, строго меньшую истинного значения (в противном случае, попадая в число победителей при использовании центром компенсаторной системы стимулирования он получит строго отрицательную полез- ность). С другой стороны, если некоторый АЭ имеет значение riстрого меньшее ставки χ0, то центру невыгодно включать его в число победителей. Поэтому введем множества Ωi(χ0, ri) = [ri, χ0],i ∈ I. Очевидно, множество потенциальных победителей I’ есть множество тех АЭ, у которых соответствующее множество Ωiнепусто: I’ = {i ∈ I | Ωi(χ0, ri)≠ ∅}.Рассмотрим два случая. Первый – когда χ0 < r1. Понятно, что в этом случае центру невыгодно поручать сокращение продолжи- тельности проекта ни одному из АЭ: xi* = 0, i ∈ I, поэтому в равно- весии они сообщат минимальные (в силу гипотезы реальных оце- нок) оценки, то есть si* = ri, i ∈ I.Во втором случай один или несколько АЭ имеют истинные значения параметров, не превосходящие ставку штрафов, то естьχ0≥ r1. При этом первый АЭ является монополистом и может уве- личивать свою заявку в диапазоне [r1; r2]. Сообщая s1 > r2, первыйАЭ рискует не попасть в число победителей, так как в этом случае второй АЭ может «перехватить инициативу», сообщив r2≤ s2≤ s1Аналогичным образом определяются множества диктаторства [85]всех АЭ. Следовательно, все АЭ, кроме первого (диктатора) сооб- щат минимальные заявки и не войдут в число победителей: si* = ri,xi* = 0, i = n,2. Первый АЭ сообщит s1* = min {χ0; r2} и будет единственным победителем: x1* = T - T0. Сообщать меньшее значе- ние заявки ему невыгодно, так как при этом уменьшается значение его целевой функции.Выражения (14)-(15) определяют соответствующий исходному прямой механизм, в котором АЭ сообщают непосредственно оцен- ки своих параметров, а центр восстанавливает равновесие в исход- ном непрямом механизме по (14)-(15). •Оценим эффективность K1 механизма (13). Если бы центру бы- ли достоверно известны истинные значения параметров АЭ, то при 105χ0≥ r1, он назначил бы победителем первого АЭ, заплатив цену r1за единицу сокращения продолжительности проекта. Значение целевой функции центра при этом было бы равно K* = (T – T0) min {r1; χ0}. В механизме (13) цена за единицу сокращения продолжительности проекта равна min {χ0; r2}, а значение целевой функции центра равно K1 = (T – T0) min {χ0; r2}. РазностьK1 – K* = (T – T0)(min {χ0; r2} - min {χ0; r1})≥ 0определяет потери эффективности, обусловленные неполной ин- формированностью центра.В более общем случае, то есть если существуют ограничения на максимальные значения действий АЭ: Ai = [0; Li], то величину(T – T0) сокращения времени выполнения проекта следует распре- делять последовательно в порядке возрастания номеров АЭ (в упорядочении значений сообщенных ими параметров) при условии,что коэффициент штрафов χ0 не меньше сообщенного коэффициен- та. Прежде чем рассматривать соответствующий механизм плани- рования, решим соответствующую детерминированную задачу, то есть найдем решение, которое оптимально в условиях полной информированности центра.Итак, пусть центру известны значения {ri} и он распределяет величину требуемого сокращения продолжительности проекта∆T = (T –T0) между АЭ следующим образом: если χ0≥ r1 и T – T0≥ L1, то x1 = L1, если χ0≥ r2 и T – T0 – L1≥ L2, то x2 = L2 и так далее до тех пор, пока не найдется АЭ с номером k такой, что либоrk+1 > χ0 (далее - первый случай), либо ∑−=−<1 10kiiTTL и∑=−≥kiiTTL1 0 (далее – второй случай, который изображен на рисунке 14). Тогда равновесное сокращение продолжительности проекта равно:(16) ∆T* = min {T – T0; ∑=kiiL1}.Суммарные затраты центра равны:(17) C*(∆T*) = ∑=kiiiLr1 - max {[∑=kiiL1 - (T–T0)] rk, 0} + χ0(T–T0-∆T*). 106Зная (16) и (17), можно определить среднюю стоимость для центра сокращения продолжительности проекта на единицу време- ни (см. рисунок 14):(18)β*(∆T*) = C*(∆T*) / ∆T*Очевидно, что β*≤ χ0, но данное соотношение не может яв- ляться критерием включения соответствующего АЭ во множество победителей.β*y = T - T0r1yРис. 14. Затраты центра на сокращение продолжитель-ности проекта в условиях полной информированности0L1L1+L2L1+L2+L3r3r2c(y) – кусочно- линейная функция,k = 3(χ0≥r3, ∆T*=T–T0)c*(∆T*)Сделав маленькое отступление, отметим, что двойственной(содержательно, но не формально) к рассматриваемой модели является модель отбора проектов в методе «затраты- эффективность». Напомним, что в этом методе центр имеет воз- можность привлекать внешние средства по ставке χ0 и имеет набор проектов, требующих каждый некоторого финансирования и при- носящих определенную прибыль, причем рентабельности проектов неизвестны центру и сообщаются АЭ. Проекты выстраиваются в порядке убывания рентабельности (получается кусочно-линейная вогнутая функция – см. рисунок 14) и получают финансирование в порядке убывания рентабельности до тех пор, пока не закончится имеющийся у центра ресурс, или пока рентабельность очередного 107проекта не станет ниже ставки привлечения внешних средств.Понятно, что результаты исследования рассматриваемой в настоя- щем разделе модели АС с сообщением информации могут быть использованы в методе «затраты-эффективность».Имея решение (16)-(18) детерминированной задачи, перейдем к анализу случая, когда истинные затраты АЭ неизвестны центру.Если центр использует вместо истинных значений параметров функций затрат АЭ сообщенные ими заявки, то равновесие и его свойства определяются следующей теоремой.Теорема 2.9. Если возможности АЭ ограничены, то равновесие имеет следующую структуру1:(19) si* = ri, i > k; si* = min {χ0; rk+1}, i = k,1;(20) xi* = 0, i > k; xi* = Li, i = 1,1−k, xk* = min {Lk; T – T0 - ∑−=1 1kiiL}.Доказательство очевидно и не приводится2Равновесное сокращение продолжительности проекта равно как и в случае полной информированности ∆T*, определяемой (16)(содержательно совпадение для случаев полной и неполной инфор- мированности обеспечивается за счет гипотезы реальных оценок).Значение целевой функции центра в равновесии (19)-(20) (то есть суммарные затраты центра) равно:(21) C(∆T*) = ∑=+kiikLr1 10},min{χ -- max {[∑=kiiL1 - (T – T0)] min {χ0; rk+1}; 0} +χ0(T - T0 - ∆T*).Зная (16) и (21), можно определить среднюю стоимость для центра сокращения продолжительности проекта на единицу време- ни:1 Отметим, что при неограниченных возможностях АЭ k = 1 и резуль-тат теоремы 2.9 переходит в результат теоремы 2.8.2 Рассматриваемый механизм чрезвычайно близок к простым конкурсныммеханизмам с «игрой на эффекте», описанным в работах [64]. Поэтомуперспективным представляется использование в рассматриваемоймодели конкурсных механизмов, имеющих более высокую гарантирован-ную эффективность, например, прямые конкурсы, двухэтапные конкурсыи др. [21]. 108(22)β(∆T*) = C(∆T*) / ∆T*Разность ∆C = C(∆T*) - C*(∆T*) характеризует потери центра,обусловленные неполной его информированностью. Видно, что при предельном переходе к случаю полной информированности раз- ность ∆С обращается в ноль, причем с уменьшением неопределен- ности уменьшаются и потери центра.Отметим, что при фиксированных параметрах функций затратАЭ потери ∆С центра уменьшаются с ростом величины ограниче- ний на действия АЭ. 1091   2   3   4   5   6   7   8   9   10   11

2.2. Механизмы стимулирования
Рассмотрим задачу оперативного управления продолжительно- стью проекта. Пусть проект состоит из двух участников – руково- дителя проекта (центра в терминологии теории активных систем
[22, 78]), осуществляющего управление проектом, и исполнителя
(активного элемента (АЭ) в терминологии теории активных сис- тем). Таким образом, проект рассматривается в виде активной системы (АС), имеющей следующую структуру.
Участники АС - менеджер проекта (центр) и исполнитель (АЭ).
Центр выполняет планирующие, управляющие и контролирующие функции и несет ответственность за завершение проекта в дирек- тивные сроки с требуемым качеством и запланированными затра- тами. Активный элемент является исполнителем работ по проекту,
то есть от его действий (и, быть может, от состояния природы – см.
первую главу) зависят качество, сроки и т.д.
В качестве основного выберем такой показатель как время за- вершения проекта (см. также обсуждение во введении к данной главе). Если в процессе реализации проекта оказывается, что про- гнозируемое время его завершения отличается от планового, то возникает необходимость в оперативном управлении – дополни- тельных мерах по сокращению продолжительности выполнения незавершенной части проекта. Реализация этих мер требует соот- ветствующих затрат, то есть возникает задача определения опти- мальных коррекционных воздействий, причем критерием эффек- тивности, как правило, выступают финансовые показатели,
зависящие как от продолжительности проекта (санкции и штрафы за задержку сроков завершения и т.д.), так и от затрат на выполне- ние проекта (см. примеры в первой главе).
При решении задачи управления центр должен учитывать ак- тивность АЭ, то есть вознаграждение исполнителя в зависимости от сокращения им сроков должно быть согласовано с его предпоч- тениями. В теории активных систем задачи согласования предпоч- тений и интересов изучаются при синтезе механизмов стимулиро- вания
[77, 79], поэтому рассмотрим постановку задачи стимулирования исполнителей, в которой критерием эффективно- сти являются финансовые показатели центра, зависящие в свою очередь от продолжительности проекта.

77
Последовательность изложения материала настоящего раздела следующая. Сначала рассматривается задача стимулирования в детерминированной АС, то есть в АС, функционирующей в усло- виях полной информированности о существенных внешних и внут- ренних параметрах. Затем исследуются более сложные модели,
учитывающие возможность наличия интервальной, вероятностной или нечеткой неопределенности. В качестве одного из способов снижения неопределенности предлагается также использовать механизмы с сообщением информации, которые подробно рассмат- риваются в следующем разделе.
2.2.1. Детерминированная АС (отсутствие неопределенности)
Будем считать, что известны плановое T
0
и прогнозируемое T
времена завершения проекта (ограничимся наиболее распростра- ненным на практике случаем T
≥ T
0
). Как отмечалось выше, рас- сматриваемая модель охватывает как задачи планирования (решае- мые до начала реализации проекта), так и задачи оперативного управления, которые могут последовательно решаться в ходе реа- лизации проекта по мере поступления новой информации – уточне- ния прогнозируемого времени завершения проекта и других пара- метров (см. модели в разделах 1.2. и 1.3, а также механизмы экспертного прогнозирования в разделе 2.1).
Предположим, что в случае задержки выполнения проекта центр выплачивает, например, заказчику или вышестоящей органи- зации, штрафы
χ(t), t ≥ T
0
(в частном случае, например, штрафы могут быть линейны:
χ(t) = χ
0
t). Исполнитель имеет возможность сократить срок реализации проекта (относительно прогнозируемо- го) или, что то же самое – сократить продолжительность одной или нескольких критических операций, что требует от него определен- ных затрат
1
c(y), где y
∈ A – время, на которое сокращается про- должительность проекта. Переменная y может интерпретироваться как действие АЭ – выбираемая им стратегия.
1
Следует подчеркнуть, что в настоящем и следующем разделе c(y)
затраты исполнителя, но не затраты на проект (как это имело место
во введении и первой главе)!

78
Для того, чтобы побудить АЭ к выбору некоторой стратегии центр должен использовать соответствующую систему стимулиро- вания, то есть назначить зависимость
σ(y) вознаграждения АЭ от выбираемых им действий. Эта зависимость
σ() ∈ M называется функцией стимулирования (M – множество допустимых функций стимулирования).
Интересы участников проекта (активной системы) выражены их целевыми функциями. Будем считать, что рациональность пове- дения участников проекта заключается в стремлении к максимиза- ции целевых функций. Более подробно, предположим, что центр заинтересован в том, чтобы минимизировать свои выплаты (сум- марные выплаты по штрафам и стимулированию АЭ), то есть целевая функция центра (
σ(), y) имеет вид:
(1)
Φ(σ(), y) = σ(y) + χ(T – T
0
– y).
Целевая функция активного элемента f(
σ(), y) представляет собой разность между стимулированием и затратами:
(2) f(
σ(), y) = σ(y) – c(y).
Введем следующие предположения:
А.2.3. A = [0; T – T
0
].
А.2.4. M – множество кусочно-непрерывных положительно- значных функций.
А.2.5. c(y) – положительнозначная, монотонно возрастающая,
строго выпуклая, непрерывно дифференцируемая функция, такая,
что c(0) = 0.
В ходе всего изложения материала настоящего раздела, если не будет оговорено особо, будем предполагать, что выполнена гипоте- за благожелательности (ГБ) – из множества реализуемых действий
1
P(
σ) = Arg
A
y

max
f(y,
σ)
активный элемент выбирает действия, наиболее благоприятные для центра.
Последовательность функционирования следующая: центр со- общает АЭ функцию стимулирования, после чего АЭ при извест- ной функции стимулирования выбирает свое действие. Следова-
1
Реализуемым некоторой системой стимулирования действием АЭ
называется такое его допустимое действие, на котором достигается
максимум его целевой функции [78, 79].

79
тельно, задача центра заключается в выборе такой допустимой системы стимулирования, которая минимизировала бы значение его целевой функции при условии, что АЭ выбирает допустимое действие, максимизирующее его собственную целевую функцию:
(3)







Φ




)
(
max min
)
),
(
(
*
]
;
0
[
,
*
*
0
*
y
f
Arg
y
y
y
A
y
T
T
y
M
σ
σ
Задача (3) является игрой типа Г
2
(в терминологии теории ие- рархических игр [38, 40, 56]) и может рассматриваться как детер- минированная задача стимулирования второго рода (в терминоло- гии теории активных систем [22, 78]). Ее решение дается следующей теоремой
1
Теорема 2.3. Оптимальное решение
σ
*
(y) задачи (3) имеет вид:
(4)
σ
*
(y) =




=
*
*
*
,
0
),
(
y
y
y
y
y
c
,
где оптимальное действие АЭ y
*
определяется следующим выраже- нием:
(5) y
*
= arg
]
,
0
[
0
min
T
T
y


Φ(y).
При использовании центром системы стимулирования (4) (на- зываемой в теории активных систем квазикомпенсаторной
[22, 78, 79]), максимальное значение целевой функции равно нулю и принимает это значение в двух точках, то есть P(
σ
*
) = {0}
{y
*
}.
В [78, 79] доказано, что оптимальной является такая допусти- мая система стимулирования, на которой достигается минимум затрат центра на стимулирование по реализации действий АЭ.
Поэтому докажем, что система стимулирования (4)-(5) характери- зуется минимальными затратами центра на стимулирование. Пусть существует система стимулирования
σ
, такая, что
y
*
∈ P(
σ
),
σ
(y
*
) <
σ
*
(y
*
). Условие реализуемости имеет вид:
1
В теории активных систем существует семейство теорем, дающих
оптимальное решение задачи стимулирования в различных моделях АС
[22, 79]. Поэтому теорема 2.3 может рассматриваться как результат
применения этой общей методологии к конкретной модели оперативного
управления продолжительностью проекта.

80
∀ y ∈ A
σ
(y
*
) – c(y
*
)

σ
(y) – c (y).
Подставим в это условие y = 0. Получим:
σ
(y
*
) – c(y
*
)

σ
(0).
В силу введенных предположений
σ
<0, что противоречит А.2.4.

Пример 3. В частном случае, когда штрафы центра линейны:
χ(t) = χ
0
t, действие (5) единственно (так как штрафы линейны, а функция затрат АЭ строго выпукла), следовательно на отрезке
[0; T – T
0
] функция {c(y) -
χ
0
y)} достигает единственного максиму- ма. Более того, оптимальное решение оказывается устойчивым по параметрам модели в следующем смысле.
Обозначим
ξ = c
’ –1
(
χ
0
), где c
’ –1
(
) – функция, обратная произ- водной функции затрат АЭ (она существует в силу А.2.5). Тогда оптимальное решение задачи (3) можно записать в виде:
(6) y
*
(
ξ) =



+

+


ξ
ξ
ξ
0 0
0
,
,
T
T
T
T
T
T
Содержательно, в случае линейных штрафов центру не обяза- тельно знать «точную» оценку реального времени T завершения проекта (неизвестного и приближенно оцениваемого в ходе его реализации), если оптимистичная оценка задержки T – T
0
времени завершения проекта превышает величину
ξ, которая зависит от внешних штрафов и функции затрат АЭ, то оптимальное с точки зрения внешних выплат центра сокращение продолжительности проекта «не зависит» от оценки будущей его продолжительности.

Итак, мы рассмотрели задачу оптимизации продолжительности проекта за счет использования механизмов стимулирования в одноэлементной активной системе. Перейдем к описанию много- элементного случая.
Пусть имеется многоэлементная АС с n
≥ 1 активными элемен- тами, каждый из которых отвечает за соответствующую операцию
(комплекс которых и составляет проект) и может сокращать ее продолжительность, независимо от продолжительности других операций. Обозначим y
i
≥ 0 – время сокращения i-ой операции,
i
∈ I, где I = {1, 2, …, n} – множество АЭ.
Время сокращения продолжительности проекта
∆T зависит от порядка выполнения и технологической связи операций и является функцией от сокращений каждой из операций (как критических,
так и околокритических), то есть:
∆T = Y(y
1
, y
2
, …, y
n
). Получили

81
многоэлементную активную систему со слабо связанными элемен- тами [79].
Пусть центр решил n задач типа (3) – по одной для каждого
АЭ. Результатом является набор {
ϑ
i
(y
i
)} минимальных затрат цен- тра на стимулирование по реализации
1
соответствующего вектора y
действий АЭ: y = (y
1
, y
2
, ,…, y
n
). Целевая функция центра имеет при этом вид:
Φ(y) = χ(T – T
0
– Y(y)) -


I
i
ϑ
i
(y
i
).
Следовательно, задача стимулирования заключается в поиске такого допустимого (y
∈ A’ = ℜ
n
) вектора действий АЭ, который минимизировал бы целевую функцию центра
Φ(y). Задача
Φ(y)
A
y


min является стандартной задачей условной оптимизации.
В качестве ограничения множества допустимых действий АЭ
может выступать, например, бюджетное ограничение: если фонд оперативного управления центра ограничен величиной R, то, оче- видно, допустимыми будут такие действия, для которых имеет место: A’ = {y

+

n
|


I
i
ϑ
i
(y
i
)
≤ R}.
В зависимости от технологической взаимосвязи показателей операций (см. раздел 1.4, посвященный проблемам агрегирования показателей освоенного объема) возможны различные зависимости
Y(
). Например, если операции выполняются последовательно, то
∆T =


I
i
y
i
, если параллельно, то
∆T =
I
i

min
y
i
и т.д.
Проиллюстрируем использование предложенного похода к решению задач стимулирования в многоэлементных АС на сле- дующем примере.
Пример 4. Предположим, что штрафы линейны, а бюджетное ограничение отсутствует и
∆T =


I
i
y
i
, тогда получаем набор
1
В случае оптимальности компенсаторных функций стимулирования
минимальные затраты центра на стимулирование определяются затра-
тами АЭ, то есть имеет место:
ϑ
i
(y
i
) = c
i
(y
i
), i
∈ I.

82
одноэлементных задач, в каждой из которых оптимально решение типа (6) с соответствующей функцией
ξ
i
(
) =
1
'

i
c
(
), i ∈ I.
Если
∆T =
I
i

min
y
i
, тогда, очевидно, что в оптимальном реше- нии все АЭ должны завершить свои операции одновременно, то есть
∃ v ≥ 0: ∀ i ∈ I y
i
= v. Следовательно, решение задачи стиму- лирования заключается в поиске такого значения скалярной вели- чины v, которое минимизировало бы целевую функцию центра, то есть:
χ(T – T
0
– v) -


I
i
ϑ
i
(v)

0
min

v
. Получили стандартную зада- чу скалярной оптимизации. Если штрафы линейны, то оптималь- ным оказывается следующее сокращение продолжительности проекта: v
*
=
)
(
)
(
0 1
'
χ








I
i
i
c

Итак, задача оперативного управления продолжительностью проекта в случае многоэлементной АС со слабо связанными АЭ
сводится к параметрическому набору одноэлементных задач сти- мулирования и задаче поиска оптимальных значений параметров.
Основную сложность при этом представляет решение одноэле- ментных задач
1
, так как второй этап сводится к стандартной задаче условной или безусловной оптимизации. Поэтому при изучении задач стимулирования в условиях неопределенности мы ограни- чимся рассмотрением, в основном, одноэлементных задач.
Рассмотрев детерминированные задачи стимулирования, пе- рейдем к рассмотрению задач оперативного управления продолжи- тельностью проекта в условиях неопределенности.
1
Для случая сильно связанных АЭ игра АЭ может быть декомпозирована.
При этом оптимальной является «компенсаторная» «одноэлементная»
система стимулирования, то есть сделанные качественные выводы,
относительно необходимости акцентирования основного внимания на
специфике одноэлементных задач, остаются в силе и в общем случае
многоэлементных АС, то есть при сильно связанных активных элемен-
тах.

83 2.2.2. Внешняя интервальная неопределенность относительно результатов деятельности АЭ
В рамках модели, рассмотренной в предыдущем подразделе,
предположим, что реальное сокращение z
∈ A
0
= A = [0; +
) про- должительности проекта зависит от действия АЭ и от состояния природы. Будем считать, что, выбирая свои стратегии, участники проекта имеют информацию лишь об интервале возможных значе- ний: z
∈ Z(y) = [Q
-
(y); Q
+
(y)]. Кроме того, предположим, что дейст- вия, выбираемые АЭ, не наблюдаются центром, которому стано- вится известен лишь результат деятельности.
Поэтому стимулирование АЭ центром уже не может (как в детерминирован- ном случае) основываться на действиях АЭ, а должно зависеть от неопределенной величины – результата деятельности.
Целевая функция АЭ равна: f(
σ, y, z) = σ(z) – c(y). Устраняя ин- тервальную неопределенность, то есть применяя метод максималь- ного гарантированного результата (МГР), получим, что гарантиро- ванное значение целевой функции АЭ равно:
(7) f
Г
(
σ, y) =
)
(
min
y
Z
z

σ(z) – c(y).
Следовательно, в рассматриваемой модели множество реали- зуемых действий АЭ есть P(
σ) = Arg
A
y

max
f
Г
(
σ, y).
Введем следующее предположение:
1   2   3   4   5   6   7   8   9   10   11


А.2.6.
∀ y ∈ A Q
-
(y)
≤ y, Q
+
(y)
≥ y; Q
-
(
), Q
+
(
) – строго возрас- тающие непрерывные функции.
Если целевая функция центра зависит от фактического сокра- щения продолжительности проекта z
∈ A
0
, то ее гарантированное значение равно:
(8)
Φ
Г
(
σ, y) =
)
(
max
y
Z
z

Φ(z, σ).
Итак, задача стимулирования имеет вид:
(9)






Φ




)
,
(
max min
)
),
(
(
г
0
*
]
;
0
[
,
*
*
г
0
*
y
f
Arg
y
y
y
y
T
T
y
M
σ
σ
σ
Задача (9) является детерминированной задачей стимулирова- ния (см. задачу (3)).

84
Теорема 2.4а. Система стимулирования
(10)
σ(y
*
, z) =





+

+

)]
(
);
(
[
,
0
)]
(
);
(
[
),
(
*
*
*
*
*
y
Q
y
Q
z
y
Q
y
Q
z
y
c
,
реализует действие АЭ y
*
. Оптимальное значение реализуемого действия АЭ определяется следующим выражением:
(11) y
*
= arg
]
,
0
[
0
min
T
T
y


)
(
max
y
Z
z

Φ(z, σ(z)).
При этом гарантированное значение целевой функции АЭ рав- но нулю.
Реализуемость действия y
*
∈ A системой стимулирования (10)
следует из определения гарантированной реализуемости и предпо- ложения А.2.6. Справедливость остальных утверждений теорема
2.4а очевидна.

Отметим, что в условиях теоремы 2.4а не фигурирует правая граница Q
+
(y) диапазона возможных значений результата деятель- ности при заданном действии. Это объясняется тем, что при вычис- лении МГР в (7) и (8) используется минимум (соответственно,
максимум) про множеству Z(y) (см. также [79]).
Содержательно, для того, чтобы побудить АЭ выбрать дейст- вие y
*
∈ A центр вынужден компенсировать ему затраты в размере
c(y
*
) во всем множестве Z(y).
Предположим, что функция штрафов центра монотонна, тогда целевая функция центра имеет вид:
Φ(y) =
)
(
max
y
Z
z

{
χ(T – T
0
– z) +
σ(y, z)}.
Так как функция штрафов монотонна, а система стимулирова- ния (10) кусочно-постоянна, то
Φ(y) = χ(T – T
0
–Q
-
(y)) + c(y). Задача
Φ(y)
0
min

y
является скалярной оптимизационной задачей.
Пример 5. Пусть левая граница множества возможных резуль- татов деятельности имеет следующий вид: Q
-
(y) = (1-

-
)y, где вы- полнено:

-
[0; 1], а функция штрафов линейна. Тогда получаем,
что оптимальное решение y
*
= arg
0
min

y
Φ(y) имеет вид (3), где
ξ() = c
’-1
((1 –

-
)
χ
0
).
Легко проверить, что с ростом неопределенности (увеличением

-
[0; 1]) эффективность стимулирования не возрастает. В пре-

85
дельном случае (при

-
= 0) решение задачи в условиях неопреде- ленности переходит в решение соответствующей детерминирован- ной задачи, что вполне согласуется с общими принципами, изло- женными в [79].

Рассмотрим теперь случай, когда на момент принятия решений участники АС информированы асимметрично (данная модель близка к задачам стимулирования, рассмотренным в [79]): АЭ знает достоверно каким будет результат деятельности z
∈ A
0
в зависимо- сти от выбираемого им действия: z = z(y), а центр имеет информа- цию об интервале возможных значений: z(y)
∈ Z(y). Для простоты можно положить
∀ y ∈ A z(y) = y.
Целевая функция АЭ равна: f(
σ, y) = σ(z(y)) – c(y). Следова- тельно, в рассматриваемой модели множество реализуемых дейст- вий АЭ есть P(
σ) = Arg
A
y

max
{
σ(z(y)) – c(y)}.
Если целевая функция центра зависит от фактического сокра- щения продолжительности проекта z
∈ A
0
, то ее гарантированное значение равно:
(12)
Φ
Г
(
σ, y) =
)
(
max
y
Z
z

Φ(z, σ).
Итак, задача стимулирования имеет вид:
(13)







Φ




)}
(
))
(
(
{
max min
)
),
(
(
0
*
]
;
0
[
,
*
*
г
0
*
y
c
y
z
Arg
y
y
y
y
T
T
y
M
σ
σ
σ
Задача (13) является детерминированной задачей стимулиро- вания (см. задачу (3)).
Теорема 2.4б. Система стимулирования
(14)
σ(y
*
, z) =





+

+

)]
(
);
(
[
,
0
)]
(
);
(
[
),
(
*
*
*
*
*
y
Q
y
Q
z
y
Q
y
Q
z
y
c
,
реализует действие АЭ y
*
. Оптимальное с точки зрения центра значение реализуемого действия АЭ определяется следующим выражением:
(15) y
*
= arg
]
,
0
[
0
min
T
T
y


)
(
max
y
Z
z

Φ(z, σ(z)).
При этом гарантированное значение целевой функции АЭ равно:
f
Г
(y
*
) = c(y
*
) – c(Q
-
(y
*
))
≥ 0.

86
Доказательство теоремы 2.4б аналогично доказательству тео- ремы 2.4а и опускается. Обсудим качественное различие результа- тов.
Отличие моделей заключается в том, что в задаче (13), по сравнению с задачей (10), АЭ достоверно знает зависимость между своим действием и результатом деятельности, а центру по- прежнему известен лишь интервал возможных значений. Следова- тельно, имеет место асимметричная информированность участни- ков. Так как в обоих случаях информированность центра одинако- ва, то одинакова в обоих случаях и максимальная гарантированная эффективность управления (максимальное гарантированное значе- ние целевой функции центра на множестве гарантированно реали- зуемых действий АЭ). Отличие в информированности АЭ приводит к тому, что увеличивается гарантированное значение его целевой функции. Системы стимулирования (11) и (14) одинаковы, однако
АЭ имеет возможность «обмануть центр», то есть выбрать действие
Q
-
(y
*
) (обеспечив тем самым z = Q
-
(y
*
)) и получить при этом возна- граждение c(y
*
) превышающее его реальные затраты c(Q
-
(y
*
)).
В предельном случае, то есть при увеличении информирован- ности участников АС, задачи (10) и (13) и их решения переходят,
соответственно, в детерминированную задачу (3) и ее решение (5),
то есть принцип соответствия [79] имеет место.
2.2.3. Внешняя вероятностная неопределенность относительно результатов деятельности АЭ
В рамках модели, рассмотренной в предыдущем подразделе,
предположим, что реальное сокращение z
∈ A
0
= [0; +
) продол- жительности проекта зависит от действия АЭ, но является случай- ной величиной с интегральной функцией условного распределения
F(z, y) – модель теории контрактов [79, 105, 107, 133-136, 144].
Будем считать, что, выбирая свои стратегии, участники проекта имеют информацию лишь об этом распределении. Кроме того,
предположим, что действия, выбираемые АЭ, не наблюдаются центром, которому становится известен лишь результат деятельно- сти. Поэтому стимулирование АЭ центром уже не может (как в детерминированном случае) основываться на действиях АЭ, а

87
должно зависеть от случайной величины – результата деятельно- сти.
Дополнительно к предположениям А.2.4 и А.2.5 введем сле- дующее предположение относительно свойств функции распреде- ления (модель простого активного элемента [22, 79, 42]):
А.2.7. F(z, y) =




<
y
z
y
z
z
F
,
1
),
(
, F(T - T
0
) < 1.
Содержательно предположение А.2.7 означает, что реальное сокращение продолжительности проекта оказывается не большим,
чем действие АЭ. Кроме того, считается, что, даже если АЭ ориен- тируется (выбирает действие) на такое сокращение длительности,
что продолжительность проекта в детерминированном случае оказалась бы меньшей, чем плановая, то существует ненулевая вероятность того, что фактическая продолжительность проекта превысит плановую.
Так как функции полезности (не путать с целевыми функция- ми! [78]) участников проекта:
(16)
Φ(σ(z), z) = σ(z) + χ(z),
(17) f(
σ(z), z) = σ(z) – c(z)
зависят от случайных величин, распределения которых им известны, будем считать, что они выбирают свои стратегии, стре- мясь максимизировать ожидаемую полезность. Таким образом,
целевые функции участников определяются их ожидаемой полез- ностью, то есть имеет место
1
:
Φ(σ, y) = E Φ(σ, z) = E {σ(z) + χ(T –
T
0
– z)}, f(
σ, y) = E f(σ, z) = E {σ(z) – c(z)}, а задача управления имеет вид:
(18)







Φ






0 0
*
0
)
,
(
)
),
(
(
max min
)
,
(
)
),
(
(
0
*
]
;
0
[
,
*
A
y
T
T
y
M
A
dz
y
z
p
z
z
f
Arg
y
dz
y
z
p
z
z
σ
σ
σ
.
1
Символ «E» обозначает оператор вычисления математического ожи-
дания.

88
Теорема 2.5а. Оптимальное решение
σ
*
(z) задачи (18) имеет вид:
(19)
σ
*
(z
*
, z) =



>

*
*
,
0
),
(
z
z
z
z
z
c
,
где оптимальное значение результата деятельности АЭ z
*
определя- ется следующим выражением:
(20) z
*
= arg
]
,
0
[
0
min
T
T
y


Φ(σ
*
, y).
Доказательство теоремы 2.5а использует тот факт, что в моде- ли простого АЭ стационарные точки функции полезности и целе- вой функции совпадают, то есть, практически, повторяет доказа- тельство утверждения 3.1.15, приведенного в работе [79], и по этой причине опускается.
Если затраты АЭ зависят не от результата его деятельности, а непосредственно (и только!) от его действия, то есть c = c(y), то дело обстоит несколько более сложным образом. Для этого случая оптимальное решение задачи оперативного управления дается следующей теоремой.
Теорема 2.5б. Если затраты АЭ зависят от его действия, то оп- тимальное решение
σ
*
(z) задачи (18) имеет вид:
(21)
σ
*
(y
*
, z) =






=

*
*
*
*
,
0
,
)
(
1
)
(
y
z
y
z
y
F
y
c
,
где оптимальное значение результата деятельности АЭ z
*
определя- ется следующим выражением
1
:
(22) z
*
= arg
A
y

max
{с(y) + E
χ(T – T
0
– z)}.
Докажем, что система стимулирования (21)
2
реализует дейст- вие y
*
∈ A. Ожидаемая полезность АЭ равна:
1
Символ «E» обозначает оператор математического ожидания.
2
Отметим, что в работе [42] для близкой к рассматриваемой задачи
(также в модели простого АЭ) была доказана оптимальность следующей
системы стимулирования:


=
z
dx
x
F
x
c
z
w
0 0
)
(
1
)
(
'
)
(
.

89
f(y,
σ) =

y
0
σ(z) p(z) dz + σ(y)[1 – F(y)] – c(y).
Подставляя систему стимулирования (21), легко видеть, что выполнено условие реализуемости:
∀ y ∈ A f(y
*
,
σ
*
)
≥ f(y, σ
*
).
Докажем, что (21) минимизирует затраты центра на стимули- рование. Предположим противное, то есть пусть существует
σ
∈ M, такое, что выполнено:
(23)

*
0
y
σ
(z) p(z) dz +
σ
(y
*
)[1 – F(y
*
)] < E
σ
*
(y
*
, z) = c(y
*
).
Подставляя в условие реализуемости действия y
*
системой стимулирования
σ
конкретное значение действия АЭ: y = 0, полу- чим (первое неравенство следует из (23)):
0 >

0
A
σ
(z)p(z, y
*
) dz – c(y
*
)

σ
(0) – c(0),
что противоречит А.2.4.

Сравним эффективность стимулирования в двух случаях. Пер- вый случай - когда функция затрат АЭ зависит от результата его деятельности, второй случай когда функция затрат АЭ зависит от его действия. Так как множества A и A
0
совпадают, то будем рас- сматривать одну и ту же функцию затрат c(
).
Следствие. Эффективность стимулирования в случае, когда за- траты АЭ зависят от ненаблюдаемого центром действия АЭ, не выше, чем в случае, когда затраты АЭ зависят от его результата деятельности, наблюдаемого центром.
Вычислим ожидаемое значение функции стимулирования (19):
E
σ
*
(z
*
, z) =

*
0
z
c(z) p(z) dz + c(z
*
)[1 – F(z
*
)]
≤ c(z
*
).
Последнее неравенство получено оценкой интеграла сверху в силу монотонности и неотрицательности затрат АЭ.
В ходе доказательства теоремы 2.5б было установлено, что ожидаемое значение функции стимулирования (21) равно следую- щей величине : E
σ
*
(y
*
, z) = c(y
*
).

90
Если приравнять действия y
*
и z
*
, реализуемые, соответствен- но, системами стимулирования (21) и (19), то получим:
E
σ
*
(y
*
, z)
≥ E σ
*
(z
*
, z).
Так как минимальные затраты на стимулирование по реализа- ции любого действия системой стимулирования (21) выше, чем системой стимулирования (19), то по теореме о минимальных затратах на стимулирование [78] получаем утверждение следст- вия.

Итак, теоремы 2.5а и 2.5б дают решение задачи синтеза опти- мальной функции стимулирования, побуждающей простой актив- ный элемент к сокращению времени выполнения проекта.
Проверим выполнение принципа соответствия – при «предель- ном переходе» от вероятностной АС (рассматриваемой модели простого АЭ) к соответствующей детерминированной АС опти- мальные решения должны совпадать. Действительно, система стимулирования (19) переходит в оптимальную в детерминирован- ной модели компенсаторную систему стимулирования [79], а (21) в точности совпадает с оптимальной квазикомпенсаторной системой стимулирования (4).
2.2.4. Внешняя нечеткая неопределенность относительно результатов деятельности АЭ
В рамках модели, рассмотренной в предыдущем подразделе,
предположим, что реальное сокращение z
∈ A
0
= [0; +
) продол- жительности проекта зависит от действия АЭ, но, выбирая свои стратегии, участники проекта имеют о нем нечеткую информацию
P

(z, y),
P

: A
× A
0
[0; 1]. По-прежнему будем считать, что дей- ствия, выбираемые АЭ, не наблюдаются центром, а стимулирова- ние зависит от результата деятельности, в то время как целевая функция центра зависит от действия АЭ (если в рассматриваемой модели с нечеткой неопределенностью целевая функция центра зависит от результата деятельности АЭ, то в рамках вводимых ниже предположений задача управления сводится [79] к детерми- нированной, то есть описанной выше).
Дополнительно к предположениям А.2.4 и А.2.5 введем сле- дующее предположение относительно свойств нечеткой информа- ционной функции:

91
1   2   3   4   5   6   7   8   9   10   11


А.2.8. Нечеткая информационная функция
P


(z, y) 1- нормальна [82], то есть:
∀ y ∈ A
0
sup
A
z

P

(z, y) = 1 и
∀ z ∈ A
0
∃ y ∈ A:
P

(z, y) = 1.
Так как функции полезности участников проекта (центра и
АЭ):
Φ(σ(z), z) и f(σ(z), z) = σ(z) – c(z) зависят от неопределенных величин, то будем считать, что они выбирают свои стратегии,
недоминируемые по индуцированному нечеткому отношению предпочтения (НОП) [82]. Множество максимально недоминируе- мых (по НОП, индуцированному на множестве A функцией полез- ности АЭ f(z) и нечеткой информационной функцией
P

(z, y))
обозначим
)
),
(

(
0
A
R
P
A
σ
. Алгоритм построения этого множества описан в [75, 82]. Таким образом, задача управления имеет вид:
(24)






Φ



)
),
(

(
min
)
),
(
(
0 0
*
*
]
;
0
[
,
*
*
A
R
P
y
y
y
A
T
T
y
M
σ
σ
σ
Обозначим Q(z) = {y
∈ A |
P

(z, y) = 1}. Решение задачи (24)
дается следующей теоремой.
Теорема 2.6. Оптимальное решение
σ
*
(z) задачи (24) имеет вид:
(25)
σ
*
(z) =




=
*
*
*
,
0
),
(
z
z
z
z
z
c
,
где оптимальное значение результата деятельности АЭ z
*
в рамках гипотезы благожелательности определяется следующим выражени- ем:
(26) z
*
= arg
0
min
A
z

{
)
(
min
z
Q
y

[c(z) +
χ(T – T
0
– y)]}.
Если гипотеза благожелательности не выполнена, то опти- мальное значение результата деятельности АЭ z
*
определяется следующим выражением:
(27) z
*
= arg
0
min
A
z

{
)
(
max
z
Q
y

[c(z) +
χ(T – T
0
– y)]}.
Множество максимально недоминируемых (по НОП, индуци- рованному на множестве A целевой функцией АЭ f(
σ, z) и нечеткой информационной функцией
P

(z, y)) действий АЭ описывается

92
достаточно сложно (см. [75, 82]), и использование такого описания для решения задачи стимулирования затруднительно. Поэтому в теории активных систем (по аналогии с тем как это делалось в теории принятия решений [82]) был предложен подход, заключаю- щийся в сведении задачи анализа зависимости множества недоми- нируемых альтернатив от системы стимулирования к анализу зависимости решения задачи четкого математического программи- рования (ЧМП) от системы стимулирования [75, 79]. Более кон- кретно, было доказано, что, если выполнено предположение А.2.8,
то действие y
0
∈ A является четко недоминируемым [82] тогда и только тогда, когда существует результат деятельности z
0
∈ A
0
,
такой, что пара (y
0
, z
0
) является решением следующей задачи ЧМП:
(28) f(
σ, z) → max,
P

(z, y) = 1, y
∈ A, z ∈ A
0
В соответствии с результатом теоремы 2.3 при использовании системы стимулирования (25) максимум целевой функции АЭ
достигается в точке z. Кроме того, (25) – минимальная (квазиком- пенсаторная) система стимулирования, реализующая этот результат деятельности. В соответствии с (28) множество Q(z)
⊆ A и только оно [78] будет множеством четко недоминируемых действий, то есть
)
)),
(
(

(
*
0
A
z
R
P
A
σ
= Q(z).
Значит АЭ выберет одно из четко недоминируемых при данной системе стимулирования действий. Осталось устранить неопреде- ленность относительно конкретного выбора АЭ. В рамках ГБ для этого используется минимум по множеству Q(z), при использова- нии МГР – максимум (см. выражения (26) и (27)), то есть на втором этапе (этапе согласованного планирования [19, 78]) центру остается решить задачу поиска оптимального реализуемого действия АЭ –
см., соответственно, выражения (26) и (27).

Отметим, что при предельном переходе к соответствующему детерминированному случаю (в котором
P

(z, y) =




=
y
z
y
z
,
0
,
1
) из теоремы 2.6 следует, что оптимальным становится решение (5),
которое оптимально в соответствующей детерминированной зада- че.

93
Пример 6. Пусть
P

(z, y) =




+




+



)]
1
(
);
1
(
[
,
0
)]
1
(
);
1
(
[
,
1
y
y
z
y
y
z
, где
∆ ∈ [0; 1]
1
. Тогда Q(z) = [z -
∆; z + ∆]. Вычислим множество
Q(z) = [

+
1
z
;


1
z
]. Тогда оптимальное решение имеет вид:
z
*
= arg
0
min
A
z

{
)
(
min
z
Q
y

[c(z) +
χ(T - T
0
- y)]} =
= arg
0
min
A
z

[c(z) -
χ(T - T
0
-

+
1
z
)].
Получили скалярную задачу оптимизации. В случае линейных штрафов получаем, что оптимально решение (6), где
ξ() = c
’-1
(

+
1 0
χ
).
Отметим, что полученное решение совпадает с решением, оп- тимальным в случае соответствующей интервальной неопределен- ности (см. теоремы 2.4а и 2.4б), то есть методы учета этих двух типов неопределенности согласованы.
При отсутствии неопределенности (
∆ = 0) получаем решение, в точности совпадающее с (5). Легко проверить, что с ростом неоп- ределенности (увеличением
∆ ∈ [0; 1]) эффективность стимулиро- вания не возрастает.

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

94 2.2.5. Внешняя нечеткая неопределенность относительно времени завершения проекта
Предположим, что результат деятельности АЭ совпадает с его действием, однако относительно времени T завершения проекта имеется нечеткая информация:
µ
T
(t),
µ
T
: [0; +
)[0; 1]. Задача оперативного управления заключается в выборе центром системы стимулирования, которая минимизировала бы его выплаты с уче- том имеющейся информации.
Воспользовавшись результатом теоремы 2.3, получаем, что минимальные затраты центра на стимулирование АЭ, побуждаю- щие последнего сократить продолжительность проекта на величину
y
≥ 0 равны c(y).
Четкая целевая функция центра равна:
Φ(y, T) = c(y) + χ(T – T
0
– y).
Обозначим Y(T) = Arg
A
y

min
Φ(y, T). Множество Y(T) может рас- сматриваться как нечеткое отображение
µ
Y
(t, y): A
× A → [0; 1]
времени окончания проекта в действия АЭ, то есть:
(29)
µ
Y
(t, y) =




Φ

Φ



)
,
(
min
Arg
,
0
)
,
(
min
Arg
,
1
t
y
y
t
y
y
A
y
A
y
Образом нечеткого множества
µ
T
(t) при нечетком отображении
µ
Y
(t, y) в соответствии с принципом обобщения [82] будет нечеткое множество
µ(y) с функцией принадлежности
(30)
µ(y) =
0
sup

t
min {
µ
T
(t);
µ
Y
(t, y)}.
Обозначим A
max
= Arg
A
y

max
µ(y) – множество действий АЭ,
максимизирующих функцию принадлежности (30).
Оптимальным будем считать максимизирующее решение [82],
то есть любое действие из множества A
max
. Из вышесказанного следует справедливость следующей теоремы.
Теорема 2.7. Оптимальной в условиях нечеткой неопределен- ности относительно времени завершения проекта является сле- дующая система стимулирования:

95
(31)
σ
*
(y) =





max max
,
0
),
(
A
y
A
y
y
c
Доказательство теоремы 2.7 повторяет (с учетом выражений
(29)-(31)) доказательство теоремы 2.3 (см. также теорему 2.6 и ее доказательство) и не приводится.
В предельном (детерминированном) случае нечеткое множест- во
µ
T
(t) имеет вид
µ
T
(t) =




=
T
t
T
t
,
0
,
1
, а множество
A
max
= Arg
A
y

max
µ(y) = Arg
A
y

min
Φ(y, T) соответствует (5).
Пример 7. Рисунки 12 и 13 являются графической иллюстраци- ей использования теоремы 2.7 для случая линейных штрафов.

Рис. 12. Нечеткое множество
µ
T
(t)
продолжительностей проекта
в примере 7
t
T
0
µ
T
(t)
Рис. 13. Образ нечеткого множества
µ
T
(t) в примере 7
T
0
+
ξ
µ(y)
T
0
ξ
y
*
(t)
t
y
0
2.3. Механизмы планирования
В разделе 2.2 рассмотрены механизмы стимулирования, побу- ждающие активные элементы сокращать продолжительность вы- полнения проекта в случае, когда последняя превышает директив- ные сроки. Анализ механизмов управления в условиях неопределенности свидетельствует, что с ростом информированно- сти управляющего органа эффективность оперативного управления не снижается. Выше были рассмотрены случаи интервальной,
вероятностной и нечеткой внешней неопределенности, то есть

96
неопределенности относительно результатов деятельности АЭ.
Кроме нее в системе может присутствовать внутренняя неопреде- ленность – недостаточная информированность центра о параметрах самих активных элементов.
В настоящем разделе рассматриваются механизмы управления в условиях внутренней неопределенности. В том числе, традицион- но в качестве одного из методов снижения неопределенности ис- пользуются механизмы с сообщением информации от более ин- формированных участников менее информированным. При их применении возникают две основные задачи – оценки эффективно- сти и исследования достоверности сообщаемой центру информа- ции. Обе эти задачи для случая сокращения продолжительности времени реализации проекта рассматриваются ниже.
2.3.1. Внутренняя интервальная неопределенность относительно возможностей АЭ
Предположим, что функция затрат c(y, r), удовлетворяющая при любом допустимом значении параметра r предположению
А.2.4, активного элемента зависит от неизвестного центру парамет- ра r
[d; D], относительно которого центру известен лишь диапа- зон [d; D] его возможных значений (случай внутренней интерваль- ной неопределенности в соответствии с классификацией, введенной в [22, 79]). Рассмотрим задачу синтеза оптимальных управляющих воздействий.
Если, помимо множества возможных значений неопределенно- го параметра, центр не имеет никакой дополнительной информа- ции, то он вынужден применять принцип максимального гаранти- рованного результата (МГР) и решать затем соответствующую задачу стимулирования.
Запишем условия гарантированной реализуемости некоторого действия y
*
∈ A системой стимулирования σ ∈ M:
(1)
∀ y ∈ A ∀ r ∈ [d; D] σ(y
*
) – c(y
*
, r)
≥ σ(y) – c(y, r).
Положив
σ(y) = 0 ∀ y ≠ y
*
и используя А.2.4, оценим по (1) ми- нимальные затраты центра на стимулирование:
(2)
σ(y
*
)

]
;
[
max
D
d
r

c(y
*
, r).

97
Следовательно, решение задачи синтеза оптимальной системы стимулирования (по аналогии с теоремой 2.3) имеет вид:
(3)
σ
*
(y
*
, y) =





=

*
*
*
]
;
[
,
0
),
,
(
max
y
y
y
y
r
y
c
D
d
r
,
где оптимальное действие АЭ y
*
определяется следующим выраже- нием:
(4) y
*
= arg
]
,
0
[
0
min
T
T
y


{
σ
*
(y) +
χ(T – T
0
- y)}.
Выше при рассмотрении задачи стимулирования в АС с интер- вальной внешней неопределенностью было показано, что при асимметричной информированности выигрыш АЭ (значение его целевой функции на реализуемом центром действии) не ниже, чем в случае симметричной информированности. Такое же заключение может быть сделано и для рассматриваемой модели. Выигрыш АЭ
(по сравнению с детерминированным случаем) равен следующей величине: {
]
;
[
max
D
d
r

c(y
*
, r) – c(y
*
, r)}, причем этот выигрыш не убы- вает с ростом неопределенности (расширением отрезка [d; D]).
Качественно этот факт можно сформулировать следующим обра- зом: чем меньше знает центр об АЭ, тем это более выгодно для последнего.
Сделанный вывод справедлив и для многоэлементных АС со слабо связанными АЭ (см. раздел 2.2.1 выше). Переход осуществ- ляется следующим образом – для i-го АЭ используется функция затрат
]
;
[
max
i
i
i
D
d
r

c
i
(y
i
*
, r
i
). Другими словами, вектор {x
i
} гарантиро- ванно оптимальных действий АЭ определяется как решение сле- дующей задачи:
(5)
χ(T - T
0
-


I
i
i
x
) +



I
i
i
i
i
D
d
r
r
x
c
i
i
i
)
,
(
max
]
;
[

0
min
T
T
x
I
i
i




Пример 8. Пусть n = 1 и функция затрат АЭ имеет вид:
c(y; r) = y
2
/2r, а штрафы линейны:
χ(t) = χ
0
t. Если истинное значе- ние параметра r известно центру, то, применяя результат теоремы
2.3, получаем, что оптимальное решение имеет вид:

98
σ
*
(y) =




=
*
*
*
,
0
),
(
y
y
y
y
y
c
, y
*
=



+

+


r
T
T
r
r
T
T
T
T
0 0
0 0
0 0
,
,
χ
χ
χ
Оптимальное значение целевой функции центра при этом рав- но:
Φ

(
σ
*
(y
*
), y
*
) = min {
r
T
T
2
)
(
2 0

;
χ
0
(T - T
0
) -
2 0
χ
r / 2}.
Если истинное значение параметра затрат АЭ неизвестно цен- тру, то решение, максимизирующее гарантированный результат,
имеет вид:
*
g
σ
(y) =




=
*
*
*
,
0
),
,
(
y
y
y
y
d
y
c
, y
*
=



+

+


d
T
T
d
d
T
T
T
T
0 0
0 0
0 0
,
,
χ
χ
χ
.
Оптимальное гарантированное значение целевой функции цен- тра при этом равно:
*
g
Φ
(
*
g
σ
(y
*
), y
*
) = min{
d
T
T
2
)
(
2 0

;
χ
0
(T - T
0
) -
2 0
χ
d / 2}.
Очевидно, что имеет место:
∀ r ∈ [d; D] Φ
*
(
σ
*
(y
*
), y
*
)

*
g
Φ
(
*
g
σ
(y
*
), y
*
),
то есть эффективность управления в случае неопределенности
(незнания или неточного знания центром возможностей АЭ) не выше, чем в условиях полной информированности, причем с рос- том неопределенности гарантированная эффективность управления не возрастает.

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

99
основании этой информации решение оказалось наиболее выгод- ным для АЭ [17, 78].
Принцип принятия решений центром на основании информа- ции, сообщенной АЭ, называется механизмом планирования. Ис- следование свойств этого механизма, побуждающих АЭ сообщать достоверную информацию, называется в теории активных систем и теории принятия решений проблемой манипулируемости
[19, 73, 104, 119, 138, 141, 144].
Рассмотрим сначала одноэлементную АС. Итак, пусть АЭ со- общает центру оценку s
[d; D] параметра своей функции затрат.
Механизмом планирования
π(s), s ∈ S, в данном случае является отображение множества возможных сообщений S во множество X
планов – параметров функции стимулирования, например - в то действие, которое центр хотел бы реализовать при данной инфор- мации о параметрах АЭ, то есть X = A,
π: S → A.
В теории активных систем известен следующий результат: в системах с одним активным элементом для любого механизма планирования существует неманипулируемый механизм не мень- шей эффективности [15, 19, 78]. Этот принцип, называемый также принципом открытого управления, позволяет достаточно просто решить задачу синтеза оптимального механизма планирования для рассматриваемой модели, ограничившись классом механизмов открытого управления. Содержательно, центр должен принять сообщения АЭ за истинные и назначить такой план, который был бы наиболее выгоден для АЭ, если бы истинное значение парамет- ра его функции затрат совпадало с сообщенным.
Следовательно, если центр использует принцип открытого управления, то АЭ в общем случае сообщит s
≠ r и центр будет вынужден, например, использовать систему стимулирования, ком- пенсирующую затраты c(y, s), то есть получим задачу стимулиро- вания, методы решения которой описаны выше.
К сожалению, в многоэлементных АС утверждение об опти- мальности принципа открытого управления не имеет места. Будем считать, что центр определяет планы (на основании предоставляе- мой элементами информации) по процедуре планирования
X
S

:
π
, где


=
I
i
i
S
S
,


=
I
i
i
X
X
и план, назначаемый i-му

100
АЭ, будет определяться выражением:
)
(s
x
i
i
π
=
,
I
i

,
s = (s
1
, s
2
, .., s
n
),
S
s

. В качестве моделей поведения АЭ примем концепции равновесия Нэша и равновесия в доминантных страте- гиях.
Механизм
X
S

:
π
, в котором АЭ сообщают оценки из множеств
}
{
i
S
, называется непрямым механизмом [78, 85]. При фиксированном соответствии отбора равновесий для непрямого механизма
π() можно построить соответствующий ему прямой механизм:
))

(
(
)

(
*
r
s
r
h
π
=
, где s
*
(
r
) – вектор равновесных по
Нэшу при значениях параметров
r
стратегий, в котором АЭ сооб- щают непосредственно оценки своих параметров. Если в соответст- вующем прямом механизме сообщение достоверной информации является доминантной стратегией, то он называется эквивалентным прямым механизмом [78].
В предположении рационального поведения элементов при фиксированных планах выбираемые ими действия

i
y
будут макси- мизировать соответствующие целевые функции, то есть:
)
,
,
(
Argmax
)
,
(
i
i
i
i
A
i
y
i
i
i
i
r
y
x
f
r
x
P
y
i


=

. Таким образом, можно говорить о функции полезности АЭ (в игре с сообщением инфор- мации функции полезности АЭ называют функциями предпочтения
[22, 78]):
)
,
,
(
max
)
,
(
i
i
i
i
A
y
i
i
i
r
y
x
f
r
x
i
i

=
ϕ
Очевидно, в механизмах с сообщением информации АЭ будут руководствоваться своей собственной полезностью и необязательно будут сообщать достоверную информацию. Явление сообщения АЭ
недостоверной информации называется манипулированием инфор- мацией, а механизмы, в которых выгодно (является равновесием)
сообщение достоверной информации называются неманипулируе- мыми. Для прямых механизмов неманипулируемым называется механизм, в котором при любых типах АЭ сообщение достоверной информации является равновесием в доминантных стратегиях.
Для механизмов управления проектами задача планирования
(задача сокращения продолжительности производственного цикла)
рассматривалась в работах [8, 18, 22]: для частного случая функций затрат АЭ типа Кобба-Дугласа [48] построен оптимальный немани-

101
пулируемый механизм. Этот результат, наряду с механизмами опережающего самоконтроля [18, 21] и другими, естественно,
может использоваться и при применении методики освоенного объема (см. пример ниже).
Пусть центр использует следующий механизм планирования –
назначаемые АЭ планы {x
i
} определяются в результате решения следующей задачи
1
:
(6)
χ(T - T
0
-


I
i
i
x
) +


I
i
i
i
i
s
x
c
)
,
(

0
min
T
T
x
I
i
i




Содержательно, решая задачу (6), центр определяет вектор действий АЭ, реализация которого при использовании соответст- вующей компенсаторной системы стимулирования минимизирует суммарные выплаты центра при условии, что сообщенная АЭ
информация считается истинной.
Отметим, что, если функция штрафов линейна, то получаем
АС со слабо связанными АЭ (задача (6) распадается на набор одно- элементных задач, для которых существует общее бюджетное ограничение).
Очевидно, что в условиях внутренней интервальной неопреде- ленности эффективность управления при использовании механиз- мов с сообщением информации не ниже, чем при использовании метода максимального гарантированного результата. Справедли- вость этого утверждения следует сравнения максимальных значе- ний целевых функций в задачах (5) и (6).
Пусть зависимость затрат АЭ от параметра удовлетворяет сле- дующему предположению:
(7)
∀ y ∈ A ∀ r
1
≤ r
2
c(y, r
1
)
≥ c(y, r
2
).
Если имеет место (7), то при использовании центром механиз- ма планирования (6) выполнена гипотеза реальных оценок:
∀ i ∈ I
s
i
< r
i
. Справедливость этого утверждения следует из того, что целевая функция i-го АЭ при выборе им действия x
i
, удовлетво- ряющего (6), имеет вид:
(8) f
i
(x
i
, r
i
, s
i
) = c
i
(x
i
, s
i
) – c
i
(x
i
, r
i
), i
∈ I.
1
Содержательно, центр согласованно распределяет величины сокраще-
ний продолжительностей критических операций между соответствую-
щими исполнителями.

102
В силу условия индивидуальной рациональности значение це- левой функции (8) должно быть неотрицательно, поэтому из (7)
следует, что
∀ i ∈ I s
i
< r
i
Пример 9. Пусть функции затрат
АЭ имеют вид
1
:
c
i
(y
i
, r
i
) = r
i
Ψ(y
i
/ r
i
), i
∈ I. Если функция штрафов центра линейна,
то, обозначая
ξ() = Ψ
’-1
(
) и предполагая, что


I
i
i
r
(T-T
0
)/
ξ(χ
0
),
получим, что решение задачи (6) имеет вид: y
i
*
(s
i
) = s
i
ξ(χ
0
).
Функция предпочтения i-го АЭ имеет вид:
(9)
ϕ
i
(s
i
, r
i
) =
i
i
A
y

max
f
i
(y
i
, r
i
, s
i
) = c
i
(x
i
, s
i
) – c
i
(x
i
, r
i
), i
∈ I.
В рассматриваемом примере
ϕ
i
(s
i
, r
i
) = s
i
Ψ(ξ(χ
0
)) - r
i
Ψ(ξ(χ
0
)s
i
/r
i
).
Так как функция предпочтения каждого АЭ зависит только от его собственной стратегии s
i
, то в равновесии АЭ сообщат:
(10) s
i
*
(r
i
) = max {d
i
, r
i
min {1,
ξ[Ψ(ξ(χ
0
))/
ξ(χ
0
)]}}, i
∈ I.
Итак, у каждого АЭ существует доминантная стратегия (10),
следовательно, можно воспользоваться принципом открытого управления.
Например, для функций Кобба-Дугласа выполнено:
ξ[Ψ(ξ(χ
0
))/
ξ(χ
0
) =
α
α 1 1


≤ 1,
то есть при квадратичных затратах s
i
*
(r
i
) = r
i
/ 2 и т.д.
2
Легко ви- деть, что при
α → 1 s
i
*
→ r
i

Итак, мы рассмотрели задачу синтеза неманипулируемого ме- ханизма, причем вопрос о его эффективности не ставился. Ниже
1
Частным случаем функции
Ψ() является функция Кобба-Дугласа:
Ψ(z) = z
α
/
α.
2
Отметим, что мы решили задачу синтеза неманипулируемого механиз-
ма для рассматриваемой в примере модели. При этом оказалось, что в
исходном (непрямом) механизме сообщение достоверной информации не
является равновесной стратегией АЭ. На первый взгляд этот факт
противоречит серии теорем об оптимальности принципа открытого
управления в механизмах внутренних цен [6, 76, 78]. Противоречие, одна-
ко, кажущееся – в упомянутых работах использовалась пропорциональная
система стимулирования, а в приведенном примере – квазикомпенсатор-
ная (см. также механизмы В-типа в [76]).

103
рассматривается класс активных систем, для которых также суще- ствует неманипулируемый механизм планирования.
Введем следующее предположение.
А.2.9. Функция штрафов и функции затрат АЭ линейны, при- чем относительно функций затрат АЭ центр не имеет никакой дополнительной информации
1
В рамках предположения А.2.9 задача (6) примет вид:
(11)



I
i
i
i
s
x
)
(
0
χ

0
min
T
T
x
I
i
i




,
где s
i
– сообщение i-го АЭ центру о коэффициенте r
i
линейной функции затрат: c
i
(y
i
, r
i
) = r
i
y
i
, i
∈ I.
Пусть функции затрат АЭ упорядочены следующим образом:
(12) r
1
≤ r
2
≤ … ≤ r
n
Примем следующую договоренность: если несколько АЭ со- общили одинаковые заявки, то приоритет имеет АЭ с меньшим номером.
Если выполнено (12), то решение задачи (11) очевидно: упоря- дочиваем АЭ в порядке возрастания значений сообщенных ими параметров и назначаем планы в соответствии со следующей про- цедурой:
(13) x
1
*
= T – T
0
, если s
1
≤ χ
0
, иначе x
1
*
= 0; x
i
*
= 0, i =
n
,
2
При этом ненулевой план получает единственный АЭ (если он существует), а именно тот, который сообщил минимальное значе- ние коэффициента (не превосходящее ставки
χ
0
). Содержательно,
если s
1
≥ χ
0
, то центру выгоднее платить внешние штрафы, чем сокращать продолжительность проекта.
Теорема 2.8. Если выполнено предположение А.2.9, то равно- весие в механизме (13) имеет следующую структуру
2
:
(14) если
χ
0
< r
1
, то s
i
*
= r
i
, x
i
*
= 0, i
∈ I;
(15) если
χ
0
≥ r
1
, то s
1
*
= r
2
, x
1
*
= T - T
0
, s
i
*
= r
i
, x
i
*
= 0, i =
n
,
2
Более того, соответствующий прямой механизм неманипули- руем.
1
В терминах рассмотренной выше модели последнее утверждение озна-
чает, что
∀ i ∈ I d
i
= 0, D
i
= +
.
2
Отметим, что (15) является аукционным равновесием [64, 86, 143].

104
Доказательство теоремы 2.8 заключается в построении соот- ветствующего механизму (13) прямого механизма планирования.
В рассматриваемой модели гипотеза реальных оценок имеет вид: s
i
≥ r
i
, i
∈ I, то есть ни один из АЭ не сообщит оценку, строго меньшую истинного значения (в противном случае, попадая в число победителей при использовании центром компенсаторной системы стимулирования он получит строго отрицательную полез- ность). С другой стороны, если некоторый АЭ имеет значение r
i
строго меньшее ставки
χ
0
, то центру невыгодно включать его в число победителей. Поэтому введем множества

i
(
χ
0
, r
i
) = [r
i
,
χ
0
],
i
∈ I. Очевидно, множество потенциальных победителей I’ есть множество тех АЭ, у которых соответствующее множество

i
непусто: I’ = {i
∈ I | Ω
i
(
χ
0
, r
i
)
≠ ∅}.
Рассмотрим два случая. Первый – когда
χ
0
< r
1
. Понятно, что в этом случае центру невыгодно поручать сокращение продолжи- тельности проекта ни одному из АЭ: x
i
*
= 0, i
∈ I, поэтому в равно- весии они сообщат минимальные (в силу гипотезы реальных оце- нок) оценки, то есть s
i
*
= r
i
, i
∈ I.
Во втором случай один или несколько АЭ имеют истинные значения параметров, не превосходящие ставку штрафов, то есть
χ
0
≥ r
1
. При этом первый АЭ является монополистом и может уве- личивать свою заявку в диапазоне [r
1
; r
2
]. Сообщая s
1
> r
2
, первый
АЭ рискует не попасть в число победителей, так как в этом случае второй АЭ может «перехватить инициативу», сообщив r
2
≤ s
2
≤ s
1
Аналогичным образом определяются множества диктаторства [85]
всех АЭ. Следовательно, все АЭ, кроме первого (диктатора) сооб- щат минимальные заявки и не войдут в число победителей: s
i
*
= r
i
,
x
i
*
= 0, i =
n
,
2
. Первый АЭ сообщит s
1
*
= min {
χ
0
; r
2
} и будет единственным победителем: x
1
*
= T - T
0
. Сообщать меньшее значе- ние заявки ему невыгодно, так как при этом уменьшается значение его целевой функции.
Выражения (14)-(15) определяют соответствующий исходному прямой механизм, в котором АЭ сообщают непосредственно оцен- ки своих параметров, а центр восстанавливает равновесие в исход- ном непрямом механизме по (14)-(15).

Оценим эффективность K
1
механизма (13). Если бы центру бы- ли достоверно известны истинные значения параметров АЭ, то при

105
χ
0
≥ r
1
, он назначил бы победителем первого АЭ, заплатив цену r
1
за единицу сокращения продолжительности проекта. Значение целевой функции центра при этом было бы равно K
*
= (T –
T
0
) min {r
1
;
χ
0
}. В механизме (13) цена за единицу сокращения продолжительности проекта равна min {
χ
0
; r
2
}, а значение целевой функции центра равно K
1
= (T – T
0
) min {
χ
0
; r
2
}. Разность
K
1
– K
*
= (T – T
0
)(min {
χ
0
; r
2
} - min {
χ
0
; r
1
})
≥ 0
определяет потери эффективности, обусловленные неполной ин- формированностью центра.
В более общем случае, то есть если существуют ограничения на максимальные значения действий АЭ: A
i
= [0; L
i
], то величину
(T – T
0
) сокращения времени выполнения проекта следует распре- делять последовательно в порядке возрастания номеров АЭ (в упорядочении значений сообщенных ими параметров) при условии,
что коэффициент штрафов
χ
0
не меньше сообщенного коэффициен- та. Прежде чем рассматривать соответствующий механизм плани- рования, решим соответствующую детерминированную задачу, то есть найдем решение, которое оптимально в условиях полной информированности центра.
Итак, пусть центру известны значения {r
i
} и он распределяет величину требуемого сокращения продолжительности проекта
∆T = (T –T
0
) между АЭ следующим образом: если
χ
0
≥ r
1
и T –
T
0
≥ L
1
, то x
1
= L
1
, если
χ
0
≥ r
2
и T – T
0
– L
1
≥ L
2
, то x
2
= L
2
и так далее до тех пор, пока не найдется АЭ с номером k такой, что либо
r
k+1
>
χ
0
(далее - первый случай), либо


=

<
1 1
0
k
i
i
T
T
L
и

=


k
i
i
T
T
L
1 0
(далее – второй случай, который изображен на рисунке 14). Тогда равновесное сокращение продолжительности проекта равно:
(16)
∆T
*
= min {T – T
0
;

=
k
i
i
L
1
}.
Суммарные затраты центра равны:
(17) C
*
(
∆T
*
) =

=
k
i
i
i
L
r
1
- max {[

=
k
i
i
L
1
- (T–T
0
)] r
k
, 0} +
χ
0
(T–T
0
-
∆T
*
).

106
Зная (16) и (17), можно определить среднюю стоимость для центра сокращения продолжительности проекта на единицу време- ни (см. рисунок 14):
(18)
β
*
(
∆T
*
) = C
*
(
∆T
*
) /
∆T
*
Очевидно, что
β
*
≤ χ
0
, но данное соотношение не может яв- ляться критерием включения соответствующего АЭ во множество победителей.
β
*
y = T - T
0
r
1
y
Рис. 14. Затраты центра на сокращение продолжитель-
ности проекта в условиях полной информированности
0
L
1
L
1
+L
2
L
1
+L
2
+L
3
r
3
r
2
c(y) – кусочно- линейная функция,
k = 3
(
χ
0
≥r
3
,
∆T
*
=T–T
0
)
c
*
(
∆T
*
)
Сделав маленькое отступление, отметим, что двойственной
(содержательно, но не формально) к рассматриваемой модели является модель отбора проектов в методе
«затраты- эффективность». Напомним, что в этом методе центр имеет воз- можность привлекать внешние средства по ставке
χ
0
и имеет набор проектов, требующих каждый некоторого финансирования и при- носящих определенную прибыль, причем рентабельности проектов неизвестны центру и сообщаются АЭ. Проекты выстраиваются в порядке убывания рентабельности (получается кусочно-линейная вогнутая функция – см. рисунок 14) и получают финансирование в порядке убывания рентабельности до тех пор, пока не закончится имеющийся у центра ресурс, или пока рентабельность очередного

107
проекта не станет ниже ставки привлечения внешних средств.
Понятно, что результаты исследования рассматриваемой в настоя- щем разделе модели АС с сообщением информации могут быть использованы в методе «затраты-эффективность».
Имея решение (16)-(18) детерминированной задачи, перейдем к анализу случая, когда истинные затраты АЭ неизвестны центру.
Если центр использует вместо истинных значений параметров функций затрат АЭ сообщенные ими заявки, то равновесие и его свойства определяются следующей теоремой.
Теорема 2.9. Если возможности АЭ ограничены, то равновесие имеет следующую структуру
1
:
(19) s
i
*
= r
i
, i > k; s
i
*
= min {
χ
0
; r
k+1
}, i =
k
,
1
;
(20) x
i
*
= 0, i > k; x
i
*
= L
i
, i =
1
,
1

k
, x
k
*
= min {L
k
; T – T
0
-


=
1 1
k
i
i
L
}.
Доказательство очевидно и не приводится
2
Равновесное сокращение продолжительности проекта равно как и в случае полной информированности
∆T
*
, определяемой (16)
(содержательно совпадение для случаев полной и неполной инфор- мированности обеспечивается за счет гипотезы реальных оценок).
Значение целевой функции центра в равновесии (19)-(20) (то есть суммарные затраты центра) равно:
(21) C(
∆T
*
) =

=
+
k
i
i
k
L
r
1 1
0
}
,
min{
χ
-
- max {[

=
k
i
i
L
1
- (T – T
0
)] min {
χ
0
; r
k+1
}; 0} +
χ
0
(T - T
0
-
∆T
*
).
Зная (16) и (21), можно определить среднюю стоимость для центра сокращения продолжительности проекта на единицу време- ни:
1
Отметим, что при неограниченных возможностях АЭ k = 1 и резуль-
тат теоремы 2.9 переходит в результат теоремы 2.8.
2
Рассматриваемый механизм чрезвычайно близок к простым конкурсным
механизмам с «игрой на эффекте», описанным в работах [64]. Поэтому
перспективным представляется использование в рассматриваемой
модели конкурсных механизмов, имеющих более высокую гарантирован-
ную эффективность, например, прямые конкурсы, двухэтапные конкурсы
и др. [21].

108
(22)
β(∆T
*
) = C(
∆T
*
) /
∆T
*
Разность
∆C = C(∆T
*
) - C
*
(
∆T
*
) характеризует потери центра,
обусловленные неполной его информированностью. Видно, что при предельном переходе к случаю полной информированности раз- ность
∆С обращается в ноль, причем с уменьшением неопределен- ности уменьшаются и потери центра.
Отметим, что при фиксированных параметрах функций затрат
АЭ потери
∆С центра уменьшаются с ростом величины ограниче- ний на действия АЭ.

109
1   2   3   4   5   6   7   8   9   10   11

Глава 3. Прикладная методика освоенного объемаНастоящая глава преследует следующие цели: во-первых, по- казать связь теоретических результатов первых двух глав с практи- ческими задачами управления проектами, и, во-вторых, продемон- стрировать возможность их практического использования в рамках существующих программных средств по управлению проектами.Как отмечалось выше, методика освоенного объема предпола- гает составление полного описания проекта и детального графика его реализации еще на начальной стадии. Это позволяет произво- дить оценки фактических данных и контролировать проект с начала и до полного завершения работ. Преимущество этого инструмента состоит в том, что он позволяет получать надежные данные о ходе выполнения проекта уже на стадии 15-20%-ного его выполнения.Руководитель проекта может использовать эти данные для прогноза затрат, требующихся для завершения всех работ по проекту (см.введение и разделы 1.1 и 1.3). Если на ранней стадии выполнения проекта руководитель получает данные по фактическому выполне- нию проекта, неприемлемые по ряду показателей, это может по- служить для него предупредительным сигналом и позволит пред- принять своевременные шаги для предотвращения нежелательных последствий.Последовательность этапов, составляющих прикладную ме-тодику освоенного объема, приведена на рисунке 15.Рассмотрим подробно этапы, изображенные на рисунке 15.I. ПланированиеКак показано на рисунке 15, фаза планирования состоит из че- тырех основных этапов: (1.1) определение полного объема работ по проекту, (1.2) разработка структуры затрат по проекту (CAP), (1.3)разработка детального графика проекта и (1.4) оптимизация и согласование графика проекта. Рассмотрим подробно эти этапы.1.1. Определение полного объема работ по проекту. Данный этап обычно является наиболее трудным в применении методики освоенного объема. Однако, если не определить на первом этапе полного объема работ (100% объема работ), необходимых для завершения проекта, оценивать ход выполнения проекта становится затруднительным. Без понимания того, что есть 100% работ, прак-

110
тически невозможно оценить, например, 10-ти, 20-ти или 25-ти процентное выполнение работ по проекту.
1.1. Определение полного
объема работ по проекту
1.2. Разработка структуры
затрат по проекту (CAP)
1.3. Разработка детального
графика проекта
1.4. Оптимизация и согла-
сование графика проекта
I. ПЛАНИРОВАНИЕ
2.1. Сбор фактической
информации
2.2. Сравнение фактического
и директивного графиков
3.3. Оценка показателей
освоенного объема
3.4. Перепланирнрование
оставшихся работ
II. КОНТРОЛЬ
III. ОПЕРАТИВНОЕ
УПРАВЛЕНИЕ
Рис. 15. Блок-схема процесса применения методики
освоенного объема в оперативном управлении
проектами (серым цветом выделены основные с точки
зрения методики освоенного объема этапы).
В действительности с абсолютной точностью определить объ- ем предстоящих работ достаточно сложно. Для этого необходимо определить границы проекта, чтобы появилась возможность плани- рования, расчета расписания и оценки его стоимости с определен- ной степенью достоверности.
Одним из наиболее распространенных инструментов оценки предстоящего объема работ по проекту является структура деком- позиции работ – WBS (Work Breakdown Structure), которая также


111
необходима для руководителя проекта, как и организационная структура для администратора. WBS позволяет руководителю проекта определить объем работ по новому проекту с помощью разбиения каждой задачи (или операции в терминах СПУ) на изме- римые пакеты работ. Если WBS-структура принята в качестве инструмента для ограничения области нового проекта, можно предпринимать следующие шаги для планирования проекта: анализ соотношения собственных и подрядных работ, оценка рисков,
составление графиков, предварительные расчеты и, наконец, запуск проекта.
Рис. 16. Пример структуры декомпозиции работ
Бюджет
пакета работ
План затрат
по пакету
работ
План доходов
по пакету
работ
Пакет
работ
Сроки выполне-
ния пакета
работ

112
Пример
1
WBS приведен на рисунке 16: по каждому пакету ра- бот может быть определен бюджет (Budget) – стоимость пакета работ, план затрат (Spending Plan) – финансы, имеющиеся в распо- ряжении для выполнения пакета работ, а также доход или выручка
(Benefit Plan) – сумма, причитающаяся за выполнение пакета работ.
1.2. Разработка структуры затрат по проекту (САР). Управ- ление проектом с использованием методики освоенного объема осуществляется в рамках детальных CAP-планов (см. введение),
которые и являются составными частями планирования проектов "снизу-вверх" (см. раздел 1.4).
Рис. 17. Пример распределения затрат по «ячейкам»
1
Применения методики освоенного объема показаны на примере реально-
го проекта модернизации автомобильного производства. К нему отно-
сятся как выпуск новых видов автомобилей, так и реконструкция старо-
го и строительство нового здания для размещения новой линии сборки
автомобилей. Автоматизация управления в рассматриваемом примере
осуществлялась с помощью программного продукта Primavera Project
Planner for Enterprise фирмы Primavera Systems.

113
Каждая «ячейка» CAP-плана представляет собой объединение всех важнейших процедур, включая определение объема работ,
планирование, расчет расписания, оценку затрат и санкционирова- ние начала выполнения группы работ (см. рисунок 17).
Оценку выполнения проекта также целесообразно осуществ- лять в рамках детальных CAP-планов. Суммарное выполнение проекта является не чем иным, как суммой всего того, что отража- ют детальные CAP-планы. В сущности, каждый CAP-план пред- ставляет собой фрагмент общего проекта, а руководство над его выполнением, оценку его реализации и контроль берет на себя ответственный за данную CAP-ячейку.
Таким образом, при определении ответственности отдельных исполнителей или участников проекта за пакеты работ, формирует- ся структура затрат (см. рисунок 18).
Рис. 18. Пример определения ответственных за пакеты работ.
Ответственный за выделенный
пакет работ
Графическое
представление
WBS
Пакет
работ