查询词典 equivalence problem

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.

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

This paper suggests the equivalence problem of natural convection heat transfer with vertical lay up flat in encapsulation cavities and gives theoretical proof as well.

提出了在封闭空腔内竖直平板自然对流换热的等价问题，并在理论上对其加以证明，同时通过流动可视化实验定性地验证了上述等价问题。

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.

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

Based on this, this paper studied on synchronous generators dynamic equivalence model's parameter identification problem using the phasor measurements information.

基于此，本文对基于相量测量的同步发电机组动态等值模型的参数辨识问题进行了研究。

In this paper, we first give an example that the bilateral weighted shift operator in c_0space is hypercyclic operator and first solve the existence problem of hypercyclic operator in c_0or c_0(Z space . And then we investigate the property of weighted shift operator in c_0 space and an important property of the hypercyclic vector of weighted shift operator in c_0 space and c_0 space. At last we give the concept of weak hypercyclic operator and weak hypercyclic vector , and give the equivalence between the weak hypercyclicity and the hypercyclicity in l~1 space.

本文首先给出了c_0空间上的一个双边左加权移位算子是超循环算子的一个例子，首次解决了c_0 或c_0(Z 空间中超循环算子的存在性问题；接下来分别研究了c_0和c_0空间上的加权移位算子的性质以及c_0和c_0空间上的加权移位算子的超循环向量的一个重要性质，最后提出了弱超循环算子和弱超循环向量的概念，并且给出了I~1空间中弱超循环性与超循环性的等价性。

To address this problem, a new method of security analysis of QKD protocols is introduced. Based on the equivalence attack model of QKD protocols which is refered to Biham's proving, the protocol is divided into two parts: the body and the attack, then a Petri-net model of BB84 is obtained, and a security analysis is followed.

为了简化量子密码协议的安全性证明以及建立一种通用的证明方法，基于Petri 网提出一种量子密钥分配协议的形式化分析方法，根据Biham 的等效对称化攻击模型，将协议分为主体模型和攻击模型两部分，建立了BB84 协议的Petri 网模型，然后对模型进行安全性分析，分析结果表明， BB84协议是无条件安全的。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。