Научная статья на тему 'Возмущение и коррекция систем линейных неравенств'

Возмущение и коррекция систем линейных неравенств Текст научной статьи по специальности «Математика»

CC BY
349
53
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МАТРИЧНАЯ КОРРЕКЦИЯ / НЕСОВМЕСТНАЯ СИСТЕМА ЛИНЕЙНЫХ НЕРАВЕНСТВ / УСТОЙЧИВОСТЬ СОВМЕСТНОЙ СИСТЕМЫ ЛИНЕЙНЫХ НЕРАВЕНСТВ / MATRIX CORRECTION / INCOMPATIBLE SYSTEM OF LINEAR INEQUALITIES / STABILITY OF COMPATIBLE SYSTEM OF LINEAR INEQUALITIES

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

Рассматривается устойчивость свойств совместности и несовместности систем линейных неравенств при коррекции/возмущении всех параметров.

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

The correction of incompatible systems of linear inequalities and the perturbation of compatible systems of linear inequalities are considered.

Текст научной работы на тему «Возмущение и коррекция систем линейных неравенств»

УДК 519.82 ББК 22.18

ВОЗМУЩЕНИЕ И КОРРЕКЦИЯ СИСТЕМ ЛИНЕЙНЫХ НЕРАВЕНСТВ

Муравьева О. В.1

Рассматривается устойчивость свойств совместности и несовместности систем линейных неравенств при коррекции/возмущении всех параметров.

Ключевые слова: матричная коррекция, несовместная система линейных неравенств, устойчивость совместной системы линейных неравенств.

Введение

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

В [5] для фиксированного свойства математической модели и и подсистемы исходных данных 5 вводится понятие (Б, и)-устойчивости. Математическая модель называется (Б,и)-устойчивой, если свойство и сохраняется при малых вариациях параметров Б.

1 Ольга Викторовна Муравьева, кандидат физико-математических наук, доцент (muraveva@mail.ru).

40

Для (Б, и)-устойчивых моделей зададим на Б критерий Ф: Б ^ К+. Получим задачу определения радиуса (Б,и)-устойчивости: минимального по критерию Ф изменения параметров Б, при котором свойство и нарушается.

Для системы линейных неравенств Ах ^ Ь, А € Мтхга, Ь € Кт, х € К”, рассмотрим свойство совместности/несовместности. Считаем, что все параметры модели могут подвергаться случайной или целенаправленной модификации либо быть неточно заданными.

Параметры модели образуют расширенную матрицу ограничений системы А = [—Ь, А]. Здесь квадратными скобками [—Ь, А] обозначена матрица размерности (т + 1) х п, полученная приписыванием слева к матрице А е Ктх” вектор-столбца Ь € Мт (со знаком минус).

В качестве критерия величины изменения параметров будем рассматривать одну из матричных норм

||АА||те = тах |Айу1,

1,3

1|АА||е =

\

ЕЕ А4,

г=13=1

11А^412 = тах ||ААе||2. ||еП2 = 1

Понятие устойчивой системы линейных неравенств введено С.Н. Черниковым [10, 11].

Неравенство совместной системы линейных неравенств Ах ^ Ь называется устойчивым, если хотя бы одно из решений системы удовлетворяет строгому неравенству. Неравенство системы называется неустойчивым, если все решения системы удовлетворяют равенству.

Система линейных неравенств называется устойчиво совместной, если совместна соответствующая система со строгими

41

неравенствами. Система Ах ^ Ь устойчиво совместна тогда и только тогда, когда все входящие в нее неравенства устойчивы. Вводится также понятие устойчивого решения и меры несовместности системы линейных линейных неравенств, допускающей изменение правой части системы ограничений Ь [6, 11]. В [5] получены необходимые и достаточные условия устойчивости системы линейных неравенств.

Если исследуется свойство несовместности системы, соответствующая задача (Б, и)-устойчивости формулируется в терминах методов коррекции. Для задачи оптимальной коррекции всех параметров несовместной системы линейных неравенств по ряду линейных и кусочно-линейных критериев оптимальности предлагаются методы решения (сведения к задачам оптимизации с линейными ограничениями) [1, 2, 3, 7].

Большое количество работ, опубликованных за рубежом, посвящено методам определения максимальной совместной подсистемы несовместной системы линейных неравенств [12, 14, 15, 16, 18]. Совместность интервальной системы линейных неравенств рассматривается в [20].

Для исследования совместности и несовместности систем линейных уравнений широко используется обобщенный метод наименьших квадратов [17, 21]. Применение обобщенного метода наименьших квадратов к несовместной системе неравенств рассматривается в [19]. В работе [13] предлагается метод минимальной коррекции всех коэффициентов несовместной системы линейных неравенств, основанный на сингулярном разложении Ланцоша матрицы.

В настоящей статье в п. 1 рассматривается радиус устойчивости решения системы линейных неравенств по квадратичному и минимаксному критерию, в п. 2 — радиус несовместности системы линейных неравенств.

В задачах управления линейные неравенства встречаются как ограничения на управление или состояние. В п. 3 статьи рассматривается дискретный динамический процесс с линейным уравнением движения х(к+1) = Ах(к) и множеством достижимости,

42

заданным линейным неравенством (с, х(м)) ^ Со при условии противоречивости. Задача коррекции такого вида характерна также для управляемого процесса с управлением в форме обратной связи по состоянию х(к+1) = Ах(к) + Ви(к), = Кх(к). К

совместности системы линейных неравенств сводится, например, проверка обобщенной сверхустойчивости матрицы и сверхстаби-лизируемости по состоянию и выходу линейной стационарной системы управления с обратной связью [8, 9].

1. Радиус устойчивости решения системы линейных неравенств

Дана совместная система линейных неравенств

Ах ^ Ь, х е Мга, Ь е Мт, А е Мтхга,

вектор

хо

— решение этой системы

х0 е X, X = {х е Мга: Ах < Ь}.

Определим меру устойчивости решения х0 как величину минимального возмущения параметров, в результате которого х0 не является решением системы

Ф(х0) = И {У[—ДЬ, ДА]Н: да,дь

х0 не является решением (А + ДА)х ^ Ь + ДЬ}.

Рассмотрим сначала критерий в виде евклидовой нормы матрицы

т

Ф(х0) = ||[—ДЬ, ДА]||,2 = £ ж—ДЬ,, Да0||2.

,= 1

Нетрудно видеть, что для граничных точек допустимого множества (т. е. неустойчивых решений) Ф(х) = 0, а для внутренних

43

точек (устойчивых решений) минимум реализуется при коррекции одного из ограничений (а,, х) ^ Ь,:

Ф(х) = шш Ф,(х),

,

Ф,(х) = ш1п {||(—ДЬ, Да)||2: (а, + Да, х) = Ь, + ДЬ}.

Лемма 1.

^i(x) =

(bi - (ai,x))2 _ (ai, y)2

+ 1

= У Pry a.

2

2

2

где у = (1, x), a = (—bj, a*), Pry a* - проекция a* на у.

Доказательство. Обозначим h = (—Abj, Да*), учитывая

||у|| = 0, получим

Фг(ж) = min{||h||2:

(ai + Aa)x = bi + Ab} = min{||h||2: (h,y) = (ai,y)}.

h

Откуда очевидным образом следует утверждение леммы.

Предположим, что множество X ограничено, и рассмотрим задачу определения самого устойчивого решения

(1) х* = а^шахФ(х), Ф* = Ф(х*).

хЄХ

Теорема 1.

Ф* = max inf {У [—Ab, AA]||2: (A + AA)x d b + Ab} =

жЄХ AA,Ab

= max min(ai,e)2, где A = [—b, A].

e: Ae^0,eo>0,||e|| = 1 i

Доказательство. Из леммы

л* • (bi — (ai,x))2 . (ai,y)2

Ф = max min —n—^-----------------= max mm ——г^т—

x€X i ||xУ2 + 1 y: Ay^0,yo=1 i УуУ2

max min У Pry ai У2.

y: Ay^0,yo>0 i

Обозначим е = у/УуУ, получим утверждение теоремы.

Таким образом, требуется найти направление у, для которого минимальная из проекций векторов {а^} максимальна. Эту задачу можно также интерпретировать как задачу проектирования на многогранную область. Дискретные минимаксные задачи такого типа рассматриваются, например, в [4], в частности

шахшт(а^е) = Ця* У,

||е|| = 1 і

где z* — ближайшая к началу координат точка множества L =

{z: z = аЛ,а ^ 0,^а = 1}. Таким образом, устойчи-

i i

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

Для критерия

||[-Ab, ДА]||те = max |Aaj| = max ||Дй*||те

i,j i

также очевидным образом выполняется декомпозиция по строкам матрицы ограничений:

Ф(х) = шт Ф,(х),

Фі^) = min {У[—Ab, Aa]||^: (ai + Aa)x = bi + Ab}.

Aa,Ab

Лемма 2.

тіп {||[—ДЬ, Да]Н: (а + Да)х = Ь + ДЬ} = ^ . (аі,х)|. д«,дь 2^ х | + 1

з

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

Доказательство. Обозначим у = (1,х), Н = (—Ь, а). Получим задачу ||Н||те ^ тіп при условии (Н, у) = Ь — (а, х).

Минимум достигается на векторе Н*, где |Н*| = 1Ь—(|Ух)1 и

3

sgnНз = sgn(Ь — (а, x))sgnуз. Действительно, условие (Н*,у) = Ь — (а,х) выполняется, ||Н*||те = 1Ь—= %!/'уГ^. Оптималь-

3

ность Н* следует из неравенства Гельдера для векторных норм

ІІНіи ■ ууу1 ^ (Н,у).

Задача определения устойчивого решения принимает вид

П ■ Ьі — (аі,х)

Ф(х ) = тахтіп^=-—:-------.

у ' хЄХ і ^|хз | + 1

Последняя максиминная задача стандартным образом сводится к задаче линейного программирования. Введем новые переменные: £3 = |х^ |, ] = 1,..., п с соответствующими ограничениями —£?' ^ х3- ^ . Равенство у = ^ ^1+1 влечет у ^2 £3 + 1) = 1, что

3 3

после введения еще п переменных г = (^1,..., гп), г = у£ дает ^ г3- + у = 1. Обозначим § = ух е Мга, целевая функция ^-Ха|+1

3 3

примет вид уЬ, — (а,, «). Осталось ввести скалярную переменную 46

и = тіп (уЬ — (а^)). В результате получим задачу линейного

і

программирования

тах и,

и ^ уЬ — (аі, 8), і = 1,..., т, —23 ^ ^ , j = 1,...,п,

(2)

Е2' + у = 1,

А§ ^ Ьу, у ^ 0

относительно переменных и, у € К, 5, г € К”. Для этой задачи выполняется теорема.

Теорема 2. £сли и*, у*, 8*, г* - решение задачи (2), то ж* =

уГ 8* — решение задачи (1) по критерию || ■ ||те-

2. Радиус несовместности системы линейных неравенств

Пусть дана несовместная система линейных неравенств

Аж ^ Ь, ж € Мп, Ь € Мт, А € Мтхга.

Определим радиус несовместности этой системы для спектральной || [—ДЬ, ДА] 12 и евклидовой ||[—ДЬ, ДА] |е матричных норм.

Лемма 3 (Лемма Тихонова). Система Нж = д при задан-

ных ж € К™ ж = 0, д € Мт имеет решение с минимальной матричной нормой (евклидовой или спектральной)

джт ,, ||д|| ,, „ ж

Я* = , ||Я*У2 = ||Я*Нв = ^ = ||Я*в*||, где в* =

/у» 2 /у> ІІ'У’І

*ЛУ *ЛУ *ЛУ

Теорема З.

R = inf {||[—Ab, AA]||2: (A+AA)x ^ b+Ab} = min ^(BTB)},

Ab,AA,x Ве*<0

где B e RmlXn, B e R(m-mi)xn —матрицы, составленные из различных строк матрицы B = [—b, A] так, что каждая строка включается в одну из матриц, Л» (BTB), ег — минимальное собственное число и соответствующий единичный собственный вектор BTB, минимум берется по всем подматрицам B, B, для которых выполняется B ег < 0.

Доказательство. Используя дополнительные переменные у, выполняя замену z = (1, ж), B = [—b, A] и используя лемму 3 для минимизации по матрице [—Ab, AA], можно записать следующие равенства:

inf {||[-Ab, AA]||2: (A + AA)x < b + Ab} =

А6,АА,ж

= . ^ inf {||[-Ab, AA]||2: (A + AA)x + у = b + Ab, у ^ 0} =

Ab,AA,x,y

= {|[-Ab, AA]||2: [-Ab, AA]z = -Bz - у, у ^ 0} =

Ab,AA,z,y

inf

z,y

Bz

z

= inf

z,y [

fllBz + :

2

2

2

z

Обозначим в = ттлт, е = ^z и получим задачу

(3) inf {||Be + ву||2 : у ^ О, в > О, ||e|| = 1} .

е,в,У

Найдем минимум по переменным е, у, используя функцию Лагранжа:

Ь(е,у,А) = ||Ве + ву||2 - А||е||2.

Условия экстремума имеют вид:

' дЬ

дЄі(е,У,А) = 0, * = 1,...,п + 1, дЬ

— (е,у,А) ^ 0, г = 1,...,т, дуг

дЬ

(е, У, А) = 0, г = 1,..., т.

дуг

Или, в данном случае,

Ґ ВТВе + вВту - Ае = 0,

< Ве + ву ^ 0,

[уг(Ве + ву)г = 0, г = 1,..., т.

Обозначим I = {1,..., т}, I = {г Є I: уг = 0} или, как видно из второго неравенства, — это множество индексов, для которых (Ве)г ^ 0. При этом матрица В разбивается (по строкам) на две подматрицы: В — подматрица, состоящая из строк с номерами, принадлежащими !;, В, состоящая из остальных строк. Согласованное обозначение для разбиения вектора у: у Є М|7/|, уг = 0, у Є мт-|//|, уг > 0.

Из третьего уравнения

В е + ву = 0,

В е = —ву.

Заметим, что (Ве)^ ^ 0 при г ^ I, и подставим выражение для ву в первое уравнение:

ВтВе + вВту + вВт у — Ае = 0, ВтВе — Вт В е — Ае = 0, (ВтВ — В тВ)е = Ае.

Или, что то же самое,

ВтВе = Ае.

Действительно, элемент матрицы ВтВ — ВтВ, стоящий на пересечении г-ой строки и ] -го столбца, равен соответствующему элементу матрицы ВтВ:

(втВ — ВтВ)ч- = (ьг, У) — (6г, у) = £ ь^- — £ ь* =

кеД/'

= £ = (6^,6^)=(ВтВ)г^-,

где Ьг, Ьг, Ьг — столбец соответствующей матрицы В, В?, В.

Итак, из условия минимума функции Лагранжа по вектору е следует, что е является собственным вектором некоторой подматрицы ВтВ, при этом выполняется Ве ^ 0, Ве < 0.

Имеем

||Ве + ву||2 = ||Ве||2 = (ВтВе, е) = (Ае, е) = А,

т. е. значение минимизируемой функции задачи (3) равно А, следовательно, требуется найти минимальное собственное значение матрицы ВтВ, удовлетворяющее условиям Ве ^ 0, Ве < 0.

Условие Ве ^ 0 является условием оптимальности, и если его не проверять, то соответствующее собственное значение не

50

будет минимальным значением функции. Условие Ве < 0 обеспечивает допустимость решения, если (Ве)г > 0, то Уг < 0, так как ||Ве + ву||2 = Атто(В) при известных В, В, е влечет Ве = —ву.

Геометрически задача (3) минимизации по у ^ 0 представляет собой задачу проектирования на неположительный ортант пространства Лт:

11Ве — (—У)| = 11Ве — (Ве)|1 =

= ||Ве — В? 'е||2 = ||В 'е||2 = ||В' е|

2

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

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

I \ (множества I) в соответствии с обозначением, введенным в доказательстве теоремы. Тогда, очевидно, (Ве)г = шт{0, (Вег)}, В'е = —Ркт(Ве) и ||В/е|2 = ЦВ'еЦ2.

3. Коррекция линейного динамического процесса с заданным множеством достижимости

Рассмотрим применение методов коррекции системы линейных неравенств к исследованию дискретного динамического процесса.

Пусть динамический процесс в пространстве М” определяется уравнением ж(к+1) = Ах(к), к = 0,..., N — 1. Условие достижимости в конце процесса заданного множества имеет вид линейного неравенства (с, )) ^ с0.

Предположим, что для данной начальной точки х(0) €

Мп\{0} при заданном количестве шагов N, матрице А € Мгахга, коэффициентах ограничения с € М”, со € М, условие достижимости не выполняется. Рассмотрим задачу минимальной коррекции

51

уравнения движения

(4) шт{||ДА||: х(к+1) = (А + ДА)х(к),

к = 0,..., N — 1, (с, х(")) ^ с0}.

Перепишем задачу в виде:

шт{||ДА||: (с, (А + ДА)"х(0)) ^ со}.

Для критерия в виде обобщенной матричной 1^-нормы ||ДА||те> рассмотрим задачу минимальной коррекции траектории в М+, т. е. дополнительно предположим, что все элементы матрицы А и векторов х0 и с неотрицательны.

Из неотрицательности всех параметров задачи следует, что минимальная матрица коррекции состоит из одинаковых элементов Да*.,- = Л*, г, ] = 1,..., п. Отметим также, что решение находится на границе допустимой области, т. е. ограничение выполняется как равенство. Обозначим I квадратную матрицу порядка п, все элементы которой равны 1. Получим задачу одномерной оптимизации с одним ограничением-равенством

шт{Л: (с, (А + Л1)"х(0)) = с0}.

Ограничение представляет собой уравнение степени N относительно переменной Л и может быть решено различными численными методами.

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

N-1

(с, + Ъ £ Ак-1-к)х(0)) = с0, к=0

с0 — (с, AN х(0))

(с^Ак/AN-1-^ ж(0)^)

Решение можно уточнять итеративно, решая на следующем шаге задачу коррекции матрицы А = А + Л*1, пока не будет выполняться с достаточной точностью (с, А"х(0)) = с0.

Найдем корректирующую матрицу с минимальной евклидовой нормой ||ДА||е.

Лемма 4. Минимальной по евклидовой норме матрицей ДА, коэффициенты которой удовлетворяют уравнению

''У \ Даг; с

*,.7 = 1

является матрица

сс ДА* — тр^В, ||ДА*||е — тт-Ч В 2 ’ 1 ||е В

где В = (Ь;)ПП;=1.

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

2

произведение двух п -мерных векторов.

Рассмотрим линейное (относительно элементов

матрицы ДА) приближение левой части ограничения

(с, (А + Н^х(0)) — С0.

(с, (А + ДА^х(0)) и

» (с, ^ + AN-1ДА + AN-2ДА ■ А + ■ ■ ■ + ДА ■ AN-1)х(0)) —

N -1

— (с, ANх(0)) + £ (с, AN-к-1ДА ■ Акх(0)) — к=0

N-1 п N-1

— (с,ж^)) + £ (у(к), ДАж(к)) — (с,ж^))+ £ Да*; £ у^ж^, к=0 *,7=1 к=0

Є

где у(к) — (AN к 1)Т с, к — 0,..., N — 1.

Удовлетворяющая ограничению

п N-1

(с,Ж^)) + £ Да; £ Уг(к)Ж(к) — с0 *,7=1 к=0

матрица коррекции ДА с минимальной евклидовой нормой имеет вид

ДА* — с0—іВ^-^2В. В — (£1 у?;) .

1 ||е \к=0 / *,7=1

Обозначим через У матрицу размера п х N, столбцами которой являются вектора у(0),..., -1), через X матрицу такой же размерности, составленную из столбцов ж(0),..., -1), т. е.

У — [у(0),... ,у^-1)] — [(AN-1)Тс, (AN-2)Тс,..., Ас, с], X — [ж^,...^-1)].

Тогда

= с0 — (с,х(")) т ,,^*11 = с0 — (с,х("))

ДА цгхт|2 , |ДА |е цгхтуе .

Матрица ДА* является приближенным решением задачи (4), для уточнения решения выполняется коррекция матрицы А + ДА*. Пусть теперь задана управляемая система

ж(к+1) — Аж(к) + Ви(к),

где и — управление в форме обратной связи по состоянию: и(к) = Кх(к). Замкнутая система принимает вид

х(к+1) = (А + В К )х(к).

В случае невыполнения условия достижимости рассмотренным выше способом можно выполнить оптимальную коррекцию матрицы Б = А + ВК.

Заключение

Для решения совместной системы линейных неравенств найдена мера устойчивости по критерию в виде евклидовой и /те>-нормы возмущения параметров. Задача определения решения с наибольшей мерой устойчивости в случае /^-нормы сведена к задаче линейного программирования.

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

Литература

1. ВАТОЛИН А. А. Аппроксимация несобственных задач линейного программирования по критерию евклидовой нормы // ЖВМиМФ. - 1984. - Т. 24, №12. - С. 1907-1908.

2. ВАТОЛИН А. А. Коррекция расширенной матрицы несовместной системы линейных неравенств и уравнений // Математические методы оптимизации в экономикоматематическом моделировании. - М.: Наука, 1991. -С. 240-249.

3. ГОРЕЛИК В. А., МУРАВЬЁВА О. В. Матричная коррекция данных в задачах оптимизации и классификации // Моделирование, декомпозиция и оптимизация сложных динамических процессов. - М.: ВЦ РАН, 2004. - С. 2132.

4. ДЕМЬЯНОВ В. Ф., МАЛОЗЕМОВ В. Н. Введение в мини-макс. - М: Наука, 1972.

5. ЕРЕМИН И. И. Общая теория устойчивости в линейном программировании // Изв. вузов. Матем. - 1999. - №12. -C. 43-52.

6. ЕРЕМИН И. И. О несовместных системах линейных неравенств // ДАН ССР. - 1961. - Т. 138, №6. - С. 1280-1283.

7. ЕРЕМИН И. И., МАЗУРОВ В. Д., АСТАФЬЕВ Н. Н. Несобственные задачи линейного и выпуклого программирования. - М.: Наука, 1983.

8. ПОЛЯК Б. Т., ЩЕРБАКОВ П. С. Робастная устойчивость и управление. - М.: Наука, 2002.

9. ПОЛЯК Б. Т. Обобщенная сверхустойчивость в теории управления // Автоматика и телемеханика. - 2004. - №4. -С. 70-80.

10. ЧЕРНИКОВ С. Н. Системы линейных неравенств // УМН.

- 1953. - Т. 8(54), №2. - С. 7-73.

11. ЧЕРНИКОВ С. Н. Линейные неравенства. - М.: Наука, 1968.

12. AMALDI E., PFETSCH M.E., TROTTER L.E. On the maximum feasible subsystem problem, IISs, and IIS-hypergraphs // Math.Program. - 2003. - Vol. 95, №3. - P. 533554.

13. AMARAL P., BARAHONA P. Connections between the total least squares and the correction of an infeasible system of linear inequalities // Linear Algebra and its Applications. -2005. - Vol. 395. - P. 191-210.

14. CHAKRAVARTI N. Some results concerning postinfeasibility analysis // EJOR. - 1994. - Vol. 73. - P. 139-143.

15. CHINNECK J. W. Finding a Useful Subset of Constraints for Analysis in an Infeasible Linear Program // INFORMS Journal on Computing. - Spring, 1997. - Vol. 9, №2. - P. 164-174.

16. GLEESON J., RYAN J. Identifying minimally infeasible subsystems of inequalities // ORSA JOURNAL ON COMPUTING - Winter, 1990. - Vol. 2, №1. - P. 61-63.

17. GOLUB G. H., VAN LOAN C. F. An analysis of the total least squares problem // SIAM J.Numer. Anal. - 1980. - Vol. 17. -P. 883-893.

18. GREENBERG H. J. How to Analyse the Results of Linear Programs // Part 3: Infeasibility Diagnoses, Interfaces. - 1993.

- Vol. 23, №6. - P. 120-139.

19. DE MOOR B. L. R. Total linear least squares with inequality constraints. - 1990

20. NOURA A. A., SALJOOGHI F. H. Determining feasible solution in imprecise linear inequality systems // Applied Mathematical Sciences. - 2008. - Vol.2, №36. - P. 1789-1797.

21. VAN HUFFEL S., VANDEWALLE J. The total least squares problem: computational aspects and analysis. - Philadelphia: SIAM, 1991.

CORRECTION AND PERTURBATION OF SYSTEMS OF LINEAR INEQUALITIES

Olga Muravyova, Moscow Pedagogical State University , Moscow, Cand.Sc., assistant professor (muraveva@mail.ru).

Abstract: The correction of incompatible systems of linear inequalities and the perturbation of compatible systems of linear inequalities are considered.

Keywords: matrix correction, incompatible system of linear

inequalities, stability of compatible system of linear inequalities.

Статья представлена к публикации членом редакционной коллегии А. П. Курдюковым.

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