Научная статья на тему 'Конгруэнтные преобразования полиномиальных моделей'

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

CC BY
175
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КОНГРУЭНТНОСТЬ / CONGRUENCE / ПРЕОБРАЗОВАНИЕ / TRANSFORMATION / ПОЛИНОМ / МАТРИЦА / MATRIX / POLYNOME

Аннотация научной статьи по математике, автор научной работы — Никулин Е.А.

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

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

Congruent transformation of polynomial models

Subject: Design of methods of congruent transformations polynomial models. Purpose: Development of matrix algorithms transformations of lines and surfaces. Methodology: Bringing different polynomial models of a single scale and orders. Originality: Block approach is used for congruent transformations. Findings: Algorithms for transformation models of curves and surfaces while maintaining their shape are obtained.

Текст научной работы на тему «Конгруэнтные преобразования полиномиальных моделей»

УДК 681.3.513

Е.А. Никулин

КОНГРУЭНТНЫЕ ПРЕОБРАЗОВАНИЯ ПОЛИНОМИАЛЬНЫХ МОДЕЛЕЙ

Нижегородский государственный технический университет им. Р.Е. Алексеева

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

Ключевые слова: конгруэнтность, преобразование, полином, матрица.

Данная работа продолжает серию статей [1-5], посвященных блочному методу конструирования полиномиальных линий и поверхностей. Теперь мы займемся взаимными преобразованиями полиномиальных моделей, позволяющими из формулы объекта одного типа получить модель объекта другого типа при совпадающих графиках обоих объектов.

Преобразования линий

Обобщенная полиномиальная n-ой степени модель разных типов линий имеет вид бинарного разложения по столбцам узловой матрицы U и степеням параметра t, составляющим (n+l)-вектор базовых функций (ВБФ) Tn(t)=[1 t t2 ... tn]т :

p„ (t)=UHTn (t) Vte[a,b]. (1)

Вот как выглядят матрица U, составленная из n + 1 -го столбца узловых элементов, числовая (и+l)x(n+l) -матрица H и диапазон изменения параметра t у разных полиномиальных линий:

" " ^ 1 и и

• модель интерполяционной линии, проходящей через n>1 узловых точек u0, Ui , ..., u И в отсчеты to, ti, ..., tn произвольной шкалы параметра, имеет матрицы

ии =[иИ иИ ... иИ ], Ни =[Tn (to) Tn (ti) ... Tn (tn )]-1. (2)

Э Э

• у интерполяционной линии Эрмита степени n>3, проходящей через узлы u0 , u° , ...,

э э

и °_2 в отсчеты параметра t0, t1, ..., tn_2 с векторами концевых направлений V0 и

Vn_2, матрицы имеют вид

Uo =[U° ... иЭ_2 Vo0 Vn_2], Но =[Tn(to) ... Tn(tn_2) T^fo) T^)]_1. (3)

При выборе отсчетов параметра ti = i шкалы обеих интерполяционных моделей с матрицами (2) и (3) становятся нормализованными;

• у линии Безье, строящейся в единичной шкале te[o, 1] на основе n-интервальной ха-

Б Б Б

рактеристической полилинии (ХП) u°uj ...un , матрицы модели (1) следующие:

UБ =[u0 u0 . u0L Н0

hoo ho1 . hon

o h11 . h1n

o o ... hm

где hj =(-1У_'CjCn Vo<i<j<n. (4)

© Никулин Е.А., 2014.

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

Рассмотрим задачу конгруэнтного преобразования одной модели линии в другую

Рп (¿1 )=и1н1ти (^) ^ Рп & )=и2и2т„ (ь)

с сохранением формы линии и степени п обоих полиномов. Ключ к преобразованию — приведение параметров ¿1 и ¿2 к единому параметру I, а обеих моделей — к единому ВБФ Тп (^). Составим невырожденную матрицу линейного преобразования Тп (т)=Бп (т,^)Тп ^) в шкалу параметра I из шкалы масштабированного и смещенного параметра т=т1+^:

" 1 " " 1" " 1 ü ü . ü "

mt+5 t 5 m ü . ü

(mt+5 )2 — Dn (m5) t2 ^ Dn (m,55)— 5 2 2m5 m 2 . ü . (5)

(mt+5 )n tn _ 5П Clnm5n—1 C2mV—2 . . mn

Она обладает следующими свойствами: • матрица Dn (1,ü) —En+i — единичная;

• матрица обратного преобразования t=(x—s)|т равна Бп (т,я)— = Бп (т-1,—¿те"1);

• цепочка преобразований параметров ¿1 = т^+и ¿2 = m2t1 + ^2 = m1m2t+т2^1 + ^2 выполняется произведением матриц Бп (т2^2 )Бп (т1,^1 )=Бп (т1т2,т2 51 +s2 ).

Подстановкой в (5) нужных аргументов формируются матрицы М1 и М2 преобразований ВБФ Тп(¿1 )=М1Тп() и Тп(¿2)=М2Тп(t) в единичную шкалу ¿е[0,1]. Совмещая равнош-кальные модели рп (t), получим уравнение, решением которого является узловая матрица конгруэнтной модели:

и1Н1М1 = и2Н2М2 ^ и2 = и1Н1МН-1, где М=М1М-1. (6)

Применим метод (6) в расчете различных элементов моделей полиномиальных линий. 1. В задаче преобразования параметрической шкалы ^е^, Ь1 ] ^ ¿2 е[а2,Ь2] из соотношений =(Ь/ —ai )t+а/ V/=1,2 следуют матрицы М/ = Бп (Ь/ —а/ ,а/). Тогда при неизменной матрице и в (6) получаем

Н2 = Н1М1М—1 = Н1М, где М=Бп (Ь1 —а1,а1 )Бп (Ь2 —а2,а2 )—1. (7)

К примеру, в (2) дан алгоритм расчета матрицы Н1 бинарного разложения интерполяционного полинома рп (^ )=ЦН 1Тп (tl) в нормализованной шкале ^ = «¿ё[0,и]. Перейдя в единичную шкалу t2 =¿ё[0,1] с помощью матрицы М=Бп (п,0)Бп (1,0)—1 = Бп (п,0), получим модель рп(t)=ЦН2Тп(t) с матрицей Н2 = Н1Бп(п,0). Возьмем нормализованную параболу р2 (t1 )=(1—1.5^ +0.5t12)u0 +(2t1 —¿12}и1 +(—0.5^ +0.5t12)u2 ^е[0,2], проходящую через три точки и0 = р2 (0), и1 = р2 (1) и и2 = р2 (2). Ее матрица Н1 составляется, как видно далее, из коэффициентов весовых функций этих узловых точек. Нормировка шкалы дает следующие матрицу и модель параболы р2 ^):

"1 —1.5 ü.5" "1 ü ü" "1 —3 2"

H2 — HjD, (2,ü)— 0 2 —1 ü 2 ü — 0 4 —4

ü —ü.5 ü.5 ü ü 4 ü —1 2

p2(t)—(1—3t+2t2)u0 +(4t—4t2)u1 +(—t+2t2)u2 Vte[ü,l].

Проверка (о)= ио, р2 (0.5)=И! и Р2 (1)=убеждает, что после нормировочного сжатия шкалы tl полином Р2 () остался интерполяционным с тем же графиком, что у модели р2 (¿1).

Может быть полезным и растяжение шкалы, например, для перевода единичной шкалы линии Безье ¿е[0,1] в интервал ¿2 = п], пропорциональный числу п сегментов ее ХП.

Матрица конгруэнтного преобразования равна М=Бп (1,0)Бп (п,0)—1 = Бп (п _1,0) . Исходя из

матрицы Н1 в (4), получим по (7) матрицу Н2 = И1Би(п_1,0) функции рп (¿2 )=ЦН2Тп (¿2 ). Есть, скажем, парабола Безье

р2^)=(l-t)2и0 +2ф—)и1 +t2и2 Vte[0,l]

с концевыми точками И0 = р2 (0), И2 = р2 (1) и матрицей Н1. В растянутой шкале ¿2 = 2^[0,2] матрица

"1 —2 1 " "1 0 0 " "1 —1 0.25"

Н 2 = Н1Б2 (0.5,0)= 0 2 —2 0 0.5 0 = 0 1 —0.5

0 0 1 0 0 0.25 0 —1 0.25

нормализованной параболы Безье

р2 (¿2 )=(1-2 +0.25^ )ио +(¿2 -0.5t2 )И1 +0.25^и2 дает те же концевые точки р2 (0)=и0 и р2 (2)= и2.

2. Теперь рассмотрим ряд задач преобразования типа полиномиальной линии. Эта операция полезна в редакторе линий для оперативного перехода к модели другого типа, в которой конструирование желаемой формы более удобно. Может быть также полезным отображение одновременно двух полилиний Ц и Ц2 , связанных первым уравнением в (6). Известно, например, что интерполяционный полином высокой степени имеет большие межузловые осцилляции, далеко выходящие из области расположения вершин узловой полилинии. В то же время линия Безье всегда лежит в выпуклой оболочке вершин своей ХП. Вывод на экран области гарантированного расположения интерполяционной линии позволит сделать ее интерактивное редактирование более осмысленным.

Переходы между интерполяционной моделью рп (¿и )= ЦиНи Тп (¿и) в шкале

¿и = И £ [0, и] с матрицами Ци и Ни из (2) и эрмитовой моделью рп (¿Э )=иЭНЭТп (¿Э ) в другой шкале ¿э =(п—2^е[0, п—2] с матрицами Ц э и Н э из (3) осуществляются с помощью матриц Ми = Бп (п,0) и МЭ = Бп (п—2,0) следующим образом:

Цэ = Ци Ни Миэ НЭ1, где Миэ = МиМЭ1 = Бп (п/ (п—2),0);

Ци = ЦэНэМэи Н—1, где Мэи = МэМ—1 = Бп ((п—2)/п,0).

Оба преобразования работают при степени полинома п >3. Возьмем, например, кубический (п=3) интерполяционный полином с матрицами Ц и и Н и из (2) и найдем с помощью матрицы Миэ = Б3 (3,0) узловую матрицу Ц э конгруэнтного эрмитова полинома вида (3):

Г Э Э Ж7-Э Ж7-э1 Г и и и и1 [и0 и1 ^0 ^ ]=[и0 и1 ии и3 ]

" 1 1 1 1" —1 "1 0 0 0 " " 1 1 0 0"

0 1 2 3 0 3 0 0 0 1 1 1

0 1 4 9 0 0 9 0 0 1 0 2

0 1 8 27 0 0 0 27 0 1 0 3

и0 и3

и —11ии +18ии — 9и° + 2u0 — 2и и +9ии — 18u0 +11ии

2 2 Аналогично выполняется обратное преобразование ЦЭ ^ Ци (рис. 1, а):

к »и и2 ии ]=к и? УоЭ У? ]

" 1 1 0 0" -1 "1 0 0 0 " "1 1 1 1

0 1 1 1 0 13 0 0 0 1 2 3

0 1 0 2 0 0 19 0 0 1 4 9

0 1 0 3 0 0 0 1/27 0 1 8 27

? 20и? + 7и? + 4У0? -2У? 7и? + 20и? + 2У0?-4У? ? ' и1

27

27

Изображение векторов Уо и У! (для компактности они укорочены в пять раз) дополнительно к узловой сетке ии позволяет оценить концевые направления интерполяционной линии еще до ее построения.

и

иГ

У

иИ и?

-о Б и2

Б и и0 и0

и Б »и и3

а) б)

Рис. 1. Конгруэнтные преобразования типов линии

Для переходов между моделями интерполяционной линии рп(ги)=ииНиТп (ги) е[0,и]

и линии Безье рп(¿)=иБНБТп(¿) У^е[0,1] нужны матрицы МиБ = Бп(п,0) и МБи = Бп(п_1,0) :

и Б = -ОиНиБп (п,0)НБ!, ии = иБНББп (п-1,0)Н-1. Результат преобразования ии ^ иБ показан на рис. 1,б, где из узловой полилинии ии ии ии ии порядка п=3 получена ХП иБиБиБиБ линии Безье и построена ее выпуклая оболочка:

[Б Б Б Б I I и и и и

и0 и иБ иБ ]=[ио и1 ии »и ]

" 1 1 1 1" -1 "1 0 0 0 " "1 -3 3 -1" -1

0 1 2 3 0 3 0 0 0 3 -6 3

0 1 4 9 0 0 9 0 0 1 3 - 3

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

0 1 8 27 0 0 0 27 0 1 0 1

и

-5ии + 1 8и и -9ии + 2ии 2ии -9и и + 1 8ии -5ии

6

6

и

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

• фактическая степень п=1 полинома рп (¿)=1+2^ может быть повышена до любой

формальной степени п'>п, при которой линия рп-(^)=1+2^+0^2 +...+0^ задается п'+1 -й точкой, лежащей на одной прямой;

• формальная степень п>2 полинома рп()=3Х+0^2 +...+0Хп понижается до фактической степени п'=1, при которой линия рп'( )=31 определяется всего двумя точками.

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

и

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

Все сказанное эквивалентно тому, что преобразование п^п' порядка ВБФ

Т (г )=Еп+1п'+1Тп'(*),

записанное с помощью (п+1)х(п'+1) -матрицы Е

-'п+1,п'+1

(9)

элементами

вп =1 V/ =1,шт(п,п'}+1 и ву = 0 V/ Фу, при п<п' (в сторону увеличения порядка) осуществимо всегда, так как

" 1 "

1 1 . . 0 0

0 . 1 0

а при п >п' (в сторону уменьшения порядка) лишь при фактической незначимости в полиноме рп (г )=иНТп (г) степеней ¿п+1 —п, когда матрица коэффициентов 8=иН=[8 0 ... ъп О ... О] имеет п'—п>0 последних нулевых столбцов.

Подставив (9) в преобразование рп (¿1 )=и1Н1Тп (¿1 ) ^ рп (¿2 )=и2Н2Тп . (¿2 ) общего вида, получим аналогичное (6) уравнение, решением которого является узловая матрица конгруэнтной модели п' -го порядка:

(10)

и,Н,М1Еп+1 п+1 = и2Н2М2 ^ и2 = -ВДМН—1, где М=М^п^М—11.

Здесь матрицы М1 = Бп(¿1 —010) и М2 = Бп >(р2 —02О) выполняют перевод параметров ¿1е[аь ¿1 ] и ¿2 е[о2, ¿2 ] в единичную шкалу ¿е[0,1]. Заметим, что в [3, (8)] выведена сходная формула конгруэнтного изменения порядка нормированной линии Безье с матрицей М=Еп+1,п+1, совпадающей с (10) при М1 = Еп+1 и М2 = Еп+.

В качестве примера преобразуем узловую полилинию ии = и^и]1 и^и^ нормализованной

Б Б Б Б Б Б

интерполяционной линии порядка п=3 (см. рис. 1, а) в ХП иБ = и0и1и2изи4и5 нормированной линии Безье порядка п'=5 :

и Б = и и Н и Бз (3,0)Е4,6Н Б1 =

и и и и

Ии Ии и 2 и3

" 1 1 1 1" -1 "1 0 0 0"

0 1 2 3 0 3 0 0

0 1 4 9 0 0 9 0

0 1 8 27 0 0 0 27

100000 010000 001000 000100

1 —5 10 —10 5 —1

0 5 —20 30 —20 5

0 0 10 —30 30 —10

0 0 0 10 —20 10

0 0 0 0 5 —5

0 0 0 0 0 1

= У

и

и — ии +18ии —9ии +2ии —6ии +27и1и —ии —ии +27ии — 6^ —9ии +18ии—ии

3

10

20

20

10

и

матрицы коэффициентов полинома Безье р5 (г )=и БНБТ5 (г) (рис. 2, а)

и

иН

БНБ "

и —11ии +18ии —9ии +2ии 18ии —45ии +36ии —9ии — 9и! + 27ии —27ии +9ии ^

и0 ---О О

2

2

2

дефект степени равен двум, поэтому формальная степень п'=5 может быть понижена до п'—2=3 с пересчетом ХП редуцированного полинома Безье р3 (¿)=иБНБТ3 (¿) (рис. 2, б):

с

п

г

п

г

0

Б Б Б Б и о и! и 2 и3 и

[и0Б и1Б и2Б и3Б ] = ибНбЕ6,4НБ1 =

и

1 -5 10 -10 5 -1

0 5 -20 30 -20 5

0 0 10 -30 30 -10

0 0 0 10 -20 10

0 0 0 0 5 -5

0 0 0 0 0 1

10 0 0 0 10 0 0 0 10 0 0 0 1 0 0 0 0 0 0 0 0

1 -3 3 -1 0 3 -6 3 0 0 3 - 3 0 0 0 1

и -5иИ +18и1и-9иИ + 2иИ 2иИ-9иИ +18иИ -5иИ и

и 0 ; ; и3

6

6

Б

4

а) б)

Рис. 2. Конгруэнтные преобразования порядков линии

Преобразования поверхностей

Расширим область применения метода конгруэнтных преобразований на полиномиальные модели поверхностей (интерполяционные, Эрмита, циклические [5], Кунса, Безье [3, 4]), обобщенно представляемые двухпараметрическим бинарным разложением

Рп,тМ=Т№тШТт(т) , те[а,р].

Задача преобразования модели рпт(^1,т1) ^ Рп'т'(^2,т2) с сохранением формы поверхности решается приведением параметров {¿1,^} и {¿2,Т2} в единичные шкалы ¿,те[0,1] путем преобразований ВБФ Ти (¿1 )=М^п (¿), Т/^ )=М2Т/(0, Тт (т1 )^Тт (т) и

Тт' (Т2 ) = ^2Тт'(т) с помощью матриц М1 = (ь1 -а1,а1), М2 = 0и-(ь2-а2,а2 ), Ц = Бт -а1,а1) и Ь2 = Бт-(р2-а2,а2), а по (9) — к единым порядкам {п' ,т'}. Совмещая равношкальные и рав-нопорядковые модели рп-т . (¿,т), получим аналогичное (10) уравнение

Еп '+1,п+1М[Ни^ЦЕ^ '+1 = М2Н2ВДЬ2, (11)

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

М=М1Еп+1,п '+1М-1 = Бп (Ь -а1 а )Еп+1,п(Ъ2 ~а2 а )-1,

L = ЦЕт+1,т '+1^ = Бт -а1,а1 )Ет+1,т'+1Бт' ^2 -а2 ,а2 ) 1 .

1. В задаче преобразования параметрических шкал ¿1^\а1,Ъ1 ] ^ ¿2 е[а2,&2 ] и т1е[а1,Р1 ] ^ т2 е[а2,Р2] при равных матрицах Ц = и2 и порядках п =п', т =т' из (11) и (12) следуют аналогичные (7) формулы пересчета матриц бинарного разложения:

(12)

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

Н2 = Н1М1М—1, N = ^ЦЦ21.

Переведем, например, нормализованную модель гиперболического параболоида (рис. 3)

р2,2(¿1,^1 )=Ь —1 ¿12 —2^1 + 2Т! —X2 —1] ^^ф,2] с порядками п = т=2 и матрицами Н = N1 из (8) в произвольные симметричные шкалы

¿2,Х2 е[—1,1] с теми же порядками п'=т'=2 :

М1 = Ц = Б2 (2,0)=

1 0 0 0 2 0 0 0 4

М 2 = Ц 2 = Б2 (2,—1)=

1 0 0 —12 0 1 — 4 4

Н 2 = N 2

1 —1.5 0.5 0 2 —1 0 —0.5 0.5

1 0 0 020 0 0 4

1 0 0 —1 2 0 1 —4 4

—1

0 —0.5 0.5

1 0 —1 0 0.5 0.5

20

Рис. 3. Конгруэнтное преобразование шкал

В результате конгруэнтная модель той же поверхности принимает вид

р2,2 (г2,х2 )=

1 ¿2 ¿2

0 1 0 "Г[—1 0 —1] [—1 1 0] [—1 0 1]" "0 — 0.5 0.5"" 1

—0.5 0 0.5 0.5 —1 0.5

[0 —1 —1] [0 0 0] [0 —1 1] [1 0 —1] [1 1 0]_ [10 1]

¿2 ¿2 — х2 х2

1 0 —1 0 0.5 0.5

2. В задаче преобразования типа полиномиальной поверхности (у каждого типа свои параметрические шкалы, узловая матрица и и метод вычисления матриц Н и К) из уравнения (11) с разными матрицами Ц ^и2, но одинаковыми порядками п = п' и т=т', получаем

^2 ■

12 Н2

Ц = (Н1М1М—1Н—1 )т Ц (NlLlL-21N—1 )= (щМН—1 )т Ц Цш —1).

(13)

Заметим, что в [3, (12)] выведена сходная формула конгруэнтного изменения порядков п ^ п' и т ^ т' поверхности Безье с матрицами М=Еп+1п+ и Ц = Ет+1т.+1, совпадающими с (12) при всех единичных матрицах

М1 = Бп (1,0)=Еи+1, М2 =Бп(1,0)=Еп+1, Ц = Бт (1,0)= Ет+1, Ц2 = Бт (1,0)=Е^+1.

Конгруэнтное преобразование одной полиномиальной модели поверхности в другую равнопорядковую модель производится подстановкой в (13) матриц {Ц^Щ^^М^Ц^ и

X

2

2

X

2

{и2,Н2,^,М2^2}, соответствующих типам поверхностей и их шкал ам. Результаты трех преобразований показаны на рис. 4: в верхнем ряду заданы узловые сет и интерполяционных моделей (в центре - эрмитова) а в нижнем ряду построены характеристические сети Безье.

Рис. 4. Конгруэнтные преобразования типов поверхностей

3. Ну и наконец, общая задача конгруэнтного преобразования модели полиномиальной поверхности рп,т(¿1,т1) ^ Рп',т'(^2,т2), включая пересчет узловой матрицы и1 ^и2 и преобразования порядков п^п' и т ^т', имеет похожее на (13) решение

и2 =(н1М1Еп+1,п'+1М2"1н2"1 )т и (^ЦЕт+1,т'+^-2Ч-1 )=(н1Мн 2-1 )т и1 (^Ш 2-1)

с матрицами М и L из (12).

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

Работа алгоритма изменения порядков характеристической сети поверхности Безье проиллюстрирована на рис. 5:

• исходная поверхность (а) порядков п=4 и т=3 построена на сетке размера 5x4 узлов

и имеет в матрице коэффициентов 8=НтЦВД одну нижнюю нулевую строку. Это означает, что степень п имеет дефект, равный 1, а фактический порядок полинома р4,3 (¿,т) составляет п'=п-1=3;

• возможность уменьшения формального порядка п=4 до фактического п'=3 подтверждает конгруэнтная поверхность (б), построенная на сетке минимальной узловой размерности 4x4. Матрица коэффициентов такой поверхности не имеет нулевых последних ни строк, ни столбцов, и ни один из порядков не может быть понижен;

• третья конгруэнтная поверхность (в) демонстрирует возможность одновременного понижения у поверхности (а) формального ¿-порядка п=4 до фактического значения п'=3 и повышения т-порядка т=3 до формального т'=6 с дефектом степени т'-т=3.

Рис. 5. Конгруэнтные изменения порядков поверхности Безье

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

Библиографический список

1. Никулин, Е.А. Построение составных линий с различными свойствами сопряжения и произвольными условиями фиксации сегментов // Информационные технологии: тр. НГТУ / Нижегород. гос. техн. ун-т. - Н. Новгород, 2006. Т. 58. Вып. 11. С. 5-12.

2. Никулин, Е.А. Прямой параметрический синтез сплайновых линий // Системы обработки информации и управления: тр. НГТУ / Нижегород. гос. техн. ун-т. - Н. Новгород, 2007. Т. 65. Вып. 14. С. 123-130.

3. Никулин, Е.А. Новый метод изменения порядков кривых и поверхностей Безье / // Труды Нижегород. гос. техн. ун-та им. Р.Е. Алексеева / Нижегород. гос. техн. ун-т. - Н. Новгород,

2011. №1 (86). С. 70-71.

4. Никулин, Е.А. Матричные методы рекластеризации составных объектов Безье // Труды Нижегород. гос. техн. ун-та им. Р.Е. Алексеева / Нижегород. гос. техн. ун-т. - Н. Новгород,

2012. №2 (95). С. 92-101.

5. Никулин, Е.А. О разрешимости задачи циклической интерполяции // Труды Нижегород. гос. техн. ун-та им. Р.Е. Алексеева / Нижегород. гос. техн. ун-т. - Н. Новгород, 2014. №1 (103). С. 59-65.

Дата поступления в редакцию 27.06.2014

E.A. Nikulin

CONGRUENT TRANSFORMATION OF POLYNOMIAL MODELS

Nizhny Novgorod state technical university n.a. R.E. Alexeev

Subject: Design of methods of congruent transformations polynomial models. Purpose: Development of matrix algorithms transformations of lines and surfaces. Methodology: Bringing different polynomial models of a single scale and orders. Originality: Block approach is used for congruent transformations.

Findings: Algorithms for transformation models of curves and surfaces while maintaining their shape are obtained. Key words: congruence, transformation, polynome, matrix.

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