stringtranslate.com

Теория винта

Теория винтов представляет собой алгебраическое вычисление пар векторов , таких как угловая и линейная скорость , или силы и моменты , которые возникают в кинематике и динамике твердых тел . [ 1] [2]

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

Важные теоремы теории винтов включают: Принцип переноса доказывает, что геометрические вычисления для точек с использованием векторов параллельны геометрическим вычислениям для линий, полученных путем замены векторов винтами. [4] Теорема Шаля доказывает, что любое изменение между двумя позами жесткого объекта может быть выполнено одним винтом. Теорема Пуансо доказывает, что вращения вокруг главной и второстепенной — но не промежуточной — осей жесткого объекта являются устойчивыми.

Теория винтов является важным инструментом в механике роботов, [5] [6] [7] [8] механическом проектировании, вычислительной геометрии и динамике многотельных систем . Это отчасти из-за связи между винтами и двойными кватернионами , которые использовались для интерполяции движений твердого тела . [9] На основе теории винтов был также разработан эффективный подход для синтеза типов параллельных механизмов (параллельных манипуляторов или параллельных роботов). [10]

Основные понятия

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

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

Винт

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

Крутить

Скручивание — это винт , используемый для представления скорости твердого тела как угловой скорости вокруг оси и линейной скорости вдоль этой оси. Все точки тела имеют одинаковую составляющую скорости вдоль оси, однако чем больше расстояние от оси, тем больше скорость в плоскости, перпендикулярной этой оси. Таким образом, геликоидальное поле, образованное векторами скорости в движущемся твердом теле, сглаживается по мере удаления точек радиально от оси скручивания.

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

Гаечный ключ

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

Алгебра винтов

Пусть винт будет упорядоченной парой

где S и V — трехмерные действительные векторы. Сумма и разность этих упорядоченных пар вычисляются покомпонентно. Винты часто называют дуальными векторами .

Теперь введем упорядоченную пару действительных чисел â = ( ab ), называемую дуальным скаляром . Пусть сложение и вычитание этих чисел будет покомпонентным, и определим умножение как Умножение винта S  = ( SV ) на дуальный скаляр â = ( ab ) вычисляется покомпонентно и равно,

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

Пусть дуальный скаляр ẑ = ( φd ) определяет дуальный угол , тогда бесконечные ряды определений синуса и косинуса дают соотношения , которые также являются дуальными скалярами. В общем случае функция дуальной переменной определяется как f (ẑ) = ( f ( φ ),  df ′( φ )), где df ′( φ ) является производной  f ( φ ).

Эти определения позволяют получить следующие результаты:

Гаечный ключ

Распространенным примером винта является гаечный ключ, связанный с силой, действующей на твердое тело. Пусть P будет точкой приложения силы F , а P будет вектором, определяющим эту точку в неподвижной системе отсчета. Гаечный ключ W = ( F , P × F ) является винтом. Результирующая сила и момент, полученные от всех сил F i , i  = 1,..., n , действующих на твердое тело, являются просто суммой отдельных гаечных ключей W i , то есть

Обратите внимание, что случай двух равных, но противоположных сил F и − F, действующих в точках A и B соответственно, дает результирующее

Это показывает, что винты формы

можно интерпретировать как чистые моменты.

Крутить

Чтобы определить скручивание твердого тела, мы должны рассмотреть его движение, определяемое параметризованным набором пространственных перемещений, D(t)=([A(t)], d (t)), где [A] — матрица вращения, а d — вектор перемещения. Это приводит к тому, что точка p , зафиксированная в координатах движущегося тела, прослеживает кривую P (t) в фиксированной системе отсчета, заданной как,

Скорость P равна

где v — скорость начала движущейся системы отсчета, то есть d d /dt. Теперь подставим p  = [ A T ]( P  −  d ) в это уравнение, чтобы получить,

где [Ω] = [d A /d t ][ A T ] — матрица угловой скорости, а ω — вектор угловой скорости.

Винт

— это закручивание движущегося тела. Вектор V  =  v  +  d  ×  ω — это скорость точки тела, соответствующей началу неподвижной системы отсчета.

Существует два важных особых случая: (i) когда d является постоянным, то есть v  = 0, тогда поворот представляет собой чистое вращение вокруг прямой, тогда поворот равен

и (ii) когда [Ω] = 0, то есть тело не вращается, а только скользит в направлении v , то поворот представляет собой чистое скольжение, определяемое формулой

Вращающиеся соединения

Для вращательного соединения пусть ось вращения проходит через точку q и направлена ​​вдоль вектора ω , тогда крутящий момент для соединения определяется выражением:

Призматические соединения

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

Координатное преобразование винтов

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

Пусть смещение тела определяется как D  = ([ A ],  d ), где [ A ] — матрица вращения, а d — вектор перемещения. Рассмотрим линию в теле, определяемую двумя точками p и q , которая имеет координаты Плюккера ,

тогда в неподвижной системе отсчета мы имеем преобразованные координаты точки P  = [ A ] p  +  d и Q  = [ A ] q  +  d , что дает.

Таким образом, пространственное смещение определяет преобразование для координат Плюккера линий, заданное формулой

Матрица [ D ] является кососимметричной матрицей, которая выполняет операцию векторного произведения, то есть [ D ] y  =  d  ×  y .

Матрицу 6×6, полученную из пространственного смещения D  = ([ A ],  d ), можно собрать в дуальную матрицу

который действует на винт s  = ( s . v ) для получения,

Двойственная матрица [ Â ] = ([ A ], [ DA ]) имеет определитель 1 и называется двойственной ортогональной матрицей .

Повороты как элементы алгебры Ли

Рассмотрим движение твердого тела, определяемое параметризованным однородным преобразованием 4x4,

Эта нотация не делает различий между P = ( X , Y , Z , 1) и P = ( X , Y , Z ), что, как мы надеемся, понятно из контекста.

Скорость этого движения определяется путем вычисления скорости траекторий точек тела,

Точка обозначает производную по времени, а поскольку p — константа, ее производная равна нулю.

Подставим обратное преобразование для p в уравнение скорости, чтобы получить скорость P , действуя на ее траекторию P ( t ), то есть

где

Напомним, что [Ω] — матрица угловой скорости. Матрица [ S ] является элементом алгебры Ли se(3) группы Ли SE(3) однородных преобразований. Компоненты [ S ] являются компонентами винтовой спирали, и по этой причине [ S ] также часто называют твистом.

Из определения матрицы [ S ] можно сформулировать обыкновенное дифференциальное уравнение:

и спросите о движении [ T ( t )], которое имеет постоянную матрицу закручивания [ S ]. Решением является матричная экспонента

Эту формулировку можно обобщить таким образом, что при заданной начальной конфигурации g (0) в SE( n ) и повороте ξ в se( n ) однородное преобразование в новое местоположение и ориентацию можно вычислить с помощью формулы:

где θ представляет собой параметры преобразования.

Винты по отражению

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

Омография

Сочетание перемещения с вращением, осуществляемым посредством винтового смещения, можно проиллюстрировать с помощью экспоненциального отображения .

Так как ε 2 = 0 для дуальных чисел , то exp( ) = 1 + , все остальные члены показательного ряда равны нулю.

Пусть F = {1 + εr  : rH }, ε 2 = 0. Заметим, что F устойчиво относительно вращения q → p −1 qp и относительно трансляции (1 + εr )(1 + εs ) = 1 + ε ( r + s ) для любых векторных кватернионов r и s . F является 3-мерной плоскостью в восьмимерном пространстве дуальных кватернионов . Эта 3-плоскость F представляет пространство , а построенная гомография , ограниченная F , является винтовым смещением пространства.

Пусть a будет половиной угла желаемого поворота вокруг оси r , а br — половиной смещения по оси винта . Тогда образуются z = exp(( a + ) r ) и z* = exp(( a ) r ). Теперь гомография имеет вид

Обратное значение для z * равно

Итак, гомография отправляет q в

Теперь для любого вектора кватерниона p , p * = − p , пусть q = 1 + F  , где выполняются требуемые поворот и трансляция.

Очевидно, группа единиц кольца дуальных кватернионов является группой Ли . Подгруппа имеет алгебру Ли, порожденную параметрами ar и bs , где a , bR , и r , sH. Эти шесть параметров порождают подгруппу единиц, единичную сферу. Конечно, она включает F и 3 -сферу версоров .

Работа сил, действующих на твердое тело

Рассмотрим набор сил F 1 , F 2 ... F n , действующих на точки X 1 , X 2 ... X n в твердом теле. Траектории X i , i  = 1,..., n определяются движением твердого тела с вращением [ A ( t )] и перемещением d ( t ) опорной точки в теле, заданным как

где x i — координаты в движущемся теле.

Скорость каждой точки X i равна

где ω — вектор угловой скорости, а v — производная d ( t ).

Работа сил по перемещению δ r i = v i δt каждой точки определяется выражением

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

Разверните это уравнение и соберите коэффициенты ω и v, чтобы получить

Введем скручивание движущегося тела и действующую на него силу гаечного ключа, заданную формулой

тогда работа принимает форму

Матрица 6×6 [Π] используется для упрощения расчета работы с использованием винтов, так что

где

и [I] — единичная матрица 3×3.

Взаимные винты

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

тогда винты W и T являются взаимно-обратными.

Повороты в робототехнике

При изучении робототехнических систем компоненты скручивания часто транспонируются, чтобы исключить необходимость в матрице 6×6 [Π] при расчете работы. [4] В этом случае скручивание определяется как

поэтому расчет работы принимает вид

В этом случае, если

тогда гаечный ключ W обратен крутке T.

История

Математическая основа была разработана сэром Робертом Стэуэллом Боллом в 1876 году для применения в кинематике и статике механизмов (механике твердого тела). [3 ]

Феликс Клейн рассматривал теорию винтов как приложение эллиптической геометрии и своей Эрлангенской программы . [11] Он также разработал эллиптическую геометрию и свежий взгляд на евклидову геометрию с метрикой Кэли–Клейна . Использование симметричной матрицы для конического сечения и метрики фон Штаудта , применяемое к винтам, было описано Харви Липкиным. [12] Другие выдающиеся участники включают Юлиуса Плюккера , В. К. Клиффорда , Ф. М. Диментберга, Кеннета Х. Ханта , Дж. Р. Филлипса. [13]

Идея гомографии в геометрии преобразований была выдвинута Софусом Ли более века назад. Еще раньше Уильям Роуэн Гамильтон вывел версорную форму единичных кватернионов как exp( ar )= cos a + r sin a . Эта идея также содержится в формуле Эйлера, параметризующей единичную окружность в комплексной плоскости .

Уильям Кингдон Клиффорд инициировал использование двойных кватернионов для кинематики , за ним последовали Александр Котельников , Эдуард Штуд ( Geometrie der Dynamen ) и Вильгельм Блашке . Однако точка зрения Софуса Ли вернулась. [14] В 1940 году Джулиан Кулидж описал использование двойных кватернионов для винтовых перемещений на странице 261 «Истории геометрических методов» . Он отмечает вклад Артура Буххайма 1885 года . [15] Кулидж основывал свое описание просто на инструментах, которые Гамильтон использовал для действительных кватернионов.

Смотрите также

Ссылки

  1. ^ Диментберг, Ф.М. (1965) Винтовое исчисление и его применение в механике, перевод Отдела иностранных технологий FTD-HT-23-1632-67
  2. ^ Янг, AT (1974) «Исчисление винтов» в книге «Основные вопросы теории проектирования» , под ред. Уильяма Р. Шпилерса, Elsevier, стр. 266–281.
  3. ^ ab Ball, RS (1876). Теория винтов: исследование динамики твердого тела. Ходжес, Фостер.
  4. ^ ab McCarthy, J. Michael; Soh, Gim Song (2010). Геометрический дизайн связей. Springer. ISBN 978-1-4419-7892-9.
  5. ^ Featherstone, Roy (1987). Алгоритмы динамики роботов. Kluwer Academic Pub. ISBN 978-0-89838-230-3.
  6. ^ Featherstone, Roy (2008). Алгоритмы динамики роботов. Springer. ISBN 978-0-387-74315-8.
  7. ^ Мюррей, Ричард М.; Ли, Цзэсян; Шастри, С. Шанкар; Шастри, С. Шанкара (1994-03-22). Математическое введение в роботизированную манипуляцию. CRC Press. ISBN 978-0-8493-7981-9.
  8. ^ Линч, Кевин М.; Парк, Фрэнк К. (2017-05-25). Современная робототехника. Cambridge University Press. ISBN 978-1-107-15630-2.
  9. ^ Селиг, Дж. М. (2011) «Рациональная интерполяция движений твердого тела», Достижения в теории управления, сигналов и систем с физическим моделированием, Конспект лекций по управлению и информационным наукам, том 407/2011 213–224, doi :10.1007/978-3-642-16135-3_18 Springer.
  10. ^ Конг, Сяньвэнь; Госселин, Клеман (2007). Тип синтеза параллельных механизмов. Springer. ISBN 978-3-540-71990-8.
  11. Феликс Клейн (1902) (переводчик Д. Х. Дельфенича) О теории винтов сэра Роберта Болла
  12. ^ Харви Липкин (1983) Метрическая геометрия Архивировано 2016-03-05 в Wayback Machine из Georgia Tech
  13. Клиффорд, Уильям Кингдон (1873), «Предварительный набросок бикватернионов», статья XX, Математические статьи , стр. 381.
  14. ^ Сянке Ван, Дапэн Хан, Чанбин Юй и Чжицян Чжэн (2012) «Геометрическая структура единичных дуальных кватернионов с применением в кинематическом управлении», Журнал математического анализа и приложений 389(2):1352–64
  15. ^ Бухгейм, Артур (1885). «Воспоминания о бикватернионах». American Journal of Mathematics . 7 (4): 293–326. doi :10.2307/2369176. JSTOR  2369176.

Внешние ссылки