等价型

For a given strictly proper rational function matrix over a commutative Banach algebra, the controllable, observable realizations have been constructed, the uniqueness of minimal realizations under the system equivalence has been proved, also, the necessary and sufficient conditions for decoupling have been given.

对给定的定义在交换Banach代数上的严格真有理函数矩阵，构造了可控型、可观型的实现，证明了其极小实现在系统等价意义下的唯一性；给出了交换B.fi。

In this paper, Chapter One describes the equivalent characterization of Bloch type space on the unit ball. By using it, a new condition is given, under which the composition operation between Bloch type space on the unit ball will be a bounded operator.

本文第一章给出了单位球上Bloch型空间的等价刻划，作为应用得到了单位球上Bloch型空间之间复合算子为有界算子的一种新条件。

For the Riemann boundary value problems for the first order elliptic systems , we translates them to equivalent singular integral equations and proves the existence of the solution to the discussed problems under some assumptions by means of generalized analytic function theory , singular integral equation theory , contract principle or generaliezed contract principle ; For the Riemann-Hilbert boundary value problems for the first order elliptic systems , we proves the problems solvable under some assumptions by means of generalized analytic function theory , Cauchy integral formula , function theoretic approaches and fixed point theorem ; the boundary element method for the Riemann-Hilbert boundary value problems for the generalized analytic function , we obtains the boundary integral equations by means of the generalized Cauchy integral formula of the generalized analytic function , introducing Cauchy principal value integration , dispersing the boundary of the area , and we obtains the solution to the problems using the boundary conditions .

对于一阶椭圆型方程组的Riemann边值问题，是通过把它们转化为与原问题等价的奇异积分方程，利用广义解析函数理论、奇异积分方程理论、压缩原理或广义压缩原理，证明在某些假设条件下所讨论问题的解的存在性；对于一阶椭圆型方程组的Riemann-Hilbert边值问题，利用广义解析函数理论、Cauchy积分公式、函数论方法和不动点原理，证明在某些假设条件下所讨论问题的可解性；广义解析函数的Riemann-Hilbert边值问题的边界元方法是利用广义解析函数的广义Cauchy积分公式，引入Cauchy主值积分，通过对区域边界的离散化，得到边界积分方程，再利用边界条件得到问题的解。

In this paper, we will investigate the matrix equation in composition over a complete Brouwerian lattice. First, we give an equivalent condition for the solvability of this equation, i.e. theorem 2.2.3 in this paper: The matrix equation in composition over a complete Brouwerian lattice is solvable iff is the minimal solution of this equation.

本文主要探讨完备Brouwer格上的型矩阵方程，首先给出该类矩阵方程可解的一个等价条件，即本文的定理2.2.3：完备Brouwer格上的型矩阵方程可解的充要条件是是它的解，且是最小解。

The two kinds of symmetries in holonomic and non-holonom-ic mechanical systems,i.e.symmetries of differential equations of motion(ab-breviated as SDEM)and symmetries of Noether-type,and interrela-tions among all kinds of symmetries are investigated.The necessary and suffi-cient conditions of SNT to be SDEM are found out.It is pointed out thatSDEM have distinct geometric properties which are equivalent to the geodesiccharacteristic of differential equations of motion and geodesic deviation.

文中研究了完整与非完整力学系统的两类对称性，即运动微分方程的对称性和Noether型对称性，以及各种对称性之间的相互关系，确定了Noether型对称性为运动微分方程对称性的充分必要条件，并指出运动微分方程的对称性具有明确的几何性质，即它等价于运动微分方程的测地性质以及测地偏离性质。

Hilbet-type inequality is important in analysis and its applications. In recent years, by improving the way of weight coefficient, some research on the extensions and applications of this type of inequalities are developed. In this paper, we give a Hilbert infinite series inequality with the best constant factor whose kernel is a negative quadratic form by applying the method of weight coefficients. And an equivalent form is considered.

Hilbert型不等式在分析中有重要作用，近年来，由于改进权系数的方法，发展了这类不等式，并进一步推广应用和研究，应用权系数方法给出的一个带有最佳常数的核为负二次型齐次的Hibert型无穷级数不等式，同时考虑了它的等价形式。

The forth algorithm is the same as the third one with an addition of finite termination criteria. Although the latter two algorithms have only linear rate of convergence, they are especially suitable for large-scale and sparse problems, with features of simple formula, small storage, sparsity preservation and easy implementation.

前者借助NCP函数把互补问题转化为等价的非光滑方程组，再用带参数的光滑方程组近似这些非光滑方程组，最后用牛顿型方法求解所得到的光滑方程组，希望通过光滑参数趋于零得到原来互补问题的解；后者基于等价不动点格式，构造了一个光滑迭代算法和一个具有有限终止性质的算法，虽然这种迭代算法仅有线性收敛速度，但由于其格式简单、存储量小、保稀疏性、非常易于计算机实现等特点，故较适用于求解大规模稀疏问题。

From the equivalence relations, a minimal form is defined and a minimization algorithm of the Mealy type of fuzzy finite automata is obtained.

两类状态等价关系被引进，进而定义了该Mealy型模糊有限状态自动机的最小化形式，最后得到了该Mealy型模糊有限状态自动机的一种状态最小化约简的算法。

Secondly, for a more general matrix equation in composition, we obtain another equivalent condition for the solvability of this equation and give an equivalent characterization to the solution set of the equation.

第二， 对于一般情况下的型矩阵方程，本文给出其可解的另一个等价条件，同时对其解集作了一个等价性描述。

Therefore, it's natural to estimate those values of operators such as 〓, log mf and so on in order to investigate the weighted inequalities for the minimal operator We discuss them under two conditions respectively: In one-weight case, we establish the relative weighted inequalities under the condition of A〓-weight and A〓-weight respectively, and the equivalent condition has been found between the strong -type weighted inequality and the property of W〓-weight; while in the case of two-weight condition, we characterize the equivalent relations between the weak type weighted inequality and the property of W〓-weight, the strong -type weighted inequality and the property of W〓-weight.

我们分两种情况分别加以讨论：单权情况下，我们分别刻画了A∞权和A〓权条件下关于〓，log mf等的强型加权不等式，并证明了关于鞅的极小算子的强型加权不等式与对应的W〓权性质之间的某些等价关系；在双权情况下，我们刻画了关于极小算子的弱型加权不等式与W〓权以及强型加权不等式与W〓权之间的等价关系。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失