Текст подпрограммы и версий
asb2r_p.zip , asb2e_p.zip , asb2c_p.zip
Тексты тестовых примеров
tasb2r_p.zip , tasb2e_p.zip , tasb2c_p.zip

Подпрограмма:  ASB2R (модуль ASB2R_p)

Назначение

Решение вещественной системы линейных алгебраических уравнений А*X = b или AT*X = b методом Гаусса с выбором ведущего элемента по столбцу и оценка числа обусловленности ленточной матрицы A, заданной в компактной форме.

Математическое описание

Для заданной в компактной форме ленточной вещественной матрицы А порядка N выполняется треугольная факторизация А = L*U, где U - верхняя треугольная ленточная матрица, вычисляется величина, обратная числу обусловленности матрицы А:

     RCOND = 1 / ( || A ||1 * || A-1 ||1 ) ,
  где
     || A ||1 = maxj = 1,...,N  ( a1j + a2j + ... + aNj ) , 

и затем решается система А * Х = b или АT*Х = b.

Вычисления проводятся в два этапа:

     1) решается система  L * Y = b  (для AT решается UT*Y=b) ;
     2) решается система U * X = Y  (для AT решается LT*X=Y) . 

Дж.Форсайт, М.Малькольм, К.Моулер. Машинные методы математических вычислений. М.: Мир, 1980.

Использование

procedure ASB2R(var A :Array of Real; MA :Integer; N :Integer;
                ML :Integer; MU :Integer;
                var NLEAD :Array of Integer; var B :Array of Real;
                LTR :Integer; L :Integer; var RCOND :Real;
                var Z :Array of Real; var IERR :Integer);

Параметры

A - вещественный двумерный массив размера МА на N, в первых МL + МU + 1 столбцах которого задается в компактном виде исходная ленточная матрица порядка N; на выходе в первых МL столбцах массива находятся нижние кодиагонали ленточной матрицы L1*...*LN - 1 (Li, i = 1, ..., N - 1, суть элементарные матрицы исключения метода Гаусса), в следующих МL + МU + 1 столбцах содержится в компактном виде матрица U (см. замечания по использованию);
MA - первая размерность массива в вызывающей программе (тип: целый);
N - порядок матрицы А (тип: целый);
ML - число нижних кодиагоналей матрицы А (тип: целый);
MU - число верхних кодиагоналей матрицы А (тип: целый);
NLEAD - целый вектор длины N, содержащий на выходе информацию о выполненных в процессе исключения перестановках (см. замечания по использованию);
B - вещественный вектор длины N, в котором задается правая часть системы; на выходе содержит вычисленное решение системы (см. замечания по использованию);
LTR - признак решаемой системы (тип: целый), причем
LТR = 0 - если решается система А*Х = b
LТR ≠ 0 - если решается система АT*Х = b;
L - признак решаемой системы (тип: целый), причем
L = 0 - если система с данной матрицей решается впервые,
L ≠ 0 - если система с данной матрицей решается повторно (см. замечания по использованию);
RCOND - вещественная переменная, содержащая на выходе вычисленное значение величины 1/(|| А ||1*|| А- 1||1) (см. замечания по использованию);
Z - вещественный рабочий вектор длины N;
IERR - целая переменная, содержащая на выходе информацию о прохождении счета, при этом
IЕRR=65 - если МА ≤ 0 или N ≤ 0;
IЕRR=66 - если в процессе работы произошло переполнение (это говорит о том, что либо ||А||1, либо некоторые элементы матрицы U, либо некоторые компоненты решения системы превосходят по абсолютной величине максимально представимое на данной машине число);
IЕRR=-К - если в результате факторизации диагональный элемент в К - й строке матрицы U равен нулю (это свидетельствует о вырожденности матрицы А). Если таких строк у матрицы U несколько, то значение К полагается равным номеру последней из них; (см. замечания по использованию);
IЕRR=67 - если система несовместна.

Версии

ASB2E - решение системы линейных алгебраических уравнений А*Х = b или АT*Х = b методом Гаусса с выбором ведущего элемента по столбцу и оценка числа обусловленности для вещественных А и b, заданных с расширенной (Extended) точностью, где ленточная матрица А задана в компактной форме.
ASB2C - решение системы линейных алгебраических уравнений А*Х = b или АT*Х = b методом Гаусса с выбором ведущего элемента по столбцу и оценка числа обусловленности для комплексных А и b, где ленточная матрица А задана в компактной форме.

Вызываемые подпрограммы

AFB2R - подпрограмма треугольной факторизации и оценки числа обусловленности ленточной матрицы А.
UTAFSI - подпрограмма выдачи диагностических сообщений.

Замечания по использованию

  1. 

В подпрограмме АSВ2E массивы А, В, Z и переменная RСОND имеют тип Extended, для треугольного разложения и оценки числа обусловленности ленточной матрицы А вызывается подпрограмма АFВ2E.

  2. 

В подпрограмме АSВ2С массивы А, В, Z имеют тип Complex, для треугольного разложения и оценки числа обусловленности ленточной матрицы А вызывается подпрограмма АFВ2С.

  3. 

На выходе К - ый элемент вектора NLЕАD равен номеру строки, переставленной на К - м шаге факторизации с с К - ой строкой матрицы А.

Поскольку факторизация Гаусса требует N - 1 шагов, то NLЕАD (N) = N.

  4. 

Так как в результате выполненных в ходе факторизации перестановок число верхних кодиагоналей матрицы U равно МU + МL, а также в силу некоторых конструктивных особенностей подпрограммы, для правильной ее работы необходимо выполнение условия МА ≥ N > МU + 2*МL + 1.

Если же МU + 2*МL + 1 ≥ N, то более целесообразно, задав матрицу А не в компактной, а в полной форме, обратиться к подпрограмме АSG8R.

  5. 

Если задано L ≠ 0, то есть система решается повторно, то перед выполнением подпрограммы нужно запомнить, если требуется, вычисленную ранее оценку числа обусловленности, а в качестве матрицы А при обращении к подпрограмме нужно взять результат предыдущего обращения к АSВ2R либо к АFВ2R, т.е. матрица А должна быть уже факторизована, т.к. при L ≠ 0 обращения к АFВ2R не происходит и полагается RСОND = 0.0.

  6.  Если вырабатывается значение переменной IЕRR, отличное от нуля, то выдается соответствующее диагностическое сообщение, и, если IЕRR > 0, то происходит выход из подпрограммы. Если система совместна, то матрица А вырождена, то есть для некоторых номеров К  U (К, К) = 0.0, то полагается В (К) = 1.0.

Пример использования

Unit TASB2R_p;
interface
uses
SysUtils, Math, { Delphi }
Lstruct, Lfunc, UtRes_p, ASB2R_p;

function TASB2R: String;

implementation

function TASB2R: String;
var
MA,N,ML,MU,L,LTR,I,J,J0,J1,K,IERR :Integer;
RCOND :Real;
A :Array [0..24] of Real;
B :Array [0..4] of Real;
Z :Array [0..4] of Real;
NLEAD :Array [0..4] of Integer;
label
_1,_2,_3,_4;
begin
Result := '';  { результат функции }
МА := 5;
N := 5;
ML := 1;
MU := 1;
L := 0;
LTR := 0;
for I:=1 to МА do
 begin
  for J:=1 to N do
   begin
    A[(I-1)+(J-1)*5] := 0.0;
_1:
   end;
_2:
 end;
for I:=1 to МА do
 begin
  J0 := Max0(1,I-ML);
  J1 := Min0(N,I+MU);
  for J:=J0 to J1 do
   begin
    K := J-I+ML+1;
    A[(I-1)+(K-1)*5] := (I*10+J);
_3:
   end;
  B[I-1] := 7.0;
_4:
 end;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',['   A=' + #$0D#$0A]);
for I:=1 to МА do
 begin
  for J:=1 to N do
   begin
    Result := Result + Format(' %20.16f ',[A[(I-1)+(J-1)*5]]) + #$0D#$0A;
   end;
 end;
Result := Result + #$0D#$0A;
ASB2R(A,MA,N,ML,MU,NLEAD,B,LTR,L,RCOND,Z,IERR);
Result := Result + #$0D#$0A;
Result := Result + Format('%s',['   NLEAD=' + #$0D#$0A]);
for J:=1 to N do
 begin
  Result := Result + Format('   %3d ',[NLEAD[J-1]]) + #$0D#$0A;
 end;
Result := Result + #$0D#$0A;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',['   A=' + #$0D#$0A]);
for I:=1 to МА do
 begin
  for J:=1 to N do
   begin
    Result := Result + Format(' %20.16f ',[A[(I-1)+(J-1)*5]]) + #$0D#$0A;
   end;
 end;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',['   IERR=']);
Result := Result + Format('%3d ',[IERR]);
Result := Result + Format('%s',['     RCOND=']);
Result := Result + Format('%20.16f ',[RCOND]) + #$0D#$0A;
Result := Result + #$0D#$0A;
Result := Result + Format('%s',['   B=' + #$0D#$0A]);
for J:=1 to N do
 begin
  Result := Result + Format(' %20.16f ',[B[J-1]]) + #$0D#$0A;
 end;
Result := Result + #$0D#$0A;
UtRes('TASB2R',Result);  { вывод результатов в файл TASB2R.res }
exit;
end;

end.

Результаты:

               |    0          21.0      22.0     23.0     0 |
               | -0.524     32.0      33.0     34.0     0 |
      A  =  | -0.015     43.0      44.0     45.0     0 |
               |  0.292     54.0      55.0       0       0 |
               | -0.228     0.569      0          0       0 |
  
      NLEAD = (2, 3, 4, 5, 5) ,    RCOND = 1.47362E-03 , 

      B  =  (-7.0625,  7.0598,  0.0024,  -6.4409,  6.4511) .