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

An image computation method is provided for solving the Boolean satisfiability(SAT).例文帳に追加

この方法を使用してブーリアン満足化可能性(SAT)を解決するイメージ計算の方法が実現される。 - 特許庁

The QBF is decomposed into a component section which can be analyzed by a satisfiability (SAT) solver.例文帳に追加

ＱＢＦは、充足可能性（ＳＡＴ）ソルバによって分析可能な構成要素部に分解される。 - 特許庁

SYSTEM, METHOD, AND LOGICAL DEVICE FOR SCHEDULING EVENT IN BOOLEAN SATISFIABILITY SOLVER例文帳に追加

ブール充足可能性解答装置におけるイベントをスケジューリングするシステム、方法及び論理装置 - 特許庁

This method for Boolean satisfiability(SAT) comprises a step for using variable decision heuristic in a SAT algorithm and a step for pruning the search space of the Boolean satisfiability(SAT) by using the decision heuristic.例文帳に追加

ブーリアン満足化可能性(SAT)のための本方法は、SATアルゴリズム内で変数決定ヒューリスティックを使用するステップと、前記決定ヒューリスティックを使用してブーリアン満足化可能性(SAT)の探索空間をプルーニングするステップを備える。 - 特許庁

A decoding part 104 interprets determination results of the satisfiability determined by the satisfiability determining part 103 and outputs arrangement of classes existing on a path from the start point to the end point and distance between the start point and the end point.例文帳に追加

復号化部１０４は、充足可能性判定部１０３が判定した充足可能性の判定結果を解釈して、始点から終点に至る経路上に存在するクラスの並びと、始点及び終点間の距離とを出力する。 - 特許庁

To apply an SMT (Satisfiability Module Theories) solver to the property matching determination processing of software handling a variable length data structure.例文帳に追加

可変長データ構造を扱うソフトウェアのプロパティ整合性判定処理にＳＭＴソルバを適用できるようにする。 - 特許庁

Satisfiability of the QFP is checked, independently and individually, to determine whether the QFP is satisfiable for the subproblem.例文帳に追加

ＱＦＰが下位問題に対して充足し得るか否かを決定するために、ＱＦＰの充足可能性が、独立して個々に、検査される。 - 特許庁

Presently, an active area of research on satisfiability (SAT) problem is to design efficient algorithms to find a solution for a satisfiable conjunctive normal form (CNF) formula. 例文帳に追加

現在, 充足性(SAT)問題に関する活動的な研究領域は, 充足可能な論理積正規形(CNF)の式の解を見いだすための効果的なアルゴリズムを設計することである. - コンピューター用語辞典

When the component is satisfiable, it is added to another untested component, and the combined component is provided to be analyzed for the satisfiability.例文帳に追加

構成要素が充足可能である場合、それが別の未テストの構成要素に追加されて、組合せ構成要素が提供され、組合せ構成要素の充足可能性が分析される。 - 特許庁

The decision heuristic is based on the partitioning of a conjunctive normal form(CNF) of a Boolean formula corresponding to the Boolean satisfiability(SAT), and the portioning is induced by a separator set.例文帳に追加

決定ヒューリスティックは、ブーリアン満足化可能性(SAT)に対応したブーリアン式の論理積正規形(CNF)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。 - 特許庁

The model inspection device further includes an inspection performing unit that performs the inspection by satisfiability modulo theories based on the logical formula generated by the logical formula generating unit.例文帳に追加

また、論理式生成部によって生成された論理式に基づいて充足性モジュロ理論による検査を実行する検査実行部を備えるようにモデル検査装置を構成する。 - 特許庁

A record length determination unit 4 determines the satisfiability of each determination predicate set, and on the basis of the result of the determination processing, calculates the record length of a record set corresponding to the determination predicate set.例文帳に追加

レコード長決定器４は，各判定述語集合の充足可能性を判定して，その判定処理の結果にもとづいて，判定述語集合に対応するレコードセットのレコード長を算出する。 - 特許庁

By easy conversion, it is shown that the constitutiveness can be reformulated as satisfiability of an equation set derived from the definition related to a variable type expanded by a value ⊥ (read 'bottom').例文帳に追加

簡単な変換によって、値⊥（「ボトム」と読む）で拡張された変数型に関する、定義から導出された方程式集合の充足可能性として、構成性を再定式化することができることが示される。 - 特許庁

In one embodiment, a method for scheduling events in a Boolean satisfiability (SAT) solver includes collecting one or more first-order statistics on a search for a valid solution to an SAT problem, deriving one or more second-order statistics on the search from the one or more first-order statistics, and scheduling events in the search according to one or more of the second-order statistics.例文帳に追加

一態様では、ブール充足可能性（ＳＡＴ）解答装置におけるイベントをスケジューリングする方法は、ＳＡＴ問題に対する有効な解を探索する際に、１以上の１次統計値を収集し、探索の際に前記１以上の１次統計値から１以上の２次統計値を導出し、前記１以上の２次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁

This bound model inspection method for a desired linear time logic tense property comprises a step of converting a property related to tense operators F(p), G(p), U(p, q), and X(p), for F as eventuality operator, G as globally operator, U as until operator, and X as next-time operator into a property inspection schema comprising Boolean satisfiability test.例文帳に追加

任意線形時間論理時相特性の有界モデル検査方法であって、Ｆはｅｖｅｎｔｕａｌｉｔｙ演算子、Ｇはｇｌｏｂａｌｌｙ演算子、Ｕはｕｎｔｉｌ演算子、Ｘはｎｅｘｔ−ｔｉｍｅ演算子を表す時相演算子Ｆ（ｐ）、Ｇ（ｐ）、Ｕ（ｐ， ｑ）、Ｘ（ｐ）に関連付けられた特性を、ブーリアン充足可能性検査から成る特性検査スキーマに変換するステップから成る。 - 特許庁