代用

First, a SAT solver is used to determine whether the preimage solution has been exhausted. When a preimage solution is generated by the SAT solver, a specific ATPG process is adopted to minimize the sets of assignments to state variables. This in turn reduces the number of all the preimage solutions and accelerates the fixed point iteration process.

SAT用来判断是否已经穷尽所有解；每次SAT枚举出一个前像解后，采用一个专门的ATPG过程减少状态变量上的赋值，从而减少前像解的总个数，加快后面的不动点迭代处理。

Rabbit Is Rich, his third look at an aging ex-jock in southeastern Pennsylvania, is now being issued in paperback after winning the literary Triple Crown: the Pulitzer Prize ("Critics have called the book a fulfillment of Updike's fabulous promise"), an American Book Award ("Let us celebrate the prestidigitator who tells today with passion and warning, and tricks it into language's jubilee") and a commendatory scroll from the National Book Critics Circle ("The novel vibrates with success").

兔子富了》，他的第三部关于这位宾夕凡尼亚州东南部的年长的运动健将，现又出版了简装本，继赢得了文学的三重冠：普利策奖（评论称这部书是厄普代克传奇式的理想的全部体现），美国图书奖让我们祝贺这位语言大师，用激情与警示讲述当代将我们带入一个文学的盛宴）和国家图书评论界授于的荣誉卷轴。

The process of cellular growth and differentiation of SGN were observed by fluorescent microscope and inverted/phase contrast microscopy.

用荧光显微镜与倒置相差显微镜观察原代培养SGN细胞的活力以及生长与分化过程。

DSPP. After linearized by XhoI and recovery, the plasmid was microinjected into the male pronucleus of the zygotes and the zygotes in good condition were implanted into pseudopregnant mice.

为动态地研究DSPP在牙齿发育、矿化不同阶段的作用，以及对机体其他器官的可能影响，我们首先用显微注射法获得了G0代DSPP转基因小鼠。

Leisure, though the propertied classes give its name to their own idleness, is not idleness.

"悠闲"这个词，虽然常常备有产阶级用来代指自己的"懒散"，实际上并非懒散之意。

It is suggested that the index (1-t2) controlled by all the primary design parameters could be used as the total objective for the hull/propulsor interaction characteristic optimization, which can be carried out by sub-objective optimization controlled by parts of the design parameters and iteration procedure.

推荐采用受控于全部主参数的指标(1-t2)作为船体与组合推进器相互干扰特性优化的总目标，提出了用部分主参数控制的对应分目标优化和迭代来实现总目标优化的简明策略。

The mechanism of the interaction between bovine serum albumin and pyrano [4,3-b] pyran derivative, 2-amino-7-methyl-4-(4-nitrophenyl)-5-oxo-4,5-dihydropyrano [4,3-b] pyran-3-carbonitrile, was studied by means of fluorescence spectroscopy under physiological conditions.

用荧光光谱法分析了在生理条件下一种吡喃并[4，3-b]吡喃衍生物-2-氨基-7-甲基-4-(4-硝基苯)-5-氧代-4H，5H-吡喃并[4，3-b]吡喃-3-腈与牛血清白蛋白的作用机制。

It has been demonstrated that the methods are successfully used for QSRR studies of quinazoline derivatives, alkypyridine, haloid alkane, ketone, alcohol, sulfur alcohol compounds.

本文成功地用该方法对喹唑啉类、烷基吡啶化合物、卤代烃、醇、羰基化合物和硫醇化合物的结构保留关系进行了探讨。

Serial compensation strategy is also used to avoid the decrease of thecoefficient matrix rank during the computation of the proposed method.

顺序补偿策略被用在新方法中以避免迭代计算过程中关联矩阵降秩而发生奇异。

The paper proposes the TLS approach that minimizes the two kinds of errors.A Rayleigh Quotient formulation based on regularization is used to enforce a smooth solution.Then a conjugate gradient algorithm is used to minimize the modified RQ function.

该方法能同时最小化这两种误差，采用基于正则化的Rayleigh商来光滑解，用共轭梯度算法来迭代求解该正则化Rayleigh商的最小化函数。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。