under-approximationとは 意味・読み方・使い方

To provide a method for calculation that an upper limit approximation value and a lower limit approximation value of reliability, secures that a true value is surely between the two approximation values, and in which approximation precision surely becomes under a predetermined value.例文帳に追加

信頼性の上限近似値と下限近似値を算出し、真の値が必ず二つ近似値の間にあるということを保障し、かつ、近似精度が必ず一定の値未満となる計算方法を確立すること - 特許庁

To provide a program verification device for verifying a program under the consideration of manifestation even when it is determined that determination is impossible or when upper approximation or lower approximation is detected in case of program verification using software model inspection.例文帳に追加

ソフトウェアモデル検査を用いたプログラム検証において、判定不能と判断した場合や過大近似、過小近似である場合にも、表明に照らしてプログラムを検証することができるプログラム検証装置を提供する。 - 特許庁

Under one embodiment, the observation equation is defined based on a piecewise linear approximation to a non-linear function.例文帳に追加

一実施形態によれば、観測方程式は、非線形関数への区分的線形近似に基づいて定義される。 - 特許庁

Linux is a flavor of Unix, and as a first approximation all user commands under Unix work precisely the same under Linux (and FreeBSD and lots of other Unix-like systems).発音を聞く 例文帳に追加

Linux は Unix の一種であり、大雑把にいえば、Unix 上のユーザコマンドはすべて Linux 上でも全く同じ動作をする(FreeBSD や他のの多くの Unix 風のシステムでも同様である)。 - JM