查询词典 equivalence problem

By showing that the equivalence is satisfied,the prover convinced the verifier of the presence of the watermark.

在计算离散对数困难的假定下，协议没有泄漏任何敏感信息并且被证明是零知识的。

It is surjective,but not injective,unless the equivalence on S was just equality;S/- is called a quotient set.

它是映射，但不是赋值，除非S'等价于S获得证明， S'被称为商的集合。

When the geometric similitude ratio of the model to the prototype was determined and the loading similitude condition was satisfied by using similitude theory in structure modeling and experimental techniques, the prototype soil parameters were derived according to the model test result. The vibrating wheel compelled by harmonic exciting force was treated as a lumped mass vibrating system by equation equity method. By using this mechanical model in vibrating compaction, soil parameters were identified according to the equivalence of vibrating differential equation. The curve fitting method of amplitude versus frequency response was used for dynamic simulation based on the systematic dynamic equation of vibrating roller-soil system.

用相似理论与模型试验法在确定了模型与原型之间的几何相似比并满足载荷相似条件后，根据模型试验结果推导出了原型土体参数；用方程对等法把受简谐激振力作用的振动轮等效为集中质量振动系统，以此作为振动压实过程的力学模型，根据振动微分方程的等效条件进行识别；用幅频特性曲线拟合法以振动压路机－土壤系统动力学方程为基础，用计算机进行动态仿真。

A new and complete version of Equivalence Theorem for REC is presented.

由此导出一个新的更完整的关于REC的等价性定理。

It is proved that the"feedback linearization" certainty equivalence control law with"regressor vector-based"update law can guarantee the real output to track reference output in relative degree one case.

当控制对象的相对阶为1时，我们证明了采用"反馈线性化型"确定性等价控制律，和"基于回归向量"的自适应律，可以保证实际输出有界跟踪参考输出；当控制对象的相对阶大于1时，控制律和自适应律的结构保持不变，但是构造自适应律的信号采用了由跟踪误差得来的"增广误差"。

Using the resolvent operator technique, we establish the equivalence between the generalized set-valued quasi variational inclusions in Banach spaces and the fixed point problems, and some perturbed iterative algorithms, prove that its proximate solution converges to its exact solution in real Banach spaces.

利用这种等价性，建立了一些摄动迭代算法，并证明了近似解序列强收敛于精确解。

Ricardian Equivalence Rule is an important factor which is used to evaluate fiscal deficit effect.

李嘉图等价定理是评价财政赤字效果的重要因素之一。

The second type of model is the real business cycle model. This is a model that assumes Ricardian equivalence.

第二类模型是真实经济周期模型，即李嘉图模型，其理论前提是李嘉图等价。

Maybe what Silver-Lining Phil meant is," least we have an economy with Ricardian equivalence ."

也许Silver-Lining Phil的意思是，"嘿。。。至少我们有一个李嘉图等价的经济。"

Because fiscal positions were sound, there was less of what economists call Ricardian equivalence.

由于财政状况良好，亚洲较少出现经济学家所称的"李嘉图等价"现象。

This matter overthrew all basises I learned from Sunday school .

这件事把我从周日学校学到的所有道理都颠覆了。

It's one of the cruel ironies of aging: if you want to remember your favorite restaurants, the less you should eat at them.

这是一个老化的残酷讽刺：如果你想记住你最喜欢的餐馆，你应该更少吃到它们。