Symbolic simulationとは 意味・読み方・使い方

By this, a sketched shape is augmented with its symbolic meaning, and numerous features including smart editing, beautification, and interactive simulation of visual languages are made possible.例文帳に追加

これにより、スケッチされた形状をその象徴的意味で補強し、スマートエディティング、美化、視覚的言語の対話的シミュレーションを含む多数の機能を可能にする。 - 特許庁

Concerning the method for checking the correctness of scheduling of the circuit, a loop invariant term is extracted for determining the sufficient set of a non-cyclic thread while a loop is inside the circuit, a symbolic simulation is executed for extracting the loop invariant term, and the equivalency of the non-cyclic thread is proved.例文帳に追加

回路のスケジューリングの正当性をチェックする方法は、ループが回路内にあるときに非巡回スレッドの十分なセットを決定するためにループ不変項を抽出し、ループ不変項を抽出するためにシンボリックシミュレーションを実行し、非巡回スレッドの等価性を証明する。 - 特許庁