linear operatorsとは 意味・読み方・使い方

To provide a linear motor driver, where a plurality of operators are positioned independently with the same stator, in a moving magnet linear motor.例文帳に追加

ムービングマグネット型リニアモータにおいて、同一固定子で複数の稼動子を独立して位置決めするリニアモータ駆動装置を提供する。 - 特許庁

To provide a system and method for designing secure synchronization protocols in mobile communication by using Deterministic Random Number Generator (DRNG) through linear operators without using multi-precision integers.例文帳に追加

多倍精度整数を使用せずに、決定論的な乱数発生器（ＤＲＳＧ）を用い、線形演算子によって、移動体通信の安全な同期プロトコルを設計するシステム及び方法を提供する。 - 特許庁

In the moving magnet linear motor, the power supply to the coil 113 of a stator is divided with an arbitrary number of poles, so as to work a plurality of operators 11 above the same stator 112, and each divided pole 115 is supplied with power independently.例文帳に追加

ムービングマグネット型リニアモータにおいて、複数の稼動子１１１を同一の固定子１１２上で動作させるために、固定子のコイル１１３への電力供給を任意の極数で分割し、分割した各極１１５に、独立して電力を供給するようにした。 - 特許庁

The page description data processing device checks whether page description data Dp include an object in which a path is stroked, checks whether the object includes a curved path constituting operator, determines a broken-line shaped path that approximates a curved path in the curved path constituting operator, and replaces the curved path constituting operator with a plurality of linear-path constituting operators that correspond to the broken-line shaped path.例文帳に追加

ページ記述データＤｐ中にパスをストロークするオブジェクトがあるかどうかを確認し、当該オブジェクト中に曲線パス構築オペレータが含まれているかどうかを確認し、当該曲線パス構築オペレータにおける曲線状のパスに近似した折れ線状のパスを決定し、当該曲線パス構築オペレータを前記折れ線状のパスに対応する複数の直線パス構築オペレータに置き換える。 - 特許庁

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

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