在此情况下

In case of the noise statistic being unknown or variable ,adaptive Kalman filter is used to get drift speed of each axle at each test position ,and then drift parameter is calculated.

在噪声统计未知或时变的情况下，每个位置采用自适应卡尔曼滤波解算出平台各轴的漂移角速率，并在此基础上辨识出漂移参数。

If it succeeds in this, it has no need to criticize the pure faculty itself in order to see whether reason in making such a claim does not presumptuously overstep itself (as is the case with the speculative reason).

如果在此成功，它没有必要批评本身纯系为了看到在作出这样的说法不擅自超越本身（这是与投机的理由的情况下）是否原因。

On this base, in serval special instances, this thesis also research how to improve GM(1,1) model and make grey forecasting more better accordly with practical applications.

在此基础上，本文接着研究了在几种特殊情况下，如何对GM(1，1)模型进行改进，从而使灰色预测更好的符合实际应用。

In order to determine the solution set of the equation , by the means of meet-irreducible element and irredundant finite meet-decomposition, we first obtain the maximal solutions to the simple equation in the case that b has an irredundant finite meet-decomposition, and then consider the relation between the equation and the equation , based on this, we obtain the maximal solutions to the equation in the case that each element of the matrix B has an irredundant finite meet-decomposition and so determine its solution set completely.

为了确定方程的解集，本文利用交既约元与不可缩短的有限交分解等工具，同样地先求出简单形式的型矩阵方程的所有极大解，然后讨论方程与方程之间的关系，在此基础上，在B的每个元素均有不可缩短的有限交分解的情况下，求出了方程的所有极大解，从而完全确定了方程的解集。

Grounded on the first chapter, new and original in content, the second and the third chapters, employing the theories in phonetics, writing, rhetoric, semantics and aesthetics, further discusses the rhetorical and the semantic functions of the comma in English and Chinese: rhetorically speaking, the comma can be used to clarify, to expound, to substitute, to emphasize, to contrast, to complement, or to vivify; semantically speaking, the comma itself can carry information to indicate certain meaning, or the presence and absence of the comma can cause semantic changes. The fourth chapter applies what has been discussed in the previous chapters to English-Chinese translation.

在此基础上，本文第二、三章标新立异，运用语音语调原理、写作、修辞、美学、语义学等方面的知识，通过详实的文献实例，全面地论述了英汉语逗号的修辞和语义功能：从修辞功能的角度看，逗号可以用以进行澄清、解释、替代、强调、对比、补充，或是取得生动和幽默的效果，等等；从语义功能的角度看，逗号本身可以作为信息载体，暗含特定的意思，在更多的情况下，它本身不含意义，但它的使用与否会引起整个句子意思的变化。

"A torch can usually keep burning for approximately 15 minutes in conditions where the flame is 25 to 30 centimetres high in a windless environment."

在零风速的情况下火焰能够维持25到30厘米的高度，并且通常在此状况中火炬能够保持燃烧将近15分钟。

Nd so there's Arcady and Dolores Keane shining brightly here, along tracks like "Forest Hymn," which does possess a beauty of its own but lacks the power of songs that have existed for hundreds of years.

rcady和Dolores Keane的作品在此大放光彩，他们演奏的像&Forest Hymn&这样的曲目，在鲜有那流传数百年的民谣作为陪衬的情况下，也确实有其自身的魅力。

It also deferred to government anger over its plan to digitalize books and apologized to a Chinese author for scanning parts of her book -- a step it hasn't taken in other countries, where it routinely scans books without paying copyright fees.

谷歌在其图书数字化项目中还屈服于中国政府的怒气，并因为扫描了一位中国女作家的部分作品而进行了道歉。谷歌在其他国家从未有此举动，因为它往往是在不支付版权费用的情况下扫描书籍。

Some methods aiming at the two problems have been researched. First, the optimal number of ATE site can be calculated based on a cost model of DAT-ATE. Second, the problem of test schedule which is equitant with two-dimensional Bin-Packing problem is presented. Then a TCG denotation satisfied with T-admissible rule is more convenient for combinational optimization. With Simulated annealing algorithm, better test scheduling results can be achieved; but there is no great optimization space because the efficiency of scheduling is greater than 90%. Third, A novel test compression method——Multi-capture testing is proposed to compress the stimuli. And the ATPG results show that MC achieves high compression ratio which is greater than 90% in some large-scale circuits. MISR, widely used in LBIST, is employed to compress the responses. The aliasing analysis demonstrates that the fault coverage reduction is little due to the existence of aliasing. Fourth, an improved TIC (called S-TIC) aiming at structured test is proposed based on ARM's TIC. A MC scheduling algorithm is proposed to compute the SoC test time and combine MC vectors to SoC test vectors. The scheduling results shows that test time is greatly reduced when using the proper scheduling priority.

首先，给出了低成本ATE的成本模型，根据此模型得到最低测试成本时系统级测试调度的基本参数——测试Site数；其次，本文将DAT-Scan方式的SoC测试调度等价为两维BP问题，为有效地求解该问题，将该BP问题表示为TCG图并通过模拟退火算法解决其求解过于复杂的问题，调度的结果表明该方法在测试时间上有一定改善，并指出DAT-Scan测试调度效率已经大于90％，进一步优化的空间较小；第三，本文尝试通过测试压缩来解决激励所需的测试带宽，提出了Multi-capture结构并解决了MC测试过程中的&矢量&退化问题，MC测试的ATPG结果表明其测试压缩率很高（大电路接近90％）；第四，在激励获得很高压缩比的情况下，测试响应也需压缩，本文采用LBIST中常用的MISR作为MC测试的响应压缩电路，理论分析和实验结果都证明了MC测试的别名对故障覆盖率影响较小（小于2％），并对两类别名的成因做了具体分析；第五，在MC测试及其响应压缩的基础上，本文改进了ARM公司的测试控制器TIC使之适合于MC测试，为了解决MC测试矢量合成问题，本文抽取了MC测试模型，通过固定优先级的MC测试调度模拟将MC矢量合成为ATE矢量，并模拟出了总的MC测试时间。

The privilege of the writ of habeas corpus shall not be suspended, unless when in cases of rebellion or invasion the public safety may require it.

不得中止人身保护令所保障的特权，惟在叛乱或受到侵略的情况下，出于公共安全的必要时不在此限 3。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。