The precise formal description is the basement of the research, and all the analysis and verification behind are based on it.
精确的形式化描述是整个研究的基石，后面的分析和验证都基于该形式化描述。
This article detailed analysis and verification of school youth sub-culture"Da Hua"tendency impedes the implementation of quality education;
详细剖析和论证了校园青年亚文化“大话”倾向阻碍素质教育的实行；
In addition, the system can draw the relevance picture of experiment data, and make variance analysis and verification of notability of these data.
另外该系统实现了仿真试验数据关系图形的绘制及仿真试验数据的方差分析和因素显著性检验等功能。
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 examination apparatus for calibration tubes are described including the necessity of development, principle of measurement, error analysis and verification test results.
介绍标定管检定装置研制的必要性、测量原理、误差分析及验证结果。
According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
根据系统功能，提出了保证系统功能正确性应具有的重要性质，继而用S _不变量对其进行了分析、验证。
The operations for LSI mask artwork play an important role in the mask artwork analysis and verification software. The core in these operations is the boolean operation and topological analysis.
LSI掩模图形的运算在版图分析和校验软件中占有重要的地位，而其中最核心的图形运算是布尔运算和拓扑分析。
Including asking questions, conjecture and assumptions, the planning and design of experiments, testing and evidence collection, analysis and verification, evaluation, exchanges and cooperation.
在探究的步骤中有：提出问题、猜想与假设、制定计划与设计实验、进行实验与收集证据、分析与论证、评价、交流与合作。
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 "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.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
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.
静态时序分析由于速度快和容量大而广泛应用于时序验证，而门延时的计算则是静态时序分析中的关键部分。
The analysis of fatigue life for one critical position of aircraft structure and test verification are carried out accordingly.
据此对一个飞机结构危险部位作了疲劳寿命分析和试验验证。
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.
在理论分析和实验室实验以及现场验证的基础上，对设计、选择实用的超声传感器的研究作了介绍。
The paper has an emphatical discussion on the study and analysis of the circuit structure and layout structure of these two modules, and makes a lot of SPICE simulation and verification.
课题着重对这两个模块的电路结构以及版图结构进行了深入的研究和分析，并采用SPICE工具进行了模拟验证。
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控制系统，并对其进行了建模及仿真分析、模拟加载验证。
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.
最后，实证分析主要是对房地产开发项目管理机制设计的一种验证和补充。
Finally, empirical analysis is mainly a verification and complement to management mechanism design of real estate development.
最后，实证分析主要是对房地产开发项目管理机制设计的一种验证和补充。
应用推荐