stringtranslate.com

Анализ размеров

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

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

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

Понятие физического измерения или количественного измерения , а также размерного анализа было введено Жозефом Фурье в 1822 году . [1] : 42 

Формулировка

Теорема Букингема π описывает, как каждое физически значимое уравнение, включающее n переменных, может быть эквивалентно переписано как уравнение nm безразмерных параметров, где m — ранг размерной матрицы . Более того, и это самое важное, она предоставляет метод вычисления этих безразмерных параметров из заданных переменных.

Размерное уравнение может иметь уменьшенные или устраненные размерности посредством безразмерности , которая начинается с размерного анализа и включает масштабирование величин по характерным единицам системы или физическим константам природы. [1] : 43  Это может дать представление о фундаментальных свойствах системы, как показано в примерах ниже.

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

Существует множество возможных вариантов базовых физических размеров. Стандарт SI выбирает следующие размеры и соответствующие символы размеров :

время (T), длина (L), масса (M), электрический ток (I), абсолютная температура (Θ), количество вещества (N) и сила света (J).

Символы по соглашению обычно пишутся шрифтом Roman sans serif . [2] Математически размерность величины Q определяется как

где a , b , c , d , e , f , g — размерные показатели. Другие физические величины могут быть определены как базовые величины, если они образуют базис — например, можно заменить размерность (I) электрического тока в системе СИ размерностью (Q) электрического заряда , поскольку Q = TI .

Величина, у которой только b ≠ 0 (со всеми остальными показателями степени, равными нулю), называется геометрической величиной . Величина, у которой только a ≠ 0 и b ≠ 0, называется кинематической величиной . Величина, у которой только все из a ≠ 0 , b ≠ 0 и c ≠ 0, называется динамической величиной . [3] Величина, у которой все показатели степени равны нулю, называется имеющей размерность один . [2]

Единица, выбранная для выражения физической величины, и ее размерность являются связанными, но не идентичными понятиями. Единицы физической величины определяются соглашением и связаны с некоторым стандартом; например, длина может иметь единицы измерения метры, футы, дюймы, мили или микрометры; но любая длина всегда имеет размерность L, независимо от того, какие единицы длины выбраны для ее выражения. Две разные единицы одной и той же физической величины имеют коэффициенты преобразования , которые связывают их. Например, 1 дюйм = 2,54 см ; в этом случае 2,54 см/дюйм является коэффициентом преобразования, который сам по себе безразмерен. Следовательно, умножение на этот коэффициент преобразования не изменяет размерности физической величины.

Есть также физики, которые подвергают сомнению само существование несовместимых фундаментальных измерений физической величины [4] , хотя это не отменяет полезности размерного анализа.

Простые случаи

В качестве примера, размерность физической величины скорости v равна

Размерность физической величины ускорения a равна

Размерность физической величины силы F равна

Размерность физической величины давления P равна

Размерность физической величины энергии E равна

Размерность физической величины мощности P равна

Размерность физической величины электрического заряда Q равна

Размерность физической величины напряжения V равна

Размерность физической величины емкости C равна

Метод Рэлея

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

Метод включает в себя следующие этапы:

  1. Соберите все независимые переменные , которые могут повлиять на зависимую переменную .
  2. Если R — переменная, зависящая от независимых переменных R 1 , R 2 , R 3 , ..., R n , то функциональное уравнение можно записать как R = F ( R 1 , R 2 , R 3 , ..., R n ) .
  3. Запишите приведенное выше уравнение в виде R = C R 1 a R 2 b R 3 c ... R n m , где Cбезразмерная константа , а a , b , c , ..., m — произвольные показатели степени.
  4. Выразите каждую из величин в уравнении в некоторых основных единицах , в которых требуется решение.
  5. Используя размерную однородность, получите систему одновременных уравнений, содержащих показатели степеней a , b , c , ..., m .
  6. Решите эти уравнения, чтобы получить значения показателей степеней a , b , c , ..., m .
  7. Подставьте значения показателей степеней в основное уравнение и сформируйте безразмерные параметры, сгруппировав переменные с одинаковыми показателями степеней.

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

Конкретные числа и базовые единицы

Многие параметры и измерения в физических науках и технике выражаются в виде конкретного числа — числовой величины и соответствующей размерной единицы. Часто величина выражается через несколько других величин; например, скорость — это комбинация длины и времени, например, 60 километров в час или 1,4 километра в секунду. Составные отношения с «per» выражаются делением , например, 60 км/ч. Другие отношения могут включать умножение (часто показываемое с помощью центральной точки или сопоставления ), степени (например, м 2 для квадратных метров) или их комбинации.

Набор базовых единиц для системы измерения — это условно выбранный набор единиц, ни одна из которых не может быть выражена как комбинация других и в терминах которых могут быть выражены все остальные единицы системы. [5] Например, единицы длины и времени обычно выбираются в качестве базовых единиц. Единицы объема , однако, могут быть разложены на базовые единицы длины (м 3 ), поэтому они считаются производными или составными единицами.

Иногда названия единиц скрывают тот факт, что они являются производными единицами. Например, ньютон (Н) — это единица силы , которая может быть выражена как произведение массы (с единицей кг) и ускорения (с единицей м⋅с −2 ). Ньютон определяется как 1 Н = 1 кг⋅м⋅с −2 .

Проценты, производные и интегралы

Проценты — безразмерные величины, поскольку они являются отношениями двух величин с одинаковыми размерами. Другими словами, знак % можно читать как «сотые», поскольку 1% = 1/100 .

Взятие производной по величине делит размерность на размерность переменной, по которой производится дифференциация. Таким образом:

Аналогично, взятие интеграла добавляет размерность переменной, по которой производится интегрирование, но в числителе.

В экономике различают запасы и потоки : запас имеет единицу измерения (например, предметы или доллары), в то время как поток является производной от запаса и имеет единицу измерения в форме этой единицы, деленной на единицу времени (например, доллары/год).

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

Размерная однородность (соизмеримость)

Самым основным правилом размерного анализа является правило размерной однородности. [6]

Только соизмеримые величины (физические величины, имеющие одинаковую размерность) можно сравнивать , приравнивать , складывать или вычитать .

Однако измерения образуют абелеву группу при умножении, поэтому:

Можно взять отношения несоизмеримых величин (величин с разными размерностями) и умножить или разделить их.

Например, бессмысленно спрашивать, больше ли 1 час, столько же или меньше 1 километра, так как у них разные измерения, или прибавлять 1 час к 1 километру. Однако имеет смысл спрашивать, больше ли 1 миля, столько же или меньше 1 километра, так как это одна и та же размерность физической величины, хотя единицы измерения разные. С другой стороны, если объект проходит 100 км за 2 часа, можно разделить их и заключить, что средняя скорость объекта была 50 км/ч.

Правило подразумевает, что в физически значимом выражении можно складывать, вычитать или сравнивать только величины одной и той же размерности. Например, если m man , m rat и L man обозначают соответственно массу какого-то человека, массу крысы и длину этого человека, то размерно однородное выражение m man + m rat имеет смысл, а неоднородное выражение m man + L man бессмысленно. Однако m man / L 2 man вполне подходит. Таким образом, размерный анализ можно использовать в качестве проверки здравомыслия физических уравнений: две стороны любого уравнения должны быть соизмеримы или иметь одинаковые размерности.

Даже когда две физические величины имеют одинаковые размерности, их сравнение или сложение может быть бессмысленным. Например, хотя крутящий момент и энергия имеют общую размерность T −2 L 2 M , они являются принципиально разными физическими величинами.

Чтобы сравнить, сложить или вычесть величины с одинаковыми размерами, но выраженные в разных единицах, стандартная процедура заключается в том, чтобы сначала преобразовать их все в одну единицу. Например, чтобы сравнить 32 метра с 35 ярдами, используйте 1 ярд = 0,9144 м , чтобы преобразовать 35 ярдов в 32,004 м.

Связанный принцип заключается в том, что любой физический закон, который точно описывает реальный мир, должен быть независим от единиц, используемых для измерения физических переменных. [7] Например, законы движения Ньютона должны быть верны независимо от того, измеряется ли расстояние в милях или километрах. Этот принцип приводит к форме, в которой коэффициент преобразования между двумя единицами, которые измеряют одно и то же измерение, должен умножаться на простую константу. Он также обеспечивает эквивалентность; например, если два здания имеют одинаковую высоту в футах, то они должны иметь одинаковую высоту в метрах.

Коэффициент пересчета

В размерном анализе отношение, которое преобразует одну единицу измерения в другую без изменения количества, называется коэффициентом преобразования . Например, кПа и бар являются единицами давления, а 100 кПа = 1 бар . Правила алгебры позволяют делить обе части уравнения на одно и то же выражение, поэтому это эквивалентно 100 кПа / 1 бар = 1. Поскольку любую величину можно умножить на 1, не изменяя ее, выражение « 100 кПа / 1 бар » можно использовать для преобразования из бар в кПа путем умножения ее на преобразуемое количество, включая единицу. Например, 5 бар × 100 кПа / 1 бар = 500 кПа , потому что 5 × 100 / 1 = 500 , а бар/бар сокращается, поэтому 5 бар = 500 кПа .

Приложения

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

Математика

Простое применение размерного анализа в математике заключается в вычислении формы объема n - мерного шара (сплошного шара в n измерениях) или площади его поверхности, n- мерной сферы : будучи n -мерной фигурой, объем масштабируется как x n , в то время как площадь поверхности, будучи ( n − 1) -мерной, масштабируется как x n −1 . Таким образом, объем n -мерного шара в терминах радиуса равен C n r n , для некоторой константы C n . Определение константы требует более сложной математики, но форму можно вывести и проверить только с помощью размерного анализа.

Финансы, экономика и бухгалтерский учет

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

Механика жидкости

В механике жидкости размерный анализ выполняется для получения безразмерных pi-терминов или групп. Согласно принципам размерного анализа, любой прототип может быть описан серией этих терминов или групп, которые описывают поведение системы. Используя подходящие pi-термины или группы, можно разработать аналогичный набор pi-терминов для модели, которая имеет те же размерные соотношения. [8] Другими словами, pi-термины обеспечивают кратчайший путь к разработке модели, представляющей определенный прототип. Обычные безразмерные группы в механике жидкости включают в себя:

История

Истоки размерного анализа оспариваются историками. [9] [10] Первое письменное применение размерного анализа приписывается Франсуа Давиету , ученику Жозефа-Луи Лагранжа , в статье 1799 года в Туринской академии наук. [10]

Это привело к выводу, что осмысленные законы должны быть однородными уравнениями в их различных единицах измерения, результат, который в конечном итоге был позже формализован в теореме Букингема π . Симеон Пуассон также рассматривал ту же проблему закона параллелограмма Давье в своем трактате 1811 и 1833 годов (т. I, стр. 39). [11] Во втором издании 1833 года Пуассон явно вводит термин размерность вместо однородности Давье .

В 1822 году выдающийся ученый-наполеоновец Жозеф Фурье внес первый признанный важный вклад [12], основанный на идее о том, что физические законы, такие как F = ma, должны быть независимы от единиц, используемых для измерения физических переменных.

Джеймс Клерк Максвелл сыграл важную роль в установлении современного использования размерного анализа, выделив массу, длину и время как основные единицы, а другие единицы — как производные. [13] Хотя Максвелл определил длину, время и массу как «три основные единицы», он также отметил, что гравитационную массу можно вывести из длины и времени, предположив форму закона всемирного тяготения Ньютона , в котором гравитационная постоянная G принимается за единицу , тем самым определяя M = T −2 L 3 . [14] Предположив форму закона Кулона , в котором постоянная Кулона k e принимается за единицу, Максвелл затем определил, что размеры электростатической единицы заряда были Q = T −1 L 3/2 M 1/2 , [15] что после подстановки его уравнения M = T −2 L 3 для массы приводит к заряду, имеющему те же размеры, что и масса, а именно Q = T −2 L 3 .

Анализ размерностей также используется для вывода соотношений между физическими величинами, которые участвуют в определенном явлении, которое кто-то хочет понять и охарактеризовать. Впервые он был использован таким образом в 1872 году лордом Рэлеем , который пытался понять, почему небо голубое. [16] Рэлей впервые опубликовал эту технику в своей книге 1877 года «Теория звука» . [17]

Первоначальное значение слова dimension в Theorie de la Chaleur Фурье было численным значением показателей основных единиц. Например, ускорение считалось имеющим размерность 1 по отношению к единице длины и размерность −2 по отношению к единице времени. [18] Это было немного изменено Максвеллом, который сказал, что размерности ускорения равны T −2 L, а не просто показатели. [19]

Примеры

Простой пример: период гармонического осциллятора.

Каков период колебаний T массы m, прикрепленной к идеальной линейной пружине с жесткостью пружины k, подвешенной под действием силы тяжести g ? Этот период является решением для T некоторого безразмерного уравнения относительно переменных T , m , k и g . Четыре величины имеют следующие размерности: T [T]; m [M]; k [M/T 2 ]; и g [L/T 2 ]. Из них мы можем образовать только одно безразмерное произведение степеней наших выбранных переменных, G 1 = T 2 k / m [T 2 · M/T 2 / M = 1] , и подстановка G 1 = C для некоторой безразмерной константы C дает искомое безразмерное уравнение. Безразмерное произведение степеней переменных иногда называют безразмерной группой переменных; здесь термин «группа» означает «коллекция», а не математическая группа . Их также часто называют безразмерными числами .

Переменная g не встречается в группе. Легко видеть, что невозможно образовать безразмерное произведение степеней, объединяющее g с k , m и T , поскольку g — единственная величина, включающая размерность L. Это подразумевает, что в этой задаче g не имеет значения. Анализ размерностей иногда может давать сильные утверждения о несущественности некоторых величин в задаче или о необходимости дополнительных параметров. Если мы выбрали достаточно переменных для надлежащего описания задачи, то из этого аргумента мы можем сделать вывод, что период массы на пружине не зависит от g : он одинаков на Земле и Луне. Уравнение, демонстрирующее существование произведения степеней для нашей задачи, можно записать совершенно эквивалентным образом: ⁠ ⁠ , для некоторой безразмерной константы κ (равной из исходного безразмерного уравнения).

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

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

Более сложный пример: энергия вибрирующей проволоки.

Рассмотрим случай вибрирующей проволоки длиной (L), колеблющейся с амплитудой A (L). Проволока имеет линейную плотность ρ (M/L) и находится под натяжением s (LM/T 2 ), и мы хотим узнать энергию E (L 2 M/T 2 ) в проволоке. Пусть π 1 и π 2 будут двумя безразмерными произведениями степеней выбранных переменных, заданными как

Линейная плотность провода не участвует. Две найденные группы могут быть объединены в эквивалентную форму в виде уравнения

где F — некоторая неизвестная функция, или, что эквивалентно,

где f — некоторая другая неизвестная функция. Здесь неизвестная функция подразумевает, что наше решение теперь неполное, но размерный анализ дал нам нечто, что могло быть неочевидным: энергия пропорциональна первой степени натяжения. За исключением дальнейшего аналитического анализа, мы могли бы перейти к экспериментам, чтобы обнаружить форму неизвестной функции  f . Но наши эксперименты проще, чем при отсутствии размерного анализа. Мы бы не проводили ничего, чтобы проверить, что энергия пропорциональна натяжению. Или, возможно, мы могли бы предположить, что энергия пропорциональна  , и таким образом сделать вывод, что E = ℓs . Сила размерного анализа как вспомогательного средства для эксперимента и формирования гипотез становится очевидной.

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

Третий пример: спрос и мощность вращающегося диска

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

Рассмотрим случай тонкого, сплошного, вращающегося диска с параллельными сторонами, осевой толщиной t (L) и радиусом R (L). Диск имеет плотность ρ (M/L 3 ), вращается с угловой скоростью ω (T −1 ), и это приводит к напряжению S (T −2 L −1 M) в материале. Существует теоретическое линейно-упругое решение, данное Ламе, для этой проблемы, когда диск тонкий относительно своего радиуса, грани диска могут свободно перемещаться в осевом направлении, и можно предположить, что соотношения, определяющие плоское напряжение, действительны. По мере того, как диск становится толще относительно радиуса, решение для плоского напряжения нарушается. Если диск ограничен в осевом направлении на своих свободных гранях, то возникнет состояние плоской деформации. Однако, если это не так, то состояние напряжения может быть определено только с учетом трехмерной упругости, и для этого случая нет известного теоретического решения. Поэтому инженеру может быть интересно установить связь между пятью переменными. Анализ размерностей для этого случая приводит к следующим ( 5 − 3 = 2 ) безразмерным группам:

спрос/мощность = ρR 2 ω 2 / S
толщина/радиус или соотношение сторон = t / R

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

Характеристики

Математические свойства

Измерения, которые могут быть сформированы из заданного набора основных физических измерений, таких как T, L и M, образуют абелеву группу : тождество записывается как 1; [ требуется ссылка ] L 0 = 1 , а обратное к L равно 1/L или L −1 . L, возведенное в любую целую степень p, является членом группы, имеющим обратное к L p или 1/L p . Операция группы — умножение, имеющее обычные правила обработки показателей ( L n × L m = L n + m ). Физически 1/L можно интерпретировать как обратную длину , а 1/T — как обратное время (см. обратная секунда ).

Абелева группа эквивалентна модулю над целыми числами, с размерным символом T i L j M k, соответствующим кортежу ( i , j , k ) . Когда физические измеряемые величины (будь то одинаковой или разной размерности) умножаются или делятся друг на друга, их размерные единицы также умножаются или делятся; это соответствует сложению или вычитанию в модуле. Когда измеримые величины возводятся в целую степень, то же самое делается с размерными символами, прикрепленными к этим величинам; это соответствует скалярному умножению в модуле.

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

Групповая идентичность, размерность безразмерных величин, соответствует началу координат в этом модуле, (0, 0, 0) .

В некоторых случаях можно определить дробные измерения, в частности, формально определив дробные степени одномерных векторных пространств, таких как V L 1/2 . [21] Однако невозможно взять произвольные дробные степени единиц из-за препятствий теории представлений . [22]

Можно работать с векторными пространствами с заданными размерностями без необходимости использования единиц (соответствующих системам координат векторных пространств). Например, при заданных размерностях M и L , можно иметь векторные пространства V M и V L , и можно определить V ML  := V MV L как тензорное произведение . Аналогично, дуальное пространство можно интерпретировать как имеющее «отрицательные» размерности. [23] Это соответствует тому факту, что при естественном сопряжении векторного пространства и его дуального размерности сокращаются, оставляя безразмерный скаляр.

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

Следовательно, каждое возможное соизмеримое уравнение для физики системы можно переписать в виде

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

Механика

Размерность физических величин, представляющих интерес в механике, может быть выражена в терминах базовых измерений T, L и M – они образуют трехмерное векторное пространство. Это не единственный допустимый выбор базовых измерений, но он является наиболее часто используемым. Например, можно выбрать силу, длину и массу в качестве базовых измерений (как некоторые и делали) с соответствующими измерениями F, L, M; это соответствует другому базису, и можно преобразовывать между этими представлениями путем изменения базиса . Выбор базового набора измерений, таким образом, является соглашением с преимуществом повышенной полезности и узнаваемости. Выбор базовых измерений не является полностью произвольным, поскольку они должны образовывать базис : они должны охватывать пространство и быть линейно независимыми .

Например, F, L, M образуют набор фундаментальных измерений, поскольку они образуют базис, эквивалентный T, L, M: первое можно выразить как [F = LM/T 2 ], L, M, тогда как последнее можно выразить как [T = (LM/F) 1/2 ], L, M.

С другой стороны, длина, скорость и время (T, L, V) не образуют набор базовых измерений для механики по двум причинам:

Другие области физики и химии

В зависимости от области физики может быть выгодно выбрать тот или иной расширенный набор размерных символов. Например, в электромагнетизме может быть полезно использовать размерности T, L, M и Q, где Q представляет размерность электрического заряда . В термодинамике базовый набор размерностей часто расширяется, чтобы включить размерность для температуры, Θ. В химии количество вещества (число молекул, деленное на постоянную Авогадро , ≈6,02 × 10 23  моль −1 ) также определяется как базовая размерность, N. При взаимодействии релятивистской плазмы с сильными лазерными импульсами безразмерный релятивистский параметр подобия , связанный со свойствами симметрии бесстолкновительного уравнения Власова , строится из плазменных, электронных и критических плотностей в дополнение к электромагнитному векторному потенциалу. Выбор размерностей или даже числа размерностей, которые будут использоваться в различных областях физики, в некоторой степени произволен, но последовательность в использовании и простота коммуникаций являются общими и необходимыми характеристиками.

Многочлены и трансцендентные функции

Теорема Бриджмена ограничивает тип функции, которая может быть использована для определения физической величины из общих (размерно-составных) величин только произведениями степеней величин, если только некоторые из независимых величин не объединены алгебраически для получения безразмерных групп, функции которых группируются вместе в безразмерном числовом множителе. [24] [25] Это исключает полиномы с более чем одним членом или трансцендентные функции не этой формы.

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

В то время как большинство математических тождеств о безразмерных числах переводятся простым образом в размерные величины, следует проявлять осторожность с логарифмами отношений: тождество log( a / b ) = log  a − log  b , где логарифм берется по любому основанию, справедливо для безразмерных чисел a и b , но оно не справедливо, если a и b являются размерными, потому что в этом случае левая часть хорошо определена, а правая — нет. [26]

Аналогично, хотя можно вычислить одночлены ( x n ) размерных величин, нельзя вычислить многочлены смешанной степени с безразмерными коэффициентами от размерных величин: для x 2 выражение (3 м) 2 = 9 м 2 имеет смысл (как площадь), тогда как для x 2 + x выражение (3 м) 2 + 3 м = 9 м 2 + 3 м не имеет смысла.

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

Это высота, на которую поднимается объект за время  t , если ускорение свободного падения составляет 9,8 метров в секунду за секунду , а начальная скорость подъема составляет 500 метров в секунду . Не обязательно, чтобы t было в секундах . Например, предположим, что t  = 0,01 минуты. Тогда первый член будет

Объединение единиц и числовых значений

Значение размерной физической величины Z записывается как произведение единицы [ Z ] в пределах размерности и безразмерного числового значения или числового множителя n . [27]

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

идентичен

Коэффициент 0,3048 м/фут идентичен безразмерной 1, поэтому умножение на этот коэффициент преобразования ничего не меняет. Затем при сложении двух величин одинаковой размерности, но выраженных в разных единицах, соответствующий коэффициент преобразования, который по сути является безразмерной 1, используется для преобразования величин в одну и ту же единицу, так что их числовые значения можно складывать или вычитать.

Только в этом случае имеет смысл говорить о сложении одинаково размерных величин разных единиц.

Количественные уравнения

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

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

Например, количественное уравнение для смещения d как скорости s, умноженной на разницу во времени t, будет иметь вид:

д = с т

для s = 5 м/с, где t и d могут быть выражены в любых единицах, преобразованных при необходимости. Напротив, соответствующее численное уравнение будет иметь вид:

Д = 5 Т

где T — числовое значение t , выраженное в секундах, а D — числовое значение d , выраженное в метрах.

Как правило, использование числовых уравнений не рекомендуется. [28]

Безразмерные концепции

Константы

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

Формализмы

Парадоксально, но размерный анализ может быть полезным инструментом, даже если все параметры в базовой теории безразмерны, например, решеточные модели, такие как модель Изинга, могут использоваться для изучения фазовых переходов и критических явлений. Такие модели могут быть сформулированы чисто безразмерным образом. По мере того, как мы приближаемся к критической точке все ближе и ближе, расстояние, на котором коррелируют переменные в решеточной модели (так называемая длина корреляции, χ ), становится все больше и больше. Теперь, длина корреляции является соответствующим масштабом длины, связанным с критическими явлениями, поэтому можно, например, предположить на «размерных основаниях», что неаналитическая часть свободной энергии на узел решетки должна быть ~ 1/ χ d , где d — размерность решетки.

Некоторые физики, например , Майкл Дж. Дафф [4] [29], утверждали , что законы физики по своей сути безразмерны. Тот факт, что мы приписали несовместимые измерения Длине, Времени и Массе, является, согласно этой точке зрения, просто вопросом соглашения, вытекающим из того факта, что до появления современной физики не было способа связать массу, длину и время друг с другом. Три независимые размерные константы: c , ħ и G в фундаментальных уравнениях физики должны тогда рассматриваться как простые коэффициенты преобразования для преобразования Массы, Времени и Длины друг в друга.

Так же, как и в случае критических свойств решетчатых моделей, можно восстановить результаты размерного анализа в соответствующем пределе масштабирования; например, размерный анализ в механике можно вывести, повторно вставив константы ħ , c и G (но теперь мы можем считать их безразмерными) и потребовав, чтобы несингулярное соотношение между величинами существовало в пределе c → ∞ , ħ → 0 и G → 0. В задачах, связанных с гравитационным полем, последний предел следует брать таким образом, чтобы поле оставалось конечным.

Эквивалентность размеров

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

Единицы СИ

Языки программирования

Размерная корректность как часть проверки типов изучается с 1977 года. [33] Реализации для Ada [34] и C++ [35] были описаны в 1985 и 1988 годах. Диссертация Кеннеди 1996 года описывает реализацию в Standard ML , [36] а затем в F# . [37] Существуют реализации для Haskell , [38] OCaml , [39] и Rust , [40] Python, [41] и средство проверки кода для Fortran . [42] [43]
Диссертация Гриффиоена 2019 года расширила систему типов Хиндли–Милнера Кеннеди для поддержки матриц Харта. [44] [45] Макбрайд и Нордвалл-Форсберг показывают, как использовать зависимые типы для расширения систем типов для единиц измерения. [46]

Mathematica 13.2 имеет функцию для преобразований с величинами, называемую NondimensionalizationTransform, которая применяет преобразование безразмерности к уравнению. [47] Mathematica также имеет функцию для поиска размерностей единицы, такой как 1 Дж, называемую UnitDimensions. [48] Mathematica также имеет функцию, которая найдет размерно эквивалентные комбинации подмножества физических величин, называемую DimensionalCombations. [49] Mathematica также может выносить на фактор-фактор определенную размерность с помощью UnitDimensions, указав аргумент функции UnityDimensions. [50] Например, вы можете использовать UnityDimensions для вынесения на фактор-фактор углов. [50] В дополнение к UnitDimensions, Mathematica может находить размерности QuantityVariable с помощью функции QuantityVariableDimensions. [51]

Геометрия: положение против смещения

Аффинные величины

Некоторые обсуждения размерного анализа неявно описывают все величины как математические векторы. В математике скаляры считаются особым случаем векторов; [ требуется ссылка ] векторы могут быть добавлены или вычтены из других векторов, и, в частности, умножены или разделены на скаляры. Если вектор используется для определения положения, это предполагает неявную точку отсчета: начало координат . Хотя это полезно и часто совершенно адекватно, позволяя обнаружить много важных ошибок, это может не моделировать определенные аспекты физики. Более строгий подход требует различения положения и смещения (или момента времени против продолжительности, или абсолютной температуры против изменения температуры).

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

Это иллюстрирует тонкое различие между аффинными величинами (моделируемыми аффинным пространством , такими как положение) и векторными величинами (моделируемыми векторным пространством , такими как смещение).

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

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

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

−273,15 °C ≘ 0 K = 0 °R ≘ −459,67 °F,

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

Для разницы температур,

1 К = 1 °С ≠ 1 °F = 1 °R.

(Здесь °R относится к шкале Ранкина , а не к шкале Реомюра ). Преобразование единиц для разности температур — это просто вопрос умножения, например, на 1 °F / 1 K (хотя отношение не является постоянной величиной). Но поскольку некоторые из этих шкал имеют происхождение, которое не соответствует абсолютному нулю, преобразование из одной температурной шкалы в другую требует учета этого. В результате простой размерный анализ может привести к ошибкам, если неясно, означает ли 1 K абсолютную температуру, равную −272,15 °C, или разницу температур, равную 1 °C.

Ориентация и система отсчета

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

Это приводит к расширениям, обсуждаемым ниже, а именно направленным измерениям Хантли и ориентационному анализу Сиано.

Расширения Хантли

Хантли указал, что размерный анализ может стать более эффективным, если обнаружить новые независимые измерения в рассматриваемых величинах, тем самым увеличив ранг размерной матрицы. [52]

Он представил два подхода:

Направленные размеры

В качестве примера полезности первого подхода предположим, что мы хотим вычислить расстояние , которое пролетает пушечное ядро ​​при выстреле с вертикальной составляющей скорости и горизонтальной составляющей скорости , предполагая, что оно выстреливается по плоской поверхности. Предполагая, что не используются направленные длины, интересующими величинами являются R , пройденное расстояние, с размерностью L, , , обе размерности которых равны T −1 L, и g нисходящее ускорение силы тяжести с размерностью T −2 L.

С этими четырьмя величинами мы можем заключить, что уравнение для диапазона R можно записать:

Или размерно

из чего мы можем вывести, что и , что оставляет один показатель неопределенным. Этого следовало ожидать, поскольку у нас есть два фундаментальных измерения T и L и четыре параметра с одним уравнением.

Однако, если мы используем направленные размеры длины, то будет иметь размеры как T −1 L x , как T −1 L y , R как L x и g как T −2 L y . Уравнение размеров становится:

и мы можем решить полностью как a = 1 , b = 1 и c = −1 . Увеличение дедуктивной мощности, полученное за счет использования направленных измерений длины, очевидно.

Однако концепция направленных длинных измерений Хантли имеет некоторые серьезные ограничения:

Также часто бывает довольно сложно присвоить символы L, L x , L y , L z физическим переменным, вовлеченным в интересующую проблему. Он использует процедуру, которая включает «симметрию» физической проблемы. Часто ее очень трудно применить надежно: неясно, к каким частям проблемы применяется понятие «симметрии». Является ли это симметрией физического тела, на которое действуют силы, или к точкам, линиям или областям, к которым прилагаются силы? Что, если задействовано более одного тела с разными симметриями?

Рассмотрим сферический пузырек, прикрепленный к цилиндрической трубке, где требуется скорость потока воздуха как функция разницы давления в двух частях. Каковы расширенные размеры Хантли вязкости воздуха, содержащегося в соединенных частях? Каковы расширенные размеры давления двух частей? Они одинаковы или различны? Эти трудности ответственны за ограниченное применение направленных длинных измерений Хантли к реальным задачам.

Количество материи

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

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

Существует три фундаментальные переменные, поэтому приведенные выше пять уравнений дадут две независимые безразмерные переменные:

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

где теперь только C является неопределенной константой (найденной равной методами вне размерного анализа). Это уравнение может быть решено для массового расхода, чтобы получить закон Пуазейля .

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

Расширение Сиано: ориентационный анализ

Углы , по соглашению, считаются безразмерными величинами (хотя целесообразность этого оспаривается [53] ). В качестве примера снова рассмотрим задачу о снаряде, в которой точечная масса запускается из начала координат ( x , y ) = (0, 0) со скоростью v и углом θ над осью x , с силой тяжести, направленной вдоль отрицательной оси y . Требуется найти диапазон R , в котором масса возвращается к оси x . Обычный анализ даст безразмерную переменную π = R g / v 2 , но не дает никакого представления о связи между R и θ .

Сиано предложил заменить направленные измерения Хантли, используя ориентационные символы 1 x  1 y  1 z для обозначения векторных направлений и символ без ориентации 1 0 . [54] Таким образом, L x Хантли становится L1 x, где L определяет размерность длины, а 1 x определяет ориентацию. Сиано далее показывает, что ориентационные символы имеют собственную алгебру. Наряду с требованием, чтобы 1 i −1 = 1 i , получается следующая таблица умножения для ориентационных символов:

Ориентационные символы образуют группу ( четверную группу Клейна или "Viergruppe"). В этой системе скаляры всегда имеют ту же ориентацию, что и единичный элемент, независимо от "симметрии задачи". Физические величины, которые являются векторами, имеют ожидаемую ориентацию: сила или скорость в направлении z имеют ориентацию 1 z . Для углов рассмотрим угол θ , который лежит в плоскости z. Образуем прямоугольный треугольник в плоскости z, где θ является одним из острых углов. Сторона прямоугольного треугольника, смежная с углом, тогда имеет ориентацию 1 x , а сторона, противолежащая ему, имеет ориентацию 1 y . Поскольку (используя ~ для указания ориентационной эквивалентности) tan( θ ) = θ  + ... ~ 1 y /1 x, мы заключаем, что угол в плоскости xy должен иметь ориентацию 1 y /1 x = 1 z , что не лишено смысла. Аналогичные рассуждения приводят к выводу, что sin( θ ) имеет ориентацию 1 z , тогда как cos( θ ) имеет ориентацию 1 0 . Они различны, поэтому можно сделать (верный) вывод, например, что не существует решений физических уравнений, которые имеют вид a cos( θ ) + b sin( θ ) , где a и b — действительные скаляры. Такое выражение не является размерно противоречивым, поскольку является частным случаем формулы суммы углов и должно быть правильно записано:

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

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

Например, для задачи о снаряде, использующей ориентационные символы, θ , находясь в плоскости xy, будет иметь размерность 1 z , а дальность полета снаряда R будет иметь вид:

Размерная однородность теперь правильно даст a = −1 и b = 2 , а ориентационная однородность требует, чтобы ⁠ ⁠ . Другими словами, c должно быть нечетным целым числом. Фактически, требуемая функция тета будет sin( θ )cos( θ ) , которая является рядом, состоящим из нечетных степеней θ .

Видно, что ряды Тейлора sin( θ ) и cos( θ ) являются ориентационно однородными, если использовать приведенную выше таблицу умножения, в то время как выражения типа cos( θ ) + sin( θ ) и exp( θ ) таковыми не являются и (правильно) считаются нефизическими.

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

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

Смежные области математики

Примечания

  1. ^ ab Bolster, Diogo; Hershberger, Robert E.; Donnelly, Russell E. (сентябрь 2011 г.). «Динамическое подобие, безразмерная наука» . Physics Today . 64 (9): 42–47. doi :10.1063/PT.3.1258.
  2. ^ ab BIPM (2019). "2.3.3 Размерности величин". Брошюра SI: Международная система единиц (СИ) (PDF) (на английском и французском языках) (т. 1.08, 9-е изд.). С. 136–137. ISBN 978-92-822-2272-0. Получено 1 сентября 2021 г. .
  3. ^ Ялин, М. Селим (1971). «Принципы теории размерностей». Теория гидравлических моделей . стр. 1–34. doi :10.1007/978-1-349-00245-0_1. ISBN 978-1-349-00247-4.
  4. ^ Аб Дафф, MJ; Окунь, Л.Б.; Венециано, Г. (сентябрь 2002 г.), «Триалог о числе фундаментальных констант», Журнал физики высоких энергий , 2002 (3): 023, arXiv : Physics/0110060 , Bibcode : 2002JHEP...03..023D, doi :10.1088/1126-6708/2002/03/023, S2CID  15806354
  5. ^ JCGM (2012), JCGM 200:2012 – Международный словарь метрологии – Основные и общие понятия и связанные с ними термины (VIM) (PDF) (3-е изд.), архивировано из оригинала (PDF) 23 сентября 2015 г. , извлечено 2 июня 2015 г.
  6. ^ Cimbala, John; Çengel, Yunus (2006). "§7-2 Размерная однородность". Essential of Fluid Mechanics: Fundamentals and Applications . McGraw-Hill. стр. 203–. ISBN 9780073138350.
  7. ^ Де Йонг, Фриц Дж.; Куэйд, Вильгельм (1967). Анализ размерностей для экономистов . Северная Голландия. стр. 28.
  8. ^ Уэйт, Ли; Файн, Джерри (2007). Прикладная механика биожидкостей . Нью-Йорк: McGraw-Hill. стр. 260. ISBN 978-0-07-147217-3.
  9. ^ Маканьо, Энцо О. (1971). «Историко-критический обзор размерного анализа». Журнал Института Франклина . 292 (6): 391–340. doi :10.1016/0016-0032(71)90160-8.
  10. ^ ab Martins, Roberto De A. (1981). «Происхождение размерного анализа». Журнал Института Франклина . 311 (5): 331–337. doi :10.1016/0016-0032(81)90475-0.
  11. Мартинс, стр. 403 в сборнике трудов, содержащем его статью.
  12. ^ Мейсон, Стивен Финни (1962), История наук , Нью-Йорк: Collier Books, стр. 169, ISBN 978-0-02-093400-4
  13. ^ Рош, Джон Дж. (1998), Математика измерений: критическая история, Springer, стр. 203, ISBN 978-0-387-91581-4Начиная , по-видимому, с Максвелла, масса, длина и время стали интерпретироваться как имеющие привилегированный фундаментальный характер, а все другие величины — как производные, не только по отношению к измерению, но и по отношению к их физическому статусу.
  14. ^ Максвелл, Джеймс Клерк (1873), Трактат об электричестве и магнетизме , стр. 4
  15. ^ Максвелл, Джеймс Клерк (1873), Трактат об электричестве и магнетизме , серия Clarendon Press, Оксфорд, стр. 45, hdl : 2027/uc1.l0065867749
  16. ^ (Песич 2005)
  17. Рэлей, барон Джон Уильям Страт (1877), Теория звука, Macmillan
  18. Фурье (1822), стр. 156.
  19. Максвелл, Джеймс Клерк (1873), Трактат об электричестве и магнетизме, том 1, стр. 5
  20. ^ Рэмси, Ангус. «Анализ размеров и численные эксперименты для вращающегося диска». Ramsay Maunder Associates . Получено 15 апреля 2017 г.
  21. ^ Тао 2012, «Приложив немного дополнительных усилий (и полностью используя одномерность векторных пространств), можно также определить пространства с дробными показателями степени...».
  22. ^ Тао 2012, «Однако при работе с векторными величинами в двух и более измерениях существуют теоретические препятствия для взятия произвольных дробных степеней единиц ...».
  23. ^ Тао 2012 «Аналогично можно определить V T −1 как двойственное пространство к V T ...»
  24. ^ Бриджмен 1922, 2. Размерные формулы, стр. 17–27.
  25. ^ Берберан-Сантос, Марио Н.; Польяни, Лионелло (1999). «Два альтернативных вывода теоремы Бриджмена» (PDF) . Журнал математической химии . 26 : 255–261, см. §5 Общие результаты, с. 259. дои :10.1023/А:1019102415633. S2CID  14833238.
  26. ^ Берберан-Сантос и Польяни 1999, с. 256
  27. ^ Для обзора различных используемых соглашений см.: Pisanty, E (17 сентября 2013 г.). "Обозначение квадратных скобок для измерений и единиц: использование и соглашения". Physics Stack Exchange . Получено 15 июля 2014 г.
  28. ^ ab Thompson, Ambler (ноябрь 2009 г.). Руководство по использованию Международной системы единиц (СИ): Метрическая система (PDF) . DIANE Publishing. ISBN 9781437915594.
  29. ^ Дафф, Майкл Джеймс (июль 2004 г.). «Комментарий к изменению во времени фундаментальных констант». arXiv : hep-th/0208093v3 .
  30. ^ Воан, Г. (2010), Кембриджский справочник по физическим формулам , Cambridge University Press, ISBN 978-0-521-57507-2
  31. ^ Моска, Джин; Типлер, Пол Аллен (2007), Физика для ученых и инженеров – с современной физикой (6-е изд.), Сан-Франциско: WH Freeman, ISBN 978-0-7167-8964-2
  32. ^ Мартин, BR; Шоу, G.; Manchester Physics (2008), Particle Physics (2-е изд.), Wiley, ISBN 978-0-470-03294-7
  33. ^ Gehani, N. (1977). «Единицы измерения как атрибут данных». Comput. Lang . 2 (3): 93–111. doi :10.1016/0096-0551(77)90010-8.
  34. ^ Gehani, N. (июнь 1985). «Производные типы и единицы измерения Ады». Software: Practice and Experience . 15 (6): 555–569. doi :10.1002/spe.4380150604. S2CID  40558757.
  35. ^ Cmelik, RF; Gehani, NH (май 1988). «Размерный анализ с C++». IEEE Software . 5 (3): 21–27. doi :10.1109/52.2021. S2CID  22450087.
  36. ^ Кеннеди, Эндрю Дж. (апрель 1996 г.). Языки программирования и измерения (Phd). Том 391. Кембриджский университет. ISSN  1476-2986. UCAM-CL-TR-391.
  37. ^ Кеннеди, А. (2010). «Типы единиц измерения: теория и практика». В Хорвате, З.; Пласмейере, Р.; Жоке, В. (ред.). Центральноевропейская школа функционального программирования. CEFP 2009. Конспект лекций по информатике. Том 6299. Springer. С. 268–305. CiteSeerX 10.1.1.174.6901 . doi :10.1007/978-3-642-17685-2_8. ISBN  978-3-642-17684-5.
  38. ^ Гандри, Адам (декабрь 2015 г.). «Плагин проверки типов для единиц измерения: решение проблем ограничений, связанных с доменом, в GHC Haskell» (PDF) . Уведомления SIGPLAN . 50 (12): 11–22. doi :10.1145/2887747.2804305. Архивировано (PDF) из оригинала 10 августа 2017 г.
  39. ^ Гарриг, Дж.; Ли, Д. (2017). «Des unités dans le typeur» (PDF) . 28ièmes Journées Francophones des Langaeges Applicatifs, январь 2017 г., Гуретт, Франция (на французском языке). hal-01503084. Архивировано (PDF) из оригинала 10 ноября 2020 г.
  40. ^ Теллер, Дэвид (январь 2020 г.). «Единицы измерения в Rust с типами уточнения».
  41. ^ Греко, Эрнан Э. (2022). «Пинта: упрощает единицы измерения».
  42. ^ «CamFort: Определение, проверка и рефакторинг кода Fortran». Кембриджский университет; Кентский университет. 2018.
  43. ^ Бенних-Бьёркман, О.; Маккивер, С. (2018). «Следующие 700 единиц измерения контролеров». Труды 11-й Международной конференции ACM SIGPLAN по программной языковой инженерии . С. 121–132. doi :10.1145/3276604.3276613. ISBN 978-1-4503-6029-6. S2CID  53089559.
  44. ^ Харт 1995
  45. ^ Гриффиоен, П. (2019). Матричный язык с поддержкой единиц измерения и его применение в контроле и аудите (PDF) (Диссертация). Амстердамский университет. hdl :11245.1/fd7be191-700f-4468-a329-4c8ecd9007ba. Архивировано (PDF) из оригинала 21 февраля 2020 г.
  46. ^ Макбрайд, Конор ; Нордвалл-Форсберг, Фредрик (2022). «Системы типов для программ, учитывающих измерения» (PDF) . Advanced Mathematical and Computational Tools in Metrology and Testing XII . Advances in Mathematics for Applied Sciences. World Scientific. стр. 331–345. doi :10.1142/9789811242380_0020. ISBN 9789811242380. S2CID  243831207. Архивировано (PDF) из оригинала 17 мая 2022 г.
  47. ^ "NondimensionalizationTransform—Wolfram Language Documentation". reference.wolfram.com . Получено 19 апреля 2023 г. .
  48. ^ "UnitDimensions—Wolfram Language Documentation". reference.wolfram.com . Получено 19 апреля 2023 г. .
  49. ^ "DimensionalCombinations—Wolfram Language Documentation". reference.wolfram.com . Получено 19 апреля 2023 г. .
  50. ^ ab "UnityDimensions—Wolfram Language Documentation". reference.wolfram.com . Получено 19 апреля 2023 г. .
  51. ^ "QuantityVariableDimensions—Wolfram Language Documentation". reference.wolfram.com . Получено 19 апреля 2023 г. .
  52. ^ (Хантли 1967)
  53. ^ Куинси, Пол (2021). «Углы в СИ: подробное предложение по решению проблемы». Metrologia . 58 (5): 053002. arXiv : 2108.05704 . doi :10.1088/1681-7575/ac023f.
  54. ^ Сиано (1985-I, 1985-II)

Ссылки

Дальнейшее чтение

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