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

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

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

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.例文帳に追加

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