遷移状態論の英語

デバイス選択入力およびクロック入力における論理状態の遷移を検出する手段、デバイス選択入力における論理状態の遷移の間に生じるクロック入力における所定の数の論理状態の遷移に応答して、デバイスの動作モードを変更する手段を含むデバイスが開示される。例文帳に追加

A device comprising a means detecting transition of the logic state in a device selection input and clock input and a means changing the operation mode of the device responding to the transition of logic states of a prescribed number in the clock input generated between transitions of the logic state in the device selection input is disclosed. - 特許庁

人為的な操作を必要とせずに、不正な論理的通信経路を一掃し、接続要求受諾可能な状態に遷移させる。例文帳に追加

To provide a terminal control means that sweeps out illegal logic communication paths without the need for any artificial operation so as to restore connection requests to an acceptable state. - 特許庁

プラント３の不完全な運転方案の他に、推定補足情報としてプラント３の状態遷移情報（状態遷移図）および制御装置２の既知の論理情報（論理図）のうちの１つを、入力操作部１４から入力されて設計情報データベース１２が獲得する。例文帳に追加

Then, the incomplete operation plan of a plant 3 and one of the state transition information (state transition drawing) of the plant 3 as estimated supplementary information and the already known logical information (logical drawing) of a controller 2 are inputted from an input operating part 14, and obtained by a design information data base 12. - 特許庁

本発明は、イベントと遷移とで表される状態遷移モデルから故障の木解析図を生成する故障の木解析生成方法であって、状態遷移モデルを少なくとも一以上の論理式として解釈し、論理式に基づいて、与えられたイベントをトップイベントとする故障の木解析を生成する故障の木解析生成方法である。例文帳に追加

The method for generating fault tree analysis which is configured to generate a fault tree analysis diagram from a state transition model which is represented in terms of events and transitions includes steps of interpreting the state transition model, as at least one logical formula and generating a fault tree analysis where the given event is disposed at a top event, based on the logical formula. - 特許庁

状態数が多く、状態遷移が複雑な回路に対しても、形式的論理検証可能な回路を提供し、効率良くかつ高精度の論理検証可能な回路設計を行う。例文帳に追加

To perform circuit design for achieving highly efficient and precise logical verification by providing a circuit capable of achieving formal logical verification even to a circuit with the large number of states and complicate state transition. - 特許庁

他の場合には静的バスの電流パルス整合器(100)は、該バスの信号を1つの論理状態から別の論理状態へと遷移させるのに使用される電流の量に近似する一定量の電流を分路させる。例文帳に追加

In other cases, the current pulse matching device (100) on the static bus shunts a prescribed amount of current approximated to the amount of currents used to transit the signal of the bus from one logic state to another logic state. - 特許庁

前記選択信号は、所定の持続数以上のビット区間の間に同一の論理状態を持続した後に発生する前記入力データの遷移時点で活性化状態である。例文帳に追加

The selection signal is in an active state at the time of transition of the input data generated after the same logical state is maintained during bit sections more than the predetermined number to be maintained. - 特許庁

制御手段１、デコード手段２、ダウンロード手段３から成り、コア４の論理回路およびメモリ回路を構成する素子の状態を遷移させるコアテスト回路をコア４の周辺論理回路としてＬＳＩに搭載する。例文帳に追加

The circuit for testing cores consisting of a control means 1, a decoding means 2 and a downloading means 3 and to transit states of elements to constitute a logical circuit and a memory circuit of the core 4, is mounted on an LSI as a peripheral logical circuit of the core 4. - 特許庁