查询词典 equivalence problem

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协议是无条件安全的。

Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem.

确定一段代码是否总是产生某个常数值，等同于确定程序等效物，无法保证一定能做到。

On the safe side, we should use active soil pressure and passive soil pressure to calculate the support strength before T increased. That is RA=EA-EP Among them: RA ………… holding strength EA ………… composite force of active soil pressure EP ………… composite force of passive soil pressure Immediately, flexural torque distribution of enclosure wall can be counted. Mmax is the location of shear force zero. Equivalence beam method abridges. No matter which kind of supporting structure form, the key problem lies in the establishment depth of catch point, severity of support and enclosure wall, penetration depth and pit bottom quality of soil property.

单道锚杆支护结构计算分别采用静力平衡法及等值梁法，根据试算法插入深度t值需先进行假定墙的插入深度确定后来计算支撑力，为了安全起见，可按插入深度增大前的主动与被动土压力合力计算支撑力即 RA=EA-EP 式中：RA …………支撑力 EA …………主动土压力合力 EP …………被动土压力合力随之可求围护墙的弯矩分布，Mmax为剪力为零点的位置，等值梁法的计算略述。

Equivalence Checking of Retimed Circuits: Sometimes it is helpful to move logic from one side of a register to another, and this complicates the checking problem.

等价性检验的Retimed电路：有时是有益的行动逻辑一方登记册到另一个，这复杂的检查问题。

Aiming at the problem of Markova chain state transition prediction, this paper presents equivalent prediction method and models based on Discrete Process Neural Networks. According to the description of system state transition problems in a certain condition, we discuss the equivalence relation between DPNN and Markov models.

针对Markov链状态转移预测，提出一种基于离散过程神经元网络的等效状态转移预测方法和模型，探讨DPNN与Markov模型在一定条件下对于系统状态转移特性描述的等价性问题。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。