基本释义:

验证方式

网络释义

1)verification mode,验证方式

2)verification expression,验证式;验证式

3)the cognitive styles of hypothesis testing,假设-验证认知方式

4)Bertrand qualifying equation,伯特兰验证方程式

5)formal specification and verification,形式化描述与验证方法

6)verification method,验证方法

用法和例句

Research progress on verification method of position of nasogastric feeding tube;

鼻饲管位置验证方法研究进展

A novel verification method of bio-heat transfer model was presented in this paper.

提出一种新的生物传热模型验证方法。

The verification method was presented based on the above correlation property,which had been used to verify the Woo and Lam authentication Protocol in reverse analysis.

从主体认证关联、消息间关联和消息内部关联三个角度去刻画协议,提出了基于以上关联特点的协议验证方法。

The requested authentication method is not supported by the server.

这个服务器不支持请求的身份验证方式。

"The server cannot accept your chosen user authentication method.

"该服务器不能接受您选定的用户身份验证方式。

The server cannot accept the chosen user authentication method.

服务器不能接受所选的用户身份验证方式。

A more secure authentication method is required for this server.

这台服务器需要一个更安全的身份验证方式。

Formal Verification of the EAP-AKA Wireless Authentication Protocols

EAP-AKA无线认证协议的形式化验证方法

New Solution of TLM-Driven Design and Verification Methodology

TLM驱动式设计和验证方法学新方案

A surface can be looked at in two ways.

曲面可以用两种方式验证。

Study on the Formal Verification Methods in BDD and SAT;

基于BDD和SAT的形式验证方法的研究

The Research of Formal Verification Method on Cryptography Protocol;

关于密码协议形式化验证方法的研究

Research and Application on Verification Technology of Formal B Method;

形式化B方法验证技术研究及其应用

Research on Formal Verification Method for VLSI Design

VLSI设计中的形式验证方法研究

Design and Verification of Interface Circuit for Vibratory Microgyroscope

振动式陀螺接口电路方案设计及验证

Protocol Formal Description and Verification Method Based on RSL

基于RSL的协议形式化描述与验证方法

Authentication method of Web service combination formalization based on petri net

Web服务组合形式化验证方法研究

Study on the Vector-based SW/HW Cosimulation Method

Vector模式软硬件协同仿真验证方法研究

Specify how users should be authenticated to the server

指定用户访问服务器所受到验证的方式

Research on Methods for Formal Verification of Vlsi Circuit;

超大规模集成电路形式验证的方法研究

Research on Formal Verification and Design of Security Protocols;

安全协议形式化验证方法和安全协议设计研究