「model checking method」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

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

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

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.例文帳に追加

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

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.例文帳に追加

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

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.例文帳に追加

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