进行分离，然后返回来处理验证问题。
这个测试有助于验证问题a。
这个测试有助于验证问题b。
下一期文章将回顾十分重要的验证问题。
In the next installment, I will review the all-important issue of validation.
模式主要解决接口的设计、文档和验证问题。
Schemas primarily address the design, documentation, and validation of an interface.
但是其中还留下了一些验证问题。
这有助于验证问题f。
例如，母亲的婚前姓是许多网站使用的验证问题。
For example, a mother's maiden name is a common challenge question used by numerous sites.
这种方法解决了安全问题，但是不能解决验证问题。
That solves the security problem, but not the authentication issue.
在这种情况下，SPT清楚地描述了错误；有两个验证问题。
In this case, SPT clearly describes the errors; there are two validation issues.
然而，输出的可执行模型存在验证问题，开发人员必需更正这一点。
However, the exported executable model has validation problems which the developer must correct.
作战模型由于自身的特点，它的验证问题一直是一个难点。
Validation of warfare model is always difficult because of the characteristics itself.
您可以提出您的目标指令的问题，您可以建立验证问题答案的度量方法。
You ask the questions that your goal demands, and you establish the measure that will verify the question's answer.
您可以创建测试来验证问题修复是永久性的，并且同样的问题不会重现。
You can create tests to verify that fixes to problems are permanent and that the same problems don't recur.
代码传输只会发生一次，但每次在另外一端遇到验证问题时都要传输数据。
Code transmission happens only once, whereas data must be transmitted every time you encounter a validation problem at the other end.
所有事件信息都是公共的，因此身份验证问题不是这里的主要考虑。
All of the event information is public, so authentication issues are of no major concern here.
研究个性化产品需求的语义描述和客户需求表达的一致性验证问题。
The semantics description of individual character product requirement and the compatibility verification issue of client requirement express are researched.
当前这组标准被分成十个部分，DSDL意味着默认了整个验证问题的复杂性。
Currently divided into 10 parts, DSDL is an implicit recognition of the complexity of the overall subject of validation.
本文用贝叶斯方法对威布尔场合下的可靠性评估和验证问题进行了深入的研究。
In the paper, Bayesian method is used to study the problems of the reliability estimate and the reliability demonstration test for Weibull distribution.
识别风险并分析，提出正确的重要等级，建议正确的行动计划，验证问题的关闭状态。
Identify risks, analyze them, elevate to the correct level of magnitude, suggest corrective actions, and verify the closure of open issues.
开发ssl就是为了解决这些保密性和服务器身份验证问题的，它现已得到了广泛使用。
SSL was developed to address these problems of confidentiality and server authentication, and is now widely used.
识别合适的方案，对于真正理解这个问题，并验证问题值得使用静态分析发来解决来说，意义重大。
Identifying the correct solution plays a key part in truly understanding the problem and verifying that the problem is worthy enough to identify by using static analysis.
OpenID用于解决大量的在线身份验证问题，已经作为一种可靠的身份管理解决方案而被广为接受。
OpenID solves the problem of keeping up with numerous online identities and is gaining widespread adoption as a reliable identity management solution.
同时由于“声音保险库”让顾客自己设定验证问题，答案的形式是几个词语，这比个人识别码也要好记得多。
And because Voice Vault lets you set your own security question, the answer to which is used as the passphrase, it is easier than remembering a PIN.
实验表明，该机制能够完成XML文档的关联验证，较好地解决了多X ML文档关联验证问题。
Experiments show that the mechanism is a good method for multi-XML documents correlating validation.
研究了匿名分组身份验证算法，该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题。
This paper studies the anonymous group identity verification algorithm, which can very reliably solve the problem of the Anonymous identity verification.
针对PNO模型存在的分析验证问题，本文将时态逻辑引入PNO模型，提出了相应的建模及验证方法。
Aiming at the problems of verifying PNO, this paper introduces temporal logic to PNO model and presents a modeling and verifying method based on PNO with precise marking.
BrowserID可能会成为解决复杂的身份验证问题的简单方案，特别是当前openid看起来有些问题。
BrowserID might turn out to be a simple solution to the complex authentication problem, especially since OpenID seems to have some problems at this moment.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
应用推荐