「有限状態機械」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

無線通信装置は有限状態機械として設計されたレイヤ２インターフェイスを有する。例文帳に追加

The wireless communication device has a layer 2 interface designed as a finite state machine. - 特許庁

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

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

同有限状態機械は、ナル状態、データ伝送状態、リセット・ペンディング状態、ローカル・サスペンド状態及びリセット／サスペンド状態を有する。例文帳に追加

The finite state machine has a null state, a data transmission state, a reset pending state, a local suspend state and a reset/suspend state. - 特許庁

セルオートマトンのそれぞれのセルは,その隣接機械の状態を入力として取り,それ自身の状態を出力する有限状態機械とみなされる．例文帳に追加

Each cell in a cellular automaton could be considered to be a finite state machine which takes its neighbours' states as input and outputs its own state.  - コンピューター用語辞典

マイクロ命令を実行するマイクロコード命令キャッシュと組み合わせた有限状態機械を含むマイクロプロセッサアーキテクチャである。例文帳に追加

A microprocessor architecture includes a finite state machine in combination with a microcode instruction cache for performing microinstructions. - 特許庁

このハードウェアとしては、マイクロプログラミング方式を用いた有限状態遷移機械を用いて実現する。例文帳に追加

This hardware is achieved by using a finite state transition machine which uses a microprogramming method. - 特許庁

入力制約情報算出部２０３は、生成された有限状態機械モデルを用いて、入力制約情報を算出する。例文帳に追加

The input constraint information computing section 203 computes input constraint information by using the generated finite state machine model. - 特許庁

通常、頻繁に繰り返してループされた演算の短いシーケンスを生じるマイクロ命令が有限状態機械（ＦＳＭ）で実施される。例文帳に追加

Microinstructions which would normally result in small sequences of high-repetition looped operations are implemented in a finite state machine (FSM). - 特許庁

マイクロコードと有限状態機械セルフテストを組み合わせるプログラマブル・メモリビルトイン・セルフテスト例文帳に追加

PROGRAMMABLE MEMORY BUILT-IN SELF-TEST COMBINING MICRO- CODE AND FINITE STATE MACHINE SELF-TEST - 特許庁

検証対象のユースケース図１０１からユースケース（たとえば、ユースケース１）を選択するとともに、検証対象の仕様をあらわす有限状態機械モデル群１０２から当該ユースケース１に対応する有限状態機械モデル９００を選択する。例文帳に追加

A use case (e.g. a use case 1) is selected from a use case diagram 101 for a verification target, and a finite state machine model 900 corresponding to the use case 1 is selected from a finite state machine model group 102 representing the specifications of the verification target. - 特許庁

キーの照合操作を定義した有限状態機械の状態遷移表から、現状態から初期状態への遷移操作を表すデータを除いて、スパースな状態遷移表を作成し、その状態遷移表を圧縮された配列形式で格納する。例文帳に追加

A sparse state transition table is created by eliminating data indicating a transition operation from the current state to the initial state from a state transition table at a finite state machine in which a collating operation of the key is defined and the state transition table is stored in a compressed array form. - 特許庁

有限状態機械において、個別の状態間の遷移は、例示的に、非同期スパイキング入力の正の遷移によって活性化される遷移回路を用いて、双安定回路を選択的に１状態とすることによって実行する。例文帳に追加

In this finite state machine, transition between the individual states is executed by selectively turning a bistable circuit to 1 state by using a transition circuit activated by the positive transition of asynchronous spiking input for example. - 特許庁

キーの照合操作を定義した有限状態機械の状態遷移表から、ファイル内の照合位置を照合方向と逆の方向に戻すシフト操作を表すデータを削減して、スパースな状態遷移表を作成し、その状態遷移表を圧縮された配列形式で格納する。例文帳に追加

A sparse state transition table is prepared by reducing data indicating a shifting operation for returning a collating position in a file to the direction opposite to the collating direction from a state transition table of a finite state machine in which an collating operation of the key is defined and the state transition table is stored in a compressed array form. - 特許庁

ディジタル有限状態機械７１０は、複数のディジタル状態を確立する手段７１５と、ディジタル入力７１１およびスパイクアナログ入力７３１を受け取る手段と、ディジタル出力を生成する手段とを有する。例文帳に追加

The machine 710 has a means 715 for establishing plural digital states, a means for receiving digital input 711 and a spike analog input 731 and a means for generating digital output. - 特許庁

生成部２０２は、インターフェース仕様記述情報Ｄ２に基づいて、ハードウェアモジュールに入出力される信号の状態遷移に関する有限状態機械モデルを生成する。例文帳に追加

The generating section 202 generates a finite state machine model relating to a state transition of a signal inputted to and outputted from the hardware module on the basis of the interface specification description information D2. - 特許庁

有限状態機械ＦＳＭは各セッション／ノード／プロトコル及びそれらの組み合わせに対して保持され，不正な状態（これらは悪意のある攻撃の結果でもある）、あるいは不正な状態遷移は侵入の可能性があるとしてフラッグが付される。例文帳に追加

The finite-state machine (FSM) is maintained to each session/node/protocol and their combinations, and an illegal state or an illegal state transition, which might be the result of a malicious attack, is flagged as a potential intrusion. - 特許庁

前記第一および第二の数値制約条件のそれぞれを式で表現し、前記第一および第二のストリング制約条件のそれぞれを有限状態機械で表現する（１０６）。例文帳に追加

Each one of the first and second numeric constraints is expressed by an equation, and each one of the first and second string constraints is expressed by a finite state machine (106). - 特許庁

また、人間の歩行と類似した動作で有限状態機械（ＦＳＭ）を構成して、自然な歩行動作を可能にし、膝を曲げずに歩行させることで、大きな歩幅の歩行と効率的なエネルギーの使用を可能にする。例文帳に追加

A finite state machine (FSM) is composed by motions analogous to human walking to be able to make natural walking motions and is made to walk without bending its knees, thereby enabling walk with long strides and the efficient use of energy. - 特許庁

イベントキュー３７０はアプリケーションプログラム群３３０の各アプリケーションプログラムの有限状態機械のオブジェクトに対するイベントを保持する。例文帳に追加

An event queue 370 holds events to objects of a finite state machine of each application program in the application program group 330. - 特許庁

本発明はある種のＶｏＩＰ関連プロトコル（Session Initiation Protocol(SIP)はコンパクトサイズの有限状態機械ＦＳＭにより表されるのに充分なほど単純であるということに基づいて本発明は実行される。例文帳に追加

The present invention is executed based on the observation that some VoIP-related protocols (Session Initiation Protocol (SIP)) are simple enough to be represented by a finite-state machine (FSM) of compact size. - 特許庁

デジタル有限状態機械およびアナログ同調回路で構成されたハイブリッド同調回路を用いて、プロセス、温度、電力供給、およびサンプリング・レートの変化に対して連続時間積分器定数のＲＣ積を効果的に維持する。例文帳に追加

In a method for adjusting the integration period, a hybrid tuning circuit consisting of a digital finite state machine and an analog tuning circuit is used to effectively keep the RC product of the continuous time integrator constant for process, temperature, power supply, and sampling rate variations. - 特許庁

モデル抽出装置５は、動作レベル記述、各中間レベル記述、RTL 記述からそれらに対応するモデルとして有限状態機械をベースとする制御構造と信号の更新を表現可能なモデルを抽出し、信号値関数抽出装置７は、モデルから信号値関数を抽出する。例文帳に追加

A model extracting device 5 extracts models capable of expressing update of control structure and signals based on a finite state machine as models corresponding to the operation level description, the respective intermediate level descriptions and the RTL description from them and a signal value function extracting device 7 extracts signal value functions from the models. - 特許庁

設計対象の要求仕様および設計仕様をモデル化して、要求仕様モデル（ユースケース記述）と設計仕様モデル（有限状態機械モデル）との整合性をチェックすることにより、設計仕様モデルに対する要求仕様モデルの網羅性を確保する。例文帳に追加

The required specifications and design specifications of a design object are modeled, and the compatibility between a required specification model (use case description) and a design specification model (finite state machine model) is checked so that satisfaction of the required design model to the design specification model can be secured. - 特許庁

本発明は、一般フォーマットを用いてプロトコルメッセージ内にフィールドを記述する少なくとも１つの記述と、少なくとも１つの記述を機械読み取り可能なテンプレートへと変換するアプリケーションと、テンプレートに基づいてプロトコルメッセージを作成するプロトコル有限状態機械と、を有するプロトコルエミュレーション・システムを提供する。例文帳に追加

The protocol emulation system has at least one description that describes fields, using a generic format, in a protocol message, an application that transforms at least the one description into a machine readable template, and a protocol finite state machine that creates a protocol message based upon the template. - 特許庁

プロトコルエミュレーション・システム２００は、一般フォーマットを用いてプロトコルメッセージ内にフィールドを記述する少なくとも１つの記述と、少なくとも１つの記述を機械読み取り可能なテンプレートへと変換するアプリケーションと、テンプレートに基づいてプロトコルメッセージを作成するプロトコル有限状態機械と、を有する。例文帳に追加

A protocol emulation system 200 includes: at least one description that describes fields, using a generic format, in a protocol message; an application that transforms the at least one description into a machine-readable template; and a protocol finite state machine that creates protocol messages based upon the template. - 特許庁

非可観測変数推定部２３は、可観測変数取得部２１が収集したセンサ情報や予定、時間帯、および過去に導出したプレゼンス情報といった可観測変数を用い、各時刻における利用者のプレゼンス情報を有限状態機械に類似した構造を持つ確率モデルである隠れマルコフモデルの内部状態として定式化することによって、より正確なプレゼンス情報を導出する。例文帳に追加

A non-observable variable estimating part 23 derives more precise presence information by using observable variables, such as sensor information, schedule or time zones collected by an observable variable acquiring part 21, and previously derived presence information, and formulating a user's presence information at each time as the internal state of a hidden Markov model, which is a probability model with a structure similar to a finite-state machine. - 特許庁