「operation verification」に関連した英語例文の一覧と使い方(6ページ目) - Weblio英語例文検索

The licensee of reactor operation carries out verification and validation for the incorporation in the safety protection system to ensure the software quality.例文帳に追加

安全保護系への適用については、ソフトウェアの品質確保として、原子炉設置者は、検証及び妥当性確認を実施している。 - 経済産業省

A verification trace log when the fiber channels witch is in normal operation is prepared, the verification trace log is given to a fiber channel switch under a test, where the log is interpreted and executed, outputs a trace log at test and the operation of the fiber channel switch is verified by comparing the verification trace log with the test trace log.例文帳に追加

このファイバチャネルスイッチが正常に動作している場合の検証用トレースログを用意して、検証用トレースログを、テストをおこなうファイバチャネルスイッチに入力し、解釈・実行させて、テスト時トレースログを出力し、検証用トレースログと、このテスト時トレースログとを比較することにより、ファイバチャネルスイッチの動作を検証する。 - 特許庁

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.例文帳に追加

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

A validity verification part 16 verifies the validity of the operation request by comparing individual activity information in the context sent from the second workflow device 200 together with the verification request, and individual activity information in the context stored in the context storage part 21 when there is a validity verification request of the operation request from the second workflow device 200.例文帳に追加

正当性検証部１６は、第２ワークフロー装置２００からの操作要求の正当性の検証要求があった場合、当該検証要求と共に第２ワークフロー装置２００から送信されてくるコンテキスト内の個々のアクティビティ情報とコンテキスト記憶部２１に記憶されているコンテキスト内の個々のアクティビティ情報とを比較することによって当該操作要求の正当性を検証する。 - 特許庁

To provide a storage medium for automatic printer operation verification software to be provided to printer makers and software users by a providing company of business form print software, and a printer operation verification method by printer control file using it.例文帳に追加

帳票印刷ソフトウェアの提供企業が、プリンタのメーカ及びソフトウェアの利用者に提供する自動プリンタ動作検証ソフトウェアの記録媒体と、それを用いたプリンタ制御ファイルによるプリンタ動作検証方法を提供する。 - 特許庁

In the verification of the logical operation of the information processor, the verification of the logical operation is realized with high accuracy, by generating more transaction competitive patterns by making an I/O emulator work together with a test program, and also by automatically preparing input data to the I/O emulator.例文帳に追加

情報処理装置の論理動作の検証において、Ｉ／Ｏエミュレータとテストプログラムを連動させ、且つＩ／Ｏエミュレータへの入力データは自動で作成することで、より多くのトランザクション競合パターンを発生させることにより、論理動作の検証を高精度に実現する。 - 特許庁

An advance verification device 10 is a server which has a holding portion 10a, a receiving portion 10b and a responding portion 10c, and verifies the operation or performance of a verification AP server 2a by using a transaction similar to a transaction actually executed under an actual operation environment.例文帳に追加

事前検証装置１０は、保持部１０ａと受信部１０ｂと応答部１０ｃとを有し、実動環境で実際に実行されるトランザクションと同様のトランザクションを用いて、検証ＡＰサーバ２ａの動作や性能を検証するサーバである。 - 特許庁

To provide a circuit operation verification method, a circuit operation verification device, and a computer program, capable of correctly and speedily verifying whether or not a circuit element built in a semiconductor integrated circuit malfunctions by considering each voltage drop of power supply wiring and grounding wiring.例文帳に追加

電源配線及び接地配線夫々の電圧降下を考慮して、半導体集積回路が有する回路素子が誤作動するか否かを正確かつ高速に検証することができる回路動作検証方法、回路動作検証装置及びコンピュータプログラムを提供する。 - 特許庁

Verification is made as to whether a desired threshold voltage distribution is obtained in the first memory cell (a first writing verifying operation), and further, verification is made as to whether the first threshold voltage distribution or a threshold voltage distribution larger than the first threshold voltage distribution is obtained in the second memory cell (a second writing verifying operation).例文帳に追加

第１のメモリセルにおいて所望の閾値電圧分布が得られたか否かを検証し（第１の書き込みベリファイ動作）、さらに第２のメモリセルにおいて第１閾値電圧分布又はこれより電圧レベルの大きい閾値電圧分布が得られたか否かを検証する（第２の書き込みベリファイ動作）。 - 特許庁

A comparison circuit 11 compares an output from the D type F/F which has received, as an input, the delay signal generated by the delay control circuit 5 during operation verification of the D type F/F 10, with an expected value to perform operation verification of the D type F/F 10.例文帳に追加

比較回路１１は、Ｄ型Ｆ／Ｆ１０の動作検証の際に、遅延制御回路５が生成した遅延信号をＤ型Ｆ／Ｆ１０の入力とした場合のＤ型Ｆ／Ｆ１０からの出力と、期待値と、を比較してＤ型Ｆ／Ｆ１０の動作検証を行う。 - 特許庁

This hardware/software cooperation verification system has: a system simulator 1 provided with an A circuit operation model 3 wherein operation of an A circuit is described by C language or the like; and a hardware emulator 2 provided with a logic circuit 4 for the A circuit, and implementing cooperation verification in synchronization with the system simulator 1.例文帳に追加

Ａ回路の動作をＣ言語等で記述したＡ回路動作モデル３が設けられたシステムシミュレータ１と、Ａ回路の論理回路４が設けられ、システムシミュレータ１と同期して協調検証が行われるハードウェアエミュレータ２とを有する。 - 特許庁

To provide a heat source facility operation verification device capable of verifying the daily operation state while comparing a simulation system capable of reproducing an operation state with actual operation data.例文帳に追加

運転状態を再現可能なシミュレーションシステムと実運転データと比較しながら日々の運転状態を検証できる熱源設備運転検証装置を提供する。 - 特許庁

A method for supporting design for generating a timing chart to indicate operation timing of each unit on the basis of unit design information of target equipment, comprises a setting step of setting verification conditions; a verification step of verifying the generated timing chart on the basis of the verification conditions set in the setting step; and a display step of displaying the verification result in the verification step.例文帳に追加

対象とする機器のユニット設計情報に基づいて、各ユニットの動作タイミングを示すタイミングチャートを生成する設計支援方法であって、検証条件を設定する設定ステップと、設定ステップによって設定された検証条件に基づいて、生成したタイミングチャートに対して検証を行う検証ステップと、検証ステップにおける検証結果を表示する表示ステップと、を有する設計支援方法が提供される。 - 特許庁

To enables operation verification while maintaining the same operation condition with the actual operation of a microcomputer having a mask ROM inside during the development of software for the microcomputer.例文帳に追加

マスクＲＯＭを内蔵するマイコンのソフトウェア開発時において、当該マイコンの実動作時と同一の動作条件を保持しつつ動作検証を可能とする。 - 特許庁

Subsequently, after a high voltage of a level required by the high voltage generating circuit 60 is generated, a bit line setup operation, a programming operation, and the programming process of a verification operation are performed repeatedly.例文帳に追加

その後、高電圧発生回路６０から要求されるレベルの高電圧が生成された後、ビットラインセットアップ動作、プログラム動作、そして検証動作のプログラミングプロセスが反復的に遂行される。 - 特許庁

The security function is realized by using a column latch circuit 29 which performs batch write-in operations (a page latch operation, a page programming operation, a verification operation) preliminarily provided in the nonvolatile semiconductor storage device.例文帳に追加

不揮発性半導体記憶装置に予め備わっている一括書き込み動作（ページラッチ動作，ページプログラム動作，ベリファイ動作）を行なうカラムラッチ回路２９を用いてセキュリティ機能を実現する。 - 特許庁

The verification circuit senses variation of the conduction current during the programming operation, and disables the programming operation when the sensed conduction current during the programming operation reaches a predetermined value.例文帳に追加

検証回路は、プログラミング動作中の伝導電流の変化を検知し、該検知されたプログラミング動作中の伝導電流が所定値に達した場合に、前記プログラミング動作を停止する。 - 特許庁

The operation validating test circuit functions, only when the operation of the functional elements of a semiconductor circuit network is verified, and the temporary interconnect lines are removed, after verification of the operation has been finished.例文帳に追加

動作確認用のテスト回路は、半導体回路網の機能素子の動作検証をするときだけ機能するもので、動作検証が終了したら仮配線を除去する。 - 特許庁

To provide an EEPROM which shortens the time required for the retrieval of a selection block used for a verification operation after a data erase operation and which shortens the time required for the data erase operation as a whole.例文帳に追加

データ消去後のベリファイ動作のための選択ブロック検索に要する時間を短縮し、もって全体のデータ消去に要する時間を短縮することを可能としたＥＥＰＲＯＭを提供する。 - 特許庁

A flash memory 1 is provided with a boost circuit 5b for operation generating initial verification-voltage used for initial verifying at the time of read-out operation included in write-in and erase operation.例文帳に追加

フラッシュメモリ１には、書き込みや消去動作に含まれる読み出し動作時の初期ベリファイに用いられる初期ベリファイ電圧を生成するオペレーション用ブースト回路５ｂが設けられている。 - 特許庁

The NAND flash memory device includes: a cell array including a plurality of pages; a page buffer storing program data of the plurality of pages; a data storage circuit providing program verification data to the page buffer; and a control unit programming the plurality of pages without program verification operation and performing a program verification operation on the plurality of pages by using the program verification data.例文帳に追加

本発明によるＮＡＮＤフラッシュメモリ装置は、複数のページを有するセルアレイと、前記複数のページのプログラムデータを格納するページバッファと、プログラム検証データを前記ページバッファに提供するためのデータ格納回路と、プログラム検証動作なしに前記複数のページをプログラムし、前記プログラム検証データを用いて前記複数のページに対するプログラム検証動作を行うための制御ユニッと、を含む。 - 特許庁

By such operations, peak current suppression of the rewrite operation and improvement of accuracy of the rewrite operation are reconciled while canceling time to be required for a time division rewrite operation and time to be required for the verification read-out operation by performing verification read-out in one memory area while time division rewrite is performed in the other memory area.例文帳に追加

このような動作によって、一方のメモリ領域において時分割書き換えを行っている最中に、他方のメモリ領域においてベリファイ読み出しを行うことによって、時分割書き換え動作に要する時間とベリファイ読み出し動作に要する時間を相殺しながら、書き換え動作のピーク電流抑制と書き換え動作の確度向上を両立させることができる。 - 特許庁

To provide a controller part operation verification device, a controller part operation verifying method, a recording medium, and a program which are more useful for users by enabling execution of various tests, such as continuous operation test of a controller part from the remote place, without the need for monitoring the controller part operation verification device in the vicinity.例文帳に追加

コントローラ部動作検証装置の近くで当該装置を監視する必要がなく、離れた場所からコントローラ部に関する連続動作試験などの各種試験を実施することを可能とする等、利用者にとってより利便性の高いコントローラ部動作検証装置、コントローラ部動作検証方法、記憶媒体、及びプログラムを提供する。 - 特許庁

The page mode flash memory or floating gate memory device includes a page buffer 11 based on constant current bit latch which can perform efficiently program process, program verification, read-out and erasure verification process during page mode operation.例文帳に追加

本発明のページ・モード・フラッシュ・メモリーあるいはフローティング・ゲート・メモリー・デバイスは、ページ・モード動作中に効率よくプログラム・プロセス、プログラム検証、読出し及び消去検証プロセスを可能にする定電流ビット・ラッチに基づくページ・バッファ11を含む。 - 特許庁

The display monitor circuit provided to a gate array incorporated in a microcomputer is provided with a verification wire 11b for wiring circuit B for circuit operation verification applied with a signal having a specified phase adjacently to a wiring part 11a of the display monitor circuit A.例文帳に追加

マイクロコンピュータに内蔵されるゲートアレイに設けられたディレイモニタ回路において、ディレイモニタ回路Ａの配線部分１１ａに隣接して所定位相の信号が印加される回路動作検証用配線回路Ｂの検証用配線１１ｂを設けた。 - 特許庁

To provide a program remote updating system for performing the operation verification of a new program just after performing program update processing for securing the reliability of the system, and for improving the flexibility of the verification processing.例文帳に追加

プログラム更新処理を実行した直後に新プログラムの動作検証を行うプログラム遠隔更新システムを提供することにより、システムの信頼性を確保すると共に、検証処理の柔軟性を向上することを目的とする。 - 特許庁

In the verification operation of the intermediate distribution LM, a voltage corresponding to the verification voltage VLM is applied to the control gate of a selected memory cell Mn while positive voltages Vsrc and Vwell are applied to a source CELSRC and a well SW.例文帳に追加

中間分布ＬＭのベリファイ動作時においては、ソース線ＣＥＬＳＲＣ、及びウエルＳＷには正の電圧Ｖｓｒｃ、Ｖｗｅｌｌを印加しつつ、選択メモリセルＭｎの制御ゲートには、ベリファイ電圧ＶＬＭに対応した電圧を印加する。 - 特許庁

The reference terminal which has received the reference verification command verifies whether or not the receiving operation of the image data is normally performed from the main image storage device and the sub-image storage device, and transmits the verification result to the sub-image storage device as determination information.例文帳に追加

参照検証指令を受信した参照端末は、主画像保管装置と副画像保管装置とからの画像データの受信動作がそれぞれ正常に行われるか否かを検証後、この検証結果を判断情報として副画像保管装置に送信する。 - 特許庁

To provide a cabin control system verification method for monitoring the operation of internal equipment only by monitoring it in an output stage of first-stage equipment, thereby reducing man-hours for verification, in a cabin control system of an airplane or the like.例文帳に追加

航空機等の客室制御システムにおいて、システム初段機器の出力段でモニタするだけで、システム内部機器における動作内容のモニタ実施を実現でき、検証工数を大幅に削減する事が可能な客室制御システム検証方法を提供することを目的とする。 - 特許庁

In order to suppress the operation amount, the encoding means (12) is provided with a means for generating pieces of verification supporting information (4a-4e) for which the overlap of descriptions is eliminated, and the decoding means (22) is provided with a means for verifying the suitability of the document on the basis of the verification supporting information.例文帳に追加

演算量を抑制するために、符号化手段（１２）は、記述の重複が排除された検証支援情報（４ａ〜４ｅ）を生成する手段を含み、復号手段（２２）は、検証支援情報に基づいて文書の適合性を検証する手段を含む。 - 特許庁

A digital output cell(M) expressing the output circuit part of a logic part (71) is arranged in a corresponding analog circuit part (72), an analog circuit part for verification including a logic part in a pseudo-status is prepared, and the operation of the analog circuit part for verification is verified by an analog analyzing tool.例文帳に追加

ロジック部（７１）の出力回路部を表すデジタル出力セル（Ｍ）を対応するアナログ回路部（７２）に配置し、ロジック部を疑似的に含む検証用アナログ回路部を作成し、この検証用アナログ回路部の動作をアナログ解析ツールにより検証する。 - 特許庁

The verification tool 221 creates a test script 241 for performing the operation verification of the IC chip 311 by using default data 231 and script parametric 232, generates an SAM setting script 244 in order to operate an SAM 271, and supplies them to the SAM control tool 222.例文帳に追加

検証ツール２２１は、デフォルトデータ２３１およびスクリプトパラメータ２３２を利用してICチップ３１１の動作検証を行うテストスクリプト２４１を生成し、SAM２７１を稼動させるためにSAM設定スクリプト２４４を生成し、SAM制御ツール２２２に供給する。 - 特許庁

In a case of the input transfer, an input means 50122 conducts the CRC verification of data when the report from the magnetic disk device is normal termination in the data transfer added with the CRC, and reports the close of the first input/output processing device 501 to the operation processing device when the CRC verification is abnormal.例文帳に追加

入力転送の場合、入力手段５０１２２は、ＣＲＣが付加されたデータの転送で磁気ディスク装置からの報告が正常終了の場合はデータのＣＲＣ検証を行い、ＣＲＣ検証が異常の場合は演算処理装置に第１入出力処理装置５０１の閉塞を報告する。 - 特許庁

When an instrumental error measurement start signal is output from an automatic verification device, the electronic type water meter starts metering, and after a prescribed water feeding quantity flows, a stop signal is output from the automatic verification device, and the electronic type water meter stops metering and displays a metered value in the instrumental error measurement operation display mode.例文帳に追加

自動検定装置から器差測定開始信号が出力されると、電子式水道メータは計量を開始し、規定の通水量が流れた後に、自動検定装置から停止信号が出力されて電子式水道メータは計量を停止し、計量値を器差測定作動表示モードで表示する。 - 特許庁

The responding portion 10c specifies the data transmitted by an actual operation system as a response of the data received by the receiving portion 10b, from the capture data held by the holding portion 10a, and responds the specified data to the verification AP server 2a which is the verification object.例文帳に追加

応答部１０ｃは、受信部１０ｂによって受信されたデータの応答として実動システムで送信されたデータを保持部１０ａが保持するキャプチャデータから特定し、特定したデータを検証対象の検証ＡＰサーバ２ａに応答する。 - 特許庁

A software-mounted function is generated as a software model 6 operated on a verification environmental platform (processor B), a hardware-mounted function is established as an RTL/RTC model 2 or an operation model higher in abstraction degree than it, and the performance verification is performed on the processor B.例文帳に追加

ソフトウェア実装される機能を、検証環境プラットフォーム（プロセッサＢ）上で動作するソフトウェアモデル６として生成し、ハードウェア実装される機能を、ＲＴＬ／ＲＴＣモデル２またはこれより抽象度の高い動作モデルとして、プロセッサＢ上で性能検証を行う。 - 特許庁

To provide a three-dimensional figure verification unit capable of taking a photograph in a closed space, making the whole head of a figure to be three-dimensional data by a three-dimensional data fetching device, freely changing the direction of the three-dimensional data on a computer and quickly and easily performing a verification operation and comparison determination.例文帳に追加

閉じられた空間内で撮影が行え、３次元データ取込装置により人物の頭全体を３次元データ化し、コンピュータ上で自由に向きを変えられ、照合操作及び比較判定が迅速・簡単にできる３次元人物照合装置を提供すること。 - 特許庁

The operation verification device 100 selects a function corresponding to the operation recorded in the log of a plurality of kinds of functions installed with logic for achieving various kinds of operation to generate a program for the operation test for reproducing the series of operation.例文帳に追加

そして、各種操作を実現するためのロジックが組み込まれた複数種類の関数のうちログに記録された操作に対応する関数を選択することにより、上記一連の操作を再現するための動作テスト用プログラムを生成する。 - 特許庁

Data from the plant are input to an operation executing means, and the system is provided with a trial operation mode, in which the output from the operation executing means according to the input data is displayed on a display means, to thereby support the verification of the operation by the operation executing means.例文帳に追加

プラントからのデータを運転実行手段に入力し、この入力に応じた運転実行手段の出力を表示手段に表示する試運転モードを用意することによって、運転実行手段の動作検証を支援する。 - 特許庁

By using the common key generated by the identification generation part 123 as a decipher key, an operation request deciphering part 152 deciphers a ciphered operation request received by a ciphered operation request reception part 151, and when it is correctly deciphered, an operation request verification part 162 determines that the user has the operation authority.例文帳に追加

識別生成部１２３が生成した共通鍵を復号鍵として使用して、暗号化操作要求受信部１５１が受信した暗号化操作要求を操作要求復号部１５２が復号し、正しく復号できた場合に、操作要求検証部１６２が操作権限ありと判定する。 - 特許庁

The verification device used as an operation model during logic simulation for verifying a logic circuit in LSI development is comprised of a means for automatically generating a operation parameter required for generating simulation patterns, and a means for a person in charge of the verification to set the operation parameter, and dynamically switches these means during the simulation.例文帳に追加

ＬＳＩ開発における論理回路を検証するための論理シミュレーションで用いられる動作モデルとなる検証装置に、シミュレーションパターン発生に必要となる動作パラメータを自動生成する手段と動作パラメータを検証担当者が設定する手段の２つを備え、また、その手段をシミュレーション中に動的に切り替えれるようにする。 - 特許庁

To provide a bias level generating circuit of a flash memory element in which oscillation can be prevented by making a bias level being suitable for the operation, when cell-program operation is performed or verification of program is performed.例文帳に追加

セルプログラム動作を行なうかプログラム検証を行なう場合、該当動作に適したバイアスレベルを作ることにより、オシレーションを防止することができるフラッシュメモリ素子のバイアスレベル生成回路を提供すること。 - 特許庁

To provide an operation composition verification device and method, allowing a person to easily understand a signal waveform without affecting behavior of operation composition.例文帳に追加

動作合成の振る舞いに影響を与えることなく、人が容易に信号波形を理解することを可能にする動作合成検証装置及び方法を提供することを課題とする。 - 特許庁

A verification operation after the data erase operation is performed regarding an erased block after erase blocks are retrieved simultaneously in parallel regarding the left cell array 1L and the right cell array 1R.例文帳に追加

データ消去後のベリファイ動作は、左右セルアレイ１Ｌ，１Ｒについて同時並行的に消去ブロックの検索を行って、消去されたブロックについて行われる。 - 特許庁

To easily perform mutual comparative verification between the operation of a circuit device to be measured and circuit simulation, and to quickly confirm a problem if the operation of the circuit device to be measured has the problem.例文帳に追加

被測定回路装置の動作と回路シミュレーションとの相互の比較検証が容易にでき、被測定回路装置の動作に問題点があればそれを速やかに確認することを可能にする。 - 特許庁