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

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は,アプリケーションがアクセス権の検査のために使用できる一連のサービスを定義する． - コンピューター用語辞典

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

滋賀県の「コープしが」では各世帯に直接訪問する生協の個配事業の特性を生かし、宅配時に安否確認を実施している。 - 経済産業省

First, the Affine model to a control target is acquired, a plurality of data sets are acquired from the control target, and they are divided into a training set and a checking set, so as to automatically convert the Affine model into the linear model (S10, 12, 14).例文帳に追加

Ａｆｆｉｎｅ形式のモデルを自動的に線形形式モデルに変換するために、まず、制御対象に対するＡｆｆｉｎｅ形式モデルを取得し、制御対象から複数のデータセットを取得し、これをトレーニングセットとチェキングセットに二分する（Ｓ１０，１２，１４）。 - 特許庁

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

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

The trademark application is subject to a preliminary formal examination pursuant to its filing at the INPI, which will be restricted to the checking of the following documents: 3.1.1. application form, as per Form Model I; 3.1.2. labels, if the case may be; 3.1.3. receipt of payment of the official filing fee. 例文帳に追加

商標出願は，INPIへの出願に基づく予備的な方式審査の対象となり，INPIは次の書類のチェックに限定される。 様式モデルIによる願書； 場合により，ラベル； 法定出願手数料の納付受領書 - 特許庁

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

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

A program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program.例文帳に追加

プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査（ＢＭＣ）のために、下位問題に分解されている。 - 特許庁

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

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

To provide a dynamic printer modelling for output checking which dynamically adapts a mathematical model to the group of operating condition relevant to the operation of a print mechanism and compares an expected output print to an actual output print to detect a print error.例文帳に追加

印刷機構の動作に関連した動作条件群に対して、数学的モデルを動的に適合し、実際の出力印刷物と比較して印刷エラーを検出する。 - 特許庁

Consequently the user can easily obtain necessary information or request a repair without checking or inputting the model name, serial number or the like of the network terminal apparatus.例文帳に追加

これにより、使用者がネットワーク端末装置の機種名やシリアルナンバーなどを調べたり入力する必要が無く容易に必要な情報を得たり修理を依頼することが可能となる。 - 特許庁

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

This human body model enables the users to make training while checking whether the respiratory duct is assured by recurvation of the head section to backwardly tilt the head section 10 or jerking up of the jaw tip to pull up the lower jaw section 20 or not.例文帳に追加

この人体モデルでは、頭部１０を後傾させる頭部後屈や下あご部２０を引き上げるあご先挙上によって気道が確保されたか確認しながら訓練することができる。 - 特許庁

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 model generation apparatus and program, capable of easily generating three-dimensional model data that are used for the three-dimensional recognition processing of an object by obtaining three-dimensional information from image data obtained by imaging the object by a plurality of cameras, and by checking the obtained three-dimensional information with the three-dimensional model data.例文帳に追加

対象物を複数のカメラで撮像して得られる画像データから３次元情報を取得し、当該取得した３次元情報を３次元モデルデータと照合することで、当該対象物について３次元認識を行う処理に用いられる、３次元モデルデータを容易に作成することが可能なモデル作成装置およびモデル作成プログラムを提供する。 - 特許庁

The defect detection step includes: a step for capturing use cases associated with the software application, and for checking their validity; a step for providing an automatic invocation of property monitors for model checking; a step for visualizing one or more defects in the software application for diagnosis.例文帳に追加

この欠陥検出段階は、ソフトウェアアプリケーションと関連する使用状況を捕らえ、その有効性を確認する段階と、モデルチェックのための特性モニタの自動起動を与える段階と、診断のためにソフトウェアアプリケーションにおける１又はそれ以上の欠陥を視覚化する段階とを有する。 - 特許庁

To reduce efforts for manually checking solution models by automatically certifying that all the sufficiency solutions to constraints satisfy conditions of rightness of a given sufficiency solution when the rightness of constraint sufficiency problems is inspected using a solution model.例文帳に追加

解モデルを用いて制約充足問題の正しさを検査する際、制約に対する全ての充足解が与えられた充足解の正しさの条件を満たすことをコンピュータを用いて自動的に証明することで、人手で解モデルを確認する労力を削減する。 - 特許庁

In a test vector formation support part 13, a test cycle time, a delay time of an input signal value and an expected value checking time are extracted from a pseudo peripheral circuit model, and a file for specifying extraction timing of test data is formed based thereon.例文帳に追加

テストベクタ作成支援部１３において、疑似周辺回路モデルから、テストサイクル時間、入力信号値の遅延時間及び期待値照合時間を抽出しこれらをもとにテスト用データの抽出タイミングを指定するファイルを生成する。 - 特許庁

To provide an automatic sheet metal shape checking device capable of automatically judging whether solid model shape data outputted by a general three-dimensional (3D) CAD system show a sheet metal shape having a bending structure of a sheet metal developable plane or not.例文帳に追加

汎用３次元ＣＡＤシステムが出力するソリッドモデル形状データが、板金展開可能な平板の折り曲げ構造をもった板金形状であるか否かを自動判定することができる板金形状自動検査装置を提供すること。 - 特許庁

The computer bodies 12 recognize the shapes of three-dimensional models, divide the models into a plurality of elements from results of shape recognition of them and determine the optimal work requirement among the pieces of work process information by using the work process data base by every divided element in the case of checking the drawing of the three-dimensional model.例文帳に追加

コンピュータ本体１２は、３次元モデルの検図に際し、３次元モデルの形状認識を行うと共にその形状認識の結果から当該モデルを複数の要素に分割し、該分割した要素毎に、前記加工工程データベースを用いて加工工程情報の中から最適な加工要件を決定する。 - 特許庁

To enable even a user who has little expert knowledge to highly accurately and efficiently develop a new product and an improved product by providing a human body model having flexibility closer to the fleshy part of a human body and clarifying a standard for checking and evaluation in the study and development of clothes for a soft part such as brassieres and girdles.例文帳に追加

人体の肉質部により近い柔軟性を有した人体モデルを実現させ、ブラジャー、ガードル等の柔らかい部分の衣類の研究、開発におけるチェック、評価に関する基準の明確化を図り、専門的知識が乏しくても、精度が高く、しかも効率的に新製品や改良製品の開発が行えるようにする。 - 特許庁

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

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