Научная статья на тему 'Investigation of the algorithm for constructing smooth spatial curves with the ability to specify the Curvature and torsion at the nodal points'

Investigation of the algorithm for constructing smooth spatial curves with the ability to specify the Curvature and torsion at the nodal points Текст научной статьи по специальности «Математика»

CC BY
29
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СЕГМЕНТ / ЗАДАНИЙ ДВОМА ТОЧКАМИ і ДВОМА ПЕРШИМИ / ДРУГИМИ і ТРЕТіМИ ПОХіДНИМИ / ГЛАДКіСТЬ ВіДПОВіДНОГО СТУПЕНЯ / ЗАДАННЫЙ ДВУМЯ ТОЧКАМИ И ДВУМЯ ПЕРВЫМИ / ВТОРЫМИ И ТРЕТЬИМИ ПРОИЗВОДНЫМИ / ГЛАДКОСТЬ СООТВЕТСТВУЮЩЕЙ СТЕПЕНИ / SEGMENT DEFINED BY TWO POINTS AND TWO FIRST / SECOND AND THIRD DERIVATIVES / SMOOTHNESS OF THE CORRESPONDING DEGREE

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

In the existing methods for describing spline vector-parametric surfaces, a rich arsenal of algorithms has been accumulated. Often the development of hardware equipment outperforms the software. In addition, the state of the art often throws new «challenges»to the developer, for example, the need to obtain a channel surface with special properties, with predefined curvature and torsion, with a certain order of smoothness. This is important in the design of product pipelines, exhaust manifolds of internal combustion engines, etc. Therefore, it makes sense to investigate previously unexplored types of control over the future properties of spline curves, and surfaces based on them. Special polynomial splines of higher degrees (seventh degree) and mathematical apparatus (linear algebra, Cramer method, vector-parametric description of curves) are used in the work. The formula for calculation of the vector-parametric segment of the seventh degree (on two end points, two first, second and third derivatives in them) is derived. The formula allows more flexible control over the shape of the desired spline, arbitrarily setting the initial data. The algorithm given in the work allows to answer the «call», giving the designer complete freedom in controlling the geometric properties of the object even at the development stage. The algorithm allows to create better samples of modern technology thanks to the control of curvature and torsion.

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

Текст научной работы на тему «Investigation of the algorithm for constructing smooth spatial curves with the ability to specify the Curvature and torsion at the nodal points»

БОТ: 10.15587/2312-8372.2017.104775

ИССЛЕДОВАНИЕ АЛГОРИТМА КОНСТРУИРОВАНИЯ ГЛАДКИХ ПРОСТРАНСТВЕННЫХ КРИВЫХ С ВОЗМОЖНОСТЬЮ ЗАДАНИЯ КРИВИЗНЫ И КРУЧЕНИЯ В УЗЛОВЫХ ТОЧКАХ

Ковтун А. М.

1. Введение

Известны и имеют применение такие варианты аналитического представления кривых линий (обводов):

а) на основе функции Фергюссона (1);

б) на основе функции Безье (2), (3);

в) на основе рациональных функций (4), (5).

Кубические параметрические кривые в форме Фергюссона записываются в виде (рис. 1):

где г(0), г(1) - векторы заданных двух точек;

г'(0), г'(1) - векторы касательных в заданных точках; и - параметр, в пределах от точки 0 до точки 1 изменяющийся от 0 до 1; а0(и), а1(и), р0(и), р1(и) - функции третей степени от параметра и:

г= г(и) = г(0)а0 (и) + г(1)ах (и) + г (0)Д (и) + г (1)Д (и), (1)

а0 (и) = 1 - 3) + 2) а1 (и) = 3) -2и3, Д (и) = и-2) + и3, Д (и) = -) + и3.

,3

У

г

0 х

Рис. 1. Кубическая параметрическая кривая в форме Фергюссона

Как видно на рис. 1, управляющими факторами здесь есть две точки и векторы касательных в них. На основе кривой в форме Фергюссона строятся век-торно-параметрические кубические сплайны.

В практике конструирования криволинейных обводов не всегда можно определить касательные векторы, а, тем более, определить необходимую их длину, что влияет на форму кривой. Как правило, в машиностроении первичными данными является точечный ряд точек без касательных. Кубические кривые в форме Безье (рис. 2) имеют вид:

г= г0 (1 - и)3 + 3гхы(1 - и)2 + 3г2) (1 - и) + г), (2)

где г0, гг2, г3 - векторы точек 0, 1, 2, 3;

и - параметр, в пределах от 1 до 3 изменяющийся от 0 до 1.

Как видно на рис. 2, точки 1 и 2 не лежат на кривой, а векторы 01 и 23 являются касательными к кривой в точках 0 и 3.

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

Кроме кубической кривой еще известны кривые полиномов Бернштейна-Безье:

г= г(и) = £

п!

(п- 1)!1

) (1 - и)11-1 г.

(3)

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

Кроме того, на основе кривых Безье создан метод FFD (Free Form Deformation) - метод произвольной деформации формы, где управляющими факторами для образования геометрического тела есть точки, которые не все лежат на поверхности тела.

Обобщением кривой Безье являются рациональные кривые. Приведем формулы для кривой 2-го и 3-го порядков:

r= w0r0 (1 - Ui + 2 WrVu(1 - U + w2r2 U (4)

w0 (1 - u) + 2 - U+ wU

w0r0(1 - u)3 + 3 wru(1- u)2 + 3 w2r2U(1 - u)+ w3r3U (5)

w0 (1 - u)3 + 3 wu(1 - u)2 + 3 wU(1 - u) + w3U

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

Таким образом, видим, что актуальным является последующее исследование в разработке других вариантов представления алгебраических кривых, а именно: с помощью заданных двух точек с известными кривизной и кручением. Это дает возможность более удобно конструировать реальный объект. Причем можно руководить кривизной, кручением и гладкостью. Что дает дополнительные преимущества в проектировании гладких каналовых поверхностей.

2. Объект исследования и его технологический аудит

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

Для выявления особенностей разработки сплайн-функций с заданными в опорных точках величинами кривизны и кручения проводился технологический аудит. Целью аудита является исследование способности такого вида сплайнов давать форму, пригодную для проектирования путепроводов для сыпучих и жидких объектов, выпускных коллекторов двигателей внутреннего сгорания и т. д. Существенную помощь разработчику может оказать возможность задания дополнительных условий: графика кривизны и кручения, для корректировки формы сплайна в соответствии с решаемой задачей. Исследование имеет уклон

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

3. Цель и задачи исследования

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

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

1. Получить формулу для расчета векторно-параметрического сегмента седьмой степени (по двум конечным точкам, двум первым, вторым и третьим производным в них).

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

4. Исследование существующих решений проблемы

Среди основных направлений конструирования гладких каналовых поверхностей в ресурсах мировой периодики выявлены следующие направления, применяемые для аналитического представления гладких поверхностей, также использована «классическая» литература по аналитической геометрии. Могут быть выделены такие подходы к решению проблемы [Ошибка! Источник ссылки не найден.-Ошибка! Источник ссылки не найден.]:

- аналитические поверхности;

- поверхности Кунса;

- поверхности Безье;

- сплайновые поверхности;

- поверхности Эрмита;

- поверхности Гордона;

- поверхности перехода;

- рациональные поверхности;

- NURBS поверхности.

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

В [Ошибка! Источник ссылки не найден.-Ошибка! Источник ссылки не найден.] приведены исследования, в которых делаются попытки построения векторно-параметрических сегментов (а на их основе и порций поверхностей) с «особыми свойствами». Успешных попыток получения гладкой кривой с необ-

ходимыми свойствами, увязывая свойства сегмента со значениями кривизны и кручения сделано не было. С таким же успехом были проведены исследования для трубопроводов [Ошибка! Источник ссылки не найден.]. Делались попытки управлять кривизной и кручением при проектировании NURBS.

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

5. Методы исследования

Векторно-параметрические кривые задаются в виде r=r(u), что означает: по каждой координате существуют отдельные кри но:

При задании точечного ряда в каждой точке назначаются произвольным образом конкретные значения параметра и. Наиболее простым способом является назначение значений и, которые равняются порядковому номеру точки, то есть иЬ= Ь, Ь= 0, 1,N. При этом уравнения сплайнов значительно упрощаются, т. к. точки по параметру и размещаются равномерно (это не означает, что они равномерно размещаются в пространстве). Кроме того, дистанция между точками по параметру и равняется единице, то есть:

и+г—иг (Ь+1)- Ь= 1.

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

где: и иЬ+1 - параметры в точке Ь и Ь+1;

, хш, уЬ, уЬ+1 - координаты узловых точек.

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

6. Результаты исследования

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

Можно предложить вариант описания этих условий, для чего будем искать полиномиальную функцию седьмой степени в виде:

x= x(u), y= y(u), z= z(u).

y=a0 (u)y0 + аг (u)yt + h [fi0 (u)y'0 + (u)y'1] + h2[y0(u)y"0 + у? (u)y"1] + h3[S0(u)y' + Si(u)y'i],

где у0, у1 - заданные ординаты точек 0,1;

Уо', у1' - заданные первые производные в точках 0,1; Уо'', у1'' - заданные вторые производные в точках 0,1;

т '''

У0 ,У1 - заданные третьи производные в точках 0,1; Н= (х1—х0) - разница между абсциссами точек 0,1; и= (х-х0)/(х1-х0) - параметр, рис. 1. а0(и), а1(и), р0(и), р1(и), у0(и), у1(и), ¿0 (и), ¿1 (и) - функции седьмой степени от параметра и.

Будем искать функции седьмой степени в виде:

a0(u)=a+bu+cu2+du3+eu4+fu5+ju6+ku7. a1(u)=a+bu+cu2+du3+eu4+fu5+ju6+ku7. в0(u)=a+bu+cu2+du3+eu4+fu5+ju6+ku7. в1(u)=a+bu+cu2+du3+eu4+fu5+ju6+ku7. y0(u)=a+bu+cu2+du3+eu4+fu5+ju6+ku7. y1(u)=a+bu+cu2+du3+eu4+fu5+ju6+ku7. S0(u)=a+bu+cu2+du3+eu4+fu5+ju6+ku7. S1(u)=a+bu+cu2+du3+eu4+fu5+ju6+ku7.

Для нахождения функций седьмой в узловых точках, получим:

подставив значения полиномов

*о(0)=1 «0(1)= 0 а'0(0) = 0 а'0(1) = 0

а(0)= 0 а(1) = 1 а'1(0) = 0 а\(1)- = 0

Ао(0)= о Р0(1)= 0 Р'0(0) = 1 Р\(1) = 0

Л(0) = о Р(1) = 0 Р\(0) = 0 Р\(1)- = 1

Го(0) = 0 Г0(1) = 0 7*0(0) = 0 7' 0(1) = 0

7(0) = 0 7,(1) = 0 7*1(0) = 0 7\(1) = 0

¿0(0)= 0 ¿0(1) ф ¿'0(0) = 0 ¿' 0(1) = = 0

¿1(0) = 0 ¿1(1) = 0 ¿\(0) = 0 ¿ 1(1) 0

а' '0(0) = 0 а "0(0)= 0 а"0(1) = 0 а ' ' 0(1) = 0

а'' 1(0) = 0 а "1(0) = 0 а''1(1) = 0 а ' ' 1(1)= 0

Р' '0(0) = 0 Р"о(0) = 0 Р'*0(1) = 0 Р ' ' 0(1) = 0

Р'' 1(0) = 0 Р"\(0) = 0 Р ' * 1(1) = 0 Р ' ' 1(1)= 0

гм0(0) = 1 7т0(0) = 1 7'' 0(1): = 0 1' 7 "0(1) = 1

7(0) = 0 7 "1(0) = 0 7''1(1) = 1 1' 7 "1(1)= 0

¿"0(0) = 0 ¿"о(0) = 1 ¿М0(1); = 0 ¿ ''0(1)= 0

¿"1(0) = 0 ¿"\(0) = 0 ¿''1(1) = 0 ¿ ''1(1)= 1

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

Если перегруппировать все а0, то получим систему для ее нахождения, аналогично найдем а1, р0, р1, у0, у1, д0, 61. Для чего выберем:

а(0) = 1 а(0) = о (о(0) = о (1(0) = о

ао(1) = 0 а1(1) = 1 (0(1) = 0 (1(1) = 0

а' о(0) = 0 а ' 1(0) = 0 (' о(0) = 1 (' 1(0) = 0

а ' о(1) = 0 а ' 1(1) = 0 (' о(1) = 0 (5\(1) = 1

а ''0(0) = 0 а '' 1(0) = 0 ( ''0(0) = 0 ( '' 1(0) = 0

а"о(1) = 0 а'\(1) = 0 Д"о(1) = 0 ("1(1) = 0

а'"о(0) = 0 а'"1(0) = 0 (\(0) = 0 (\(0) = 0

а'' ' о(1) = 0 а'' ' 1(1) = 0 ( '''о(1) = 0 ('"1(1)

«Г

Г"

7о(0) = 0 П(0) = 0 ¿о(0) = о 8(0) =

Го(1) = о 7,(1) = 0 ад = о ад = 0

Л(0) = 0 7\(0) = 0 8'о(0) = 0 ^'1(0)

7' о(1) = 0 7 ' 1(1) = 0 8' о(1) = 0 8' 1(1) = 0

7 '' о(0) = 1 7 '' 1(0) = 0 8 '' о(0) = 0 8 '\(0) = 0'

7"о(1) = 0 7 1(1) = 1 8"о(1) = 0 8"1(1) = 0

7"'о(0) = 0 7 "1(0) = 0 8"'о(0) = 1 8"'1(0) = 0

7"'о(1) = 0 7 "1(1) = 0 8"'о(1) = 0 8"'1(1) = 1

Решив системы методом Крамера, определим:

а0= 1.0-35и4 + 84и5 -70и6 + 20и7; а1 = 35и4 - 84и5 + 70и6 - 20и7 ; Р0 = -20и4 + 45и5 - 36и6 + 10и7; Р1 = 35и4 - 84и5 + 70и6 - 20и7; у0 = -5и4 +10и5 - 7.5и6 + 2и7 ; у 1 = 2.5и4 - 7и5 + 6.5и6 - 2и7;

ф0 = 0.166667и3 -0.666667и4 +и5 -0.666667и6 + 0.166667и7; Ф1 = -0.166667и4 + 0.5и5 - 0.5и6 + 0.166667и7.

Таким образом, найден векторно-параметрический сегмент, определяемый по 2-м точкам и заданным 1-м, 2-м и 3-м производным в них:

г()) = а0г0 + аг + Р0г'0 + ргг'г + у0г'\ + у1г''1 + /0г'''0 + /1г'''1,

(7)

где г0, г— векторы точек 0, 1;

а0(и), а1(и), р0(и), р1(и), у0(и), у1(и), д0(и), д1(и) - функции седьмой степени от параметра и.

Из дифференциальной геометрии, для векторно-параметрической кривой в виде:

г = г(1); [х = х()); у = у());г = 1(1)]

кривизна задается формулой:

к21()) =

х'' у'' 2 у'' г'' 2 г'' х''

+ +

х' у' у' г' г' х'

(х'2 + у'2 +1'2) Кручение определяется формулой:

/

/ <2

(8)

1ение; (г

'х г '') - векторное произведение.

юрвые производные в них г0 (х0, у0, г0) и г1

= (г'г''г''') 2 (г'*г'')2 ,

где ( г ' г '' г ''') - смешанное произвед

Очевидно, кручение реально только для трехмерной кривой, что соответ ствует нашему случаю (построению гладких каналовых векторно параметрических поверхностей). Применим алгоритм:

1. Задаем две точки г0 и г1 и пе (х1, у1,11).

2. Далее задаем кривизны в этих точках к0 и к\. Задаем вторые производ-

формулы (7) находим г0" и г1".

3. Задаем величины кручения в этих двух точках кг0 и кг1. Далее, задаем величины третьих производных по двум координатам х0'" и у0'", хи у/" И, наконец, из формулы (8) находим г0"' и г/"

4. Все необходимые входные данные получены, подставляем в формулу (6). По выполнению: имеем векторно-параметрический сегмент (7), причем

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

7. SWOT-анализ результатов исследований

Strengths. К сильным сторонам можно отнести полученные найден векторно-параметрический сегмент, определяемый по 2-м данным 1-м, 2-м и 3-м производным в них. Также разработан алгс торно-параметрического сегмента, причем на усмотрение разраб^ ся первые, вторые и третьи производные (что автоматически дает кривую третьего порядка гладкости). К тому же возможен контроль значений кривизны и кручения еще на этапе конструирования пространственной кривой.

Произведено исследование нового алгоритма описания гладких каналовых векторно-параметрических поверхностей, полезные свойства которых можно применять при построении объектов реального мира.

Weaknesses. Слабые стороны данного исследования обусловлены малым количеством завершенных готовых моделей, выполненных с применением метода, что объясняется его новизной.

Opportunities. К дополнительным возможностям, обеспечивающим достижение цели исследования могут быть отнесены и вероятные внешние факторы:

- повышающийся спрос на специализированное программное обеспечение;

- разработка гладких каналовых векторно-параметрических поверхностей является передовым направлением исследований, промышленность, особенно «наукоемкая» требует все более совершенных подходов и алгоритмов;

- результаты исследования могут быть интегрированы в пакеты САПР, которые востребованы как в Украине, так и за ее пределами.

Threats. Сложности во внедрении полученных результатов исследования связаны с нынешней политико-экономической ситуацией, что обусловлено недостатком финансирования, медленным обновлением машинно-станочного парка, слабым внедрением тяжелого САПР и т. д.

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

Про точные аналоги не известно, по крайней мере, в открытых источниках.

Таким образом, SWOT-анализ результатов исследований позволяет обозначить основные направления для дальнейшей разработки более совершенных алгоритмов и программного обеспечения, продвижения их на вновь открывающиеся внешние и внутренние рынки IT.

8. Выводы

1. Получена формула для расчета векторно-параметрического сегмента седьмой степени (7) (по двум конечным точкам, двум первым, вторым и третьим производным в них). Формула позволяет более гибко управлять формой искомого сплайна, произвольно задавая исходные данные.

2. По заданным точкам 0, 1, по значениям кривизны к1 и кручения к2 в них получен векторно-параметрический сегмент (7) с нужными разработчику свойствами. Причем гладкость третьего порядка обеспечивается автоматически (в силу равенства производных, вплоть до третьей, на концах сегмента). Значе-

ния кривизны к1 и кручения к2 являются функцией соответствующей, либо сме-

' " т

шанной производной: г, г ,г .

Литература

1. Голованов, Н. Н. Геометрическое моделирование [Текст] / Н. Н. Голованов. - М.: Издательство Физико-математической литературы, 2002. - 472 с.

2. Rogers, D. F. Mathematical Elements for Computer Graphics [Text] / D. F. Rogers, J. A. Adams. - Ed. 2. - McGraw-Hill Science, 1989. - 512 p.

3. Faux, I. D. Computational Geometry for Design and Manufacture [Text] / I. D. Faux, M. J. Pratt. - Ellis Horwood Ltd, 1980. - 329 p.

4. Завьялов, Ю. С. Методы сплайн-функций [Текст] / Ю. С. Завьялов, Б. И. Квасов, В. Л. Мирошниченко. - Москва: Наука, 1982. - 352 с.

5. Fu, Y. L. Simultaneous Measurement of Torsion and Curvature Using Curvature Fiber Optic Sensor [Text] / Y. L. Fu, H. T. Di // Key Engineering Materials. - 2009. - Vol. 392-394. - P. 448-453. doi: 10.4028/www.scientific.net/kem.392-394.448

6. Rovenski, V. Geometry of Curves and Surfaces with MAPLE [Text] / V. Rovenski. - Birkhäuser Basel, 2000. - 310 p. doi:10.1007/978-1-4612-2128-9

7. Погорелов, А. В. Геометрия [Текст] / А. В. Погорелов. - М.: Наука, Матгиз, 1983. - 288 с.

8. Heller, H. R. Internationaler Handel [Text] / H. R. Heller. - Physica-Verlag HD, 1975. - 250 p. doi:10.1007/978-3-642-93617-3

9. Lambek, J. Torsion Theories, Additive Semantics, and Rings of Quotients [Text] / J. Lambek // Lecture Notes in Mathematics. - Berlin, Heidelberg: Springer, 1971. - 94 p. doi:10.1007/bfb0061029

10. Yaremenko, N. Derivation of Field Equations in Space with the Geometric Structure Generated by Metric and Torsion [Text] / N. Yaremenko // Journal of Gravity. - 2014. - Vol. 2014. - P. 1-13. doi:10.1155/2014/420123

11. Vasudevaiah, M. Effect of torsion in a helical pipe flow [Text] / M. Vasudevaiah, R. Patturaj // International Journal of Mathematics and Mathematical Sciences. - 1994. - Vol. 17, № 3. - P. 553-560. doi:10.1155/s0161171294000803

atturaj //

' F

/

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