Теория винта - Screw theory
Теория винта представляет собой алгебраическое вычисление пар векторов, таких как силы и моменты или угловая и линейная скорость, которые возникают в кинематике и динамике твердых тел.[1][2] Математическая основа была разработана сэром Роберт Ставелл Болл в 1876 г. для применения в кинематика и статика из механизмы (механика твердого тела).[3]
Теория винта дает математический формулировка для геометрия линий, которые являются центральными для динамика твердого тела, где линии образуют винтовые оси пространственного перемещения и линии действия сил. Пара векторов, образующих Координаты Плюккера линии определяют единичный винт, а общие винты получаются умножением на пару действительных чисел и сложением векторов.[3]
Важным результатом теории винтов является то, что геометрические вычисления для точек с использованием векторов имеют параллельные геометрические вычисления для линий, полученных путем замены векторов винтами. Это называется принцип передачи.[4]
Теория винта стала важным инструментом в механике роботов,[5][6] механический дизайн, вычислительная геометрия и многотельная динамика. Отчасти это связано с соотношением винтов и двойные кватернионы которые использовались для интерполяции движения твердого тела.[7] На основе теории винта также был разработан эффективный подход к синтезу типов параллельных механизмов (параллельные манипуляторы или параллельные роботы).[8]
Основные теоремы включают Теорема Пуансо (Луи Пуансо, 1806) и Теорема Часлеса (Мишель Часлес, 1832). Феликс Кляйн видел теорию винта как приложение эллиптическая геометрия и его Программа Эрланген.[9] Он также разработал эллиптическую геометрию и новый взгляд на евклидову геометрию с помощью Метрика Кэли – Клейна. Использование симметричная матрица для фон Штаудт конический и метрика, применяемая к винтам, была описана Харви Липкиным.[10] Другие известные участники включают Юлиус Плюкер, В. К. Клиффорд, Ф. М. Диментберг, Кеннет Х. Хант, Дж. Р. Филлипс.[11]
Базовые концепты
Пространственное смещение твердого тела может быть определено вращением вокруг линии и перемещением вдоль той же линии, называемым смещением винта. Это известно как Теорема Часлеса. Шесть параметров, которые определяют перемещение винта, являются четырьмя независимыми компонентами вектора Плюккера, который определяет ось винта, вместе с углом поворота и линейным скольжением вдоль этой линии, и образуют пару векторов, называемых винт. Для сравнения, шесть параметров, определяющих пространственное смещение, также могут быть заданы тремя Углы Эйлера которые определяют поворот и три компонента вектора перемещения.
Винт
Винт - это шестимерный вектор, построенный из пары трехмерных векторов, таких как силы и моменты, а также линейная и угловая скорость, которые возникают при изучении пространственного движения твердого тела. Компоненты винта определяют координаты Плюккера линии в пространстве и величины вектора вдоль линии и момента относительно этой линии.
Гаечный ключ
Векторы силы и крутящего момента, возникающие при применении законов Ньютона к твердому телу, могут быть собраны в винт, называемый винтом. гаечный ключ. У силы есть точка приложения и линия действия, поэтому она определяет Координаты Плюккера линии в пространстве и имеет нулевой шаг. С другой стороны, крутящий момент - это чистый момент, который не привязан к линии в пространстве и представляет собой винт с бесконечным шагом. Отношение этих двух величин определяет шаг винта.
Крутить
А крутить представляет скорость твердого тела как угловую скорость вокруг оси и линейную скорость вдоль этой оси. Все точки тела имеют одинаковую составляющую скорости вдоль оси, однако чем больше расстояние от оси, тем больше скорость в плоскости, перпендикулярной этой оси. Таким образом, геликоидальное поле, образованное векторами скорости в движущемся твердом теле, сглаживается по мере удаления точек радиально от оси закручивания.
Точки тела, совершающего постоянное движение винта, следуют по спирали в неподвижной рамке. Если это движение винта имеет нулевой шаг, тогда траектории следуют по кругу, и движение является чистым вращением. Если винтовой ход имеет бесконечный шаг, тогда все траектории являются прямыми линиями в одном направлении.
Алгебра винтов
Пусть винт быть упорядоченной парой
куда S и V являются трехмерными действительными векторами. Сумма и разность этих упорядоченных пар вычисляются покомпонентно. Винты часто называют двойные векторы.
Теперь введем упорядоченную пару действительных чисел â = (а, б) называется двойственный скаляр. Пусть сложение и вычитание этих чисел будет покомпонентным, а умножение определим как
Умножение винта S = (S, V) двойственным скаляром â = (а, б) вычисляется покомпонентно, чтобы быть,
Наконец, представим скалярное произведение винтов и скрещенное произведение по формулам:
который является двойственным скаляром, и
который винт. Точечные и перекрестные произведения винтов удовлетворяют тождествам векторной алгебры и позволяют вычислениям, которые напрямую параллельны вычислениям в алгебре векторов.
Пусть двойственный скаляр ẑ = (φ, d) определить двойной угол, то бесконечные серии определений синуса и косинуса дают соотношения
которые также являются двойственными скалярами. В общем, функция двойственной переменной определяется как ж(ẑ) = (ж(φ), df′(φ)), куда ж′(φ) - производная отж(φ).
Эти определения позволяют получить следующие результаты:
- Винты блока Координаты Плюккера линии и удовлетворяют соотношению
- Пусть ẑ = (φ, d) - дуальный угол, где φ угол между осями S и Т вокруг их обычной нормы, и d расстояние между этими осями по общей нормали, то
- Пусть N - единичный винт, определяющий общую нормаль к осям S и Т, и ẑ = (φ, d) - дуальный угол между этими осями, то
Гаечный ключ
Типичный пример винта - гаечный ключ связанный с силой, действующей на твердое тело. Позволять п быть точкой приложения силы F и разреши п - вектор, располагающий эту точку в фиксированной системе отсчета. Гаечный ключ W = (F, п×F) винт. Результирующая сила и момент, полученные от всех сил Fя, я = 1,...,п, действие на твердое тело - это просто сумма отдельных гаечных ключей Wя, то есть
Обратите внимание, что в случае двух равных, но противоположных сил F и -F действуя в точках А и B соответственно дает результирующую
Это показывает, что винты формы
можно интерпретировать как чистые моменты.
Крутить
Чтобы определить крутить твердого тела, мы должны рассматривать его движение, определяемое параметризованным набором пространственных перемещений, D (t) = ([A (t)],d(t)), где [A] - матрица вращения и d вектор перевода. Это вызывает точку п который фиксируется в координатах движущегося тела, чтобы проследить кривую п(t) в фиксированной системе отсчета, задаваемой формулой,
Скорость п является
куда v - скорость начала движущейся системы отсчета, то есть dd/ dt. Теперь замените п = [АТ](п − d) в это уравнение, чтобы получить
где [Ω] = [dА/ дт][АТ] - матрица угловой скорости, ω - вектор угловой скорости.
Винт
это крутить движущегося тела. Вектор V = v + d × ω - скорость точки в теле, которая соответствует началу неподвижной системы отсчета.
Есть два важных особых случая: (i) когда d постоянно, то есть v = 0, то скручивание - это чистое вращение вокруг прямой, тогда скрутка
и (ii) когда [Ω] = 0, то есть тело не вращается, а только скользит в направлении v, то поворот будет чистым скольжением, заданным
Революционные суставы
Для революционный сустав, пусть ось вращения проходит через точку q и быть направленным по вектору ω, то скручивание соединения определяется выражением
Призматические швы
Для призматический шарнир, пусть вектор v указывает направление скольжения, тогда поворот для соединения задается как,
Координатная трансформация винтов
Преобразования координат для винтов легко понять, если начать с преобразований координат вектора Плюккера линии, которые, в свою очередь, получаются из преобразований координат точек на линии.
Пусть перемещение тела определяется выражением D = ([А], d), куда [А] - матрица вращения и d вектор перевода. Рассмотрим линию тела, определяемую двумя точками п и q, который имеет Координаты Плюккера,
то в фиксированной системе координат мы имеем преобразованные координаты точки п = [А]п + d и Q = [А]q + d, которые уступают.
Таким образом, пространственное смещение определяет преобразование для координат Плюккера линий, заданных формулой
Матрица [D] - это кососимметричная матрица, выполняющая операцию перекрестного произведения, то есть [D]у = d × у.
Матрица 6 × 6, полученная из пространственного смещения D = ([А], d) можно собрать в двойственную матрицу
который действует на винт s = (s.v) чтобы получить,
Двойственная матрица [Â] = ([А], [DA]) имеет определитель 1 и называется дуальная ортогональная матрица.
Твисты как элементы алгебры Ли
Рассмотрим движение твердого тела, заданное параметризованным однородным преобразованием 4x4,
Это обозначение не различает п = (Икс, Y, Z, 1), и п = (Икс, Y, Z), что, надеюсь, понятно в контексте.
Скорость этого движения определяется путем вычисления скорости траекторий точек тела,
Точка обозначает производную по времени, а поскольку п постоянна, его производная равна нулю.
Подставим обратное преобразование вместо п в уравнение скорости, чтобы получить скорость п действуя по его траектории п(т), то есть
куда
Напомним, что [Ω] - матрица угловой скорости. Матрица [S] является элементом алгебры Ли se (3) группы Ли SE (3) однородных преобразований. Компоненты [S] являются составными частями винта, и по этой причине [S] также часто называют поворотом.
Из определения матрицы [S], можно сформулировать обыкновенное дифференциальное уравнение:
и попросите движение [Т(т)] с постоянной матрицей скручивания [S]. Решением является матричная экспонента
Эту формулировку можно обобщить так, чтобы при начальной конфигурации грамм(0) в SE (п), и поворот ξ в себе (п), однородное преобразование в новое положение и ориентацию можно вычислить по формуле
куда θ представляет параметры преобразования.
Винты отражением
В геометрия трансформации, элементарная концепция трансформации - это отражение (математика). При плоских преобразованиях перевод получается отражением в параллельных линиях, а поворот получается отражением в паре пересекающихся линий. Чтобы произвести преобразование винта из аналогичных концепций, необходимо использовать плоскости в Космос: параллельные плоскости должны быть перпендикулярны ось винта, которая представляет собой линию пересечения пересекающихся плоскостей, которые генерируют вращение винта. Таким образом, четыре отражения в плоскостях производят винтовое преобразование. Традиция инверсивная геометрия заимствует некоторые идеи проективная геометрия и предоставляет язык преобразования, который не зависит от аналитическая геометрия.
Гомография
Комбинация поступательного движения с вращением, вызванным смещением винта, может быть проиллюстрирована с помощью экспоненциальное отображение. Эта идея в геометрии преобразований была продвинута Софус Ли более века назад. Еще раньше Уильям Роуэн Гамильтон показал Versor форма единичных кватернионов как exp (а р) = cos а + р грех а. Идея тоже есть в Формула Эйлера параметризация единичный круг в комплексная плоскость.
С ε2 = 0 для двойные числа, ехр (как) = 1 + как, все остальные члены экспоненциального ряда исчезают.
Позволять F = {1 + εr : р ∈ ЧАС}, ε2 = 0. Обратите внимание, что F является стабильный под вращение q → п −1 qp и под переводом (1+ εr)(1 + εs) = 1 + ε (р + s) для любых векторных кватернионов р и s.F это 3-квартирный в восьмимерном пространстве двойные кватернионы. Эта 3-х квартира F представляет Космос, а омография построен, ограниченный к F, это винтовой смещение пространства.
Позволять а быть половиной угла желаемого поворота вокруг оси р, и br половина смещения на ось винта. Затем форма z = ехр ((а + bε)р ) и z * = exp ((а − bε)р). Теперь омография
Обратное для z* является
Итак, омография отправляет q к
Теперь для любого кватернионного вектора п, п* = −п, позволять q = 1 + pε ∈ F где осуществляется необходимое вращение и перемещение.
Уильям Кингдон Клиффорд инициировал использование двойных кватернионов для кинематика, с последующим Александр Котельников, Эдуард Этюд (Geometrie der Dynamen), и Вильгельм Блашке. Однако точка зрения Софуса Ли повторилась.[12]В 1940 г. Джулиан Кулидж описал использование двойных кватернионов для винтового смещения на стр. 261 История геометрических методов. Он отмечает вклад 1885 г. Артур Буххайм.[13] Кулидж основывал свое описание просто на инструментах, которые Гамильтон использовал для реальных кватернионов.
Очевидно группа единиц из звенеть двойных кватернионов является Группа Ли. Подгруппа имеет Алгебра Ли генерируется параметрами а р и б с, куда а, б ∈ р, и р, s ∈ ЧАС. Эти шесть параметров образуют подгруппу единиц, единичную сферу. Конечно, это включает F и 3-сфера из версоры.
Работа сил, действующих на твердое тело
Рассмотрим набор сил F1, F2 ... Fп действовать по пунктам Икс1, Икс2 ... Иксп в твердом теле. Траектории Икся, я = 1,...,п определяются движением твердого тела с вращением [А(т)] и перевод d(т) Опорной точки в организме, дается
куда Икся - координаты в движущемся теле.
Скорость каждой точки Икся является
куда ω - вектор угловой скорости и v является производной от d(т).
Работа сил над перемещением δря=vяδt каждой точки задается
Определите скорости каждой точки с точки зрения скручивания движущегося тела, чтобы получить
Разложите это уравнение и соберите коэффициенты при ω и v чтобы получить
Введите поворот движущегося тела и действующий на него гаечный ключ, заданный
тогда работа принимает форму
Матрица 6 × 6 [Π] используется для упрощения расчета работы с использованием винтов, так что
куда
и [I] - единичная матрица 3 × 3.
Ответные винты
Если виртуальная работа гаечного ключа при скручивании равна нулю, тогда силы и крутящий момент гаечного ключа являются силами ограничения относительно скручивания. Говорят, что гаечный ключ и поворот взаимный, это если
затем винты W и Т взаимны.
Повороты в робототехнике
При исследовании роботизированных систем компоненты скрутки часто меняют местами, чтобы исключить необходимость использования матрицы 6 × 6 [Π] при расчете работы.[4] В этом случае крутка определяется как
таким образом расчет работы принимает вид
В этом случае, если
затем гаечный ключ W обратный поворот Т.
Смотрите также
- Ось винта
- Уравнения Ньютона – Эйлера использует винты для описания движений и нагрузок твердого тела.
- Твист (математика)
- Твист (рациональная тригонометрия)
Рекомендации
- ^ Диментберг, Ф. М. (1965) Исчисление винта и его приложения в механике, Перевод отдела иностранных технологий FTD-HT-23-1632-67
- ^ Ян, А. (1974) "Исчисление винтов" в Основные вопросы теории дизайна, Уильям Р. Спиллерс (редактор), Elsevier, стр. 266–281.
- ^ а б Болл, Р. С. (1876). Теория винтов: исследование динамики твердого тела.. Ходжес, Фостер.
- ^ а б Маккарти, Дж. Майкл; Со, Гим Сонг (2010). Геометрический дизайн связей. Springer. ISBN 978-1-4419-7892-9.
- ^ Фезерстоун, Рой (1987). Алгоритмы динамики роботов. Kluwer Academic Pub. ISBN 978-0-89838-230-3.
- ^ Фезерстоун, Рой (2008). Алгоритмы динамики роботов. Springer. ISBN 978-0-387-74315-8.
- ^ Селиг, Дж. М. (2011) «Рациональная интерполяция движений твердого тела», достижения в теории управления, сигналов и систем с физическим моделированием, конспекты лекций в области управления и информационных наук, том 407/2011 213–224, Дои:10.1007/978-3-642-16135-3_18 Springer.
- ^ Конг, Сяньвэнь; Госселен, Клеман (2007). Синтез типов параллельных механизмов. Springer. ISBN 978-3-540-71990-8.
- ^ Феликс Кляйн (1902) (переводчик Д. Х. Дельфениха) О теории винтов сэра Роберта Болла
- ^ Харви Липкин (1983) Метрическая геометрия В архиве 2016-03-05 в Wayback Machine из Технологический университет Джорджии
- ^ Клиффорд, Уильям Кингдон (1873), «Предварительный набросок бикватернионов», Бумага XX, Математические статьи, п. 381.
- ^ Xiangke Wang, Dapeng Han, Changbin Yu и Zhiqiang Zheng (2012) «Геометрическая структура единичных двойных кватернионов с применением в кинематическом управлении», Журнал математического анализа и приложений 389 (2): 1352–64
- ^ Буххайм, Артур (1885). «Воспоминания о бикватернионах». Американский журнал математики. 7 (4): 293–326. Дои:10.2307/2369176. JSTOR 2369176.
внешняя ссылка
- Джо Руни Уильям Кингдон Клиффорд, Департамент дизайна и инноваций, Открытый университет, Лондон.
- Рави Банавар отмечает Робототехника, геометрия и управление