| 意味 | 例文 (8件) |
Temporal logicの部分一致の例文一覧と使い方
該当件数 : 8件
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.例文帳に追加
ロジック回路２４０は同期信号ＣＰ２およびクロック信号ＭＣＫに応答して有効走査範囲を規定するタイミング規定信号ＰＳおよび共振スキャナ２１０の走査速度の時間的変化に応じた画素クロックの周波数に対応する波形データＷＤを出力する。 - 特許庁
A detection part 105 detects temporal logic variance of the transmitted data 104, varies a reference voltage regulation signal 124 output from a reference voltage control part 114 to optimize binarization and varies a phase of a clock signal output from a delay adjustment part 106 to adjust fetching of the data.例文帳に追加
検出部１０５は送信データ１０４の経時的な論理変化を検出して、基準電圧制御部１１４から出力される基準電圧調整信号１２４を変化させて２値化の適正化を図ると共に、遅延調整部１０６から出力されるクロック信号の位相を変化させてデータの取り込みを調整する。 - 特許庁
| 意味 | 例文 (8件) |
 | Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
| Copyright © Japan Patent office. All Rights Reserved. |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！|
ログイン |
Weblio会員(無料)になると
|
