查询词典 equivalence problem

Another part of our work begins with definition of multioutput generalized bent functions. We show their spectral characteristics and give equivalence definition using generalized first order Chrestenson cyclic spectrum. Also we calculate rate of accordance between multioutput generalized bent functions and multioutput m-valued affine functions. Then we define multioutput m-valued perfect nonlinear functions and show relationship between them and multioutput generalized bent functions. Finally we give two ways of constructions of multioutput generalized bent functions.

第三章中首先给出了剩余类环上的多输出广义Bent函数的定义，得到了多输出广义Bent函数的广义一阶Chrestenson谱特征，然后计算了多输出广义Bent函数与多输出m值仿射函数的符合率；接着定义了多输出m值完全非线性函数，讨论了多输出m值完全非线性函数与多输出广义Bent函数之间的关系；最后给出了两种构造多输出广义Bent函数的方法。

The spherical equivalence of cycloplegic auto-refraction equal or less than -0.5D in either eye is defined as myopia and that equal or higher than +2D is defined as hyperopia.

分析了学龄期儿童的纵向屈光改变情况、近视眼的发病率及其危险因素、儿童视力现状以及一些常见眼病的患病率情况。

Draw lessons from increment type observation implement with PI condition observation implement research achievement, combine heat to dominate a field complex control system designs bunchy form normally the actual condition of regulating system, offer observation of function of PI of increment style broad sense implement and the concept that its condition feedbacks, the tectonic regulating system that cluster form and observation implement feedback of shirt-sleeve broad sense condition controls a system, learn an analysis through number, give out the sufficient condition of IFO-PIO/BS reachs his corresponding theorem and deductive proof, announce give this to controlled systematic equivalence to be had at IFO-PIO/BS change the function that gain condition feedbacks.

借鉴增量式观测器和PI状态观测器的探究成果，并结合热控领域复杂控制系统通常设计成串级调节系统的实际情况，提出增量式广义PI函数观测器及其状态反馈的概念，构造串级调节系统和观测器相融合的广义状态反馈控制系统，通过数学分析，给出IFO-PIO/BS的充分条件及其相应定理和推论的证实，揭示出该控制系统等价于IFO-PIO/BS具有了变增益状态反馈的功能。

In the hind part of this paper, a brief introduction of density matrix method is presented and its equivalence to Schroinger equation in multilevel system is described.

在本文的末尾部分，给出了密度矩阵算法的简要介绍，并说明了密度矩阵算法在分析多能级系统布居转移时与薛定谔方程的等效性。

The latter is essentially derived from the geometric realization of Happels triangulated equivalence between stable module category of repetitive algebra and bounded derived category of finite dimensional algebra. In terms of this realization, we deduce that the Lie algebra realized by derived category of a finite dimensional algebra is isomorphic to the Lie algebra realized by stable module category of the corresponding repetitive algebra.

后者本质上是Happel关于重复代数的稳定模范畴和导出范畴的三角等价的一个几何实现及其应用，使用这种几何实现，我们可以证明在重复代数的稳定模范畴上定义的李代数同构于相应的导出范畴上实现的李代数。

An algorithm for the model using the diagonalization algorithm and MSA algorithm was also proposed. The equivalence and uniqueness of solution of the proposed model were demonstrated.

证明了模型的等价性和解的唯一性，并利用对角化算法和MSA算法设计了模型求解算法。

As the special characteristic of nonlinearity, several notions are introduced and used in this paper, such as differential manifold, vector field, diffeomorphism, tangent space, topological equivalence. Stable manifold and unstable manifold are also introduced.

针对非线性的特殊性，本文专门介绍了非线性中几个比较特殊的概念，如微分流形、向量场、微分同胚、切空间以及等价关系等，对稳定和不稳定流形也作了介绍。

By the aid of defineding an equivalence relation on the disjoint union of a family of quantales, the direct limit structure in the category of quantale was obtained.

利用在一族Quantale的不交并上定义的等价关系，给出了范畴Quant的定向极限的结构。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

Results showed that the teaching assumption is supported by this study. Guided discovery and peer discussion are effective instruction strategies for symbolizing a proposition and finding symbolic rule of equivalence relation of dual propositions.

教学过程的观察记录显示在教师的导引与学生的小组讨论下，学生确可发现对偶命题等价并符号化，而在求等价命题的问题上，将原命题符号化再辅以符号规则是成功的关键步骤，教学假设获得支持。

It's not quite as simple as that.

并没有那么容易。

It debuted in 1992 in Japan and the United Kingdom, and 1993 in the United States.

它首次亮相于1992年在日本和英国，在美国1993年。