「Boolean variable」を含む例文一覧(5)
- A predicative expression conversion part 105 obtains an external variable logical expression that is a partial logical expression depending only on a prescribed restriction variable in an event pattern predicative expression, and generates a Boolean value replacement predicative expression wherein the external variable logical expression is replaced to a Boolean value about a combination of values obtainable as an evaluation result of the external variable logical expression.
述語式変換部１０５は、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する。 - 特許庁 - 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 predicative expression evaluation part 106 associates a prescribed event of events of evaluation targets to the restriction variable, generates an instance for evaluating the Boolean value replacement predicative expression, and performs evaluation to the Boolean value replacement predicative expression of the event by the instance.
述語式評価部１０６は、評価対象のイベントのうちの所定のイベントを当該束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、イベントのブール値置換述語式に対する評価を当該インスタンスにより行う。 - 特許庁 - This method comprises steps of: setting a first HS-PDSCH code according to a variable "HS-PDSCH Code Index" of an "HS-SCCH less information element before a user equipment activates an HS-SCCH less operation mode; and setting a second HS-PDSCH code according to a Boolean variable of the HS-SCCH reduction information element, wherein the Boolean variable is indicated by one bit.
方法は、ＵＥでＨＳ−ＳＣＣＨ削減動作（ＨＳ−ＳＣＣＨ ｌｅｓｓ ｏｐｅｒａｔｉｏｎ）モードを起動する前に、ＨＳ−ＳＣＣＨ削減情報要素のうちＨＳ−ＰＤＳＣＨ Ｃｏｄｅ Ｉｎｄｅｘ変数に基づいて第一ＨＳ−ＰＤＳＣＨチャネルコードを設定する段階と、ＨＳ−ＳＣＣＨ削減情報要素のうち、１ビットで表示されるブール変数に基づいて第二ＨＳ−ＰＤＳＣＨチャネルコードを設定する段階とを含む。 - 特許庁 - In a node type Boolean expression (e.g. an expression for selecting each node from three variables) which is expressed by m variables (e.g. (a) to (f)) and n nodes (e.g. 1 to 10) and in which each of n nodes includes only m variables, each variable is expressed by a DNA molecule having 30 residues, for instance.
ｍ個の変数（例えば、ａ〜ｆ）とｎ個の節（例えば、節１〜１０）によって表され、ｎ個の節の各々が、ｍ個の変数のみを含む節形式ブール式（例えば、各節が３つの変数から選ばれる式）において、各変数は、例えば３０残基のＤＮＡ分子によって表される。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
