学生将会在实验室中操作验证演示各种物理学定律。
Students will demonstrate various physics principals in the lab.
本文其余部分描述了使用IBMOmnifindDiscoveryEdition搜索文档及其元数据集合的分面导航系统的概念验证演示。
The rest of article describes a proof-of-concept demonstration of a faceted navigation system to search a collection of documents and its metadata, using IBM Omnifind Discovery Edition.
不过您能够以一种间接的方式用它来验证用户交互，正如本文中演示的那样。
You can, however, use it to verify user interactions in an indirect manner, as I've demonstrated in this article.
本文将使用示例代码来演示鼠标力学，从而增强在验证和连续使用应用程序时的安全性。
This article USES example code to demonstrate mouse dynamics for enhancing the security of applications in authentication and continuous usage contexts.
本文将使用示例代码来演示击键力学如何在验证及连续数据输入环境中增强应用程序安全性。
This article USES example code to demonstrate keystroke dynamics for enhancing the security of your applications in authentication and continuous data entry contexts.
图10演示出：基本上，转换有一组验证规则，并且不会按没有操作的规范来执行。
Figure 10 demonstrates this: basically, the transformation has a set of validation rules and will not execute from a specification that has no operations.
在本文中，我演示如何使用该工具创建安装程序，并给出定义面板、用脚本编写验证器、设置资源等方面的例子。
In this article, I demonstrate how to create installers using this tool. I provide examples of defining panels, scripting validators, setting resources, and more.
清单2显示了用于验证图3中演示的内容是否可以正常工作的代码。
My code to verify things work as demonstrated in Figure 3 is shown in Listing 2.
这可能不是执行验证的最有效方式，但这为演示Geronimo应用服务器如何支持事务提供了一个很好的方式。
This may not be the most efficient way of performing the validation, but it provides a good vehicle for demonstrating how the Geronimo application server supports transactions.
该演示火箭将帮助验证设计中的假设状况，以便在建造战神一号X型时，工程师们可以确保它按预期的方式飞行。
The demonstrator will help verify design assumptions so that when the Ares 1 proper is built, the engineers can be confident it will fly as expected.
这些例子演示如何注册XML模式、如何执行 XML实例文档验证，以及如何使用XQuery或SQL/XML查询 XML数据等。
The examples show how to register an XML Schema, how to perform validation of XML instance documents, how to query XML data using XQuery or SQL/XML and much more.
我们相信，验证试飞会取得成功，并将演示Block40全球鹰具有新一代的监视功能。
We are confident that the verification test flights will be successful and will demonstrate the value the Block 40 Global Hawk to provide a new generation surveillance capability,' Dufresne said.
围绕用户角色创建业务策略是非常普遍的做法，在Fabric的概念验证和技术演示过程中尤其是如此。
It's common, especially during proof of concepts and technical demonstrations of Fabric, to create business policies around user roles.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
清单9演示了如何通过显式地调用这两个函数来进行验证。
Listing 9 demonstrates how to do this by explicitly calling the respective functions.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
为远程服务验证同步安全信息，以及提供品牌一致的技术，以及打造个性化应用程序，这些仅仅演示了桥接的一部分最佳应用。
Syncing security information for remote service authentication and techniques to consistently brand and personalize applications are just a couple of examples of how best to use the bridge.
这个示例仅仅演示了验证。
NEURON无人机演示将用于设计新一代无人机所需的技术研究和验证。
The NEURON demonstrator will be used to investigate and validate technologies needed to design next-generation UCAV aircraft.
NEURON无人机演示将用于设计新一代无人机所需的技术研究和验证。
The NEURON demonstrator will be used to investigate and validate technologies needed to design next-generation UCAV aircraft.
清单5很好地验证了图5演示的功能，难道您不这样认为吗？
Listing 5 does a good job of verifying the functionality demonstrated in Figure 5, don't you think?
本文演示了概念验证：使用RDS安装产品和加速镜像创建过程。
This article demonstrates a proof of concept: Using RDS to install products and accelerate the image creation process.
在这里我将演示如何实现这一目标，以及如何处理与事件验证没有禁用它。
Here I will demonstrate how to achieve this and also how to deal with event validation without disabling it.
演示系统验证过程。
这篇教程的主旨并不是示范用户身份验证的安全性。取而代之，本文将演示如何在众所周知的登录和创建帐户的算法中使用Xforms。
This tutorial does not purport to be an example of security in user authentication; instead, it will demonstrate the usage of XForms in the well-known algorithm for logging in and account creation.
清单2演示了如何使用JAXP 1.2中的新特性，通过SAX解析器来验证文档。
Listing 2 demonstrates how to use the new properties in JAXP 1.2 to validate a document through a SAX parser. To use the SAX parser to validate a document.
本文演示了ApacheMyFacesTomahawk验证器和组件的用法以及浏览器的可视化输出。
The use of Apache MyFaces Tomahawk validators and components were demonstrated along with the visual output to the browser.
为了进行演示，假设Book模块中的所有操作都需要身份验证。
To illustrate, assume that all the actions in the Book module require authentication.
为了演示创建定制验证器的流程，请考虑CreateInput表单，其中每个销售者都要求输入其汽车的最低和最高价格。
To illustrate the process of creating a custom validator, consider that in the CreateInput form, each seller is asked to enter a minimum and maximum expected price for his or her vehicle.
数学实验的内容体系可分为演算、验证(模拟、演示)、数学建模(数据处理、经验归纳)三个层次。
The system of mathematics experiment can be divided into three levels: i. e. figuring, validating (simulation and demonstration), mathematical modeling (data processing and experience summarizing).
应用推荐