ブーリアン演算の英語

ブール検索, ブーリアン検索《ブール演算子を使った検索》例文帳に追加

a Boolean search発音を聞く  - 研究社 英和コンピューター用語辞典

次いでブーリアン演算を行い（Ｓ１４）、演算されて得た形状に再びフィレットなどを作成した後（Ｓ１６）、抜き勾配を作成する（Ｓ１８）。例文帳に追加

Then, a Boolean arithmetic operation is performed (S14), and the fillet or the like is prepared again for the shape obtained as the result of the arithmetic operation (S16), and a draft is prepared (S18). - 特許庁

判断手段２ｂは、演算された前記物体の形状および位置の情報と、他の物体の形状および位置の情報とから、ブーリアン演算により、物体間の干渉の有無を判断する。例文帳に追加

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. - 特許庁

図形ブーリアン演算の演算誤差の発生を抑制して、３次元形状オブジェクトの見える部分を構成しているポリゴンの形状を正確に抽出することができる図形処理装置を得ることを目的とする。例文帳に追加

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. - 特許庁

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

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. - 特許庁

ＣＰＵ１は、複数の単位構造体を縦横方向へ一線分上に整列させ、相隣る周面が互いに当接するように積層させて積層構造体を生成させた後、ブーリアン演算部４１を作動させて、外皮９０と積層構造体との論理和を演算させる。例文帳に追加

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. - 特許庁

図形の交差判定や内包関係の判定における幾何学的に不可能な状況の発生を回避することにより、正常にブーリアン演算処理を実行できる図形処理装置及びこの装置としてコンピュータを機能させるプログラムを提供する。例文帳に追加

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. - 特許庁