模块验证

New sub-models for the four-way valve and the boost pump have been created by combined models. The initial parameters for the calculating analysis were determined at a rough estimate. The model has also been tested, modified and improved.

所构建的双燃料喷油器的计算模型能够较好的模拟复杂的双燃料结构特点和工作过程；采用模块组合的方法构造了四通阀和增压泵等新组件；采用估算的方法，确定了计算分析的初步参数；并对双燃料喷油器的计算模型进行了验证、调试和改进。

According to the difficulties of detecting Clone Trusted Platform Module in DAA protocol using variable basename, we propose two new methods to detect Clone TPMs, which offers TPMs high degree of anonymity. Moreover, in order to reduce the time cost of verifying the DAA signature, a new multi-signature scheme is proposed.

针对DAA协议中使用可变名字基时检测克隆可信平台模块(Trusted Platform Mudule，TPM)存在的困难，在保持TPM高匿名度的前提下，提出了两种新的克隆TPM检测方案；针对验证DAA签名的时间开销过高的问题提出了一种多重签名方案。

The module can build assembly tree, bill of materials and the XML files and new assembly

以某电机的装配工艺规划为实例，通过运行所开发的功能模块，对相关研究内容进行了验证。

The keystone of this paper was to establish and calibrate and validate these four new modules.

本文的研究重点是建立和验证新增的四个模块。

It is a crucial issue to establish a unified canonical description form for different design levels with low complexity.

该方法可以用来有效判断不同设计层次的描述是否等价，从而可以实现跨设计层次的模块重用、综合和验证。

In a uniform framework, this paper surveys the approaches of compositional model ...

在一个统一的框架下对组合模型检验和组合精化检验作了系统的分析和归纳，从模块检验的角度阐述了上述两种组合验证方法的原理及其相应的组合验证策略。

This system has been tested on the server, and 210 000 data collected by DUT3000 module validate the system's efficiency and conveniency.

该系统在服务器上试验，通过DUT3000模块采集的21万条数据验证了系统的实效性和便捷性。

In this verification, according the topology of PCI Express, I have done some modification of the most popular verification environment at this moment, for example: add some modules with self-check function which has improve the efficiency of debug.

本次验证工作中，以目前国内外最流行的验证环境模型为基础，结合PCI Express的实际情况，做了许多有效的改进，增加了一些具有自动检查结果功能的模块，有效的提高了此后的调试过程的效率。

And the frontal technique is adapted to solve the FE equations. The techniques are studied to deal with the large slip frictional contactproblems between a deflectable body with large deformation and a rigid bodywith flat or curved surface. A new algorithm is presented to resolve such contactproblems, including incremental displacement constraints and force constraints,and the modules are programmed. The performances of tire under static load invertical loading state and camber state are analyzed by this method. And theexperiments were carried out at the same condition as used in analysis process.

研究了大变形柔性体与具有平面及曲面外形刚性体之间的大滑动摩擦接触问题，提出了求解这类接触问题的位移增量约束和主动力增量约束处理方法；编制了大变形柔性体与具有平面及曲面外形刚性体之间的大滑动摩擦接触问题求解模块；利用本文提出的大滑移接触问题处理方法，分析了轮胎在径向静载和静态外倾加载条件下受力和变形，并对部分分析结果进行了试验验证，验证结果表明，本文提出的位移增量约束和主动力增量约束处理接触问题的方法是正确可靠的，而且具有精度高、收敛性好、收敛速度快的优点。

Then in the following 2 chapters, we introduce how to design the APB verification IP and the universal verification platform which are both based on the method in detail.

在中科SoC通用验证平台上可以进行模块级、系统级和芯片级的行为级、RTL级、门级和物理级各个层次的验证。

This paper discusses design and realizable methods of remote test output interface from logical design angle.

本文从逻辑设计的角度讨论遥测输出接口的设计及实现方法。

This also 星体投射plies to buildings, structures and geological features.

这也适用于建筑物和地质特征。