完备

In this paper,a systematic direct perturbation method of dark solitons is found.Having analyzed the mistakes in earlier works on perturbation method for dark solitonsand essence of the direct perturbation method for bright solitons,we notice that to in-troduce the adjoint solutions of the squared Jost solutions and to prove the completenessare crucial to the problem.Giving up the unnecessary scheme of introducing the adjointoperator in the bright soliton case,we directly find the adjoint solutions by meetingthe demand for the orthogonality that inner product of the squared Jost solutions andits adjoint should be proportional to a δ function in the case of continuous spectra.The corresponding adjoint operator is thus found.Taking into account the reductiontransformation,we find a correct description for the completeness of the squared Jostsolutions and directly verify its validity with explicit expressions of the squared Jostsolutions.

本论文建立了系统的暗孤子直接微扰方法，在对前人关于暗孤子微扰方法的错误以及亮孤子直接微扰方法的本质作了充分的分析后，认识到引入平方Jost解的伴随解和证明完备性是问题的关键，撇开过去亮孤子情况首先引入伴随算子的非必要作法，直接从平方Jost解与其伴随解的内积在连续谱时正比于δ函数这一正交性要求出发，找出了伴随解，同时得出了应有的伴随算子，在考虑到约化变换性后，得到了暗孤子情况的平方Jost解的完备性的正确表述，并在单个暗孤子的情况利用平方Jost解的显式直接验证了它的正确性。

Unlike the canonical extension,the number of algebraic completion of a poset may be more.

一个偏序集的代数完备可能有多个，可是，当偏序集是并半格时，代数完备在序同构意义下却是唯一的。

At last, we will explore the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i. e., if such programs are bisimilar, then they are algebraically equivalent.

最后本文研究了代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，我们的代数语义是完备的。

At last, the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i.e., are explored, if such programs are bisimilar, then they are algebraically equivalent.

研究了此代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，此代数语义是完备的。

The application of rough set theory in incomplete information systems is one of the key problems to study rough set theory in practice. However, it is difficult for classical rough set theory to deal with those incomplete information systems.

粗糙集理论在不完备信息系统中的应用，是将粗糙集理论进一步推向实用的关键之一，而经典的粗糙集理论对不完备信息系统的处理显得束手无策。

The following two open problems in the component theory of complete lattices are studied:(1) In a non distributive complete lattice, is it true that any component of an element with finite width is also finite wide?

：研究了完备格成分理论中两个尚未解决的问题：在非分配的完备格中，有限宽元素的成分也是有限宽的吗？

Through constructing a counterexample it is showed that there is a non distributive complete lattice in which a component of some element with finite width is not finite wide....

通过构造反例证明了在非分配的完备格中，有限宽元素的成分不必是有限宽的；还证明了完备格间的同构映射能保持颗粒表示性质和颗粒性质，通过反例证明了同构映射的条件不能减弱，从而解决了以上两上问题。

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 system design of the complete procedures of measure focal plan and a computer- step motor interface circuit and complete step motor control procedures.

该系统设计了完备的检焦程序，并设计了电脑和步进电机的接口电路，另外设计了完备的步进电机控制程序。

E〓 is endowed with a new metric D, such that becomes a complete metric space. After that a locally convex complete pseudonormed space is constructed. Finally, E〓 is embedded into isometrically, and isomorphically.

在n维非紧模糊数空间E〓上引入一个新的度量D，使得成为一个完备的度量空间，然后我们构造了一个局部凸的完备赋准范空间，并将n维非紧模糊数空间等距同构地嵌入到空间之中。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。