CAM代表着最新一代的XML验证技术。
CAM represents the latest generation of XML validation technologies.
研究铁路系统的自动验证技术。
This paper presents automatic verification techniques for railway systems.
使用您的数据库支持的适当验证技术来做到这一点。
Use the appropriate validation technique supported by your database to do this.
此外，动态验证技术的应用，像测试仍然是可用的。
In addition, the application of dynamic verification techniques such as testing remains applicable.
有一些验证技术能够保证XML代码是正确的。
Several validation technologies make sure that the XML code is right.
现在我们可以看到CAM相比较早验证技术的另一项优势。
And now you have yet another advantage of CAM versus older validation technologies.
探讨了武器装备体系概念建模与分析验证技术。
The concept modeling and verifying analysis technology for weapon and armament system of systems were discussed.
采用多种输入校验方法和有效性验证技术，减少输入错误；
Multiple input validation methods and effective(verification) approaches which can reduce data error are adopted in the software.
因此，系统需要一种能较好解决这些问题的自动规范验证技术。
Then it is in great need of the formal technique of automatic verification to solve these problems.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
此外，虽然我们讨论了大多数常用的转换和验证技术，但还有一些没有包含在内。
Additionally, while we discussed the most common conversion and validation techniques, there are some we couldn't include here.
因此，外包数据库查询验证技术具有非常广泛的应用前景和研究价值。
Therefore, query authentication techniques in outsourced databases have very broad application prospects and research value.
与计算机技术的结合，使得生物验证技术在许多领域得到了广泛的应用。
The combination with the technology of the computer, make biological authentication technology widely used in a lot of fields.
其次，一种数值阶验证技术证实求得的二阶渐近解对小参数都是一致有效的。
Secondly, a technique of numerical order verification was applied to verify that the asymptotic solutions were uniformly valid for small parameter.
时间知识的推理和验证技术对列车群行为建模分析具有重要意义，是其实施关键。
Reasoning and validating of temporal knowledge are very important in modeling and analyzing operations of a train group, and are the key technology of its implementation.
顾问奥斯汀表示，在使用声纹验证技术前首先征得客户同意，这对公司来说很重要。
Austin, the consultant, said that it's important for companies using voice print technology to first get customer consent.
客户心理同样可能是一个问题，波里诺说道，他任职的银行并未使用声纹验证技术。
Consumer psychology may also be a problem, said Pollino, whose bank does not use voice print technology.
数字高清晰度电视信道接收芯片实现中使用了基于扫描链的可测试设计和静态验证技术。
In the project of HDTV channel receiving ASIC, DFT techniques based on scan-chains, STA (Static Timing Analysis) and formal verification has been adopted.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在这阶段的最后，你可以在一个比较广泛的范围里验证技术解决方法，并且为它在组织中的延展做好准备。
At the end of this phase, you will have proved the technical solution across a wider set of projects and are ready to roll it out across the organization.
而传统的把语音转换成文字的想法在通信中用处非常有限，发音验证技术有助于处理上述声音。
The traditional idea of converting sounds into words is of very limited use in communications. The utterance-verification technology is helpful in addressing the above sounds.
就信息资源保护的需求现状，分析了当前网络信息安全通常采用的技术以及身份验证技术现状。
Based on the demand status of the information resource, analyses the network information security technique and the current status of authentication system.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
同时，还介绍了几种试验验证技术，主要是模拟仿真试验技术、亚临界颤振试验、闭环系统试验等。
At the same time, the substantiating test techniques have been described, especially the analog simulation test technique, sub-critical flutter test, closed-loop test, etc.
为将基于窗谱估计的模型验证技术应用于金融时间序列领域，以解决金融时间序列模型的设定正确性。
Thus, the window spectrum estimation technique provides more effective model validation than the traditional back-test m.
本文将故障验证技术中的伪电路法和支路诊断法结合起来，提出了线性模拟电路故障诊断的分组诊断法。
Based on the methods of pseudo circuit and branch diagnosis, a grouping diagnosis for the fault in a linear analog circuit is proposed.
请考虑在获得对多个数据存储(其中所有数据存储都需要不同的身份验证技术)的访问权限时所存在的困难。
Consider the difficulty in gaining access to multiple data stores, all of which require different authentication techniques.
本文将概述翻译验证技术和经典错误，并提供了一个工具，您可以下载它来帮助您的翻译测试员更有效率、更有成效地工作。
This article will outline translation verification techniques and classic errors and will provide a tool to help your translation testers work more efficiently and effectively.
即便如此，他也认为，像基于手机的验证技术等新方法可以“使目标更坚固”，就像防盗报警器多少会使你家变得难偷一点。
Even so, he thinks novel approaches such as mobile-based validation may "harden the target", just as a burglar alarm makes your home somewhat trickier to rob.
应用推荐