| 意味 | 例文 (35件) |
model-checkingとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 モデル検査
「model-checking」の部分一致の例文検索結果
該当件数 : 35件
LTL MODEL CHECKING SYSTEM, LTL MODEL CHECKING METHOD, AND LTL MODEL CHECKING PROGRAM例文帳に追加
ＬＴＬ式確認システム、ＬＴＬ式確認方法及びＬＴＬ式確認プログラム - 特許庁
an approach to model-checking for timed automata via reachability testing発音を聞く 例文帳に追加
到達可能性テストによる,時間付きオートマタに対するモデル検査方法 - コンピューター用語辞典
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.例文帳に追加
ＬＴＬ式に不慣れな者であっても、ＬＴＬ式を容易に確認することができるＬＴＬ式確認システム、ＬＴＬ式確認方法及びＬＴＬ式確認プログラムを提供する。 - 特許庁
The integrity checking device 6 includes an output side temperature estimating model 20 for estimating the temperature of a steel plate 1 heated by a heater 3 through model calculation, and a deviation checking means 21 for checking the deviation between the temperature measured by the radiation thermometer 4 and the temperature estimated by the output side temperature estimating model 20.例文帳に追加
ヒータ３により加熱した鋼板１の温度をモデル計算により推定する出側温度推定モデル２０と、放射温度計４により測定した温度と出側温度推定モデル２０により推定した温度との偏差をチェックする偏差チェック手段２１とを含む健全性チェック装置６である。 - 特許庁
The View-based Access Control Model defines a set of services that an application can use for checking access rights.発音を聞く 例文帳に追加
VACMは,アプリケーションがアクセス権の検査のために使用できる一連のサービスを定義する． - コンピューター用語辞典
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
ウィキペディア英語版での「model-checking」の意味 |
Model checking
出典:『Wikipedia』 (2011/06/08 11:38 UTC 版)
「model-checking」の部分一致の例文検索結果
該当件数 : 35件
METHOD FOR PRODUCING EXTRAPOLATION FACE OF PRODUCT MODEL AND METHOD FOR DESIGNING CHECKING FIXTURE例文帳に追加
製品モデルの外挿面作成方法およびチェッキングフィクスチャー設計方法 - 特許庁
To efficiently verify a program handling recursive data by a model checking method.例文帳に追加
再帰データを扱うプログラムをモデル検査法により効率的に検証すること。 - 特許庁
Concrete execution traces are generated for remaining warnings using model checking.例文帳に追加
具体的な実行トレースが、モデル検査を用いて残存する警告のために生成される。 - 特許庁
A detail model-checking section 17 detects interference from the overlapping between the detail interference spaces, with respect to the body part on which a simple model-checking section 15 has detected interference from the overlapping between the interference spaces.例文帳に追加
簡易モデルチェック部１５が干渉空間同士の重なり合いから干渉を検出した部位について、詳細モデルチェック部１７が詳細干渉空間の重なり合いから干渉を検出する。 - 特許庁
To provide a processing simulation device for properly checking interference of a tool model without determining the volume of an interference region.例文帳に追加
干渉領域の体積を判断する必要をなくし、工具モデルの干渉を的確にチェックできる加工シミュレーション装置を提供する。 - 特許庁
To prevent a dispensing device of a model different from the one stored before cleaning and checking are performed, from being stored in a game machine.例文帳に追加
清掃や点検を行う前と異なる型式の払出装置が遊技機に収納されることを防止する。 - 特許庁
METHOD FOR CREATING REFERENCE MODEL DESIGNED TO BE USED FOR AUTOMATICALLY CHECKING PRINT QUALITY OF IMAGE ON PAPER SHEET例文帳に追加
紙面上の画像の印刷品質を自動検査するために使用することが意図された基準モデルを作成するための方法 - 特許庁
Co-op Shiga, in Shiga Prefecture, harnesses the specific properties of cooperative associations. direct-to-household home delivery business model to offer special services, checking on the well-being of customers during deliveries.発音を聞く 例文帳に追加
滋賀県の「コープしが」では各世帯に直接訪問する生協の個配事業の特性を生かし、宅配時に安否確認を実施している。 - 経済産業省
|
| 意味 | 例文 (35件) |
|
|
model-checkingのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| All Rights Reserved, Copyright © Japan Science and Technology Agency | |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのModel checking (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「model-checking」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
