验证的例句大全

As the development of modeling and simulation technology, more and more attention has been paid to the Testability Virtual Verification ( TVV).

随着建模仿真的发展，测试性虚拟验证日益受到关注。

However, there are still many problems to research such as TVV flow deciding, testability virtual prototype modeling, fault samples generation, synthesize evaluation and so on.

但目前测试性虚拟验证在技术流程、面向测试性的虚拟样机建模、故障样本集生成、测试性综合评估等方面还需要深入研究。

To provide new clues to studies on molecular mechanisms of tissue expansion and experimental evidence for clinic application of TXN gene therapy on speeding up the rate of tissue expansion by using TXN as a new potential molecular target. Method: 1.

一方面为研究人皮肤组织扩张术的分子机制提供新的线索；另一方面，将TXN作为新的潜在的分子靶点，为研究TXN的转基因治疗用于加快组织扩张速率提供新的实验证据。

EBE monitored control system is an assistant to operator of 2000 TPY phthalic anhydride plant.

EBE监视系统是2000t/a苯酐装置操作人员的有力助手以蒸馏水为溶剂，在233nm处测定吸光度，经方法学验证，适用于该品体外控制。

The TDG finite element method is adopted to solve the differential equations. The validity of mathematical modeling and numerical algorithms is validated by two modeling methods of solution and comparison analysis.

通过对两种建模方法的求解及对比分析，验证了建模及数值算法的有效性。

Three different kind of social network are tested in the TKD groups: friendship network, information network and consultation network.

通过社会网络分析，验证了跆拳道锻炼者间会形成不同的关系网络：情感网络、信息网络和技术咨询网络。

This paper analyzes several kind of TEQ algorithms and the performance of DMT system with the optimal shortening algorithm of the channel impulse.

本文对现有的时域均衡算法进行了分析，并结合信道冲激响应缩短算法分析验证DMT通信系统的性能。

The test proves that the RVC satisfies the design requirement.

试验证明该RVC满足设计要求。

While these numbers are still being validated by the state, we feel any adjustments they might suggest will be immaterial, Morgan wrote to the presidents.

摩根在信中给校长们写道:“虽然这些数字仍在由州政府验证，但我们认为，它们可能会出现的任何调整都将是无关紧要的。

A numerical example of a ten-bar truss was given to demonstrate the validity and feasibility of CGA in its application, and it is found that the optimized results of CGA are superior to SGA and IGA.

通过十杆平面桁架的数值算例来验证组合遗传算法应用的可行性和有效性，组合遗传算法的优化结果也远好于标准遗传算法和改进遗传算法。

Design and Application of Hierarchical SoC Verification Platform Based on RVM

基于RVM的层次化SOC芯片验证平台设计及应用

Channel application on RVM layered verification model of SOC

SOC基于RVM层次化验证模型中的信道应用

The objective of this study was to develop and validate a Chinese version of the SAQ.

本研究的目的是发展中文版SAQ，并验证其信效度。

Experiments show that the SBT method conduces to better performance in tracking process.

实验证明，SBT算法在跟踪过程中表现出了更好的性能。

Dynamic stress intensity factor impulse response curves are obtained. The dynamic initial fracture time, tf, can be received by RKR local stress fracture criterion. The material dynamic fracture toughness is successfully obtained from numerical simulation.

起裂时问通过RKR局部应力断裂准则获得，结合计算得到的动态应力强度因子冲击响应曲线，最终得到材料动态断裂韧性，并验证了其有效性。

This paper describes and verifies a digital signature scheme formally. With the ideals Biba model, and news concept, the model has integrality.

通过引入一些新概念，利用Biba模型思想，对一般的数字签名方案形式化描述和验证，并且该模型具有完整性。

Arrange to do the testing for new product ( finished goods) according to QNE and other related standard.

安排对新产品（成品）根据QNE文件及其它相关的标准进行测试验证工作。

The near-fault earthquake that has the larger value of parameter PGV/ PGA will cause the stronger seismic response;

验证了较大PGV/PGA比值的近场地震波会引起结构较大的地震响应的观点；

An innovative wind box is designed especially for the PFB boiler, and its reliability of gas sealed configuration in the start up system is testified.

验证了为增压流化床锅炉特制的启动系统中带有气封结构的风室的可靠性。

With the increasing chitosan and catechol concentration and the increasing temperature, the gelation time decreased. The CV curves of chitosan/ PCQ hydrogel is also redox active.

PCQ与壳聚糖物理交联作用使溶液凝胶化，随壳聚糖和邻苯二酚浓度增大以及温度升高，凝胶化时间缩短。电化学实验证明该水凝胶是具有氧化还原活性的。