decision diagramsとは 意味・読み方・使い方

Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation.発音を聞く 例文帳に追加

順序二分決定グラフ(OBDD)は,ブール関数演算のための最先端のデータ構造である． - コンピューター用語辞典

Boolean operations are performed between the decision diagram and a plurality of other decision diagrams for the logic gates in the potential learning area.例文帳に追加

ブール代数演算は、決定図と、潜在的学習領域内の論理ゲートの複数の他の決定図との間で実行される。 - 特許庁

This CAD system subdivides a connection decision target area into plural element areas including current-carrying connection areas T, L, B and R and generates sets of wiring net diagrams connected to them for every area of T, L, B and R being connection decision targets.例文帳に追加

接続判定対象領域を、通電接続領域Ｔ，Ｌ，Ｂ，Ｒを含む複数の要素領域に細分化し、接続判定の対象となる要素領域Ｔ，Ｌ，Ｂ，Ｒ毎に、これに接続する配線ネット図形ａ〜ｇの集合を生成する。 - 特許庁

The maintenance assisting server 4 is equipped with a breakage probability computing tool 8 which generates time-to-breakage probability diagrams 71 to 75 according to the pieces 10-1 to 10-n of plant information and an intention decision system 9 which generates inspection coping programs 20-1 to 20-n according to the time-to-breakage probability diagrams 71 to 75.例文帳に追加

保守支援サーバ４は、プラント情報１０−１〜１０−ｎに基づいて時間対破壊確率線図７１〜７５を作成する破壊確率計算ツール８と、時間対破壊確率線図７１〜７５に基づいて検査対策プログラム２０−１〜２０−ｎを作成する意思決定システム９とを備えている。 - 特許庁

The method further includes a step for utilizing one or more POBDDs (Partitioned Ordered Binary Decision Diagrams) for analyzing one or more partitions according to a falsification-based forward-reachability technique to determine whether or not one or more partitions have one or more errors of the circuit.例文帳に追加

本方法はさらに、前記１以上の分割が前記回路の１以上のエラーを有するか判断するため、ファルシフィケーションベース順方向到達可能性技術に従って前記１以上の分割を分析するため、１以上のＰＯＢＤＤ（Ｐａｒｔｉｔｉｏｎｅｄ Ｏｒｄｅｒｅｄ Ｂｉｎａｒｙ Ｄｅｃｉｓｉｏｎ Ｄｉａｇｒａｍ）を利用するステップ１０２を有する。 - 特許庁