小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > 専門用語対訳辞書 > model checking methodの意味・解説 

model checking methodとは 意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

Weblio専門用語対訳辞書での「model checking method」の意味

model checking method

Weblio専門用語対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

「model checking method」の部分一致の例文検索結果

該当件数 : 12



例文

LTL MODEL CHECKING SYSTEM, LTL MODEL CHECKING METHOD, AND LTL MODEL CHECKING PROGRAM例文帳に追加

LTL式確認システム、LTL式確認方法及びLTL式確認プログラム - 特許庁

METHOD FOR PRODUCING EXTRAPOLATION FACE OF PRODUCT MODEL AND METHOD FOR DESIGNING CHECKING FIXTURE例文帳に追加

製品モデルの外挿面作成方法およびチェッキングフィクスチャー設計方法 - 特許庁

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式確認プログラムを提供する。 - 特許庁

To efficiently verify a program handling recursive data by a model checking method.例文帳に追加

再帰データを扱うプログラムをモデル検査法により効率的に検証すること。 - 特許庁

METHOD FOR CREATING REFERENCE MODEL DESIGNED TO BE USED FOR AUTOMATICALLY CHECKING PRINT QUALITY OF IMAGE ON PAPER SHEET例文帳に追加

紙面上の画像の印刷品質を自動検査するために使用することが意図された基準モデルを作成するための方法 - 特許庁

To provide a method for tunneling and slicing based bounded model checking (BMC) decomposition to improve efficiency and reduce complexity for computer program verification.例文帳に追加

コンピュータ・プログラム検証の効率を改善し複雑さを減少するための、トンネリング及びスライシング・ベースの有界モデル検査(BMC)分解のための方法を提供する。 - 特許庁

例文

To provide a business modeling method for preventing the occurrence of an inconsistency by checking the consistency of a purpose and a viewpoint in a model formation by IDEF (integration definition language) 0, and a support system for executing it.例文帳に追加

IDEF0によるモデル作成において目的とビューポイントの整合性をチェックして不整合の発生を防止する業務モデリング方法と、その実施のための支援システムを提供する。 - 特許庁

>>例文の一覧を見る

調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

「model checking method」の部分一致の例文検索結果

該当件数 : 12



例文

To provide a simulation method for checking interference with an implant body even in the case of a model where the contour of a bone cannot be clarified.例文帳に追加

本発明の課題は、骨の輪郭を明確にできないモデルであってもインプラント体との干渉チェックを行えるようにするためのシミュレーション方法を提供すことを目的とする。 - 特許庁

To provide a diagnostic method for determining the normality or abnormality of equipment in checking by utilizing the proper regression coefficient of a self-regression model of sound signals generated by equipment such as a rotary machine.例文帳に追加

回転機械等の設備の発生する音信号の持つ自己回帰モデルの固有の回帰係数を利用して、点検時の設備の正常,異常を判定する診断方法を提供する。 - 特許庁

To provide a test method of a control program, which is capable of easily checking whether the control program mounted on a control model or an electronic control unit is abnormal or not when performing model base development and to provide a test device and a test program for use in this method.例文帳に追加

モデルベース開発を行うにあたって、制御モデルや電子制御装置に実装された制御プログラムの異常の有無を簡易に検査することのできる制御プログラムの検査方法、及び該制御プログラムの検査に用いる検査装置及び検査プログラムを提供する。 - 特許庁

To provide an information processor capable of efficiently performing checking work of the dimensions of a three-dimensional model even without generating a two-dimensional drawing nor performing drawing printing or the like, an information processing method, and a computer program.例文帳に追加

2次元の図面を生成や図面の印刷等を行わなくても、効率的に3次元モデルの寸法の検査作業を行うようにすることが可能な情報処理装置、情報処理方法、及びコンピュータプログラムを提供すること。 - 特許庁

例文

However, there had been no reference case of the check method applicable to evaluation of integrity of facilities, equipment, buildings and structures after earthquakes, and no relevant checking criteria was available.Therefore, NISA studied the issue based on expert opinions, and decided it necessary to analyze the level of a force applied due to the seismic force (seismic response analysis) by calculating the force using a model, and evaluate the integrity by combining them, in addition to detailed check of individual facilities and equipment.例文帳に追加

しかしながら、地震後の設備・機器や建屋・構築物の健全性評価に適用される点検の方法は、過去に参考にすべき事例がなく点検基準なども整備されていなかったため、原子力安全・保安院は、専門家の意見も踏まえつつ検討を行い、個別の設備・機器ごとの詳細な点検に加えて、地震力によってどの程度の力が働いたかをモデルを用いて計算することにより解析(地震応答解析)し、それらを組み合わせることによって健全性を評価することが必要と判断した。 - 経済産業省

>>例文の一覧を見る


model checking methodのページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2026 GRAS Group, Inc.RSS