「logic operator」を含む例文一覧(24)
- In this case, the logic operator setting part 708 decides the logic operator based on the number of times of clicking a mouth by the user.
このとき論理演算子設定部７０８は、ユーザがマウスをクリックした回数に基づいて論理演算子を決定する。 - 特許庁 - A logic operator setting part 708 sets a logic operator between the retrieval styles based on condition-deciding instruction from the user.
論理演算子設定部７０８は、ユーザからの条件決定指示に基づいて、検索式間の論理演算子を設定する。 - 特許庁 - Meanwhile, when the upload person is an "operator", the control part 21 extracts a logic from the spread sheet file, and compares the logic with the logic of the temporary version of spread sheet file.
一方、「オペレータ」である場合には、制御部２１は、表計算ファイルからロジックを抽出し、仮版の表計算ファイルのロジックと比較する。 - 特許庁 - To provide a logic verification remote control system capable of performing logic verification even at a terminal other than a terminal decided by an operator and reducing time needed for the logic verification.
操作者が決められた端末以外の端末でも論理検証を行え、論理検証に要する時間を短縮可能な論理検証遠隔操作システムを提供する。 - 特許庁 - Logic operator 2, upon receiving high frequency logic signals from signal input means, operates the logic signals to transmit them to offset voltage generating means 3.
論理演算部２は、信号入力手段１より高周波の論理信号を入力すると、この論理信号を演算してオフセット電圧発生手段３へ送信する。 - 特許庁 - When there is something abnormal in the files needing the logic verification, the logic verification is not carried out, and a logic verification results information processing part 18 notifies an operator of the effect that an error is found by checking by electronic mail.
論理検証に必要なファイルに異常がある場合、論理検証は実行せず、チェックでエラーになった旨を電子メールにて論理検証結果情報処理部１８から操作者へ通知する。 - 特許庁 - Once a predetermined trajectory is drawn, an existing logic operator is recognized as being selected, in accordance with predetermined rules.
既定の軌跡を描くと、予め定められた規則に従って、既定の論理演算子が選択されたと認識される。 - 特許庁 - 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.
ユーザプログラムをカセットメモリから装置内蔵メモリに転送する際に、データ転送処理の進み具合の程度をオペレータに対して明確に理解させることができるようにしたＰＬＣを提供することに - 特許庁 - To allow an operator to remotely log into a logic session B opened between a program 210 in a cryptograph device and a cryptograph library 220 in the cryptograph device without delivering a password to the program 210 in the cryptograph device.
操作者が暗号装置内プログラム２１０にパスワードを渡さず、暗号装置内プログラム２１０と暗号装置内暗号ライブラリ２２０との間でオープンされた論理セッションＢにリモートログインする。 - 特許庁 - In this workflow system, data used as a decision condition are extracted from data type information and a relation of a business database and are presented together with a decision condition operator, the workflow is prompted in definition, and definition contents are converted into logic and are registered.
業務データベースのリレーション関係、データ型情報より判断条件として利用するデータを抽出し、判断条件演算子と合わせて提示してワークフロー定義を促し、定義内容をロジックに変換して登録する。 - 特許庁 - To prevent any unexpected malfunction from occurring due to a ladder program that is installed in an actual machine PLC, and executed while an abnormal occurrence logic remains, resulting from such a factor that a debug operator forgets to delete it.
デバッグ作業者の削除し忘れ等を原因として、異常発生ロジックが残されたままの状態で、ラダープログラムが実機ＰＬＣにインストールされて実行され、それにより予期せぬ誤動作が生ずることを回避できること。 - 特許庁 - To provide a monitoring control system for reducing the workload of an operator and improving reliability by automatically taking over control logic data when a system such as an operation system and a standby system is switched.
運用系、待機系の系統が切換わったときに、制御論理データを自動的に引継げるようにし、オペレータの作業負担を軽減できるとともに、信頼性を向上できる監視制御システムを提供することを目的とする。 - 特許庁 - The simulator can be switched between an automatic mode and a manual mode, not to operate the control logic model at manual mode time but operate only the other model, so as to perform simulation of manual operation control of a robot operator by a robot manual operation control means (keyboard 28).
また、自動モードと手動モードの切り換えを可能として、手動モード時には制御ロジックモデルは作動させず、その他のモデルだけを作動させて、ロボット手動運転操作手段（キーボード２８）によるロボット操作員の手動運転操作をシミュレーションするように構成する。 - 特許庁 - A logic arithmetic execution means refers to invalidation request data of an input terminal corresponding to the invalidation condition input among invalidation request data stored in an invalidation request data storage means when a logic operation for safety control to be carried out includes an invalidation operator including an invalidation condition input and an invalidation object input, and invalidates input data corresponding to the invalidation object input when the content requests invalidation.
ロジック演算実行手段は、実行対象となる安全制御用ロジック演算に、無効化条件入力と無効化対象入力とを含む無効化演算子が含まれているときには、無効化要求データ記憶手段に格納される無効化要求データの中で、当該無効化条件入力に対応する入力端子の無効化要求データを参照し、その内容が無効化要求有りのときには、無効化対象入力に対応する入力データを無効化する。 - 特許庁 - At a packet classification request, the control logic retrieves a rule memory entry from the rule memory and a criterion memory entry specified by a criterion memory pointer in the rule memory entry and further performs operation prescribed by an operator in the rule memory entry with a value in the criterion memory entry and the corresponding value included in the classification request.
制御ロジックが、パケット分類要求に応答し、規則メモリからの規則メモリエントリを検索し、その規則メモリエントリ内の判定基準メモリポインタによって特定される判定基準メモリエントリを検索し、さらにその判定基準メモリエントリ内の値と、その分類要求に含まれる対応する値において、規則メモリエントリ内の演算子によって規定される演算を実行する。 - 特許庁 - When an operator, etc., operates an input device 2 to input the contents of the interlock matrix 5 handed over from a machine maker together with a program generation instruction, a rearrangement table 8 and the ladder circuit diagram 9 are generated according to a previously registered register table 11 and the contents of the interlock matrix 5 and then the program for the programmable logic controller is generated according to the ladder circuit diagram 9.
オペレータなどによって入力装置２が操作されて、プログラム作成指示とともに、機械メーカーなどから渡されたインターロックマトリックス５の内容などが入力されたとき、予め登録されているレジスタ表１１と、インターロックマトリックス５の内容とに基づき、並び替え表８、ラダー回路図９を作成した後、このラダー回路図９に基づき、プログラマブルロジックコントローラ装置用のプログラムを作成する。 - 特許庁 - A maintenance support device 3, for temporarily setting the values of a portion of arithmetic element parameters of arithmetic element parameter information 222 of a control device 2, selects a temporary setting target arithmetic element from arithmetic elements included in control logic information 321, generates temporary setting target arithmetic element information 323, and generates temporary setting arithmetic element parameter information 325 from the value of an arithmetic element parameter inputted by an operator.
保守支援装置３は、制御装置２の演算素子パラメータ情報２２２の一部の演算素子パラメータの値を仮設定するとき、制御ロジック情報３２１に含まれる演算素子から仮設定対象演算素子を選択して、仮設定対象演算素子情報３２３を生成し、オペレータにより入力される演算素子のパラメータの値から仮設定演算素子パラメータ情報３２５を生成。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
