prover
英 [ˈpruːvə]
美 [ˈpruvər]
证人，校准【试验】装置，打校样工人
复数：provers
双语例句
- Replay attack prevention: Each issued U-Prove token also contains a token-specific public key that is known only to the Prover.
重放攻击（Replayattack）防护：每个发布的U-Prove令牌中还包含专门针对每个令牌的公钥，这只有验证方才知道。 - This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程式的自动理论证明器，用于支持语言处理中的推理。 - Bi-directional folded-type prover system
双向折叠型标定系统 - Flow measurement calibration facility-Pipe prover
GB/T13282-1991体积管式流量测量校准装置 - The Prover randomly generates it during the issuance protocol, together with a corresponding private key for the U-Prove token.
验证方会在发布协议中随机生成公钥，此时会使用针对U-Prove令牌的相关私钥。 - Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.
要不然，抽象会丢掉那么多信息，以致于定理证明程序产生的结果对抽象而言是正确的，但是对于正在被分析的程序而言则是不正确的了。 - Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证 - Sonic nozzle flow prover
声速喷嘴流量检定装置 - He ended the article with a prover.
他用一句谚语作为文章的结尾。 - In order for a Prover to retrieve a U-Prove token from an Issuer, the two parties must engage in an instance of the U-Prove issuance protocol.
为了让验证方从发布方获得U-Prove令牌，这两个组织必须位于U-Prove发布协议的同一实例中。 - Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。 - After obtaining a token, the Prover will use it in relation with a Verifier to establish a trusted relationship between the two via the Presentation Protocol
在获得了令牌之后，验证方会与校验放取得联系并通过表现协议在二者之间确立可信任的关系 - To compute this response the Prover applies the private key for the U-Prove token to a presentation challenge of the Verifier.
为了对这个响应进行计算，验证方会把针对U-Prove令牌的私钥应用于校验方的表现请求。 - Prover: zgonghualai, a general manager in Huainan Kaiyuan Real Estate Co.
证明人：现任淮南市开元置业开发公司总经理。 - When the Prover wants a token, he contacts the Issuer through the Issuance Protocol presenting his attributes in a cryptic form.
当验证方想要得到令牌的时候，它会通过发布协议与发布方联系，以一种秘密的形式来展现他的属性。 - The Issuer may use various means to authenticate the Prover including accessing information contained in U-Prove tokens generated by other Issuers.
发布方可能会使用各种方法来对验证方进行认证，包括访问包含在U-Prove令牌中由其它发布方生成的信息。 - The author offers a complete theory and an efficient algorithm for solve the system TSG. Based on these results, the author implements a prover EXPLORER which has discovered many geometric inequalities automatically.
提出了一套求解系统TSG的完整理论和高效的算法，据此实现的通用软件EX－PLORER已成功地自动发现了许多几何不等式。 - The ownership prover insert the watermark into the host signal using symmetric watermark technology based on spread spectrum.
所有权证明者采用基于扩频的对称水印技术，在宿主信号中嵌入水印； - Some Improvements on the Boyer-Moore Theorem Prover
对Boyer-Moore定理证明器的若干改进 - This paper proposes an automatic calibration system of bell prover gas calibration facility.
介绍了一种钟罩式气体流量标准装置自动检定系统。 - A prolog system based on the connection theorem prover
基于连接法定理证明器的PROLOG系统 - The Study of Hardware Verification in Theorem Prover HOL
基于定理证明器HOL的硬件验证研究 - The paper presents a PROLOG system and its features, based on the connection theorem prover.
本文介绍以连接法定理证明器为基础的PROLOG系统及其特点。 - In the scheme the prover has not to give directly the DSA signature of a message, but to give a zero-knowledge proof of possessing a DSA digital signature of the message.
该方案给出了防止DSA数字签名任意传播的一种新方法&签名者不直接提供对信息M的签名，而是提供拥有该信息的数字签名的一个零知识证明。 - The main feature of the method is that it suits the synthesis system with no theorem prover. The concept the complete set of transformation rule 'is put forward.
本方法主要特点是适用于不带证明器的综合系统，为此提出了完备变换规则组概念及相应的一套综合过程。 - Error Origin in Course of Prover's Calibration
标准体积管检定过程中的误差来源 - DC/ P ( duration calculus prover) is a proof assistant for a family of interval logics.
DC/P（durationcalculusprover）是一族实时区间逻辑的辅助定理证明工具。 - The watermark detect key is sent to the verifier hiding in bit commitment. By the interactive protocol between the prover and the verifier, the verifier can extract the embedded watermark, but he can not modify, counterfeit or remove it.
水印检测的密钥采用比特承诺的形式提交给验证者，通过证明者和验证者之间的交互协议，验证者可以提取到所嵌入的水印，但无法修改、伪造或移去水印。 - Program Developing System with Theorem Prover Embedded in
内含定理证明器的程序开发系统