查询词典 equivalence problem

This important theory has provided helpful guidance to solving the problem of translation equivalence.

这一重要理论的提出，为解决翻译对等问题提供了非常有用的依据。

This process is called formal equivalence checking and is a problem that is studied under the broader area of formal verification.

这一过程被称为正式等价性检验，是一个问题，是研究在更广泛领域的正式确认。

Using the equivalence of thr original problem and P〓, the optimal controller can be designed.

关于这一部分，不论在方法上，还是在结论上都是作者所特有的。

The solvability can not be sidestepped, for it relates the problem of equivalence of boundary reduction.

人们在用直接边界元方法进行计算时，并不刻意去考虑积分方程的可解性，但可解性的问题是不能回避的，这涉及到原问题的解与边界积分方程的解的等价性问题。

The most common approach is to consider the problem of machine equivalence which defines two synchronous design specifications functionally equivalent if, clock by clock, they produce exactly the same sequence of output signals for any valid sequence of input signals.

最常用的方法是考虑的问题，机等价定义两个同步设计规格等同功能，如时钟的时钟，它们产生完全相同的序列输出信号的任何有效的序列输入信号。

Due to the different background,the cultural default produces failure understood,the translator can solve this problem from discourse equivalence in order to preserve Chinese traditional culture.

缺省是在交际过程中原语与目的语由于双方不同的文化背景导致原语信息的丧失以致产生解读的失败。因此，译者应该采取一定的策略尽量传递原语的信息，从而保存和弘扬我们的民族文化。

To solve this problem,the equivalence relation of rough set theory is replaced by an asymmetrical similar relation,and from this relation,an asymmetrical similar matrix is defined,then a new heuristic algorithm with less space complexity that require core and knowledge reduction based on asymmetrical similar matrix is proposed,and an example is given to confirm the validity of the algorithm.

用非对称相似关系代替粗糙集理论中的等价关系，定义了非对称相似差别矩阵，提出了基于非对称相似差别矩阵的高效求核和知识约简算法。该算法无需改变初始不完备信息系统的结构，能直接处理缺省数据。实验结果表明，新算法所获得的决策规则简洁、高效，与缺省值无关。

The algorithm use our proposed heuristic to do output grouping for complex problems, and thus the equivalence checking problem can be converted into some circuit SAT problems, circuit SAT solver was used to solve these sub-problems.

对那些具有较多输出的复杂电路，为共享结构信息从而提高验证速度，使用输出分组技术将那些共享较多内部结点的输出转化为一个子问题，从而验证问题可转化为一系列验证子问题。

About 2.6%~27.1% high graders appeared the situations that suffer denominator or numerator control, while handling the problem of equivalence fraction of continuous quantity or discrete quantity.

在等值分数概念表现上，约有2.6﹪~27.1﹪的学童在处理连续量或离散量等值分数问题时，均出现受分母或分子控制的情形，用以判断分数值所表示的具体量。

In this paper, we mainly discuss some preliminary studies about statistical diagnostics for one kind of restricted multivariate linear regression model. At first, we give the parameters estimation of this model. After that, the problem of outlier test is considered by giving the equivalence relations of estimators and statistics in multivariate case deletion model and mean shift outlier model under the restricted condition.

本文主要讨论的是一种带线性约束的多元线性回归模型（这里的多元是指多个因变量对多个自变量的情形），重点在与统计诊断方面的一些初步研究，首先给出带有线性约束的多元线性回归模型的参数估计，其次讨论了该模型的异常点检验问题，主要介绍了常见的数据删除模型及均值漂移模型，并证明了此两种模型统计量之间的等价性。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失