logical simulation systemとは 意味・読み方・使い方

A logical simulation system is provided with a logical simulator for verifying the computer system, a simulation information file outputted in the middle of executing the simulation by the logical simulator and a check program checking the simulation information file in the middle of executing the simulation and judging the halfway state of the simulation.例文帳に追加

コンピュータシステムを検証するための論理シミュレータと、前記論理シミュレータによりシミュレーション実行途中に出力されるシミュレーション情報ファイルと、前記シミュレーション情報ファイルをシミュレーション実行途中にチェックしてシミュレーションの途中状態を判定するチェックプログラムとを備える。 - 特許庁

To raise simulation speed in a distributed simulation system for simulating a mobile body based on logical time by reducing the advancing frequency of the logical time.例文帳に追加

論理時刻に基づいて移動体を模擬する分散シミュレーションシステムにおいて、論理時刻の進行回数を低減してシミュレーション速度を向上させる。 - 特許庁

The system is provided with plural processor simulation models 103 for simulating software instruction operation, a logical circuit simulation model 105 for simulating a logical circuit part, a model switching means 102 for dynamically switching plural processor simulation models 103, and a synchronizing means 104 for synchronizing the simulation of the processor simulation models 103 with that of the logical circuit simulation model 105.例文帳に追加

ソフトウェアの命令動作をシミュレートする複数のプロセッサシミュレーションモデル（１０３）と、論理回路部をシミュレートする論理回路シミュレーションモデル（１０５）と、複数のプロセッサシミュレーションモデルを動的に切り替えるモデル切替手段（１０２）と、プロセッサシミュレーションモデルと論理回路シミュレーションモデルのシミュレーションを同期させる同期手段（１０４）とを備え、相互に作用を及ぼし合うプロセッサ部の命令動作と論理回路部の動作の検証を行う。 - 特許庁

To provide a system and method that decreasing network load and decreases disk utilization of a client machine by shortening return time, in the case of returning results of out-put, etc., of a logical simulation that is practiced from server machine that practices the logical simulation to the client machine.例文帳に追加

論理シミュレーションを実行するサーバマシンからクライアントマシンへの論理シミュレーションの出力結果等を返送する際の返送時間を短縮して、ネットワーク負荷を軽減するとともに、クライアントマシンのディスク使用量の低減を図るシステム及び方法の提供。 - 特許庁

The simulation system performs, when movement information of the mobile body is exchanged between logical processors, extrapolation processing with the same algorithm in both the logical processors on the transmitting side and receiving side of the movement information.例文帳に追加

論理プロセッサ間で移動体の移動情報の情報交換を行う場合に、移動情報の送信側と受信側の双方の論理プロセッサで同じアルゴリズムによる外挿処理を行う。 - 特許庁

A vehicle control simulation system comprises vehicle control software and virtual servers for respective types of vehicle logical models, and executes a corresponding simulation by starting a virtual server required for each process of the simulation.例文帳に追加

本発明に係る車両制御シミュレーションシステムは、車両制御ソフトウェアおよび車両の論理モデルの種類毎に仮想サーバを備えており、シミュレーションの各工程において必要になる仮想サーバを起動して対応するシミュレーションを実行させる。 - 特許庁

This digital control software fault simulation test device includes at least a plant simulation (Process) device of program simulation; a controller (Controller) including a high pressure spray substance control and software simulation control (Control Logical Simulation); and an operation interface device for enabling an operator (Operator) to observe a high pressure core sparay controller and special safety control system control.例文帳に追加

少なくとも、プログラム模擬のプラント模擬（Ｐｒｏｃｅｓｓ）装置と、高圧注水実体制御とソフト模擬制御（Ｃｏｎｔｒｏｌ Ｌｏｇｉｃａｌ Ｓｉｍｕｌａｔｉｏｎ）とが含有される制御装置（Ｃｏｎｔｒｏｌｌｅｒ）と、作業者（Ｏｐｅｒａｔｏｒ）が高圧炉心注水制御装置と格別安全制御システム制御を観察するための操作インターフェース装置とが含有される。 - 特許庁

To provide a logical circuit operation model generation device which realizes simulation precision which is sufficient for achieving a purpose of verification, completes simulation within a permissible range of time even in a large-scale system, and generates an adequate logical circuit operation model in a short period even if a designer of the circuit is different from the designer of a logical circuit operation model.例文帳に追加

検証目的を達成するに十分なシミュレーション精度を達成し、かつ大規模なシステムであってもシミュレーション実行時間を許容範囲に収めることが可能であり、回路設計者と「論理回路動作モデル」設計者が異なる場合であっても短期間で的確な「論理回路動作モデル」を生成することができる論理回路動作モデル生成装置を提供する。 - 特許庁