| 例文 |
code verificationの部分一致の例文一覧と使い方
該当件数 : 137件
The Kripke structure model 300 is generated to eliminate a state not satisfying a condition described in contract information defined about the verification-objective source code 100.例文帳に追加
Kripke構造モデル300は、検証対象ソースコード100について定義された契約情報に記述された条件を満足しない状態を排除するようにKripke構造モデル300を生成する。 - 特許庁
If the verification is successful, then the service provider can provide the verified code to the service intermediary as the non-repudiatable evidence of the service requested by the service user.例文帳に追加
検証が成功の場合、サービスプロバイダは、サービス利用者によって要求されたサービスの否認不能な証拠として、検証されたコードをサービス仲介に提供することができる。 - 特許庁
If the verification is successful, then the service provider can provide the verified code to the service intermediary as undeniable evidence of the services requested by the service consumer.例文帳に追加
検証が成功する場合に、サービスプロバイダは、サービス利用者によって要求されたサービスの否認不能な証拠として、検証されたコードをサービス仲介に提供することができる。 - 特許庁
A password for releasing the security function is stored in the column latch circuit 29 and the verification operation between the password stored in the column latch circuit 29 and a security release code stored in a release code storage section 13 is performed by control of a security control circuit 41.例文帳に追加
セキュリティ制御回路41の制御により、カラムラッチ回路29にセキュリティ機能を解除するためのパスワードを格納し、カラムラッチ回路29に格納されたパスワードと解除コード格納部13に格納されているセキュリティ解除コードとのベリファイ動作を行なう。 - 特許庁
An authentication verifying means 1c of the certificate authenticating server 1 verifies the certificate information stored in the authentication code storing means 1b corresponding to the received authentication code and the received certificate information, and transmits a verification result to a client 3.例文帳に追加
証明書認証サーバ1の認証照合手段1cは、受信した認証コードに対応する、認証コード記憶手段1bに記憶されている証明書情報と、受信した証明書情報とを照合し、照合結果をクライアント3に送信する。 - 特許庁
The card kind pre-encoder is provided with a feature detection means which detects feature points of a plastic card to generate feature information, a card kind verification means which verifies the feature information and the prescribed card kind information to generate a card kind code, and a card kind code writing means which pre-encodes the card kind code into the plastic card.例文帳に追加
プラスチックカードにおける特徴個所を検出して特徴情報を生成する特徴検出手段と、前記特徴情報と所定の券種情報とを照合して券種コードを生成する券種照合手段と、前記券種コードを前記プラスチックカードにプリエンコードする券種コード書込手段とを具備するようにしたカード券種プリエンコーダ。 - 特許庁
In the case of restarting the program, a code ciphering key/signature verification unit 257 deciphers the ciphered context information by the secret key of the microprocessor and verifies whether or not the code ciphering key of the deciphered context information coincides with the original code ciphering key of the interrupted program and the execution of the program is restarted only in the case that it coincides.例文帳に追加
プログラムを再開する場合は、コード暗号化鍵・署名検証ユニット257は、暗号化されたコンテキスト情報を、マイクロプロセッサの秘密鍵で複号化し、複号化されたコンテキスト情報のコード暗号化鍵が、中断されたプログラム本来のコード暗号化鍵と一致するかどうかを検証し、一致した場合にのみ、プログラムの実行を再開する。 - 特許庁
To reduce the probability of access permission by an accidental hit occurring inevitably in a "round robin method" without extending the code length of an individual password, by employing additional verification.例文帳に追加
追加認証を採用することで、“総当り法”で必然的に発生する偶発ヒットによるアクセス許可の発生確率を、個々のパスワードの符号長を長くすることなく低下させることができる。 - 特許庁
Then, the distributor terminal device 3 decrypts the encrypted code symbols by using a decryption key associated with the handwritten signature and acquires delivery verification data, and transmits it to the consignor terminal device 2.例文帳に追加
そして、筆記サインに対応づけられている復号鍵を用いて、暗号化コードシンボルを復号化して、配達確認用データを取得し、配達確認用データを、荷主端末装置2に送信する。 - 特許庁
A vehicle is equipped with a handsfree system which makes the locking/unlocking of a door and the start of an engine permitted when an ID code of a portable machine 2 corresponds to that of a vehicle 1 so that ID verification can be established.例文帳に追加
車両には、携帯機2のIDコードが車両1のそれと一致してID照合が成立すればドアロック施解錠やエンジン始動が許可されるハンズフリーシステムが搭載されている。 - 特許庁
In addition, when the data is updated, similar verification is performed when the old data for creating the parity is read and when the data is not the erroneous data, a redundant code generation part 13a of the data path control part 13 adds a redundant code in which a new DC value is embedded to a new piece of data and parity.例文帳に追加
また、データの更新時には、パリティを作成するための旧データの読出し時に同様の検証を行い、不正データでなければ、データパス制御部13の冗長コード生成部13aが、新たなDC値を埋め込んだ冗長コードを新データ及びパリティに付加する。 - 特許庁
When the receiver 6 in an ID-code invalid mode receives the operation request signal Sa from the key 1 in this mode, the ID code in the operation request signal Sa is ignored, and the operation of the operating equipment 11 is permitted without reference to the establishment of the ID verification.例文帳に追加
一方、受信機6がIDコード無効モードの時、このモードにおいて受信機6がキー1から作動要求信号Saを受信すると、作動要求信号Sa内にあるIDコードは無視し、ID照合の成立に関係なく作動機器11の作動を許可する。 - 特許庁
A portable terminal 10 transmits the digital image data fetched by a camera part 12 and the first fixed length code data read by a RFID reader 13 to a server 30 to request verification for forgery of the commodity 40, and displays a verification result supplied from the server 20 in response to the request on a display part 16.例文帳に追加
携帯端末10は、カメラ部12で取り込んだデジタル画像データおよびRFIDリーダ13で読み取った第1の固定長符号データをサーバ20へ送信して商品40の偽造の検証を要求し、該要求に応じてサーバ20から供給される検証結果を表示部16に表示する。 - 特許庁
The server 20 generates second fixed length code data while applying the digital signature to the digital image data received from the portable terminal 10 in response to the verification request from the portable terminal 10, determines whether the second fixed length code data is matched with the first fixed length code data received from the portable terminal 10 or not, and supplies the result to the portable terminal 10.例文帳に追加
サーバ20は、携帯端末10からの検証要求に応じて、携帯端末10から受信したデジタル画像データに上記デジタル署名を施して第2の固定長符号データを生成し、該第2の固定長符号データが携帯端末10から受信した第1の固定長符号データと一致するか否かを判定し、その結果を携帯端末10に供給する。 - 特許庁
The verification support device 100 can specify the delay cycle number 121 by detecting a node on a path of the investigation object variable 111 of the RTL source code 113 for each clock domain of the respective nodes.例文帳に追加
検証支援装置100では、RTLのソースコード113における調査対象変数111のパス上のノードを各ノードのクロックドメインごとに検出することによって遅延サイクル数121を特定できる。 - 特許庁
The circuit verification apparatus 1 also includes an assertion converting unit 14 configured to convert each of the predetermined measurement points to a corresponding assertion description and a code coverage result decompressing unit 13 configured to receive the database and an assertion result 112 obtained by performing measurement based on the assertion description and generate a code coverage result 113.例文帳に追加
また、回路検証装置1は、所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部14と、データベースとアサーション記述に基づいて計測を行い得られたアサーション結果112とを受け取り、コードカバレッジ結果113を生成するコードカバレッジ結果伸長部13とを有する。 - 特許庁
Furthermore, the secure VM executes digital signature generation processing by applying a secret key set for each player to the configuration data of a content code, and executes verification processing for the digital signature by applying a public key set for each player when the data processing program in the content code is executed.例文帳に追加
さらにセキュアVMはコンテンツコードの構成データに対して、プレーヤ毎に設定された秘密鍵を適用してデジタル署名生成処理を実行し、さらに、コンテンツコード中のデータ処理プログラムの実行に際して、プレーヤ毎に設定された公開鍵を適用して上記デジタル署名に対して検証処理を実行する。 - 特許庁
When it is judged that the password data α and the verification data α' match, an encryption QR code Qb is read and decoded, encrypted data β' decoded by using a decipher key provided in a QR code reader 20' is decoded, and plaintext data β is generated and output to the host computer 10.例文帳に追加
そして、暗証データαと照合データα’とが一致すると判断した場合には、暗号化QRコードQbを読み取ってデコードし、さらにQRコードリーダ20’が備える復号鍵を用いてこのデコードされた暗号データβ’を解読して平文データβを生成してホストコンピュータ10に出力する。 - 特許庁
When an investigation object variable (signal or register) 111, a clock signal name 112 and an RTL source code 113 for defining/referring to the variable and the name are inputted to a verification support device 100 as an input value 110, the verification support device 100 outputs a delay cycle number 121 related to the investigation object variable 111 as an output value 120.例文帳に追加
検証支援装置100によって、入力値110として調査対象変数(信号やレジスタ)111およびクロック信号名112と、それらを定義・参照しているRTLのソースコード113が入力されると、調査対象変数111についての遅延サイクル数121を出力値120として出力する。 - 特許庁
A verification terminal reads the group of paper identifiers from the radio IC tag of paper and the group of paper identifiers and the electronic signature from the two-dimensional bar-code, and verifies a correspondence relation of these information from a public key certificate of a printer.例文帳に追加
検証端末は,用紙の無線ICタグから用紙識別子の組を二次元バーコードから用紙識別子の組と電子署名を読み込み,これらの情報の対応関係を印刷機の公開鍵証明書により,検証する。 - 特許庁
Vehicle doors 11-15 are unlocked when verification of the ID code is oked and operation of a holder of the portable device 1 relative to the vehicle doors 11-15 is detected and conditions that the vehicle doors 11-15 are unlocked are satisfied.例文帳に追加
そして、IDコードの照合がOKとなり、かつ携帯機1の保持者の車両ドア11〜15に対する操作を検出して、車両ドア11〜15のアンロックを行う条件が成立すると、車両ドア11〜15をアンロックする。 - 特許庁
A multifunction machine which performs verification has a read enabling processing unit 75 which restores into a readable state the code data reading of which is disabled out of the QR code detected from the image data of the read second paper document, and an information output unit 73 which acquires information relating to a paper fingerprint based upon the paper fingerprint ID acquired from the QR code made readable and outputs the information.例文帳に追加
また、検証を行う複合機は、読み取られた第2の紙文書の画像データから検出されたQRコードのうち判読不能にデータ加工されたコードデータを判読可能に復元する判読可能化処理部76と、判読可能にされたQRコードから得られる紙指紋IDに基づき紙指紋に関する情報を取得して、出力する情報出力部73とを有する。 - 特許庁
An image reproducing device 20 decodes the ciphertext of the frame of the compressed image by selecting a data decoding key 203 for making verification of combination of the encryption key authentication code which is produced when the frame of the compressed image is encrypted and the original data which are used for producing the encryption key authentication code succeed from among a plurality of the data decoding keys 203.例文帳に追加
映像再生装置20は、圧縮された映像のフレームを暗号化したときに生成された暗号鍵認証コードと、暗号鍵認証コードの生成に利用された素データの組み合わせの検証に成功するデータ復号鍵203を、複数のデータ復号鍵203の中から選択し、圧縮された映像のフレームの暗号文を復号する。 - 特許庁
At the time of selling the printed matter 20, the printed matter additive service system reads a printed matter identification code recorded on an RFID 21 attached to the printed matter 20 by a seller side service terminal 11, and issues a user ID for qualification verification required for service acquisition.例文帳に追加
印刷物20の販売時点で、販売者側サービス端末11により印刷物20に添付されたRFID21に記録された印刷物識別コードを読み取り、サービス取得に必要な資格認証用のユーザIDを発行する。 - 特許庁
To provide a disk array device performing verification of validity of addressing in data access by use of a redundant code to user data to improve data reliability even when using an HDD such as a serial ATA not allowing expansion of sector length.例文帳に追加
セクタ長拡張不能なシリアルATA等のHDDを使用した場合でも、ユーザデータに対し冗長コードを用いてデータアクセスにおけるアドレッシングの正当性の検証を行ってデータ信頼性を向上できるディスクアレイ装置を提供する。 - 特許庁
In the verification server 2, the issued page serial number and the issued page generation number included in the source code transmitted from the mobile phone 1 are collated with issued page serial numbers and issued page generation numbers stored in the issued page management table 204b.例文帳に追加
認証サーバ2において、携帯電話1から送信されたソースコードに含まれる発行ページシリアル番号及び発行ページ世代番号と、発行ページ管理テーブル204bに格納された発行ページシリアル番号及び発行ページ世代番号との照合がなされる。 - 特許庁
To provide an anti-counterfeit printed matter which permits simple and reliable operation for performing determination of authenticity without allowing information to be easily read or altered by visible light and IR rays from printed code marks or the like and permits mechanical reading, and a verification method using the same.例文帳に追加
印刷されたコードマーク等から可視光や赤外線により容易に情報が読み取られたい改ざんされることなく、真偽の判定を行うための操作が簡単かつ確実に出来る、機械読み取り可能な偽造防止印刷物及びこれを用いた検証方法の提供。 - 特許庁
A conversion verification device 117 inserts a code for extracting an SQL sentence into a program to be processed by an Access database system 111, automatically extracts the SQL sentence in an execution, and converts it into an SQL sentence to be processed by an SQL-SERVER database system 113.例文帳に追加
変換検証装置117では、Accessデータベースシステム111で処理するプログラムに、SQL文を抽出するコードを挿入し、実行時にSQL文を自動的に抽出し、SQL−SERVERデータベースシステム113で処理されるSQL文に変換する。 - 特許庁
Based on conditions that the smart control section 10 performs a verification acceptance of an ID code and the smart control section 10 as well as the motion sensor 15 presume user intention, the body control section 20 drives the door locking/unlocking motor 21 and the door opening/closing motor 22 or the trunk opening/closing motor 23.例文帳に追加
スマート制御部10によりIDコードの受理認証がされ、かつ、スマート制御部10及びモーションセンサ15によりユーザの意思が推認されることを条件として、ボデー制御部20がドアロック/アンロックモータ21を駆動し、ドア開閉モータ22あるいはトランク開閉モータ23を駆動する。 - 特許庁
Each bin includes a pilot phase data field, an antenna data field, a code data field, an averaged signal strength data field, an assigned flag data field, a verification flag data field, an update flag data field, an assigned Rake finger number data field, and an assignment time counter data field.例文帳に追加
各ビンは、パイロット位相のデータフィールド、アンテナのデータフィールド、符号のデータフィールド、平均信号強度のデータフィールド、割当済みフラグのデータフィールド、検証済みフラグのデータフィールド、更新フラグのデータフィールド、割当レイクフィンガ数のデータフィールド、および割当時間カウンタのデータフィールドを含む。 - 特許庁
1) Final verification prior to case sealer, 2) weight range for product code at the final scale, 3) case damage and condition inspection during order staging, and 4) all cases will be double scanned to ensure that only approved codes are included.例文帳に追加
1)箱を封印する前の最終確認、2)最終計量時にいてコードごとの重量範囲を確認、3)出荷準備中の箱の損傷や状態の検査、4)すべの箱は承認されたコードの製品のみが含まれていることを保証するための二重スキャン行われる。 - 厚生労働省
1)Final verification prior to case sealer, 2) weight range for product code at the final scale, 3) case damage and condition inspection during order staging, and 4) all cases will be double scanned to ensure that only approved codes are included.例文帳に追加
1)箱を封印する前の最終確認、2)最終計量時においてコードごとの重量範囲を確認、3)出荷準備中の箱の損傷や状態の検査、4)すべての箱は承認されたコードの製品のみが含まれていることを保証するための二重スキャンが行われる。 - 厚生労働省
This device, a program product and a method are provided for optimizing dialogues between the client and the server via an active document for effectively transferring, for example data formatting operation and data verification operation from the server to the client by changing a program code on the server side and performing a portable operation by preparing the active document.例文帳に追加
サーバ側のプログラムコードを変更し、ポータブル操作の実施を、たとえば、データフォーマッティング操作、およびデータ検証操作を、サーバからクライアントに効果的に移行するためのアクティブ文書を作成することによって、アクティブ文書を介して、クライアントとサーバとの間の対話を最適化する、装置、プログラム製品および方法を提供する。 - 特許庁
Further, DS20 can be inputted from the condition setting part 10 and one of outputs DSO21 to DSO2n of respective programs P1, P2, P3 to Pn in the program 63 or variables at necessary places of the respective steps can be displayed and monitored, so high-precision verification can be performed on the source code level in the program.例文帳に追加
更に、条件設定部10からDS_20も入力でき、プログラム63の内部の各プログラムP_1 ,P_2 ,P_3 〜P_n 出力DSO_21〜DSO_2nのいずれか、又は各ステップでの必要個所の変数を表示部11へ表示してモニタすることができるので、プログラム内部のソースコードレベルで高精度の検証ができる。 - 特許庁
A second portable terminal device 11 decodes the optical code 20 included in an image of the electronic impression seal 2 photographed by the camera function, verifies the digital signature included in the decoded electronic seal impression, and displays the signature object data on a display of the second portable terminal device 11 as a verification result of the digital signature.例文帳に追加
第2の携帯端末装置11は,カメラ機能で撮影された電子印影シール2の画像に含まれる光学コード20をデコードし,デコードした電子印影に含まれるデジタル署名を検証し,該デジタル署名の検証結果として署名対象データを第2の携帯端末装置11のディスプレイに表示する。 - 特許庁
Then, the user copies the picture 102 with the authentication code from the archive server device 400 to the electronic diary (5) by using an electronic journal management device 500, and links to a location time verification screen 104 from the picture 102 included in the electronic journal 103 (6), and stores the electronic diary 103 in an electronic diary ASP server 107 (7).例文帳に追加
その後、ユーザは、電子日誌管理装置500を用いて、(5)認証コード付き写真102をアーカイブサーバ装置400から電子日誌にコピーし、(6)電子日誌103に含まれる写真102から位置時刻検証画面104にリンクし、(7)電子日誌ASPサーバ107に電子日誌103を保存する。 - 特許庁
A user terminal uses a verification key of the insurance computer and the electronic signature extracted from a code with a signature in which the electronic signature is added to the signature target to verify the validity of the signature target included in the code with the signature, notifies a user of the signature target whose validity is confirmed before actually connecting the access point and makes the user select whether to connect the access point.例文帳に追加
ユーザ端末は、保証コンピュータの検証鍵と、上記署名対象に上記電子署名が付加された署名付きコードから抽出した電子署名とを用いて、上記署名付きコードに含まれる署名対象の正当性について検証し、実際に上記接続先に接続する前に、正当性が確認された上記署名対象をユーザに知らせ、上記接続先に接続するかどうかをユーザに選択させる。 - 特許庁
| 例文 |
|
ログイン |
Weblio会員(無料)になると
|
|
ログイン |
Weblio会員(無料)になると
|