查询词典 proved

Kuroki N firstly put forward the notion of rough subsets and rough ideals in semigroups, testifying that Under the condition of the congruence relation, a rough set of a subsemigroup was proved to be its subsemigroup, while that of a leftideal was also proved to be its leftideal.

Kuroki N首先研究了半群中的粗理想，首次提出了粗子半群和粗理想的概念，证明了在同余关系下，半群的粗糙集是半群，左理想的粗糙集是左理想。

Is proved to be a residuated lattice. In the second chapter, the concept of congruence relation on a residuated lattice is introduced. It is proved that the quotient algebra of a residuated lattice about the congruence relation is still a residuated lattice. Then as a generalization of the congruence relation, the concept of fuzzy congruence relation is brought in.

本文的第二章首先定义了剩余格上的同余关系，证明了剩余格中的滤子对应一个同余关系，并由该同余关系确定的商代数仍是剩余格；然后将同余关系自然推广，定义了Fuzzy同余关系，证明了Fuzzy同余关系与Fuzzy滤子是一一对应的。

In view of continuous function problems, it is first proved that the-ES algorithm based on uniform distribution converges in probability in a weaker condition by means of the central limit theorem. Then it is proved that the-ES algorithm which adopts the general continuous random variables as its variable operators converges in probability.

针对连续函数优化问题，利用中心极限定理，在较弱的条件下，首先证明了基于均匀分布的-ES算法依概率收效，然后给出了采用一般连续性随机变量作为变异算子的-ES算法依概率收效的证明。

In view of continuous function problems,it is first proved that the-ES algorithm based on uniform distribution converges in probability in a weaker condition by means of the central limit theorem.Then it is proved that the-ES algorithm which adopts the general continuous random variables as its variable operators converges in probability.

针对连续函数优化问题，利用中心极限定理，在较弱的条件下，首先证明了基于均匀分布的-ES算法依概率收敛，然后给出了采用一般连续性随机变量作为变异算子的-ES算法依概率收敛的证明。

With an energy method,the optimal order convergence rate in discrete H1 norm is proved and the stability in H1 norm is proved without any restrictive conditions about steps Δt and h.

利用变分形式及能量方法，得到离散H1范数的最优阶先验误差估计及稳定性。

Tan and Xu [1] had proved the theorem on convergence of Ishikawa iteration processes of asymptotically nonexpansive mapping on a compact convex subset of a uniform convex Banach space , Then Liu Qihou [3] presents the necessary and sufficient conditions for the Ishikawa iteration of asymptotically quasi-nonexpansive mapping with an error member on a Banach space convergent to a fixed point . Xu and Noor [5] had proved the theorem on convergence of three-step iterations of asymptotically nonexpansive mapping on nonempty closed, bounded and convex subset of uniformly convex Banach space.

Tan和Xu已经证明了建立在一致凸Banach空间紧凸子集上的渐进非扩张映射的Ishikawa迭代序列的收敛原理，随之，刘齐侯又阐述了Banach空间上渐进准非扩张映射T的具误差的Ishikawa迭代序列收敛于T的不动点的充分必要条件；之后，Xu和Noor也证明了定义在一致凸Banach空间某非空有界闭凸子集上的渐进非扩张映射的三步迭代序列的收敛原理。

Aimed to the differential equation in form of convolution and the functional presented by M. E. Gurtin, the matrix operator which includes the differential equation and the boundary condition is proved self-adjoint, furthermore a general variational principles in form of convolution and the preparation theorem are given and proved.

针对M.E.Gurtin提出的含卷积运算的抛物型偏微分方程及其对应的泛函，运用泛函势算子理论，从理论上证明了含卷积运算的抛物型偏微分方程及其边界条件所对应的矩阵算子有势，进而给出并证明了具有普适意义的含卷积运算的变分定理及预备定理。

They existed as dosage-effect and time-effect. All of these results proved that Sertoli cell was the first target cell, spermatogenic cell was the second one and mitochondrion was the target. Otherwise, we proved this compound can disturb the development and growth of sperms, influence the activity and amount of sperms and increase the deformation ratio.

结合组织病理和性激素及酶活性的改变，揭示该化合物睾丸毒性的靶细胞是支持细胞，其次是生精细胞，作用的靶点是细胞内的线粒体，此外还证明该化合物干扰精子的生长和发育，影响精子的活力和数目，增加畸形率，是雄性精子畸变的诱导剂。

Chapter 6, consider a coupled generalized KdV-Burgers equation. In section 6.2, we study the initial-boundary value problem in the semi-unbounded domain, the existence of global solutions and global attractors is proved by means of a uniform priori estimate for time. In section 6.3, the Cauchy problem by using the weighted space, the existence of the global attractors for a coupled generalized KdV-Burgers in an semi-unbounded domain is proved.

第六章，考虑了一类广义耦合的KdV-Burgers方程，在第二节中讨论了半无界区域上的初边值问题，证明了整体光滑解和整体吸引子的存在性；在第三节中讨论了Cauchy问题，利用加权函数和加权空间上的插值8不等式，证明了半无界区域上整体吸引子的存在性。

It is proved that there is no limit cycle around the positive equilibra by constructing Dulac function, thus global asymptotic stability of the positive equilibria is proved in the first quadrant.

分析了该系统的平衡点性态，利用Dulac函数证明了系统在正平衡点外围不存在极限环，从而证明了正平衡点在第一象限内是全局渐近稳定的。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐