查询词典 existence

The author constructed a linear schemes type Region-Project-Join-Normal-Form based on lossless join decomposition, and gave the form of RPJNF through the presentation of equivalence between semantic variable independence and syntax variable independence under finite precision domain. Some other new constraint data dependencies including partitioned multi-region existence dependency and single region existence dependency were also presented. A result of variables set under linear transformation was discussed.

文中给出并证明了多区域存在依赖满足的几条推理规则；提出并证明了线性序约束关系进行模式无损连接分解的充要条件是变量集满足变量独立和多区域存在依赖；设计了一种基于模式无损连接分解的区域投影连接范式；通过证明有限精度域上语义变量独立和语法变量独立的等价性，给出有限精度域上RPJ范式的表达形式。

In the past, the human's sense organ is a gateway, and true existence goes to our innermost existence through our sense organ.

在过去，人们的感官是门户，真实的存在就是通过我们的感官到达我们内心深处的存在。

The existence theorem of generalized weak efficient solutions with respect to variable, cone for a linear G〓teaux differentiable mapping is proved with set valued mapping fixed-point theorem and the relation between a vector optimization and a variational inequality problem. The existence of weak efficient solutions for multi-objective convex vector optimization is characterized.

建立映射在线性G〓teaux可微条件下关于可变锥的广义弱有效解的存在性及多目标凸向量优化问题在G〓teaux可微条件下弱有效解的特征，利用集值映射不动点定理及向量优化与变分不等式的关系证明线性G〓teaux可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

On the basis of Nagumo′s existence theorem for the singular case, we obtain the existence of solutions of singular equations satisfying nonlinear boundary value conditions and periodic boundary value conditions by means of approximations.

在Nagumo型存在定理的基础上，我们应用逼近的方法给出了奇性方程满足非线性边值条件和周期边值条件的解的存在性。

Based on the existence condition of the solution for singular ordinary differential systems,the existence condition of the solution of the degenerate neutral differential system as well as the general solution are obtained by defining the solvable matrix pair and fundamental solution and using Laplace transformation.

讨论了对于退化矩阵E不是方阵情形的一般退化中立型微分系统的解，基于退化的常微分系统解的存在性条件，通过定义可解阵对和基础解以及利用拉普拉斯变换，给出了一般退化中立型微分系统解的存在性条件以及通解表达式。

Existence king of, so total some people existence some slavish, total believe oneself can't attain.

因为有王的存在，所以总有些人存在着一些奴性，总相信自己不能做到。

Sometimes he is a solipsist, holding that self alone exists, that the existence of not-self is an illusion, and that the belief in the existence of other minds than our own is a vulgar error.

有时，他是一个惟，认为单靠自身存在的存在不是自我是一种幻想，而且相信存在的其他头脑比我们自己是一个庸俗的错误。

The stability of system equilibrium point and the existence condition of 3-D Hopf bifurcation as well as the stability of hence generated periodic solution were analyzed, so that the existence of limit cycles on the two-dimensional stable manifold of one microbial species and its nutrition was verified when other one had the disadvantage in the competition so as to become extinct.

研究当营养消耗率δ1＝δ1为一般的非减连续函数和δ2＝常数的三维Chemostat模型，分析系统平衡点的稳定性，三维系统经历Hopf分支的条件和由此产生的周期解的德定性，证明系统中某一微生物物种处于竞争劣势而趋于灭绝时另一微生物物种和营养的二维稳定流形上极限环的存在性。

The stability of system equilibrium point and the existence condition of 3-D Hopf bifurcation as well as the stability of hence generated periodic solution were analyzed,so that the existence of limit cycles on the two-dimensional stable manifold of one microbial species and its nutrition was verified when other one had the disadvantage in the competiti.

研究当营养消耗率1δ=1δ为一般的非减连续函数和2δ=常数的三维Chemostat模型，分析系统平衡点的稳定性，三维系统经历Hopf分支的条件和由此产生的周期解的稳定性，证明系统中某一微生物物种处于竞争劣势而趋于灭绝时另一微生物物种和营养的二维稳定流形上极限环的存在性。

We divide the existence of generalized solutions into three theorems becauseof the existence of a generalized supersolution we need in the proof.To ob-tain this fact,we discuss three different cases separately.WhenΩhas strictconvexity,it can be proved that the generalized supersolution of (1)(2)is theconvex-monotone hull of 〓in 〓,this is theorem 2.WhenΩdoesn't hasthe strict convexity,in theorem 3 we have to suppose there exists a generalizedsupersolution.

我们的广义解的存在性结果之所以分成三个定理陈述，主要是因为在我们的存在性证明中，一个重要的事实就是广义上解的存在性，而为了得到这个事实，我们分别讨论了三种不同的情况：在定理2中的假设〓具有严格凸性时，我们证明了问题（1）（2）的广义上解就是初边值〓的凸单调包，而在〓没有严格凸性时，我们在定理3中假定了一个广义上解的存在性。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。