序的例句大全

Brief introduction on recovery treatment of deteriorated lubricant and coolant oil

陕北石油秩序简述润滑、冷却用油劣化后的再生处理

Research on Application of Low/ Zero Correlation Zone Sequence Pairs in Spread Spectrum Communication System

低/零相关区序列偶应用于扩频通信系统的研究

The Optimization of Sequence Pairs with Low/ Zero Correlation Zone Using Genetic Algorithms

应用遗传算法优化低/零相关区序列偶

Construction of Sequences with Zero Correlation Zone Based on Interleaved Technique

零相关区序列的交织构造

Simulation tests show that higher successful correlation ratio and more robust performance are provided by the topology sequence method.

通过仿真，拓扑序列法比基本拓扑法具有更高的关联成功率和稳定的性能。

Rank Correlation Analysis of Formation of Consistent Judgment Matrix

构造一致性判断矩阵的序关系分析法

The Research and Application of Partial Correlation Property of LS Sequences

LS序列部分相关特性研究及其应用

Video sequences rectification Based on Hough transform and time correlation

基于霍夫变换和时域相关的视频序列矫正方法

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

Development of an Inspecting System for NC Machine Program Correctness

数控加工程序的正确性检查系统的研制

The Folding/ Unfolding method proposed by Burstall/ Darlington is a simple and powerful transformation method. Its major drawback is that only partial correctness of functions are preserved but termination may be lost.

Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法，但该方法仅保持函数的部分正确性，而可能失去某些值上的终止性。

Compared with previous certifying compilers, this compiler could deal with much more complex program properties, such as partial correctness about values.

而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。

Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.

形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。

The richness, abundance index correction, diversity index and evenness index of the microbial community DNA sequence of Sichuan bacon and Sichuan sausage were changed with storage time.

4四川腊肉和香肠微生物群落DNA序列的丰富度指数、修正丰富度指数、多样性指数及均匀度指数随着加工贮藏时间的变化而变化。

Mainly from reads and the writing corporate planning and the sequence as well as in interesting training carries on the practice.

主要从阅读和写作的整体规划和序列性以及趣味性训练活动上进行实践。

The useful information is provided from PCR-SSCP and sequencing for making gene diagnosis to corneal dystrophy.

PCR－SSCP结合DNA测序是检测BIGH3基因突变的简单、有效方法，有利于从分子学水平对角膜营养不良进行诊断分析，为优生优育及基因治疗提供依据。

Ordered oxadiazole-imide copolymer fibre

有序的恶二唑-亚胺共聚纤维

Application program in coplanar arbitrary force system

平面任意力系应用程序

This paper introduces the steps and characteristics of surface cooler's check calculation with Excel table and program method. Excel table's advantages and practical values in heat exchanger's thermodynamic calculation is pointed out.

阐述了利用计算机程序与利用Excel电子表格进行表面式冷却器校核计算的步骤与特点，指出了Excel电子表格在换热设备热工计算中的优越性和应用价值。

Some examples about the weakly convergent sequence coefficient in Orlicz Spaces

Orlicz空间的弱收敛序列系数的计算实例