bounded controlとは 意味・読み方・使い方

A program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program.例文帳に追加

プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査（ＢＭＣ）のために、下位問題に分解されている。 - 特許庁

Therefore, the more quantity of DC can be eliminated with efficiency by regularly performing the code suppression control at code conversion and selecting the more bounded route of a code string at the DC suppression control time point.例文帳に追加

よって、コード変換時に規則的なコード抑圧制御を行い、ＤＣ抑圧制御時により多くバウンドされるコード列経路を選択することにより、コード列からより多量のＤＣをより効率良く除去できる。 - 特許庁