検索結果- 英語 - 英語

検索内容:

overapproximate

動詞

他動詞

(transitive) To form an overapproximation of.

日本語の意味

対象を、実際よりも大きな集合や範囲で近似すること。 / （計算や解析の対象を）過大に近似する、または上限として近似すること。

このボタンはなに？

Google翻訳 / DeepL翻訳

安全性を確保するために、静的解析ツールは到達可能な状態の集合を過大に近似することがあり、実際には発生し得ない潜在的な挙動を報告することがあります。

詳細

overapproximates

動詞

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

Third-person singular simple present indicative form of overapproximate

日本語の意味

これは "overapproximate" の三人称単数単純現在形、すなわち主語が三人称（例: he, she, it）である場合に用いられる現在時制の形です。

このボタンはなに？

The static analyzer overapproximates the set of possible program states to ensure soundness.

Google翻訳 / DeepL翻訳

静的解析器はサウンド性を確保するために、可能なプログラム状態の集合を過大評価する。

詳細

overapproximated

動詞

活用形分詞過去

simple past tense and past participle of overapproximate

日本語の意味

これは『overapproximate』の過去形および過去分詞形です。

このボタンはなに？

The static analyzer overapproximated the set of reachable states, leading to many false positives.

Google翻訳 / DeepL翻訳

静的解析ツールは到達可能な状態の集合を過大に近似し、多くの誤検知を引き起こした。

詳細

overapproximations

名詞

活用形複数形

plural of overapproximation

日本語の意味

「overapproximation」の複数形であり、活用形としては単語の複数形を示します。

このボタンはなに？

When verifying software, engineers often rely on overapproximations to ensure safety properties are preserved.

Google翻訳 / DeepL翻訳

ソフトウェアの検証では、エンジニアはしばしば安全性の性質が保たれることを確実にするために過大近似に頼ります。

詳細

overapproximation

名詞

An approximation that is higher than the true value.

日本語の意味

真の値よりも高い値で近似すること、つまり実際の値を上回る近似を指す概念です。

このボタンはなに？

The engineer warned that the simulation's overapproximation could lead to unnecessarily conservative designs.

Google翻訳 / DeepL翻訳

エンジニアは、シミュレーションの過大近似が不必要に保守的な設計につながる可能性があると警告した。

詳細

overapproximating

動詞

活用形分詞現在形

present participle of overapproximate

日本語の意味

「overapproximating」は動詞overapproximateの現在分詞形であり、進行形や形容詞として用いられる。

このボタンはなに？

The static analyzer is overapproximating the set of reachable states to guarantee soundness.

Google翻訳 / DeepL翻訳

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

詳細

Webで検索する