logic operatorとは 意味・読み方・使い方

Whenever the user clicks the mouth selecting the retrieval style, the logic operator setting part 708 switches the logical operators of at least AND and OR periodically, and decides the logic operator depending on the number of timed of clicking the mouth to the retrieval style.例文帳に追加

論理演算子設定部７０８は、ユーザが検索式を選択しながらマウスをクリックするごとに、少なくともＡＮＤとＯＲの論理演算子を周期的に切り替え、その検索式に対してマウスをクリックした回数によって論理演算子を決定する。 - 特許庁

To provide a programmable logic control (PLC) display setting program suitable for PLC without the need of switching a display screenfor the manager and operator of plant equipment.例文帳に追加

工場設備の管理者と作業者とで表示画面を切り替える必要のないＰＬＣに好都合なＰＬＣ表示設定プログラムを提供する。 - 特許庁

To provide a program monitoring device for a plant controller enabling an operator to retrieve a control logic figure of a target module quickly.例文帳に追加

本発明の目的はオペレータが目的とするモジュールの制御ロジック図を速やかに検索できるプラントコントローラのプログラム監視装置を提供することにある。 - 特許庁

(3) Then a program, an apparatus and a method for supporting creation of a logic structure model support the work of adding the headlines obtained from the input form as actual expressions of the corresponding logic elements of the general logic structure model, thereby reducing the burden on an operator.例文帳に追加

（３）そこで、論理構造モデル作成支援プログラム、論理構造モデル作成支援装置および論理構造モデル作成支援方法は、入力帳票から取得された「見出し」を、「一般論理構造モデル」の対応する論理要素の「実表現」として追加する作業を支援して、作業者の負担軽減を図る。 - 特許庁

The part 18 converts the results undergoing the execution of the logic verification into a data format being notifiable by electronic mail and returns it to the operator.例文帳に追加

論理検証結果情報処理部１８は論理検証を実行した結果を電子メールで通知できるデータ形式に変換し、電子メールにて操作者へ返送する。 - 特許庁

A component management 11 generates an OPS (operator station) screen component and a CNS (controller) logic component, defines component signals to be used by the components and generates a component 26.例文帳に追加

部品管理１１により、ＯＰＳ画面部品及びＣＮＳロジック部品を生成するとともにこれらの部品で使用される部品信号を定義して部品２６を生成する。 - 特許庁

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

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

To provide a programmable logic controller (PLC) which enables an operator to accurately understand the progress of data transfer processing when transferring a user program from a cassette memory to a memory incorporated in a device.例文帳に追加

ユーザプログラムをカセットメモリから装置内蔵メモリに転送する際に、データ転送処理の進み具合の程度をオペレータに対して明確に理解させることができるようにしたＰＬＣを提供することに - 特許庁