本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 英語

検索内容:

under-approximates

動詞
活用形 直説法 現在形 単数形 三人称
日本語の意味
『under-approximates』は『under-approximate』の三人称単数現在形です。
このボタンはなに?

静的解析ツールは到達可能な状態の集合を下側から近似するため、潜在的なエラーを見落とすことがある。

over-approximating

動詞
活用形 分詞 現在形
日本語の意味
「over-approximating」は、動詞「over-approximate」の現在分詞形です。つまり、過大近似するという動作を進行中であること、またはその性質を表す形です。
このボタンはなに?

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

approximation algorithm

名詞
日本語の意味
最適化問題に対し、正確な解が求められない場合に、近似的な最適解に近い結果を効率的に求める計算手法。 / 計算時間の制約がある状況下で、完全な最適解の代わりに、実用的な近似解を提供するアルゴリズム。
このボタンはなに?

NP困難なスケジューリング問題に直面したとき、研究者はしばしば近似アルゴリズムを用いて迅速に良好なスケジュールを作成します。

関連語

stationary phase approximation

名詞
日本語の意味
数学の漸近解析における手法で、急速に変化する位相を持つ三角関数(正弦波)のキャンセル効果を利用し、主に定常点周辺で寄与する項を抽出して近似解を求める方法。
このボタンはなに?

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

関連語
Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★