検索結果- 英語 - 英語

検索内容:

approximators

over-approximating

動詞

活用形分詞現在形

present participle of over-approximate

日本語の意味

「over-approximating」は、動詞「over-approximate」の現在分詞形です。つまり、過大近似するという動作を進行中であること、またはその性質を表す形です。

このボタンはなに？

The static analyzer is over-approximating the set of possible variable values, which causes many false positives during verification.

Google翻訳 / DeepL翻訳

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

詳細

under-approximations

名詞

活用形複数形

plural of under-approximation

日本語の意味

「under-approximation」の複数形です。つまり、実際の値や性質に対して下限的な近似値や下側近似の複数の事例を指します。

このボタンはなに？

To verify the algorithm's safety, the team evaluated several under-approximations and identified the strongest valid lower bound.

Google翻訳 / DeepL翻訳

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

詳細

over-approximations

名詞

活用形複数形

plural of over-approximation

日本語の意味

「over-approximations」は、「over-approximation」という単語の複数形です。

このボタンはなに？

Researchers often rely on over-approximations when verifying complex systems to ensure safety margins.

Google翻訳 / DeepL翻訳

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

詳細

stationary phase approximation

名詞

(mathematics) A principle of asymptotic analysis that relies on the cancellation of sinusoids with rapidly varying phase.

日本語の意味

数学の漸近解析における手法で、急速に変化する位相を持つ三角関数（正弦波）のキャンセル効果を利用し、主に定常点周辺で寄与する項を抽出して近似解を求める方法。

このボタンはなに？

When evaluating integrals with rapidly oscillating integrands, physicists often invoke the stationary phase approximation to estimate the leading contributions.

Google翻訳 / DeepL翻訳

急速に振動する被積分関数を持つ積分を評価する際、物理学者は主要な寄与を見積もるために、位相が急速に変化する正弦波の打ち消しに基づく漸近解析の原理である定常位相近似をしばしば用いる。

詳細