状態モデルの英語

状態遷移モデルと検査条件とから、モデル検査時における状態爆発の発生を低減し、検査条件に応じた最適な状態遷移モデルを生成可能なモデル検査装置を提供する。例文帳に追加

To provide a model inspection device for generating an optimal state transition model corresponding to an inspection condition by reducing the occurrence of state explosion during model inspection on the basis of a state transition model and the inspection condition. - 特許庁

状態診断部４は、モデル作成手段と、モデル計算手段と、異常確率計算手段とを含む。例文帳に追加

The state diagnostic part 4 includes a model production means, a model calculation means and an abnormality probability calculation means. - 特許庁

このモデルから、各モデルまたは状態に対して確率が得られ、特徴ベクトルが判定される。例文帳に追加

From the models a probability is obtained for each model or state, and feature vectors are determined. - 特許庁

選択された有限状態機械モデル９００をＫｒｉｐｋｅモデル１０３に変換する。例文帳に追加

The selected finite state machine model 900 is converted into a Kripke model 103. - 特許庁

音素モデル構造表作成部は、音響モデルの要素である音素環境と状態位置と状態数で特定されるＨＭＭ状態にＨＭＭ状態ＩＤを付与し、そのＨＭＭ状態ＩＤの表を音素モデル構造表として作成して音素モデル構造表記憶部に記憶する。例文帳に追加

A phoneme model structure table creation section imparts an HMM state ID to an HMM state specified from a phonemic environment, a state position and a state number which are factors of an acoustic model, creates a table of the HMM state IDs as a phoneme model structure table and stores the table in a phoneme model structure table storage section. - 特許庁

スムースタイヤモデルとともにタイヤモデルを構成する部分ブロックモデル、車体モデル及び流体モデルが作成されるとともに、空気入りタイヤの回転状態と、空気入りタイヤと車体との併進状態とに応じて、部分ブロックモデルの境界条件が設定される。例文帳に追加

A smooth tire model and partial block models constituting the tire model, a vehicle body model, and a fluid model are formed, and the boundary conditions of the partial block models are set depending on the condition of rotating a pneumatic tire and the condition of moving the pneumatic tire and a vehicle body in combination. - 特許庁

さらに、制約条件を満たす建物モデルの中から極大状態にある建物モデルを抽出する極大状態抽出手段１１を備える。例文帳に追加

The system also comprises a maximum state extraction means 11 extracting the building model in the maximum state from the building models meeting the restriction conditions. - 特許庁

運転者の状態別のドライバモデルによって運転者の状態を適切に判断することできるドライバモデル作成装置を提供する。例文帳に追加

To provide a driver model creation device for properly determining the state of a driver by state-based driver models of the driver. - 特許庁