単位 自動単位変換

単位変換では、物理単位をValiに接続することができます。このValiを使用した各計算では、必要な変換がバックエンドで自動的に実行されます。このバックボーンとしてPintライブラリが使用される。

以下の例では、50 kg が自動的に 110.23 ポンド（lbs）に変換されています。 Formula and unitフィールドには 50kgしかし Display unitは lbs.

また、接頭辞や接尾辞も自動的に適用される。 Display unitを kgを gに変換するときのように。

さらに、式 $vali3 = $vali1 + $vali2と $vali1 = 10 meterと vali2 = 100 cm.を使用することもできる。 Display unitを yd(ヤード）に設定すると、この結果が自動的に計算され変換される： 12.030 yd.vali3に Display unitを指定しなかった場合、自動的に単位が計算されます（この場合、メートルかセンチメートルです）。

ヴァリと数式での単位の扱い

バリの作成

新しいヴァリ（数値または数式）を作成する際には、2つの重要なプロパティ・フィールドがあります：

• Formula and unit必須

  • 数値（例：50kg）の場合、このフィールドには値と単位を入れる必要があります。

  • 計算式の場合 ($wheel1.mass+$wheel2.massなど)、計算結果の単位。

• Display unit(オプション - 空の場合、表示単位は Formula and unitフィールドの単位に基づく)。

以下の表は、様々な作成オプションによるヴァリ作成の期待される動作の要約である。

単位の変更

表示単位フィールド

表示単位フィールド Display unitフィールドの表示単位が、使用されている（または計算式によって計算された）単位からの有効な変換と一致する限り、フィールドを変更することは常に可能です。 Formula and unitフィールドからの有効な変換単位と一致する限り、フィールドの変更は常に可能です。寸法の不一致がある場合、Requirements Portal は、感嘆符と Vali 上のメッセージでこれを示します。

表示単位が有効な変換であるものに変更されると（たとえば sへの msまたは m/sへの km/sなど)、Valiは再計算され、変換後の対応する単位で表示されます、 100 s = 100 000 ms.

数式と単位フィールド

Valiが（数式ではなく）単なる数値である場合、単位を変更することができます。 mから s.となります。 100 sの代わりに 100 m.しかし、変更後に表示単位が寸法的に一致しない場合、Requirements Portalは新しい単位が寸法の不一致を示し、表示単位を調整する必要があることを示す。

数式

Vali に数式がある場合、数式は、使用される変数に応じて予想される単位を決定します。を使用して）任意の単位で値を表示することを選択できます。 Display unitフィールドを使用して)任意の単位で表示することができます。表示単位を m/sから km/sに変更すると、それに応じて値が表示されます。表示単位を m/sから mに変更することも可能ですが、要件ポータルは単位寸法の問題を表示します。

無次元値

無次元値は、乗算や除算では使用できますが、単位を持つ値との加算や減算では使用できません。単位を持つすべての値は、単位を持つ値として保存されなければなりません。 Formula and unitフィールドに）単位を持つ値として保存され、数式のパラメータとして使用されるべきです（つまり、"マジック "ナンバーは使用されるべきではありません）。

認識されない単位（'未定義単位'）も無次元とみなされます。

未定義単位

未定義単位の使用を許可する別の設定が利用可能です。これを有効にすると（デフォルト設定）、サポートされていない単位を追加することができますが、警告が表示されます。これを無効にすると、ヴァリに未定義の単位を与えることはできません。

ヴァリティープのユニットの変更

ヴァリティープの単位は、元の単位と同じ寸法を持つ別の単位にのみ変更できます。この変更はそのタイプの既存のヴァリには影響しませんが、このヴァリティープで作成された新しいヴァリは新しいユニットを持つことになります。

要件とワーストケース

要件（最小値/最大値）とワーストケースは、常にヴァリの単位と同じ単位で表示されます。単位が変更された場合、要件とワーストケースも選択された単位に対応するように再計算されます。

サポートされる単位と定数

要件ポータルは、Pint ライブラリで定義されているすべてのデフォルト単位と変換、およびデフォルト定数をサポートしています。

要件ポータルで単位を使用する場合は、次の点に注意してください：

• 単位と接頭辞は大文字と小文字を区別します。たとえば、キログラムは常に kgであってはならず Kgまたは KG.単位を扱う際、大文字と小文字の区別に自信がない場合は、Pint Libraryを念頭に置いてください。

• 時間は hまたは hr. hはプランク定数を表すには使えません、 planck_constantを使うべきである。

• ユーロとドルは単位としてサポートされており、その換算は1ユーロ＝1.123米ドルに固定されています（この換算は管理パネルで現在の経済に合わせて変更できます）。略称は EURまたは euroおよび USDおよび dollarと略されます。

• dBはデフォルトの単位リストにあるような「decibarn」にはマッピングされず、独自の無次元単位「decibel」にマッピングされる。他の対数単位（dBWなど）は未定義単位とみなされ、無次元単位と同じように扱われる。線形スケールと対数スケール（dBWからWなど）の自動変換は想定されていません。

• 温度単位には degC, degFおよび degK(を使用する（ここでは単に K).

  温度値の自動変換を使用する際には注意が必要です。温度は「乗算でない」単位であり、いくつかの特殊な動作がありますが、詳しくはPintのドキュメントで説明されています。

以下の接頭辞を使用できます：

• 小数の接頭辞

  yocto-=1e-24=y-。
  zepto- = 1e-21 = z-
  アト = 1e-18 = a-
  femto- = 1e-15 = f-
  ピコ＝1e-12＝p
  ナノ- = 1e-9 = n-
  マイクロ- = 1e-6 = u- = µ-
  ミリ- = 1e-3 = m-
  センチ＝1e-2＝c
  デシ＝1e-1＝d
  デカ- = 1e+1 = ダ- = デカ
  ヘクト＝1e2＝h
  キロ- = 1e3 = k-
  メガ＝1e6＝M
  ギガ＝1e9＝G
  テラ＝1e12＝T
  peta- = 1e15 = P-
  エクサ = 1e18 = E-
  zetta- = 1e21 = Z-
  yotta- = 1e24 = Y-
  

• バイナリ接頭辞：

  kibi- = 2^10 = Ki-
  メビ＝2^20＝ミ
  gibi- = 2^30 = Gi- (ジビ)
  テビ = 2^40 = テビ
  ペビ = 2^50 = ペビ
  エクスビ＝2^60＝エイ
  ゼビ = 2^70 = ゼビ
  ヨビ＝2^80＝イ
  

例えば、接頭辞と単位はどのような組み合わせでも使用できる、 ks = kiloseconds接頭辞と単位はともに定義されているので(1 kilosecond = 1000 seconds).

サポートされない単位

演算子を単位として使用することはサポートしていません。例えば %, -, &, $, #, °.これらの値は無次元として扱われます。例えば、単位 %はパーセンテージ (50% = 0.5)としてではなく、生の値(50).

カスタム単位

管理者は、カスタム単位（Pintライブラリで定義されていない単位）を Settings – Custom Unitsページで定義できます（左下の アイコンをクリックして表示されるメニューから Settings表示されるメニューから Custom Unitsを選択します)。新しいカスタムユニットを作成するには、右上の ボタンをクリックし、Pint ライブラリ内の既存のユニットを基にユニットを定義します。