The "Verification" traceability traces requirements, analysis and implementation work products to their respective tests.
“验证”追溯将需求、分析及实现的工作产品追溯到各自的测试。
A large number of patient samples have been sent to a WHO collaborating laboratory in the United Kingdom for verification of diagnosis and further analysis.
众多患者样本已送往世卫组织在英国的一个合作实验室以便核实诊断和进行进一步分析。
Samples are being sent abroad for diagnostic verification and further analysis by a WHO collaborating laboratory.
正在将样本送往国外，以便由世卫组织的一个合作实验室进行诊断性核实和进一步分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
Theoretical analysis and experimental verification were made in this paper.
对这种方法进行了理论分析及实验验证。
The lack of precise semantics of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems.
UML缺乏准确的语义，难以支持对复杂系统的模型进行严格的语义分析和正确性验证。
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.
分析一个二进制代码的通常方式有以下几个阶段：反汇编，过程抽象，控制流程图生成，数据流分析和签名验证。
In this paper, theoretical analysis, computer simulation and experiment verification are combined to conduct the research.
本文采用理论分析、计算机模拟和实验验证相结合的方法进行研究。
The results indicate that it's an effective method for complicate surface design and NC tool position verification to combine theory analysis and simulation technology.
结果表明将理论分析与仿真技术相结合，是复杂曲面设计和数控加工刀位验证的一种有效途径。
Static timing analysis is widely applied in timing verification because of its high speed and great capacity. The gate delay computing is a critical part of static timing analysis.
静态时序分析由于速度快和容量大而广泛应用于时序验证，而门延时的计算则是静态时序分析中的关键部分。
On the basis of the theoretic analysis and the experiment in laboratory and the spot verification, the research on the design and choice of practical supersonic sensor is introduced.
在理论分析和实验室实验以及现场验证的基础上，对设计、选择实用的超声传感器的研究作了介绍。
Secondly, some correction and enhancement are made to the theory of interface automata, and then the revised theory is applied to the compositional analysis and verification of software architectures.
然后在此基础上对接口自动机理论进行了完善，并研究了该理论在软件体系结构的组合分析与验证中的应用。
The company's capabilities cover the entire IC design spectrum from RTL design, though verification, emulation and DFT to physical implementation, and include power analysis and yield management.
公司设计能力涵盖从RTL设计、验证、仿真和DFT到物理实现的整个IC设计体系，并且包括功耗分析和良率管理。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
The design mainly involves the analysis of the stress, fatigue, thermal ratchet and fracture mechanics, the analysis of flow-induced vibration of the internals and the test verification.
主要涉及的内容包含每个设备部件的应力、疲劳、热棘轮、断裂力学分析和内部构件流致振动分析以及试验验证等。
By analyzing wrapper roll's AJC action and control, the AJC system is designed and its mathematic modeling, emulation analysis and analogue loading verification are conducted.
通过对卷取机助卷辊的AJC动作及控制的分析，设计出了AJC控制系统，并对其进行了建模及仿真分析、模拟加载验证。
The verification data from both the test and the FEM analysis shows that the modified formula is in good agreement with the FEM analysis results.
通过试验数据和有限元分析数据验证，本文修正公式与有限元分析结果吻合较好。
Methods Physicochemical analysis, pharmacological test, thin-layer examination, microbiological assay and observation of clinical verification were used to carry out systematic study.
方法采用理化分析、药理试验、薄层析检查、微生物测定、临床验证观察等方法进行系统研究。
Theoretical analysis and example verification indicate that the new model proposed is more rational and the diagnosis result more accurate.
理论分析以及大量的实例验证表明新模型更加合理，诊断结果更为准确。
It is shown by the analysis and the verification that the formulas in this paper are reasonable.
分析和验证的结果表明，本文的公式是合理的。
It is important to transform machine code to high level language program in program analysis, verification, maintenance and reformation.
将计算机可执行的机器代码转换为高级语言程序，这对于分析、理解、测试、验证、移植和改造程序非常重要。
Finally, empirical analysis is mainly a verification and complement to management mechanism design of real estate development.
最后，实证分析主要是对房地产开发项目管理机制设计的一种验证和补充。
The composition, working principle and realization methods from system is feasible by theoretical analysis and experimental verification.
该系统的组成、工作原理及其实现的方法通过理论分析及实验验证是可行的。
Each DPO7104C are now standard probe and important software analysis tools, provides an ideal choice to meet the challenges of complex signal verification.
每台DPO7104C现在都标配探头和重要的软件分析工具，为迎接复杂的信号检定挑战提供了理想选择。
By the verification of error analysis, the accuracy and reliability of the model accord with the designing demands, and can be used by the production and design units.
经过误差分析验证，模型的精度、可靠度均满足设计要求，可供生产设计单位使用。
Verification and validation of components, method of testing and result analysis to determine.
元器件的验证、试验方法和结果的判定；
Carry on indoor model simulation experiment, through experimental result with perform comparison verification of result of analysis on feasibility and accuracy of method instead.
进行了室内模型模拟实验，通过实验结果与反演结果的比较验证反演方法的可行性及准确性。
In addition, the system can draw the relevance picture of experiment data, and make variance analysis and verification of notability of these data.
另外该系统实现了仿真试验数据关系图形的绘制及仿真试验数据的方差分析和因素显著性检验等功能。
In addition, the system can draw the relevance picture of experiment data, and make variance analysis and verification of notability of these data.
另外该系统实现了仿真试验数据关系图形的绘制及仿真试验数据的方差分析和因素显著性检验等功能。
应用推荐