例文 (6件) |
"Temporal logic"を含む例文一覧と使い方
該当件数 : 6件
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.例文帳に追加
時相論理式判定装置の判定結果が真になった場合に、検証プログラム解釈部を駆動し、真になった時相論理式と対になっている検証プログラムを実行する。 - 特許庁
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.例文帳に追加
LTL式に不慣れな者であっても、LTL式を容易に確認することができるLTL式確認システム、LTL式確認方法及びLTL式確認プログラムを提供する。 - 特許庁
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.例文帳に追加
検出部105は送信データ104の経時的な論理変化を検出して、基準電圧制御部114から出力される基準電圧調整信号124を変化させて2値化の適正化を図ると共に、遅延調整部106から出力されるクロック信号の位相を変化させてデータの取り込みを調整する。 - 特許庁
例文 (6件) |
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
Copyright © Japan Patent office. All Rights Reserved. |
![]() ログイン |
Weblio会員(無料)になると
![]() |
![]() ログイン |
Weblio会員(無料)になると
![]() |