検索結果- 英語 - 英語

検索内容:

underapproximate

動詞

他動詞

(transitive) To form an underapproximation of.

日本語の意味

（数学や計算科学などの文脈で）実際の値よりも低い値となるような近似、すなわち下限的な近似を形成する

このボタンはなに？

To ensure safety margins, engineers underapproximate the set of reachable states in the model.

Google翻訳 / DeepL翻訳

安全余裕を確保するために、エンジニアはモデルの到達可能状態の集合の下方近似を行う。

詳細

underapproximated

動詞

活用形分詞過去

simple past tense and past participle of underapproximate

日本語の意味

「underapproximate」の過去形および過去分詞形。

このボタンはなに？

The algorithm underapproximated the feasible region to ensure safety.

Google翻訳 / DeepL翻訳

そのアルゴリズムは安全性を確保するために実行可能領域を下方から近似した。

詳細

underapproximates

動詞

活用形直説法現在形単数形三人称

Third-person singular simple present indicative form of underapproximate

日本語の意味

「underapproximate」の三人称単数単純現在形、つまり「彼/彼女/それが underapproximate する」と表現する際の形です。

このボタンはなに？

The static analyzer underapproximates the set of reachable states when it focuses only on safe transitions.

Google翻訳 / DeepL翻訳

静的解析器は、安全な遷移のみを考慮すると、到達可能な状態集合を下方近似する。

詳細

underapproximation

名詞

An approximation that is lower than the true value.

日本語の意味

実際の値よりも低い近似値

このボタンはなに？

The underapproximation of the integral led the team to miss critical safety margins.

Google翻訳 / DeepL翻訳

積分の過小近似により、チームは重要な安全余裕を見落としてしまった。

詳細

underapproximations

名詞

活用形複数形

plural of underapproximation

日本語の意味

「underapproximations」は「underapproximation」の複数形です。

このボタンはなに？

When analyzing the reachability of the program, we used conservative underapproximations to ensure that reported behaviors are definitely achievable.

Google翻訳 / DeepL翻訳

プログラムの到達可能性を解析する際、報告された振る舞いが確実に実現可能であることを保証するために、保守的な下限近似を用いた。

詳細

underapproximating

動詞

活用形分詞現在形

present participle of underapproximate

日本語の意味

「underapproximating」は、動詞「underapproximate」の現在分詞（present participle）です。現在分詞は、進行形や形容詞として用いられる活用形です。

このボタンはなに？

By underapproximating the set of reachable states, the analyzer missed some critical behaviors.

Google翻訳 / DeepL翻訳

到達可能な状態の集合を下方近似したため、解析ツールは重要な振る舞いのいくつかを見逃した。

詳細

Webで検索する