查询词典 solvable

At first,in section 2.1.1,we define a new digraph Aand use it toprove that if G is of odd order and 〓 is nonnormal,the automorphism group Autof 〓 is solvable.

首先，在第2.1.1节中，我们定义一个新图A。

We have classified all types of the solvable Lie algebras with nondegenerate invariant bilinear form.

我们给出了带有非退化不变对称双线性型的可解李代数的完全分类。

Corresponding to such a NP-hard problem, this paper gives some polynomial time solvable cases, and a branch and bound algorithm with a rapid method for estimating the lower bound for general case.

对这一NP-困难的排序问题，文中给出了几个多项式可解的特殊情形，一般情况下的一个快速下界估计方法以及相应的分支定界算法。

We prove that any irreduciblesymmetric self-dual Lie algebra 〓 whose Cartan subalgebra consists of semi-simpleelements is in one of the following classes:(1)〓 is simple;(2)〓 is 1-dimensional;(3)〓is solvable.

第五节讨论Cartan子代数由半单元构成的对称自对偶李代数的结构，证明了不可约对称自对偶李代数g如果它的Cartan子代数由半单元构成，那么它只能是下列情形之一：（1）g为单李代数；（2）g是1维的；（3）g是可解的。

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格上的型矩阵方程可解的充要条件是是它的解，且是最小解。

Computability theory differs from the related discipline of computational complexity theory, which deals with the question of how efficiently a problem can be solved, rather than whether it is solvable at all.

可计算性理论的不同之处相关学科的计算复杂性理论，其中涉及的问题是，如何有效的问题可以得到解决，而不是它是否解决了。

In this paper,at first we transformed the nonlinear elliptic system of 2m first order equations into the complex form, then by use the results on the Riemann-Hilbert problem for nonlinear elliptic complex equation of first order, the method of continuity, the Schauder fixed-point theorem and the Leray-Schauder theorem, we proved that the modified Riemann-Hilbert boundary value problem for the complex system with some conditions is solvable.

本文先将较一般的多个未知函数的一阶椭圆型实方程组化为复方程组，然后讨论这些复方程组在某些条件下的一些边值问题的可解性。这里所考虑的方程组既包含线性的，也包含非线性的，比广义超解析函数所满足的方程组还要广，又本文主要研究较一般的Riemann-Hilbert边值问题，先给出这种边值问题解的先验估计式，然后用参数开拓法及Leray-Schauder定理证明这种边值问题的可解性结果。

Let F=LF be a s-closed local formation such that every minimal non-F-groups is solvable. It is proved that 1 If every cyclic subgroup of of order 4 and every minimal subgroup of G are contained in, then G is a F-group. 2 If there exists a normal subgroup N of G such that G/N∈F and every cyclic subgroup of N of order 4 is weakly c-normal in G and every element of N of prime order is contained in Z(superscript f subscript ∞), then G is a F-group.

设F=LF是一个子群闭的局部群系，满足每个极小非F-群是可解群，证明了：1如果G的任意极小子群和任意4阶循环子群都含于Z中，那么G是F-群；2如果存在G的正规子群，使得G/N∈F，且N的任一4阶循环子群在G中弱c-正规，N的任一素数阶元含于Z中，那么G是F-群。

On the basis of the differential game approach, necessary and sufficient solvable conditions for the hybrid estimation problem are provided in terms of solutions to a Riccati differential equation.

基于微分对策方法，混合估计问题有解的充要条件表达为 Riccati 微分方程的可解性。

But this model is now in danger of outliving its usefulness.

但这种发展模式正面临丧失效力的风险。

To be brighter in the images and are now visually distinguishable.

to是明亮在图象并且现在是视觉上可区分的。