「BDD」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

METHOD AND SYSTEM FOR PROCESSING BDD USING PARALLEL WINDOW ALGORITHM例文帳に追加

パラレルウィンドウアルゴリズムを利用してＢＤＤを処理する方法及びシステム - 特許庁

METHOD AND SYSTEM FOR DETERMINING OPTIMUM LAYER-SWAPPING SCHEDULES FOR BDD例文帳に追加

ＢＤＤの最適なレイヤ交換スケジュールを決定する方法及びシステム - 特許庁

The method includes a step for storing each list as the BDD thereof.例文帳に追加

この方法は、各リストをそのＢＤＤとして記憶する段階を含む。 - 特許庁

To alleviate the problem that a circuit designing method using an algorithm using a bisection decision diagram (BDD) becomes inefficient caused by partitioned scheduling.例文帳に追加

二分決定グラフ（BDD）を用いるアルゴリズムを使用する回路設計法において、区分けのスケジューリングに起因して非効率的になってしまう問題点を軽減ること。 - 特許庁

Then the BDD is converted into an MUX cell to generate a circuit (S4).例文帳に追加

このＢＤＤをＭＵＸセルに変換し、回路が生成される（ステップＳ４）。 - 特許庁

A part to which the multi-stage logical optimization is applied is extracted from the BDD expression and replaced with an intermediate variable to generate a new BDD (S2).例文帳に追加

ＢＤＤ表現から、多段論理最適化を適用する部分を抽出し、その部分を中間変数に置換して、ＢＤＤを新たに生成する（ステップＳ２）。 - 特許庁

The method includes a step for generating a binary decision diagram (BDD) of each list.例文帳に追加

この方法は、各リストのバイナリデシジョンダイアグラム（ＢＤＤ）を生成する段階を含む。 - 特許庁

METHOD AND SYSTEM FOR DETERMINING OPTIMAL VARIANCE SEQUENCE OF BINARY DETERMINATION DIAGRAM (BDD) BY USING RECURSION例文帳に追加

再帰を利用してＢＤＤの最適な変数順序を決定する方法及びシステム - 特許庁

METHOD AND SYSTEM FOR PROCESSING BDD USING WINDOW ALGORITHM USING MAXIMAL PARALLELIZATION例文帳に追加

最大パラレル化を利用してウィンドウアルゴリズムを利用してＢＤＤを処理する方法及びシステム - 特許庁

To provide a logic circuit synthesizing device for reducing the number of nodes of a BDD, and for reducing the scale of a logic circuit to be synthesized by the BDD.例文帳に追加

ＢＤＤのノード数を削減することが可能であり、ＢＤＤから合成される論理回路の規模を縮小することが可能な論理回路合成装置を提供すること。 - 特許庁

One or more first steps of FSM corresponding to one or more bisection decision diagram (BDD) are executed.例文帳に追加

１以上の二分決定グラフ（ＢＤＤ）に対応するＦＳＭの１以上の第１ステップを実行する。 - 特許庁

To provide a semiconductor memory in which a control signal by CAS latency is generated, power down of a BDD circuit (or SMD circuit) can be performed as a power down signal, and power consumption can be reduced at the time of active power down.例文帳に追加

CASレイテンシによる制御信号を生成し、パワーダウン信号として、BDD回路（またはSMD回路）のパワーダウンを可能とし、アクティブパワーダウン時における消費電力の削減を可能とする半導体記憶装置を提供する。 - 特許庁

Next, the BDD of an already arrived state set and the BDD of the next state function are adjusted to the variable order of the next state set (step S3) and the next state set is added to the already arrived state set (step S4).例文帳に追加

次に既到達状態集合のＢＤＤと、次状態関数のＢＤＤを次状態集合の変数順に合わせ（ステップＳ３）、次状態集合を既到達状態集合に追加する（ステップＳ４）。 - 特許庁

To shorten the time required for inspecting the equivalence of a sequential circuit based on the calculation of a bisecting decision diagram(BDD).例文帳に追加

二分決定図（ＢＤＤ）の演算に基づく順序回路の等価検証に要する時間を短縮する。 - 特許庁

For each level of BDD, first and second MOS transistors which correspond to all variable nodes contained within the same level are horizontally aligned and vertically stacked for each level of BDD to design the layout of the cells of the pass transistor logic circuit.例文帳に追加

ＢＤＤの各レベルについて、同一レベル内に含まれる全ての変数ノードに対応する第１および第２のＭＯＳトランジスタを水平方向に並べ、かつＢＤＤのレベル毎に垂直方向に縦積みする構造として、パス・トランジスタ論理回路のセルのレイアウトを設計する。 - 特許庁

To provide a technique for realizing a high speed combinational circuit including an S-Box and for simultaneously generating an RO-BDD prescribing the circuit structure of the combinational circuit.例文帳に追加

Ｓ−Ｂｏｘを含む高速な組合せ回路を実現すると共に、かかる組合せ回路の回路構造を規定するＲＯ−ＢＤＤを作成する手法を提供する。 - 特許庁

Selective detection of the oxalic acid concentration in the solution, especially the oxalic acid concentration in urine, is enabled by a selective trace-amount detection method of oxalic acid utilizing an electroluminescence reaction on a diamond thin film interface, a new ruthenium complex-modified BDD electrode and a selective oxalic acid detection device, by using the ruthenium complex-modified BDD electrode.例文帳に追加

ルテニウム錯体修飾ＢＤＤ電極を用いることにより、ダイヤモンド薄膜界面における電解発光反応を利用したシュウ酸の選択的微量検出法、新規なルテニウム錯体修飾ＢＤＤ電極および選択的なシュウ酸検出装置により、溶液中のシュウ酸濃度、特に尿中シュウ酸濃度の選択的検出を可能にする。 - 特許庁

In the same way, the part to be replaced with the intermediate variable is searched and the part to which the multi-stage logical optimization is applied is replaced with an intermediate variable to obtain the final BDD (S3).例文帳に追加

同様に中間変数に置き換えられる部分を探索して、多段論理最適化を適用する部分で中間変数で置き換えられ、最終的なＢＤＤになる（ステップＳ３）。 - 特許庁

To solve the problem wherein a technology capable of detecting selectively the oxalic acid concentration in a solution, especially the oxalic acid concentration in urine, by using a ruthenium complex-modified BDD electrode is required to be improved.例文帳に追加

ルテニウム錯体修飾ＢＤＤ電極を用いて、溶液中のシュウ酸濃度、特に尿中シュウ酸濃度を選択的に検出できる技術の改良が課題である。 - 特許庁

SELECTIVE TRACE-AMOUNT DETECTION METHOD OF OXALIC ACID IN URINE UTILIZING ELECTROLUMINESCENCE REACTION ON DIAMOND THIN FILM INTERFACE, RUTHENIUM COMPLEX-MODIFIED BDD ELECTRODE, AND ELECTROLUMINESCENCE ANALYZER例文帳に追加

ダイヤモンド薄膜界面における電解発光反応を利用した尿中シュウ酸の選択的微量検出法、ルテニウム錯体修飾ＢＤＤ電極および電解発光分析装置 - 特許庁

The intermediate variable serving as the input of the circuit consisting of the MUX cell that is generated from the BDD is replaced with a circuit which is optimized by the multi-stage logical optimization (S5).例文帳に追加

ＢＤＤから生成されたＭＵＸセルで構成される回路の入力となっている中間変数を多段論理最適化により最適化により最適化された回路で置換する（ステップＳ５）。 - 特許庁

When the state N corresponding to one successive state BDD is included in the state set S (S13), the inspection result that the sequential circuits 1 and 2 are logically equivalent, is obtained (S14).例文帳に追加

この１つの次状態ＢＤＤに対応する状態Ｎが状態集合Ｓに含まれる場合に（Ｓ１３）、順序回路１と順序回路２は論理的に等価であるとの検証結果を得る（Ｓ１４）。 - 特許庁

The logical function of the sequential circuit C is obtained (S4) and the state transition BDD of the sequential circuit C which is divided into plural BDDs where the number of nodes is equal to or below a prescribed reference value is generated (S5).例文帳に追加

順序回路Ｃの論理関数を求め（Ｓ４）、ノード数が所定の基準値以下の複数のＢＤＤに分割された順序回路Ｃの状態遷移ＢＤＤを生成する（Ｓ５）。 - 特許庁

Nick Sieger demonstrates behavior driven development using RSpec in the NetBeans Ruby support.He tests the Ruby Weblog application by using the Red/Green refactor cycle of running, modifying, saving, and running tests. 例文帳に追加

Nick Sieger が、NetBeans の Ruby サポートで RSpec を使用した BDD (ビヘイビア駆動開発) のデモを行なっています。 実行、変更、保存、およびテスト実行のレッド/グリーンのリファクタリングサイクルを使用して Ruby のブログアプリケーションをテストしています。 - NetBeans

Unless the output is zero (S9), the plural successive states BDDs are generated from the plural divided state transition BDDs and the state set S (S11) and they are connected to obtain one successive state BDD (S12).例文帳に追加

その出力が０でない場合は（Ｓ９）、分割された複数の状態遷移ＢＤＤと状態集合Ｓとから複数の次状態ＢＤＤを生成し（Ｓ１１）、これを結合して１つの次状態ＢＤＤを得る（Ｓ１２）。 - 特許庁

After inputting the BDD and initial state of a next state function (step S1), the position of a next state is decided when the variable of the next state is introduced and image calculation is performed (step 2) while generating the next state at designated position.例文帳に追加

次状態関数のＢＤＤと初期状態を入力した後（ステップＳ１）、次状態の変数が導入されるときに、次状態の位置を決定し、指定位置に次状態を生成しながら像計算を行う（ステップＳ２）。 - 特許庁

To enable correct verification by representing the whole logic circuit as BDD(binary decision diagram) at a time without dividing the flip-flops of the logic circuit to be verified into combination circuits even when the positions of the flip-flops are different.例文帳に追加

検証対象の論理回路のフリップフロップの位置が異なる場合でも、フリップフロップについて組合せ回路に分割することなく論理回路全体を一括してＢＤＤで表現し正しく検証することを可能とした論理回路検証装置及び方法の提供。 - 特許庁

To reduce the processing time of assignment operation processing by unnecessitating to repeatedly performing plural processing such as to check a variable value and to trace the address of a selection destination of a '0' or '1' branch when a logical function is expressed by a BDD(binary decision graph) and a assignment operation is performed.例文帳に追加

論理関数をＢＤＤ（二分決定グラフ）で表現して代入演算を行う際に、変数の値をチェックして０枝または１枝の選択先の番地をたどるという複数の処理を繰り返し行うことを不要とし、代入演算処理の処理時間を短縮する。 - 特許庁

As parameters of noise, average power, time-base amplitude probability distribution (time-base APD), crossing distribution (CRD), burst duration distribution (BDD), occurrence frequency distribution (OFD), and an envelop signal waveform are made selectable arbitrarily, and as a result it becomes possible to perform automatic control by a program.例文帳に追加

ノイズのパラメータとして、平均電力、時間率の振幅確率分布（タイムベースＡＰＤ）、交差率分布（ＣＲＤ）、継続時間分布（ＢＤＤ）、発生頻度分布（ＯＦＤ）、およびエンベロープ信号波形を任意に選択可能とした結果、プログラムによる自動的な制御が可能となる。 - 特許庁