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

Also, it includes an X-decoder 430 selecting a word line and a Y-decoder 440 providing a path for input/output data in the selected memory cell, and the selected memory cell is programmed by using a program voltage corresponding to the applicable program verifying voltage in accordance with the control signal from the cell characteristic inspection circuit 450.例文帳に追加

そして、ワード線を選択するXデコーダ４３０と、選択したメモリセルのデータを入出力するための経路を提供するYデコーダ４４０を有し、セル特性検査回路４５０からの制御信号で選択したメモリセルを該当プログラム検証電圧に対応するプログラム電圧を用いてプログラムする。 - 特許庁

To provide an article storage device for a truck load-carrying platform, which is capable of not only loading/unloading stored articles without occupying necessary loading space and even if other articles are stacked on the platform, but also verifying the stored articles from the outside, and convenient for taking out the articles, regarding a truck load-carrying platform.例文帳に追加

トラックの荷台において、必要な荷置きスペースを占有することなく、荷台上に他の積載物が載っている状態でも保管物品の積み下ろしが可能であるだけでなく、外部から前記保管物品の確認ができ、かつ、その物品の取り出しに便利なトラックの荷台における物品保管装置を提供する。 - 特許庁

The circuit 2 may generate a completion notice after verifying that the analog signal level is in a stationary state after its transient state, thus omitting the confirmation operation of the A/D conversion result by the CPU 6 after receiving the completion notice, thus reducing the load of the CPU 6.例文帳に追加

さらに、その場合に、その時のアナログ信号の信号レベルが過渡状態を過ぎて定常状態にあることを確認してから完了通知を発生させることにより、完了通知受理後のＣＰＵ６のＡ／Ｄ変換結果の確認動作を省略させることができ、ＣＰＵ６の負担を軽減できる。 - 特許庁

A transmission method according to the present invention includes: a step for receiving the user data and the pilot through the physical uplink shared channel (PUSCH); a step for verifying the ACK/NACK resource based on the resource index of the user data; and a step for transmitting the ACK/NACK signal corresponding to the user data using the ACK/NACK resource.例文帳に追加

上記送信方法は、物理アップリンク共有チャネル（ＰＵＳＣＨ）を通じてユーザーデータとパイロットを受信するステップと、ユーザーデータのリソースインデックスに基づいてＡＣＫ／ＮＡＣＫリソースを確認するステップと、ＡＣＫ／ＮＡＣＫリソースを利用してユーザーデータに対応するＡＣＫ／ＮＡＣＫ信号を送信するステップと、を含む。 - 特許庁

In encrypting, traces of processing carried out by using the private key within the apparatus are outputted and when verifying, it is verified by using the stored traces whether or not encryption using a private key for trace preparation within the encrypting apparatus is performed except processing corresponding to the traces.例文帳に追加

本発明は、暗号処理時に、装置内での前記秘密鍵を用いた処理を実行したことの証跡を出力し、検証処理時に、蓄積された証跡を用いて、暗号処理装置内での証跡作成用秘密鍵を用いた暗号化処理が、該証跡に対応するもの以外にあったか否かを検証する。 - 特許庁

To provide a means for verifying a measurement result and for making clear the data fluctuation factors caused by a reagent or specimen and to improve inspection reliability and making clear the origin of the specimen and further improve inspection efficiency in an automatic analysis device for automatically re-inspecting the specimen.例文帳に追加

検体を自動的に再検査することが可能な自動分析装置で、測定結果に対する確認、および試薬起因もしくは検体起因のデータ変動要因を明確にできる手段を提供し、また、検査の信頼性および検体素性の明確化の達成、さらには検査の効率化を達成する。 - 特許庁

A system controller 5 detects a vacant area capable of compensating for continuity of information out of vacant areas present on a disk 1 and controls execution of monitoring and recording verifying of the recorded information for said vacant area while controlling recording and reproducing of inputted information via a track buffer 9.例文帳に追加

システムコントローラ５が、ディスク１上に存在する空き領域の中から、その情報の連続性を補償可能な空き領域を検出し、この空き領域に対して、入力された情報をトラックバッファ９を介して記録再生制御しながら記録した情報のモニタリング及び記録ベリファイを実行制御する。 - 特許庁

This verification device is provided with: a logical connection information acquisition means for acquiring logical connection information from the design specification information having the inter-terminal logical connection information of components arranged on a printed circuit board; and a design specification verification means for verifying the logical connection information acquired by the logical connection information acquisition means.例文帳に追加

プリント基板に配置される部品の端子間の論理接続情報を有する設計仕様書情報から、前記論理接続情報を取得する論理接続情報取得手段と、前記論理接続情報取得手段により取得された前記論理接続情報を検証する設計仕様検証手段とを備える。 - 特許庁

To obtain opportunity for verifying the identify of a communication request terminal before transmission of a data packet by transferring a message, including a request of receiving a data packet and a 1st specific identification code to identify a communication request terminal to a communication server terminal from the communication request terminal.例文帳に追加

データパケットを通信供給端末から通信要求端末へ転送するための方法において、通信要求端末がデータパケットと通信要求端末を識別する第一特定識別コードを受信する要求を含むメッセージを通信供給端末へ転送することを特徴とする方法を提供する。 - 特許庁

To ensure a protection period for a special concrete product by registering the trademark, at a stage where the action and effect thereof are verified because the remaining protection period of a special concrete product requiring several years for verifying the action and the effect is short, when it is applied to industrial property registration (patents, utility models, designs).例文帳に追加

本件は、作用、効果が立証されるまで数年の年月を要する特殊コンクリート製品を工業所有権登録出願（特許、実用新案、意匠）したとしても、その保護される残された期間が短い為に、これを作用、効果が立証された段階で商標登録し保護期間を得られる事を課題としている。 - 特許庁

To provide a test-facilitating design apparatus and its method for verifying and adjusting consistency between adjoining components when constructing a system including a plurality of components including hardware or software, and performing design to estimate appropriate test man-hours by suppressing an abrupt increase of the number of test cases in testing the system.例文帳に追加

ハードウエアまたはソフトウエアを含む複数の部品から成るシステムを構築する場合において、隣接する部品同士間の整合性を検証および調整し、システムのテストにおいてテストケースの数の爆発を抑制し適切なテスト工数を見込む設計を行うためのテスト容易化設計装置ならびにその方法を提供する。 - 特許庁

To provide a device for verifying actual injection amount of an additive feeder capable of calculating the actual injection amount of the additive with excellent accuracy, and an abnormality determination device of the additive feeder and an injection control device of the additive feeder based on the actual injection amount of the additive calculated with excellent accuracy.例文帳に追加

添加剤の実噴射量を精度よく算出することができる添加剤供給装置の実噴射量検証装置、及び精度よく算出された添加剤の実噴射量をもとにした添加剤供給装置の異常判定装置並びに添加剤供給装置の噴射制御装置を提供する。 - 特許庁

The method also comprises a step (32) of, upon reception of data by the interface module, incrementally computing an error correction code for the current data section, and a step (46) of, when the entire section has been received, verifying the incrementally computed error correction code to deliver a section validity indicator.例文帳に追加

この方法はまた、インターフェイスモジュールによるデータの受信中は、現在のデータセクションについてのエラー訂正コードを増分的に計算するステップ（３２）と、セクション全体が受信されたときに、セクション有効性インジケータを送るように、増分的に計算されたエラー訂正コードをベリファイするステップ（４６）とをさらに含む。 - 特許庁

When verifying is passed, a verify-circuit VC outputs an adaptation signal VPASS of a H level, but each adaptation signal input terminal (VPASS) of a data write control circuit WCC and a data write counter circuit WCT is fixed to a L level by an adaptation signal invalidating means 3.例文帳に追加

ベリファイがパスしたときには，ベリファイ回路ＶＣがＨレベルの適合信号ＶＰＡＳＳを出力するが，データ書き込み制御回路ＷＣＣおよびデータ書き込みカウンタ回路ＷＣＴの各適合信号入力端子（ＶＰＡＳＳ）は，適合信号無効化手段３によってＬレベルに固定される。 - 特許庁

To provide a component mounting apparatus for continuously verifying calibration accuracy without removing a component for calibration from a calibration substrate after the calibration of control data, and to provide a calibration method of the component mounting apparatus, a component mounting line, and the calibration method of the component mounting apparatus in the component mounting line.例文帳に追加

制御データの校正を行った後、校正用基板から校正用部品を取り外すことなく、続けて校正精度の検証を行うことができる部品実装装置、部品実装装置の校正方法、部品実装ライン及び部品実装ラインにおける部品実装装置の校正方法を提供する。 - 特許庁

An abnormality detection part 23 determines the possibility of abnormality based on the operating data of each device recorded in the recording part 22, selects a diagnostic menu for verifying the cause of the abnormality from a menu list 24, and makes the operation control part 21 perform a diagnostic operation for the diagnostic operation menu.例文帳に追加

異常検出部２３は、この記録部２２に記録された各機器の動作データに基づいて異常の可能性を判断すると共に、その異常原因を検証するための診断運転メニューをメニューリスト２４から選択し、この診断運転メニューに対応した診断運転を運転制御部２１に実施させる。 - 特許庁

Water chambers 105, 106, a heat transfer tube 107, a gas-water separator 108, a liquid storage plate 109 and the like are arranged in a cylindrical body 101 of the verifying device 100 and recirculation water Wc stored on the storage plate 109 is taken out by a take-out pipe 131 and naturally falls down in a tank 120 for void generation.例文帳に追加

検証装置１００の筒体１０１には、水室１０５，１０６と、伝熱管１０７と、気水分離器１０８と、貯溜板１０９等が配置され、貯溜板１０９上に貯溜された再循環水Ｗｃが取り出し管１３１により取りだされ、ボイド発生用タンク１２０内で自然落下する。 - 特許庁

In a second search section 15, a likelihood calculation section 151 calculates acoustic likelihood by verifying a tree structure dictionary stored in a second database 20, and an acoustic model stored in a third database 21, to a time sequence data of an acoustic feature parameter, to obtain an accumulated likelihood by accumulating the likelihood in a time direction.例文帳に追加

第２探索部１５において、尤度計算部１５１は、第２データベース２０に記憶された木構造辞書および第３データベース２１に記憶された音響モデルに音響特徴パラメータの時系列データを照合させて音響的な尤度を算出し、この尤度を時間方向に累積して累積尤度を求める。 - 特許庁

To provide compact self-ballasted fluorescent lamp and a lighting system which prevent lead wires led out from a bulb end part supported by a separation plate from contacting with each other, and is capable of verifying contact between lead wires easily after connection of a fluorescent lamp, and to provide a lighting device.例文帳に追加

仕切板に支持されたバルブ端部から導出されたリード線が互いに接触することを抑制するとともに、蛍光ランプと点灯装置を接続した後のリード線同士の接触確認を容易にすることができる電球形蛍光ランプおよび照明装置を提供することを目的とする。 - 特許庁

To provide a data set generating device for verifying that set printing matters combining one printing matter composing one set printing matter out of a plurality of set printing matters printed from the same original data and one printing matter composing other set printing matters are different set printing matters.例文帳に追加

同一の元データから印刷された複数のセット印刷物のうちの１つのセット印刷物を構成する１つの印刷物と、他のセット印刷物を構成する１つの印刷物とを組み合わせたセット印刷物が別セット印刷物であることを検証できるデータセット生成装置を提供することを目的とする。 - 特許庁

Based on a design file describing information including conditions used in the verification of equivalence between the verification reference circuit and the verification subject circuit, an application generation unit 120 generates an assertion for verifying that an output signal from the verification reference circuit and an output signal from the verification subject target match.例文帳に追加

アサーション生成部１２０は、検証基準回路と前記検証対象回路との等価性検証に用いる条件を含む情報が記述された設計ファイルに基づいて、検証基準回路からの出力信号と、検証対象回路からの出力信号と、が一致することを検証するためのアサーションを生成する。 - 特許庁

WORD RELATION DATABASE CONSTRUCTING METHOD AND DEVICE, WORD/DOCUMENT PROCESSING METHOD AND DEVICE USING WORD RELATION DATABASE, EXPLANATION EXPRESSION ADEQUACY VERIFYING METHOD, PROGRAMS FOR THESE, STORAGE MEDIUM STORING THEM, WORD SIMILARITY COMPUTING METHOD, WORD GROUPING METHOD, REPRESENTIVE WORD EXTRACTING METHOD, AND WORD CONCEPT HIERARCHIAL METHOD例文帳に追加

単語関係データベース構築方法および装置、単語関係データベースを用いた単語／文書処理方法および装置、説明表現妥当性検証方法、それらプログラム、それらプログラムを記録した記録媒体、単語の類似度計算方法、単語のグループ化方法、代表語の抽出方法、および単語概念の階層化方法 - 特許庁

To provide a content feature amount extraction device and a program therefor, which is used for content verification data and extracts feature amount capable of specifying the content, and to provide a content verification data generating device and a program therefor, which is capable of surely verifying the content and authenticating a content distributor.例文帳に追加

コンテンツの認証データとして使用し、コンテンツを特定することができる特徴量を抽出するコンテンツ特徴量抽出装置及びそのプログラムを提供し、コンテンツ及びコンテンツ配信者の認証を確実に行なうことができる、コンテンツ認証データ生成装置及びそのプログラム、並びにコンテンツ認証方法を提供する。 - 特許庁

The data communication device includes: a restriction information creating means creating restriction information related to content move in a move source device when moving the content to a move destination device; and a verification means verifying content move destination information from the move destination device by use of device authentication key exchange.例文帳に追加

コンテンツを移動先の機器へ移動させるときにコンテンツ移動に関する限定情報を移動元の機器に作成する限定情報作成手段と、前記移動先の機器からのコンテンツの移動先情報を、機器認証鍵交換を利用して検証する検証手段とを備えたことを特徴とするデータ通信装置。 - 特許庁

To provide a life clock, concerning life administration of living, while recognizing the whole picture of a self goal age to live and the time allowed left-behind life every day, verifying to adjust circumstances the self occupies via his present position of life, to exclude a life of letting it take its own course.例文帳に追加

本発明は、なりゆき人生を排除するために、自己の生存目標年齢や残された人生の持ち時間の全容を日々に認識し、自分がいま人生のどの位置にどのような状況にあるかを常に検証・調整しながら歩むための、人生管理に関する人生時計を提供する。 - 特許庁

A vertical and horizontal wiring edge extracting part 34 extracts the vertical and horizontal wiring edges brought into contact with the graphics classified into the wiring width ranges, and a vertical and horizontal interval verifying part 36 verifies intervals between the vertical and horizontal wiring edges and opposite edges being the other destination of verification based on the vertical and horizontal reference interval of each wiring width range.例文帳に追加

縦横配線エッジ抽出部３４で配線幅範囲に分類された図形に接する縦横配線エッジを抽出し、縦横配線間隔検証部３６で縦横配線エッジと検証相手先となる対向するエッジとの間隔を、各配線幅範囲毎の縦横基準間隔に基づいて検証する。 - 特許庁

When verifying a function of the HDL model 50 designed by a hardware description language, a flag set in a flag setting part 51 of the HDL model 50 is confirmed, and a process having no relationship to prescribed function verification is omitted when a process-omitting flag is set in the flag setting part 51.例文帳に追加

ハードウェア記述言語により設計されたＨＤＬモデル５０の機能検証時に、当該ＨＤＬモデル５０のフラグ設定部５１に設定されているフラグを確認し、フラグ設定部５１に処理省略用のフラグが設定されている場合には、所定の機能検証には関係がない処理を省略する。 - 特許庁

In the access system, an attribute certificate AC_p with at least commission for a resource and information on the gateway 20 to be passed through described thereon is transmitted via the gateway 20 and presented to the apparatus 10_1 and 10_2 by the apparatus 30, thereby verifying the access of the apparatus 30 to the resource.例文帳に追加

リモートアクセスシステムにおいては、携帯機器３０が、少なくともリソースに対する権限と経由させるホームゲートウェイ２０の情報とが記述された属性証明書ＡＣ_Ｐを、ホームゲートウェイ２０を介して対象機器１０_１，１０_２に対して送信して提示することにより、リソースに対する携帯機器３０のアクセスを検証する。 - 特許庁

In the correlation rule discovery as a data mining technique, past mining results are preserved, and when data are added or deleted, a past database is not accessed and the result obtained by verifying the past mining results with respect to added data and the mining result related to added data are synthesized to perform mining of entire data.例文帳に追加

データマイニングの手法である相関規則発見において、過去のマイニング結果を保存しておき、データの追加・削除があったときに過去のデータべースにアクセスすることなく、過去のマイニング結果を追加データについて検証したものと、追加データに関するマイニング結果を合成することにより全体のマイニングを行う。 - 特許庁

A service enjoying device 20n that verifies the certificate of a service provider device 10n determines a certificate verification method from performance of the service enjoying device, performance of a CRL repository device, performance of a certificate verifying apparatus and performance of a network, in accordance with a combination thereof and verifies the certificate with the determined method.例文帳に追加

サービス提供者装置の証明書の検証を行うサービス享受装置が，サービス享受装置の性能，ＣＲＬリポジトリ装置の性能，証明書検証装置の性能，ネットワークの性能から，それらの組み合わせによって，証明書検証方法を決定し，決定された方法で証明書の検証を行う。 - 特許庁

An alternative certificate issuing/verifying system (300) issues an alternative certificate where the information on a certificate issued to a user 1 (500) is deleted, added or altered to the user 1, and the user 1 attaches the alternative certificate thus issued to a user 2 (600) along with encryption data and signature data.例文帳に追加

代替証明書発行・検証システム（３００）は、ユーザ１（５００）に発行された証明書を元にその証明書の情報を削除、追加、変更した代替証明書の発行をユーザ１に行い、ユーザ１は発行された代替証明書をユーザ２（６００）に暗号データや署名データともに添付する。 - 特許庁

It is made possible to improve the reliability of recorded data while controlling a decrease in a transfer speed of data record to the minimum, by performing recording processing judging whether or not to perform verifying processing depending on the contents of the data at the time of recording based on the information on the configuration, type or attribute of the recorded data when recording data.例文帳に追加

データの記録時に記録データの構成、種別や属性情報等から、記録時にデータの内容に応じてベリファイ処理を行うか行わないかを判断して記録処理を行うことにより、データの記録転送速度の低下を最小限に抑えつつ記録データの信頼性を向上させることが可能とする。 - 特許庁

The method of erasing data in a flash memory device includes a step of generating wordline bias voltages which are different from one another, an erasing step of applying the wordline bias voltages which are different from one another to a plurality of wordlines and applying an erasing voltage Vera to the bulk region of memory cells, and a step of verifying erased states.例文帳に追加

フラッシュメモリ装置の消去方法は、互いに異なるワードラインバイアス電圧を生成する段階と、前記互いに異なるワードラインバイアス電圧を前記複数のワードラインに印加し、消去電圧Ｖｅｒａをメモリセルのバルク領域に印加する消去段階と、消去状態を検証する段階とを含む。 - 特許庁

In an information collecting processing portion 12 in a vehicle safety checking device, a safety standard value indicating the safety of a vehicle, a date of manufacture, and history information of maintenance are stored in a safety information holding table 16 collecting a present value of each item necessary for verifying safety check from each connected equipment 1 to 7.例文帳に追加

情報収集処理部１２は、接続された各機器１〜７から安全確認の検証を行うために必要な各項目の現状値を収集する安全情報保持テーブル１６には、車両の安全性を示す安全基準値、製造年月日、保守点検の履歴情報が記憶される。 - 特許庁

The computer system is provided with a keyboard controller 9 which has a password verification mode of verifying a password for forcible power-off and system reset and has a function of determining whether an event for switching to the password verification mode occurs or not and collating a key input from a keyboard 10 with the password in response to the occurrence of the event.例文帳に追加

強制電源オフ、システムリセットのパスワードを照合するパスワード照合モードを有し、パスワード照合モードへ移行するイベントの発生の有無を判断し、イベントが発生した場合キーボード１０からのキー入力とパスワードを照合する機能を有するキーボードコントローラ９を備えたコンピュータシステム。 - 特許庁

Consequently, a second signature (σ_B', h_1', h_2', M_B, k, and Y') can be verified by giving the first deformation value Y' instead of the first signer related value to a signature verifying device having a second signature verification equation obtained by replacing the first signer related value of the second verification equation with the first deformation value Y'.例文帳に追加

これにより、第２検証式の第１署名者関連値を第１変形値Ｙ’で置換してなる第２署名検証式を有する署名検証装置に対し、第１署名者関連値に代えて第１変形値Ｙ’を渡すことにより、第２署名（σ_B’，ｈ_1’，ｈ_2’，Ｍ_B，ｋ，Ｙ’）が検証可能となる。 - 特許庁

Loan application information consisting of personal information for verifying the credit of the debtor, article information for specifying the article to be purchased, and loan information presenting the desired loan amount and the desired terms of repayment is input from a debtor's terminal 2 and sent to a creditor's device 3 as consultation on the borrowing of the fund for the purchase of the article.例文帳に追加

商品購入資金の借入相談として、借入者の信用度を検証する個人情報と、購入物件を特定する物件情報と、借入希望金額及びその返済希望条件を提示するローン情報とからなるローン申込情報を借入者端末２より入力し、融資先装置３へ送る。 - 特許庁

To provide a 90° phase difference generating circuit capable of ensuring a 90° phase difference within some extent of a frequency range even when the frequency of an input signal is changed without the need for a limiting amplifier having been needed in circuits of prior arts by providing an output of an output signal while verifying whether or not the 90°phase difference can be produced.例文帳に追加

９０゜位相差が生成できているかどうかを検証しながら出力し、従来回路で必要であったリミッティングアンプは必要とせず、入力信号の周波数が変わってもある程度の周波数範囲であれば９０゜位相差を確保することのできる９０゜位相差発生回路を提供する。 - 特許庁

4 The "Self-Assessment Management Division, etc." refers to divisions equipped with functions necessary for conducting self-assessment appropriately and established as necessary according to the scales and natures of the financial institution, including the Self Assessment Management Division and divisions in charge of conducting self-assessment and verifying the self-assessment that are independent from Sales-Related Divisions. 例文帳に追加

4自己査定管理部門等とは、自己査定管理部門、営業関連部門から独立した自己査定の実施部門、営業関連部門から独立した自己査定の検証部門等、金融機関の規模・特性に応じて設置された、自己査定を適切に実施するための機能を担う部門のことをいう。 - 金融庁

4 The "Self-Assessment Management Division, etc." refers to divisions equipped with functions necessary for conducting self-assessment appropriately and established as necessary according to the scale and nature of the financial institution, including the Self Assessment Management Division and divisions in charge of conducting self-assessment and verifying the self-assessment that are independent from Sales-Related Divisions.例文帳に追加

4 自己査定管理部門等とは、自己査定管理部門、営業関連部門から独立した自己査定の実施部門、営業関連部門から独立した自己査定の検証部門等、金融機関の規模・特性に応じて設置された、自己査定を適切に実施するための機能を担う部門のことをいう。 - 金融庁

To provide a method for verifying ultrasonic feed-water flowmeters capable of heightening the reliability of measurement accuracy of a feed-water flow by a Chordal type ultrasonic feed-water flowmeter, reducing estimated errors in thermal output operations, and improving the operating efficiency of a plant.例文帳に追加

Chordal型超音波給水流量計による給水流量の計測精度に対する信頼性を高めることができ、それにより熱出力演算における見込誤差をより小さくすることができ、プラントの運転効率を向上することを可能とする超音波給水流量計の検証方法の提供することにある。 - 特許庁

Where a right to priority is claimed under section 27 of the Principal Act there shall be filed, with the application for registration or within 3 months of the filing thereof, a certificate by the competent national authority verifying to the Controller’s satisfaction the filing date and country of filing, the representation of the design and its filing number. 例文帳に追加

基本法第27条に基づいて優先権を主張する場合は，登録出願とともに又は出願から3月以内に，出願日及び出願国名，意匠の表示並びに出願番号を長官に満足の行くように確認する権限ある国内当局の証明書を提出するものとする。 - 特許庁

Unless such certificate has been filed at the time of the filing of the application for registration, there shall be filed, within two months of the filling of such application certifying or verifying to the satisfaction of the Registrar, the date of the filing of the application, the country or countries, the representation of the mark, and the goods or services covered by the application.例文帳に追加

当該証明書が登録出願時に提出されない限り，当該出願から2月以内に，出願日，1又は複数の出願国名，当該標章の表示，出願の対象とする商品又はサービスについて，登録官の納得する程度まで証明又は立証したものを提出しなければならない。 - 特許庁

The sequential processing 15 decides appearance order of items to be converted into testing values inside the transaction record 13, the item to be converted into the testing value is determined by algorithm with the appearance order as an argument and is replaced, and is outputted as a set of the pseudo call and result-verifying information 17.例文帳に追加

順次処理１５は試験用の値に変換すべき項目それぞれのトランザクション記録１３内での出現順を判定し、試験用の値に変換すべき項目を、出現順を引数とするアルゴリズムで決定して置き換え、擬似呼及び結果検証用情報１７のセットとして出力する。 - 特許庁

To provide a design verification device and method, estimating a motion between components, based on an adjacent situation between the components, to define the motion, without inputting information for defining the motion between the adjacent components for the purpose of verifying design between the components with motion, and a program and a recording medium therefor.例文帳に追加

動きを伴う部品間の設計検証のために、隣接する部品間の動きを定義するための情報を入力しなくても、部品間の隣接状態に基づいて、部品間の動きを推定し、その動きを定義することができる設計検証装置、方法、プログラムおよび記録媒体を提供する。 - 特許庁