查询词典 completeness theorem

In chapter II,an extended strongly equivalent theorem forgerms with parameters is proved.The theorem is useful to constructthe factoring map between any unfoldings and universal unfolding.

在第二章中，对带有参数的核证明了一个推广的强等价性定理，这个定理在构造任意开折和普适开折因式相通的变换中有一定的应用。

Chapter 4 is devoted to the existence and multiplicity of homoclinic for self-adjoint nonlinear second order difference equations by using "Mountain Pass " theorem and "Symmetry Mountain Pass "theorem in critical point theory.

第四章应用临界点理论中的山路引理与对称山路引理研究了一类自共轭非线性二阶差分方程的同宿轨的存在性与多重性。

Based on the tree martingale decomposition theorem and the con-vergence of locally finite tree martingales,a tree martingale convergence theorem isverified.

再基于树鞅分解定理和局部有限树鞅收敛定理，证明了一个树鞅收敛定理。

In this paper, a fixed value theorem for direct areas of height triangle s in circular inscribed polygons is obtained, and some results, including the famous height theorem in a triangle, are deduced.

给出圆内接 2n +1边形中高线三角形有向面积的定值定理及其推论，其中包括著名的三角形的高线定

Article 3 All units must set up account books according to law and ensure their truthfulness and completeness.

第三条 各单位必须依法设置会计帐簿，并保证其真实、完整。

And checking accounting documents for completeness,mathematical accuracy and consistency.

原始数据编制明细报表、核查会计文件的完整性、数字的精确性和一致性。

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解的显式直接验证了它的正确性。

As a result of,explained of property right not completeness, just produced odd right problem, counterpoise odd control to ask for union to be together with the rest, factor of production of admeasure of cent of dispersive and symmetrical ground is possessory, can produce significant incentive effect most.

说明了正是由于产权的不完全性，才产生了剩余权利问题，把剩余控制权和剩余索取结合在一起，分散对称地分配给生产要素所有者，最能产生有效的激励作用。

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 father that if work,mad father, love annoys, disposition is too indrawn the be short ofing that the father of Mu Ne, resign oneself to adversity causes father easily to love is broken; Communicate time effectively between father and son, Mu Zizhi to be less than a hour on average to wait a moment every week, it is the cause that causes the child to become addiction.

如工作狂的父亲、爱愤怒的父亲、性格过于内向木讷、逆来顺受的父亲都易造成父爱的缺失；父子、母子之间的有效沟通时间每周平均小于一小时等等，都是造成孩子成瘾的原因。

These are vandal proof and they come with a locking mechanism.

这是野蛮的证据，他们来到了锁机制。