对此的讨论在硬件验证第3部分。
These are discussed in point No. 3 of Validation of Hardware.
CAE的结果和硬件验证显示了良好的相 关性。
The results of the CAE and hardware verification showed good correlation.
假设并行的CAE和硬件验证具有成功的结果，可以指定CAE为将来验证的基础。
Assuming that the parallel CAE and hardware verification has a successful outcome, CAE can be specified as the basis of future verification.
经eda软件模拟仿真和FPGA硬件验证，表明该计数器具有正确的逻辑功能，能够正常地应用于数字系统的设计。
It is proved that this type of counter has correct logic function according to EDA simulation and experimental verification with FPGA and can be normally used in the design of digital system.
一旦你使用IBM中间件和硬件开发了一个应用程序，下一个步骤就是使用IBM技术验证过程验证这个解决方案。
Once you develop an application with IBM middleware or hardware, the next step is to validate the solution using the IBM technical validation process.
测试在“悬停坑”进行，也对飞机软件、控制系统、热管理系统、STOVL系统硬件和其他系统性能进行验证。
The tests, conducted on a specially instrumented "hover pit, " also validated the performance of aircraft software, controls, thermal management, STOVL-system hardware and other systems.
测试在“悬停坑”进行，也对飞机软件、控制系统、热管理系统、STOVL系统硬件和其他系统性能进行验证。
The tests, conducted on a specially instrumented "hover pit," also validated the performance of aircraft software, controls, thermal management, STOVL-system hardware and other systems.
这个事实之下所掩盖的是另外一个事实：一些重要的功能升级能够以简单的软件更新的形式销售给用户，而不需要开发和验证任何新硬件。
Buried in this fact is the implication that significant functionality upgrades can be sold to end-users as simple software updates without any need to develop and certify new hardware.
应用程序在IBM硬件和中间件上进行了技术验证。
Applications are technically validated on IBM hardware and middleware.
我们设置了一个试验版本，将大约10%的现有Notes用户社区迁移到新硬件上的新DPAR来验证分级。
A pilot was set up in which roughly 10 percent of the existing Notes user community was migrated to the new DPAR on the new hardware to validate the sizing.
它还使用Boogie根据规范来验证汇编语言，并确保它可以与TAL代码和硬件安全地交互。
Boogie is used to verify the assembly language against a specification and guarantees safe interaction with the TAL code and hardware.
验证AIX硬件为 64位。
后者是一种XML 处理硬件，它提供很多功能，比如XML模式验证和Schematron 验证。
The latter is an XML-processing hardware offering a number of functionalities, such as XML schema validation and Schematron validation.
这次测试验证了导航系统的最新升级、软件和硬件的集成以及它们同改良引信的相互作用。
The recent test validated the new guidance upgrade, the integration of software and hardware and their interaction with an improved fuze.
它也涵盖了仪器仪表、计算机软硬件和通讯设备的安装、测试和验证。
It also covers the installation, testing and validation of instrumentation, computer hardware and software, and communications equipment.
这一验证过程使你能够测试你的解决方案是否符合一组事先建立的标准并展示你的应用程序与IBM中间件和硬件的平稳集成。
This validation process enables you to test your solution against a set of pre-established criteria and demonstrate that your application integrates smoothly with IBM hardware and middleware.
波音公司负责IBCS的测试，包括研发测试计划、测试软硬件以及核查和验证系统需求。
Boeing is responsible for leading the IBCS test activity, including developing the contractor test plan, testing software and hardware, and verifying and validating system requirements.
如果一台单独的专用机器提供某种关键服务，比如dns或集中的身份验证，它就是致命的弱点，必须为它提供充足的备用硬件。
A lone, dedicated machine providing some crucial service-say, DNS or centralized authentication-is an Achilles heel and warrants a bullpen for backup.
这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
通过硬件加速为基于XML、XSLT和XPath的转换和XML模式验证实现高性能、多步和快速消息处理。
Hardware-accelerated high performance, multi-step, wire-speed message processing for XML -, XSLT -, and XPath-based transformations and XML schema validation.
一旦选定了切换硬件，重要的就是计算系统的不确定度和速度，以验证它满足所有的准确度要求。
Once the switching hardware has been selected, it is important to calculate the uncertainties and speed of the system to verify that it meets all accuracy requirements.
本课题以混合驱动调速控制系统硬件开发为基础，旨在通过各种实验数据比较分析，验证该方案的可行性。
This research bases on the hardware development of hybrid drive and speed regulation system, and analyzes the experimental data, and verifies the feasibility of the system.
文章基于CAN协议，设计出有线和无线混合控制网络，提出了一种新型的混合网络实时通讯协议，并通过硬件实现验证了设计的正确。
This paper designs a CAN-based hybrid control network, proposes a new hybrid real-time communication protocol, and verities the protocol in hardware.
详细地介绍了系统的硬件设计和软件设计，并在仿真的基础上通过对方波信号的试验分析，验证了系统设计的可行性和正确性。
Hardware and software designs are amply introduced in the paper and through the test analysis using square wave 'the feasibility and validity of this design are affirmed.
分析结果表明，该硬件平台为多种融合算法验证、产品设计和SOC芯片级实现奠定了坚实的基础。
The analysis result shows that the design of hardware platform is the solid base of many kinds of algorithm verification, production design and SOC realization for image fusion.
文章较详细的介绍了系统的软、硬件设计，并经实践验证方案。
This paper detailed presented the system design of software and hardware, then validate the system to the practical test.
基于以上方法和研究成果，研制了系统的软件和硬件，并进行实验分析验证。
Based on the above method and the research results, have developed the system software and the hardware, and carries on the experiment to analyze the confirmation.
文中以APTIX设备为开发环境，应用硬件加速验证的方法来实现对数字系统的快速验证。
Our study makes use of APTIX equipment as development environment, and we have achieved validation of a digital system faster by means of accelerated hardware verification.
在实际的硬件环境下，通过仪表测试验证了该方案的可行性和有效性。
In the actual hardware environment, feasibility and effectiveness are verified through test.
在实际的硬件环境下，通过仪表测试验证了该方案的可行性和有效性。
In the actual hardware environment, feasibility and effectiveness are verified through test.
应用推荐