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.
我们设置了一个试验版本，将大约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.
该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成，其采用了指令集结构的协同模拟模型。
The co verification environment consists of an embedded software debugger and an embedded hardware simulator. It adopts instruction set architecture co simulation model.
论文首先提出了一种基于库与定制相结合的SOC硬件接口综合方法，并通过一个具体的实例对该方法进行了验证。
Firstly, a kind of SOC hardware interface synthesis method that is a method based on the library and customization is introduced and validated by an example.
详细地介绍了系统的硬件设计和软件设计，并在仿真的基础上通过对方波信号的试验分析，验证了系统设计的可行性和正确性。
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.
从而高速实时性的图像处理算法迫切需要一个供其运行的功能强大的图像处理硬件平台进行验证。
Therefore it is necessary to design a powerful image processing hardware platform which can provide the verification of the high-speed and real-time image processing algorithms.
从而高速实时性的图像处理算法迫切需要一个供其运行的功能强大的图像处理硬件平台进行验证。
Therefore it is necessary to design a powerful image processing hardware platform which can provide the verification of the high-speed and real-time image processing algorithms.
应用推荐