At timing specified by the operation timing data, an arithmetic processing circuit can output a control current corresponding to the correspondent Boolean value to each of control elements. 演算処理回路は、動作時期データで特定される時期に、対応するブール値に応じた制御電流を各制御要素に向けて出力することができる。 - 特許庁
They all have the same priority (which is higher than that of the Boolean operations).Comparisons can be chained arbitrarily; for example, 比較演算子は全て同じ演算優先度を持っています (ブール演算より高い演算優先度です)。 比較は任意の形で連鎖させることができます; 例えば、 - Python
debug is a boolean; if true, debugging information will be included in the library (note that on most platforms, it is the compile step where this matters: the debug flag is included herejust for consistency). 真なら、デバッグ情報がライブラリに含まれます(ほとんどのプラットフォームではコンパイルステップで意味をもちます:debugフラグは一貫性のためにここにもあります。 )。 - Python
DisplayManager.autoRescan This boolean controls whether xdm rescans the configuration,servers, access control and authentication keys files after a session terminates and the files have changed. DisplayManager.autoRescanこの真偽値はxdm が終わってファイルが変更された後に、構成情報、サーバ、アクセス制御と認証キーファイルを再読み込みするかどうか制御する。 - XFree86
A first path condition and a second path condition for one or a plurality of corresponding paths are determined so that one or a plurality of corresponding basic blocks return a constant true Boolean value for the first path condition and a constant false Boolean value for the second path condition (106, 114). 1つ又は複数の対応する基本ブロックが第1のパス条件に対して真の一定のブール値を返送し、第2のパス条件に対して偽の一定のブール値を返送するように、1つ又は複数の対応するパスに対する第1のパス条件及び第2のパス条件を決定する(106、114)。 - 特許庁
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. 述語式変換部105は、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する。 - 特許庁
Complex hypotheses of the classifier are defined by applying combinatorial functions of the Boolean operators to the propositional space to construct all possible propositions in the propositional space. 命題空間にブール演算子の連結関数を適用することによって識別器の複合仮説が定義され、命題空間内の全ての可能な命題が構築される。 - 特許庁
A self-alignment type assist pattern (SAP) can be automatically derived from an original design layout using geometric Boolean operation based upon several predefined design rules. 幾つかの事前定義された設計規則に基づいて幾何学的ブール演算を用いて元の設計レイアウトからセルフアライメント型アシストパターン(SAP)を自動的に導出できる。 - 特許庁
Normally when you recreate a class from the database, it will only alter the variables, and staticGet, - with this set, it will also update the extends field build_views boolean Postgres (and maybe some others), allow you to treat views just like normal tables (eg.
データベースからクラスを再生成するとき、通常、変数や staticGet などのみが更新されますが、これをセットすることで拡張フィールドも更新されるようになります。 - PEAR
The Boolean CPU 2 decodes addresses where a process program of process instructions of the general CPU from a sequence program read out of a program memory 3 and outputs them to an instruction vector register IV. ブールCPU2は、プログラムメモリ3からリードしたシーケンスプログラムから、汎用CPU処理命令の処理プログラムが格納されているアドレスをデコードしてインストラクションベクタレジスタIVに出力する。 - 特許庁
To efficiently process a plurality retrieval formulas substantially simultaneously arriving from a plurality of users, in document retrieval for retrieving a document from a retrieval formula composed of a Boolean formula of keywords. キーワードの論理式から成る検索式から文書を検索する文書検索において、複数の利用者からほぼ同時に到着した複数の検索式を効率良く処理する。 - 特許庁
Although there is no defined order, it is suggested to write first boolean, then numeric, and then string capabilities, each sorted alphabetically without looking at lower or upper spelling.
順序については定義されていないが、大文字小文字は区別せずにアルファベット順にならべ、始めはブール値の、次は数値の、最後は文字列の機能を書くことが推奨されている。 - JM
timedelta objects are hashable (usable as dictionary keys),support efficient pickling, and in Boolean contexts, a timedelta object is considered to be true if and only if it isn't equal totimedelta(0). timedelta オブジェクトはハッシュ可能 (辞書のキーとして利用可能)であり、効率的な pickle 化をサポートします、また、ブール演算コンテキストでは、 timedelta オブジェクトは timedelta(0) に等しくない場合かつそのときに限り真となります。 - Python
The judging means 2b decides the existence/absence of interference between objects on the basis of the information of the shape and position of the operated object and the information of the shape and position of another object with a Boolean operation. 判断手段2bは、演算された前記物体の形状および位置の情報と、他の物体の形状および位置の情報とから、ブーリアン演算により、物体間の干渉の有無を判断する。 - 特許庁
In the context of Boolean operations, and also when expressions are used by control flow statements, the following values are interpreted as false: None, numeric zero of all types, empty sequences(strings, tuples and lists), and empty mappings (dictionaries). ブール演算のコンテキストや、式が制御フロー文中で使われる最には、以下の値: None 、すべての数値型におけるゼロ、空のシーケンス (文字列、タプル、およびリスト) 、空のマップ型 (辞書) 、は偽 (false) であると解釈されます。 - Python
The control device 10 for the plant includes an input means 13 for inputting process signals sent from the plant, a numerical operation part 11 for outputting a boolean value that has determined the normality/abnormality of the process signals through arithmetic processing based on a program, and a control module 20 for outputting control signals associated with the safety protection operation of the plant by logically processing the boolean value on the basis of a logic circuit. プラントの制御装置10において、プラントから送信されるプロセス信号を入力する入力手段13と、プログラムに基づく演算処理によって前記プロセス信号の正常/異常を判定したブール値を出力する数値演算部11と、論理回路に基づき前記ブール値を論理処理し前記プラントの安全保護動作に係る制御信号を出力させる論理処理部20と、を備える。 - 特許庁
To solve a problem of becoming a factor in deteriorating reliability because of exclusively or distortedly treating a part of information by executing control and processing on a system with a truth value of a formal logical expression such as Boolean algebra as a reference. システムに関する制御及び処理等はブール代数等の形式論理式の真理値を基準に実行され情報の一部を除外もしくは歪曲して扱い、信頼度を低下する要因となっている。 - 特許庁
To obtain a graphic processor which controls an occurrence of operation error in a graphic Boolean operation and can accurately extract a shape of polygon constituting visible parts of object in the three-dimensional shape. 図形ブーリアン演算の演算誤差の発生を抑制して、3次元形状オブジェクトの見える部分を構成しているポリゴンの形状を正確に抽出することができる図形処理装置を得ることを目的とする。 - 特許庁
A Boolean input value has a specified position (X_d, Y_d) in the departure space and designates the other input values having the same position as being non-valid if the position is outside the set of image sample values [SV]. ブール入力値は出発空間内の特定の位置(x_d,y_d)を有し且つ、位置が画像サンプル値[SV]の組の外側である場合には、有効でないとされているのと同じ位置を有する他の値を指定する。 - 特許庁
To provide a programmable controller which speeds up switching from a Boolean CPU to a general CPU and allows the general CPU to accept an interruption function and a DMA function without any time loss. ブールCPUからの命令切替信号を汎用CPUがポーリングすることで、汎用CPUによる応用命令処理の実行とブールCPUによる基本命令処理を切り替えるのでは、処理速度が遅い。 - 特許庁
The whole property is inspected in a customized method composed of repeated call of the property inspection schema related to each of the operators F(p), G(p), U(p, q), and X(p), and a standard process to an atomic proposition and Boolean operator. 特性全体は、F(p)、G(p)、U(p, q)、X(p)の各演算子に関する特性検査スキーマの反復呼び出しと、原子命題およびブール演算子の標準的な処理で構成されるカスタマイズされた方法で検査される。 - 特許庁
Then stored information is used to compare cones before and after the logic composition and make cones correspond to each other and the equivalence of logic is examined for every cone which are made to correspond by comparing Boolean expressions as the additional information and racing check cone information. 次に、記憶情報により論理合成前後のコーンを比較しコーンの対応付けを行い、対応付けられたコーン毎、付加情報であるブール式やレーシングチェックコーン情報比較により、論理の等価性を検証する。 - 特許庁
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. 方法は、UEでHS−SCCH削減動作(HS−SCCH less operation)モードを起動する前に、HS−SCCH削減情報要素のうちHS−PDSCH Code Index変数に基づいて第一HS−PDSCHチャネルコードを設定する段階と、HS−SCCH削減情報要素のうち、1ビットで表示されるブール変数に基づいて第二HS−PDSCHチャネルコードを設定する段階とを含む。 - 特許庁
The method also prepares the Boolean matrix similarly from the peg plan diagram of usual heddle (S15), disassembles the matrix to form the peg plan diagram (S17, S19), and the threading draft diagram may be prepared from the obtained peg plan diagram and the structure diagram input at S1. また、普通綜絖用の紋栓図から同様にブール行列を作成し(S15)、その行列を分解して紋栓図を作成し(S17,S19)、得られた紋栓図とS1にて入力された組織図とから綜絖通図を作成してもよい(S21)。 - 特許庁
Side keys 16a and 16b related to the respective symbols are used to apply the control action under automatic control, and the action consists either of a held or a single press type in the case of the Boolean control or of a dual type using left and right control. 各シンボルと関連するサイドキー16a、16bは、自動制御にある制御動作を適用するために用いられるが、この動作はブール制御の場合のヘルド或いはシングルプレスタイプ、或いは、左と右コントロールを用いてのジュアルタイプから成る。 - 特許庁
To provide a graphics processor for normally executing Boolean arithmetic processing by preventing the generation of any geometrically impossible circumstances in the case of performing the crossing decision or internal relation decision of graphics, and a program for making a computer function as the device. 図形の交差判定や内包関係の判定における幾何学的に不可能な状況の発生を回避することにより、正常にブーリアン演算処理を実行できる図形処理装置及びこの装置としてコンピュータを機能させるプログラムを提供する。 - 特許庁
Boolean that indicates whether a space character needs to be printed before another value when using the print statement.Classes that are trying to simulate a file object should also have a writable softspace attribute, which should be initialized to zero. print 文を使った場合、他の値を出力する前にスペース文字を出力する必要があるかどうかを示すブール値です。 ファイルオブジェクトをシミュレート仕様とするクラスは書き込み可能なsoftspace 属性を持たなければならず、この値はゼロに初期化されなければなりません。 - Python
Then, double precision words and/or plural pairs of single precision words are loaded and stored between a floating point co-processor and a memory, and a Boolean result obtained by comparing two floating points in a floating point unit 265 is stored in an integer register in a CPU 201. 浮動小数点コウプロセッサとメモリとの間で、倍精度ワード及び/又は複数対の単精度ワードをロードすると共に記憶し、その上にCPU(201)内の整数レジスタ内で浮動小数点ユニット(265)における2つの浮動小数点数を比較したブール結果を記憶する例が与えられている。 - 特許庁
While referring to a hierarchical index 13, in which the hierarchical relation of respective document components in each structured document as a retrieval object is expressed in the tree structure with meta-components as one node, through a hierarchical index reference part 18, an inquiry converting part 17 converts the inquiry tree to a Boolean expression. 問い合わせ変換部17は,階層インデックス参照部18を通して,検索対象の個々の構造化文書の各文書部品の階層関係を,メタ部品を1ノードとする木構造で表現した階層インデックス13を参照し,問い合わせ木をブーリアン式に変換する。 - 特許庁
A CPU 1 aligns a plurality of unit structures vertically and horizontally and laminates them such that adjacent peripheral faces are in contact to generate a laminated structure, and then a Boolean operation part 41 computes the logical sum of a shell 90 and the laminated structure. CPU1は、複数の単位構造体を縦横方向へ一線分上に整列させ、相隣る周面が互いに当接するように積層させて積層構造体を生成させた後、ブーリアン演算部41を作動させて、外皮90と積層構造体との論理和を演算させる。 - 特許庁
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. m個の変数(例えば、a〜f)とn個の節(例えば、節1〜10)によって表され、n個の節の各々が、m個の変数のみを含む節形式ブール式(例えば、各節が3つの変数から選ばれる式)において、各変数は、例えば30残基のDNA分子によって表される。 - 特許庁
While referring to a text index 15 defining the set of a character string and the component identifier of the meta-component in text data as a retrieval key and registering the information of a relation with the document identifier of a document, in which these character string and component identifier appear, a text index reference part 19 retrieves a document corresponding to the Boolean expression, in which the inquiry tree is converted. テキストインデックス参照部19は,テキストデータ中の文字列とメタ部品の部品識別子との組を検索キーとして,それらが出現する文書の文書識別子との関係情報を登録したテキストインデックス15を参照して,問い合わせ木を変換したブーリアン式に該当する文書を検索する。 - 特許庁
The illustrative embodiment employs a pattern classifier that is trained on a plurality of input/output mappings, where each mapping corresponds to a respective location, the output of the mapping is a Boolean value that indicates whether the location is indoors, and the input of the mapping is based on empirical and predicted signal data for the location. 例示的実施形態は、複数の入力/出力マッピングでトレーニングされたパターン分類器を使用し、各マッピングは個々の位置に対応し、マッピングの出力は、当該位置が屋内であるかどうかを示すブール値であり、マッピングの入力は、その位置についての経験信号データと予測信号データに基づく。 - 特許庁
A decision diagram is built for logic gates in a cutest to be obtained from target logic gates, the logic gates in a potential learning area in the topology are marked, justification vectors are acquired from the decision diagram for a predetermined Boolean value of the target logic gate, such logical interdependencies are determined and a representation of the logical interdependencies is stored in a storage device in the computer-aided design system. 本発明は、目標論理ゲートから得られるカットセット内の論理ゲートに対し決定図を構築し、論理ネットワーク中の潜在的学習領域内の論理ゲートをマークし、正当化ベクトルを目標論理ゲートの所定のブール代数値の決定図から獲得し、論理的相互従属関係を判定し、その表現をコンピュータ支援設計装置の記憶装置に格納する。 - 特許庁
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. 一態様では、ブール充足可能性(SAT)解答装置におけるイベントをスケジューリングする方法は、SAT問題に対する有効な解を探索する際に、1以上の1次統計値を収集し、探索の際に前記1以上の1次統計値から1以上の2次統計値を導出し、前記1以上の2次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁
option; this option is not present in 2.4.x and later] When this boolean frag is enabled (not equal 0) incoming fragments (parts of IP packets that arose when some host between origin and destination decided that the packets were too large and cut them into pieces) will be reassembled (defragmented) before being processed, even if they are about to be forwarded.
オプションによって制御されていた;このファイルは 2.4.x 以降では存在しない]このブール値のフラグが有効になっている (0 以外になっている) と、到着したフラグメント (IP パケットの一部で、発信元と発信先の間のどこかのホストで、そのパケットが大きすぎると判断され、分割された場合に生じる)は、たとえフォワードされる場合であっても処理前に再構築 (デフラグメント) される。 - JM
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. 任意線形時間論理時相特性の有界モデル検査方法であって、Fはeventuality演算子、Gはglobally演算子、Uはuntil演算子、Xはnext−time演算子を表す時相演算子F(p)、G(p)、U(p, q)、X(p)に関連付けられた特性を、ブーリアン充足可能性検査から成る特性検査スキーマに変換するステップから成る。 - 特許庁
The present method for transmitting predicates in a publish-subscribe network includes receiving a representation including Boolean-values predicates associated with the subscriptions; then encoding the relevant representation into a message for transmission in the network to be used for content-based routing; and further transmitting the message to at least one router in a network core for applying content-based routing to the subscriptions. パブリッシュ/サブスクライブ型ネットワークにおいて述部を送信する本方法では、サブスクリプションと関連するブール代数値化された述部を含む表現を受信し、次いで、当該表現を、コンテンツ・ベースのルーティングをする際に使用するためネットワークにおける送信のためのメッセージに符号化し、更に、コンテンツ・ベースのルーティングをサブスクリプションに与えるためネットワーク・コア内の少なくとも1つのルータにメッセージを送信する。 - 特許庁
Copyright (c) 2001 Robert Kiesling. Copyright (c) 2002, 2003 David Merrill. The contents of this document are licensed under the GNU Free Documentation License. Copyright (C) 1999 JM Project All rights reserved.
Copyright 2001-2004 Python Software Foundation.All rights reserved. Copyright 2000 BeOpen.com.All rights reserved. Copyright 1995-2000 Corporation for National Research Initiatives.All rights reserved. Copyright 1991-1995 Stichting Mathematisch Centrum.All rights reserved.