查询词典 used to

Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.

该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state，简称USTGSS)；然后采用基于标号迁移系统(labeled transition system，简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

The term efficiency is used to describe anything that affects sample size. The term effectiveness is used to describe the likelihood that the statistical sample result will be more accurate estimate of the true population error

效率"常用来描述影响样本量的任何因素；"效果用来描述统计样本结果能更精确估计真实的总体误差率的可能性。

In main structure assembly, construction method of piece assembly and section assembly will be applied for this project. For piece assembly, it's characterized with simple construction, easy preparation resulting in high frequency assembly and convenience, and also crane post can be changed to meet different members assembly. That is, short crane post is used to lift column, while lengthened crane post is used to lift roof trussing.

本工程拟采用分件吊装和节间吊装法综合的吊装方法进行主体结构吊装，分件吊装法的特点是施工内容单一，准备工作简单，因而构件吊装的效率较高，且便于管理，可以利用更换起重臂长度的方法分别满足各类型件吊装。

And I know that throughout history, the Nobel Peace Prize has not just been used to honor specific achievement; it's also been used as a means to give momen tum to a set of causes.

我知道，诺贝尔和平奖在历史上从来不是仅用来表彰具体的成就，而是也被作为一种给一系列事业增添动力的手段。

A tungsten halogen lamp and a projecting lens are used to generate the collimated light. A CCD detector is used as light spot position sensor to measure the changes of the spot position at the rear focal plane of the imaging lens, and the optical angular deviation can be derived.

采用钨灯和投射透镜产生准直白光，用CCD探测器作为光斑位置传感器在成像透镜的后焦面测量光斑位置的变化，从而可得光学角偏差。

Interference images are produced by a Michelson interferometer, which used a bromine tungsten lamp as the light source. A Kretschmann prism configuration is used to stimulate SPR. The reflected biochip images are recorded by a CCD camera. Spectral images which are obtained through Fourier transform of the interference images, are analyzed and processed to get SPR curves.

系统以溴钨灯为迈克尔逊干涉仪的光源产生干涉图像，采用Kreschmann棱镜耦合结构激励SPR，由CCD摄像机采集传感芯片干涉图，对干涉图进行信息提取和傅里叶变换得到光谱图，再对光谱图进行分析处理得到SPR曲线。

The first weapon is the main gun, used to engage armored threats; and the second is the coaxial gun, which is used to engage infantry and unarmored targets.

第一件武器是主炮，用来杀伤敌军装甲；第二件是同轴机枪，用来杀伤步兵或者没有装甲保护的目标。

It lets the output of adaptive MMSE multiuse detection to initialize the ICA iterations, not only the known spread information of interesting user is used to overcome the uncertainness of ICA, but also the character of statistical independence is used.

该方法用MMSE的输出初始化独立分量分析的迭代，既利用了信源的独立性，又充分利用了已知扩频码的信息，从而提高了多用户检测器的性能。

In the current design framework concerning two-color microarray experiments, random errors are usually assumed to be uncorrelated random variables in the statistical models used to construct designs, but it is often more reasonable to acknowledge that there could be some correlation structure among the random errors. Particularly, when the technical replicates are used in the experiments.

在与微阵列实验设计相关的研究中，大部分被用来建构设计的模式其误差项均被假设为不相关的随机变数，然而这似乎与某些实际的情况相违背，例如当实验中若使用所谓的技术性重复时，不同晶片的实验结果间就可能会产生相关。

I used to use Pwnage too and it used to take a lot of time to unlock...

我用Pwnage的也是一样，它使用采取了很多的时间来解开。。。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。