序的例句大全

Application program in coplanar arbitrary force system

平面任意力系应用程序

Ordered oxadiazole-imide copolymer fibre

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

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

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

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

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

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序列的丰富度指数、修正丰富度指数、多样性指数及均匀度指数随着加工贮藏时间的变化而变化。

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

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

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

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

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

Development of an Inspecting System for NC Machine Program Correctness

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

Proof of program correctness and a method of getting loop invariant

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

Video sequences rectification Based on Hough transform and time correlation

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

The Research and Application of Partial Correlation Property of LS Sequences

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

Rank Correlation Analysis of Formation of Consistent Judgment Matrix

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

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

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

Construction of Sequences with Zero Correlation Zone Based on Interleaved Technique

零相关区序列的交织构造

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

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

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

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

The Type and Replace feature is a complement to the automatic sequence checking of text in Indic languages.

“键入并替换”功能是对印度语文字自动序列检查的补充。

Lastly, the methods of software redundancy, setting present output state register unit, and setting self checking program to solve the problem of control state being out of order.

对于控制状态失常问题采用软件冗余、设置当前输出状态寄存单元和设置自检程序等对策。

Data Flow Analysis for Checking Information Flow Security of Programs

用数据流分析方法检查程序信息流安全