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

TEMPORAL LOGIC FORMULA CREATION SUPPORT SYSTEM, TEMPORAL LOGIC FORMULA CREATION SUPPORT METHOD AND TEMPORAL LOGIC FORMULA CREATION-SUPPORTING PROGRAM例文帳に追加

時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム - 特許庁

To provide a temporal logic formula creation support system eliminating difficulty in creation of a temporal logic formula.例文帳に追加

本発明は、時相論理式の作成における困難性を解消し得る時相論理式作成支援システムを提供する。 - 特許庁

These seem well suited to reconstruction using temporal logic programs.発音を聞く 例文帳に追加

これらは,時相論理プログラムを使用して復元するのによく適していると思われる． - コンピューター用語辞典

When a decision result of a temporal logic formula decision device is true, a verification program interpreting part is driven to execute a verification program paired with a temporal logic formula which gets true.例文帳に追加

時相論理式判定装置の判定結果が真になった場合に、検証プログラム解釈部を駆動し、真になった時相論理式と対になっている検証プログラムを実行する。 - 特許庁

The apparatus also includes a sub-carrier detection logic, coupled to the variable threshold logic, and configured to detect the sub-carrier signal by checking both spatial and temporal characteristics of the sub-carrier detection logic.例文帳に追加

この装置は、前記可変スレッショルドロジックに結合され、前記副搬送波検出ロジックの空間および時間特性の両方をチェックすることによって前記副搬送波信号を検出するよう構成された副搬送波検出ロジックも含む。 - 特許庁

To provide an LTL (linear temporal logic) model checking system, an LTL model checking method and an LTL model checking program enabling even a person inexperienced in an LTL expression to easily confirm the LTL expression.例文帳に追加

ＬＴＬ式に不慣れな者であっても、ＬＴＬ式を容易に確認することができるＬＴＬ式確認システム、ＬＴＬ式確認方法及びＬＴＬ式確認プログラムを提供する。 - 特許庁

A logic circuit 240 outputs a timing regulating signal PS regulating an effective scanning range and waveform data WD corresponding to the frequency of the pixel clock in accordance with the temporal change of the scanning speed of the scanner 210 in response to the signal CP2 and the signal MCK.例文帳に追加

ロジック回路２４０は同期信号ＣＰ２およびクロック信号ＭＣＫに応答して有効走査範囲を規定するタイミング規定信号ＰＳおよび共振スキャナ２１０の走査速度の時間的変化に応じた画素クロックの周波数に対応する波形データＷＤを出力する。 - 特許庁