「システム等価性」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

同期発電機と等価な発電機特性を有する太陽光発電システムを提供する。例文帳に追加

To provide a solar power generation system having generator characteristics equivalent to those of a synchronous power generator. - 特許庁

論理等価性検証システム、論理等価性検証方法、半導体集積回路の製造方法、制御プログラムおよび可読記憶媒体例文帳に追加

LOGIC EQUIVALENCE VERIFICATION SYSTEM, LOGIC EQUIVALENCE VERIFICATION METHOD, METHOD FOR MANUFACTURING SEMICONDUCTOR INTEGRATED CIRCUIT, CONTROL PROGRAM AND READABLE STORAGE MEDIUM - 特許庁

論理等価性検証システム１０は、半導体集積回路としてのシステムＬＳＩやＳｏＣなどの論理機能の等価性検証を挿入回路の挿入場所によらず任意に実行する。例文帳に追加

The logical equivalence verification system 10 arbitrarily performs the equivalence verification of logical functions, such as a system LSI and SoC, as a semiconductor integrated circuit regardless of the insertion location of the insertion circuit. - 特許庁

チューリングは彼のマシンが他のシステム, たとえばエルブラン・ゲーデル・クリーネの一般再帰性, 等々と等価であることを示すことができた.例文帳に追加

Turing was able to show that his machine was equivalent to other systems such as Herbrand-Godel-Kleene's general recursiveness, ...  - コンピューター用語辞典

論理等価性を同一環境で検証することができるハードウェア／ソフトウェア協調検証システムを提供する。例文帳に追加

To provide a hardware/software cooperation verification system verifying logic equivalence under the same environment. - 特許庁

同一の機能を有する複数の論理システムの等価性を検証するにあたり、検証効率の向上と検証精度の向上を図る。例文帳に追加

To improve verification efficiency and verification accuracy in verifying equality of a plurality of logic systems having the same function. - 特許庁

前記システムの実時間性能を改善するため、レガシー命令は、可能であればホストプロセッサの等価命令に直接的に変換される。例文帳に追加

In order to improve the real-time performance of the system, legacy instructions are directly mapped to equivalent instructions of the host computer where possible. - 特許庁

キャビネットの等価体積拡大率の増大を図り、低音領域の再現性に優れたスピーカシステムを提供する。例文帳に追加

To provide a speaker system capable of increasing the equivalent volume expansion ratio of a cabinet and having excellent reproducibility in a low-pitched sound area. - 特許庁

構造化文書に対して、意味的に等価で表現が異なる派生の構造化文書を生成し、構造化文書処理システムのテストを容易にし、また、構造化文書処理の脆弱性を回避するシステムを構築可能にする。例文帳に追加

To construct a system for generating a derived structured document semantically equivalent to and different in expression from a structured document, facilitating a test of a structured document processing system and avoiding fragility in structured document processing. - 特許庁

論理等価性検証システム１０には、論理等価性検証部１、ＲＴＬ／ゲートレベル回路記述２、ＲＴＬ／ゲートレベル回路記述３、及びライブラリ４が設けられている。例文帳に追加

The logical equivalence verification system 10 is provided with a logical equivalence verification part 1, an RTL/gate level circuit description 2, an RTL/gate level circuit description 3, and a library 4. - 特許庁

秘匿性検査装置１において、第１の観測等価性判定部３１は、１組のデータｄに基づくコンピュータシステム１０の実行結果Ｓ（ｄ）と、ｄと同値関係を満たすｄ’に基づく第２のコンピュータシステム１５の実行結果Ｓ’（ｄ）とに基づいて実行結果が観測等価となるか否かを判定する。例文帳に追加

In the device 1 for checking confidentiality, a first observation equivalence decision part 31 decides whether or not execution results show observation equivalence on the basis of the execution result S(d) of the computer system 10 based on one set of data d and an execution result S'(d) of a second computer system 15 based on d' which satisfies equivalence relation with d. - 特許庁

キャッシュメモリ内蔵プロセッサにおいて、リアルタイムデバッグ性及びデバッグ対象システムの等価性を損なわずにリアルタイムメモリアクセスを可能にする。例文帳に追加

To enable memory access in real time without damaging the real time debug property and the equivalence of a debug object system in a processor including a cache memory. - 特許庁

削減された素材の入力と重量で、安定性と従来の製織システムへの使用の可能性に関しては、少なくとも従来のそうこうと等価なそうこうが得られる。例文帳に追加

The heddle at least equal to a conventional heddle as the stability and the possibility of use in a weaving system is obtained by a reduced input of a material and weight. - 特許庁

システムレベル設計言語による回路記述とハードウェア記述言語による回路記述との等価性を、シミュレーション結果を用いて容易に検証する。例文帳に追加

To easily verify equivalence between a circuit description in a system level design language and a circuit description in a hardware description language by using simulation results. - 特許庁

ワーク厚さに対する直線性の良好な等価厚画像濃度データが得られる濃度データ変換方法および装置を実現し、体積や質量等の測定精度が高いＸ線検査システムを提供する。例文帳に追加

To realize a density data conversion method and a device capable of acquiring equivalent thickness image density data having excellent linearity to the work thickness, and to provide an X-ray inspection system having high measuring accuracy of a volume, a mass or the like. - 特許庁

キャッシュメモリ１０２を内蔵したプロセッサ１００におけるデバッグ用ＤＭＡ１０３が、１０２の状態を変化させる事無くそのＤＭＡアクセスを行う事で、そのリアルタイムデバッグ性及びデバッグ対象システムの等価性を損なわずにリアルタイムメモリアクセスを可能とする事ができる。例文帳に追加

A DMA 103 for debug in the processor 100 with built-in cache memory 102 enables memory access in real time without damaging its real time debug property and the equivalence of the debug object system by performing its DMA access without changing the state of the memory 102. - 特許庁

密閉型スピーカシステム１００のキャビネット１０２内の空間１０４に弾性連泡体１０３を充満させることによって、キャビネット１０２の等価体積拡大率を増大させ、低音領域の再現性の向上を実現した。例文帳に追加

Since a space 104 in a cabinet 102 in the closed type speaker system 100 is filled with elastic continuous foamed bodies 103, the equivalent volume expansion ratio of the cabinet 102 is increased and the reproducibility of the low-pitched sound area is improved. - 特許庁

ＬＳＩチップ間を長距離ケーブルで結んだ信号伝送システムに必要とされる等価器等を構成する場合に用いる増幅器に関し、広帯域特性を有し、かつ、入力信号のコモン電圧が変化しても、安定した利得を得ることができるようにする。例文帳に追加

To provide an amplifier used for configuring an equalizer or the like required for a signal transmission system wherein a long distance cable interconnects LSI chips that has a broadband characteristic and can obtain a stable gain even when a common voltage of an input signal is changed. - 特許庁

極めて簡単な暗号系を提案し、ＲＳＡ暗号化方式と等価な安全性を保持しつつ、暗号化および復号化する際の計算量を減らして単純化し、簡単な計算で暗号化および復号化が可能な暗号化装置および復号化装置、並びにこれらを備えた暗号システム、暗号化方法および復号化方法を提供する。例文帳に追加

To provide an enciphering device and a deciphering device with which an extremely simple cryptosystem is proposed and which enable enciphering and deciphering with simple calculation by decreasing calculation amount and simplifying the algorithm when carrying out enciphering and deciphering while maintaining safety characteristics equivalent to an RSA encryption system, and to provide an enciphering system equipped with the same, an enciphering method, and a deciphering method. - 特許庁

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。例文帳に追加

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use. - 特許庁

入力サンプルの特性に関する一つ又は二つ以上の要素についてのデータを収集し、前記各要素についての定数を求め、シフト値を導出するために前記求められた定数を平均化し、前記導出されたシフト値に基づいて、生体認識システムの等価エラー率の値を調整することを特徴とする。例文帳に追加

The living body recognition method is characterized by collecting data about one or more factors relating to a characteristic of an input sample, determining a constant for each of the factors, averaging the determined constants in order to derive a shift value, and adjusting an equal error rate value of the living body recognition system on the basis of the derived shift value. - 特許庁