Конформное преобразование

Эта страница является черновиком статьи.

Конформное преобразование на плоскости широко используется в геодезии при создании местных координатных систем на небольшие территории, ограниченные размерами населённого пункта.

Введение

Следующие формулы связывают координаты точек x, y, заданные в местной системе координат (МСК), и координаты X, Y, заданные в государственной системе координат (ГСК):

${\begin{array}{lcl}X&=&X_{0}+m{\big [}(x-x_{0})\cos \theta -(y-y_{0})\sin \theta {\big ]}\\Y&=&Y_{0}+m{\big [}(x-x_{0})\sin \theta +(y-y_{0})\cos \theta {\big ]}\end{array}}$

где m — масштабный множитель, θ — угол разворота, X₀, Y₀, x₀, y₀ — координаты одного из геодезических пунктов в ГСК и МСК, как правило. Этот набор параметров называется «ключ».

Исходный материал для определения ключа — пары координат пунктов геодезической сети, полученные из независимого уравнивания одних и тех же измерений в МСК и в ГСК. В зависимости от класса пунктам (вернее, соответствующим парам уравнений) назначаются веса p.

Алгоритм нахождения параметров

Конформное преобразование представляется следующей математической моделью:

${\begin{array}{lcl}X'&=&a_{0}+a_{1}x-b_{1}y\\Y'&=&b_{0}+b_{1}x+a_{1}y\end{array}}$

Определению подлежат четыре параметра: a₀, b₀, a₁, b₁,.

Очевидно, конформное преобразование является частным случаем аффинного.

Шаг 1: вычисление взвешенных средних

$x_{c}={\frac {\sum \limits _{i=1}^{n}p_{i}x_{i}}{\sum \limits _{i=1}^{n}p_{i}}}\quad y_{c}={\frac {\sum \limits _{i=1}^{n}p_{i}y_{i}}{\sum \limits _{i=1}^{n}p_{i}}}\quad X_{c}={\frac {\sum \limits _{i=1}^{n}p_{i}X_{i}}{\sum \limits _{i=1}^{n}p_{i}}}\quad Y_{c}={\frac {\sum \limits _{i=1}^{n}p_{i}Y_{i}}{\sum \limits _{i=1}^{n}p_{i}}}$

Шаг 2: перенос осей в центр масс

$\Delta x_{i}=x_{i}-x_{c}\quad \Delta y_{i}=y_{i}-y_{c}\quad \Delta X_{i}=X_{i}-X_{c}\quad \Delta Y_{i}=Y_{i}-Y_{c}$

Шаг 3: вычисление a₁ и b₁

$S_{1}=\sum \limits _{i=1}^{n}p_{i}\Delta X_{i}\Delta x_{i}$	$S_{2}=\sum \limits _{i=1}^{n}p_{i}\Delta Y_{i}\Delta y_{i}$
$S_{3}=\sum \limits _{i=1}^{n}p_{i}\Delta Y_{i}\Delta x_{i}$	$S_{4}=\sum \limits _{i=1}^{n}p_{i}\Delta X_{i}\Delta y_{i}$
$S_{5}=\sum \limits _{i=1}^{n}p_{i}\left(\Delta x_{i}^{2}+\Delta y_{i}^{2}\right)$
$a_{1}={\frac {S_{1}+S_{2}}{S_{5}}}$	$b_{1}={\frac {S_{3}-S_{4}}{S_{5}}}$

Шаг 4: вычисление a₀ и b₀

${\begin{array}{lcl}a_{0}&=&X_{c}-a_{1}x_{c}+b_{1}y_{c}\\b_{0}&=&Y_{c}-b_{1}x_{c}-a_{1}y_{c}\end{array}}$

Шаг 5: вычисление невязок

$v_{xi}=X_{i}-X_{i}'\quad v_{yi}=Y_{i}-Y_{i}'$

Невязки позволяют выявить точки, плохо укладывающиеся в полученную модель. Классическая процедура удаляет такие «отлетающие» точки, после чего вычисление параметров повторяется без них. Робастные процедуры переназначают веса уравнениям в соответствии с невязками, и повторное вычисление повторяется с полным набором точек при том, что «отлетающие» влияют на результат незначительно.

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

Шаг 6: вычисление ключа

Вычислим масштабный множитель и угол разворота:

$m={\sqrt {a_{1}^{2}+b_{1}^{2}}}\qquad \theta =\operatorname {arc\,tg} {\frac {b_{1}}{a_{1}}}$

Выберем j-й пункт с малыми невязками по возможности в середине массива точек. Его координаты в обеих системах X_j, Y_j, x_j, y_j становятся параметрами X₀, Y₀, x₀, y₀.

Пример вычисления параметров

Даны координаты четырёх пунктов:

i	xi	yi	Xi	Yi	pi
1	1334.71	285.94	83477.64	87377.60	1.0
2	563.67	−5197.34	82557.14	81916.51	1.0
3	4444.27	1153.79	86610.19	88160.39	1.0
4	−252.07	2881.90	81962.05	90016.34	1.0
∑p =					4.0

i	pixi	piyi	piXi	piYi
1	1334.71	285.94	83477.64	87377.60
2	563.67	−5197.34	82557.14	81916.51
3	4444.27	1153.79	86610.19	88160.39
4	−252.07	2881.90	81962.05	90016.34
∑ =	6090.58	−875.71	334607.02	347470.84

Взвешенные средние:

xc	yc	Xc	Yc
1522.645	−218.9275	83651.755	86867.71

Перенос осей в центр масс:

i	∆xi	∆yi	∆Xi	∆Yi
1	−187.935	504.8675	−174.115	509.89
2	−958.975	−4978.4125	−1094.615	−4951.20
3	2921.625	1372.7175	2958.435	1292.68
4	−1774.715	3100.8275	−1689.705	3148.63

i	pi ∆xi ∆Xi	pi ∆yi ∆Yi	pi ∆xi ∆Yi	pi ∆yi ∆Xi	pi (∆xi2 + ∆xi2)
1	32722.3	257426.9	−95826.2	−87905.0	290210.8
2	1049708.4	24649116.0	4748077.0	5449445.0	25704224.1
3	8643437.7	1774484.5	3776726.2	4061095.5	10420246.0
4	2998744.8	9763358.5	−5587920.9	−5239483.7	12764744.5
∑ =	12724613.2	36444385.8	2841056.2	4183151.8	49179425.3
	S1	S2	S3	S4	S5

Параметры конформного преобразования:

a1 b1 0.99978799 −0.02728978 a0 b0 82135.407 87128.144

Невязки:

i	vxi	vyi
1	0.002	0.001
2	0.016	−0.013
3	−0.032	−0.016
4	0.013	0.028

Масштаб и разворот:

m	θ
1.00016037	−1°33′48.72″

Сконструируем ключ на основе первого геодезического пункта:

X0	Y0	x0	y0	m	θ
83477.64	87377.60	1334.71	285.94	1.00016037	−1°33′48.72″

Пример программной реализации

Программа findkey запускается в командной строке с именами трёх файлов в качестве аргументов: входной файл данных, выходные файл ключа и файл невязок.

#include <stdio.h>
#include <stdlib.h>
#include <math.h>

int main(int argc, char *argv[])
{
  char buf[1024], name[32];
  double x[2], y[2], wgt;
  double xc[2], yc[2];
  double dx[2], dy[2], dz[2];
  double a[2][2], scale, rotation;
  double s[5];
  int i;
  FILE *fp0, *fp1;

  if (argc < 4) {
    printf("usage: findkey input-file key-file var-file\n");
    exit(EXIT_FAILURE);
  }

  if ((fp0 = fopen(argv[1], "r")) == NULL) {
    printf("can't open %s\n", argv[1]);
    exit(EXIT_FAILURE);
  }

  /* подсчитать сумму координат */
  for (i = 0; i < 5; i++)
    s[i] = 0.;
  while (fgets(buf, 1024, fp0) != NULL) {
    sscanf(buf, "%s %lf %lf %lf %lf %lf",
	   name, &x[0], &x[1], &y[0], &y[1], &wgt);
    s[0] += x[0] * wgt;
    s[1] += x[1] * wgt;
    s[2] += y[0] * wgt;
    s[3] += y[1] * wgt;
    s[4] += wgt;
  }
  rewind(fp0);

  /* найти центр масс */
  for (i = 0; i < 2; i++) {
    xc[i] = s[i] / s[4];
    yc[i] = s[2 + i] / s[4];
  }

  /* подсчитать сумму произведений */
  for (i = 0; i < 5; i++)
    s[i] = 0.;
  while (fgets(buf, 1024, fp0) != NULL) {
    sscanf(buf, "%s %lf %lf %lf %lf %lf",
	   name, &x[0], &x[1], &y[0], &y[1], &wgt);
    /* вычислить разности */
    dx[0] = x[0] - xc[0];
    dx[1] = x[1] - xc[1];
    dy[0] = y[0] - yc[0];
    dy[1] = y[1] - yc[1];
    /* суммировать */
    s[0] += dx[0] * dy[0] * wgt;
    s[1] += dx[1] * dy[1] * wgt;
    s[2] += dx[0] * dy[1] * wgt;
    s[3] += dx[1] * dy[0] * wgt;
    s[4] += (dx[0] * dx[0] + dx[1] * dx[1]) * wgt;
  }
  rewind(fp0);

  /* найти первичные параметры */
  a[1][0] = (s[0] + s[1]) / s[4];
  a[1][1] = (s[2] - s[3]) / s[4];
  a[0][0] = yc[0] - a[1][0] * xc[0] + a[1][1] * xc[1];
  a[0][1] = yc[1] - a[1][1] * xc[0] - a[1][0] * xc[1];

  /* найти вторичные параметры */
  scale = hypot(a[1][0], a[1][1]);
  rotation = atan2(a[1][1], a[1][0]);

  /* вывести параметры в файл ключа */
  if ((fp1 = fopen(argv[2], "w")) == NULL) {
    printf("can't create %s\n", argv[2]);
    exit(EXIT_FAILURE);
  }
  fprintf(fp1, "%.3f\n", a[0][0]);
  fprintf(fp1, "%.3f\n", a[0][1]);
  fprintf(fp1, "%.10f\n", a[1][0]);
  fprintf(fp1, "%.10f\n", a[1][1]);
  fprintf(fp1, "%.10f\n", scale);
  fprintf(fp1, "%+.8f\n", rotation * 180. / M_PI);
  fclose(fp1);

  /* вывести данные вместе с невязками */
  if ((fp1 = fopen(argv[3], "w")) == NULL) {
    printf("can't create %s\n", argv[3]);
    exit(EXIT_FAILURE);
  }
  while (fgets(buf, 1024, fp0) != NULL) {
    sscanf(buf, "%s %lf %lf %lf %lf %lf",
	   name, &x[0], &x[1], &y[0], &y[1], &wgt);
    /* "наблюдённые" dx[], dy[] */
    dx[0] = x[0] - xc[0];
    dx[1] = x[1] - xc[1];
    dy[0] = y[0] - yc[0];
    dy[1] = y[1] - yc[1];
    /* "вычисленные" dy[] */
    dz[0] = a[1][0] * dx[0] - a[1][1] * dx[1];
    dz[1] = a[1][1] * dx[0] + a[1][0] * dx[1];
    fprintf(fp1, "%s %.3f %.3f %.3f %.3f %g %.3f %.3f\n",
	    name, x[0], x[1], y[0], y[1], wgt, dy[0] - dz[0], dy[1] - dz[1]);
  }
  fclose(fp1);

  fclose(fp0);

  return 0;
}

Программу можно скомпилировать, например, gcc:

$ gcc -o findkey findkey.c -lm

Подготовим файл данных data.dat:

1 1334.71   285.94 83477.64 87377.60 1.0
2  563.67 -5197.34 82557.14 81916.51 1.0
3 4444.27  1153.79 86610.19 88160.39 1.0
4 -252.07  2881.90 81962.05 90016.34 1.0

После запуска программы

$ findkey data.dat key.dat var.dat

получим ключ key.dat

82135.407
87128.144
0.9997879942
-0.0272897781
1.0001603698
-1.56353244

и невязки var.dat

1 1334.710 285.940 83477.640 87377.600 1 0.002 0.001
2 563.670 -5197.340 82557.140 81916.510 1 0.016 -0.013
3 4444.270 1153.790 86610.190 88160.390 1 -0.032 -0.016
4 -252.070 2881.900 81962.050 90016.340 1 0.013 0.028

Заключение

Положенные в основу статьи формулы называются в учебниках геодезии «неполными» в противоположность «полным». Дело в том, что при большом удалении объекта от осевого меридиана исходной проекции Гаусса-Крюгера возникает значительный градиент масштаба изображения в направлении запад-восток. Чтобы компенсировать возникающие при этом специфические искажения конформного отображения, в «полные» выражения добавляют необходимые члены разложений формул проекций. Разумеется, такой подход несовершенен, как любые ограниченные разложения. В статье Добавление местной координатной системы в GIS в качестве альтернативы предлагается переход от ГСК к проекции с нулевым градиентом масштаба в центре объекта или вблизи него, что делает «полные» формулы ненужными.

Ссылки по теме

• Convert Local Coordinate Systems to Standard Coordinate Systems, McCoy J., 2012
• Coordinate transformations in surveying and mapping, Deakin R.E., 2004
• Coordinate transformations, Knippres R., 2009
• Аффинные преобразования - математика
• Полиномиальные преобразования
• Полиномиальные преобразования - примеры реализации
• Среднеквадратичная ошибка (RMSE)