Search results- English - English

Keyword:

over-approximations

Noun
form-of plural
Japanese Meaning
「over-approximations」は、「over-approximation」という単語の複数形です。
What is this buttons?

研究者は複雑なシステムを検証する際、安全マージンを確保するためにしばしば過大近似を用いる。

under-approximations

Noun
form-of plural
Japanese Meaning
「under-approximation」の複数形です。つまり、実際の値や性質に対して下限的な近似値や下側近似の複数の事例を指します。
What is this buttons?

アルゴリズムの安全性を検証するために、チームは複数の下方近似を評価し、最も強い有効な下限を特定した。

Stirling's approximation

Proper noun
Japanese Meaning
階乗の正確な近似式
What is this buttons?

階乗の正確な近似を用いると、組合せ問題で大きなnに対するn!の推定が容易になります。

under-approximated

Verb
form-of participle past
Japanese Meaning
「under-approximate」の単純過去形および過去分詞形
What is this buttons?

静的解析ツールは到達可能な状態の集合を下方近似し、いくつかの実行可能な振る舞いを見落とした。

Padé approximant

Noun
Japanese Meaning
数学におけるパデ近似とは、与えられた次数の有理関数によって関数を最適に近似する方法を指します。具体的には、対象関数の冪級数展開と一致するような有理関数を見出す手法です。
What is this buttons?

関数の特異点構造を解析したところ、パデ近似(与えられた次数の有理関数による、べき級数が元の関数のべき級数と一致する最良の有理近似)が、切り詰めたテイラー級数よりもはるかに良い全域近似を与えることが分かった。

Related Words

plural

under-approximating

Verb
form-of participle present
Japanese Meaning
『under-approximate』の現在分詞形(進行形や形容詞的用法で使用され、‘以下に近似する’という意味を示す動詞の形態)
What is this buttons?

実行可能領域を下方近似することで、最適化アルゴリズムは不確実性がある場合でも保守的な解を保証する。

to a first approximation

Prepositional phrase
Japanese Meaning
完全に正確でなくても、基本的または初期の目的として十分なほどに近似した状態を示す表現。 / 大まかには、概ね、ざっくりといった意味合いで使われる。
What is this buttons?

科学者たちは、大まかに言えば、そのモデルの予測は観測データと一致していると結論づけた。

Padé approximants

Noun
form-of plural
Japanese Meaning
「Padé approximants」は「Padé approximant」の複数形、つまり複数のPadé近似数学的対象を指す活用形です。
What is this buttons?

パデ近似の複数形は、特異点付近で切り詰めたテイラー級数よりも関数をより正確に近似することが多い。

over-approximating

Verb
form-of participle present
Japanese Meaning
「over-approximating」は、動詞「over-approximate」の現在分詞形です。つまり、過大近似するという動作を進行中であること、またはその性質を表す形です。
What is this buttons?

静的解析ツールは変数の取り得る値の集合を過大に近似しており、検証中に多くの誤検出を引き起こしています。

over-approximates

Verb
form-of indicative present singular third-person
Japanese Meaning
これは「over-approximate」の三人称単数形、すなわち「彼/彼女/それが over-approximate する」という意味の現単現形を表しています。
What is this buttons?

静的解析ツールは安全性を確保するために到達可能な状態集合を過大に近似します。

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★