查询词典 unique existence

It is quite reasonable to worry that Anselm''s argument illegitimately moves from the existence of an idea to the existence of a thing that corresponds to the idea.

它对 Anselm 的争论非法地从一个想法的存在移动到对应于这个想法的一件事情的存在的担心相当合理。

There are series of papers studying the solvability of an incompressible, viscous, instationary fluid contained in a domian bounded entirely by a free surface. In 1977, Solonnikov proved its local solvability in a Holder space for any initial date but without surface tension. In 1984, he considered the same problem in a Sobolev space with surface tension being taken into account. In I992, Mogilevskii and Solonnikov treated the same problem in a Holder space, where the coefficient of surface tension is not a constant. There are also short-time existence results for the solvability of an incompressible, vicous, unsteady fluid bounded above by a free surface and below by a fixed bottom which approach horizontal planes at infinity. In 1981, Beale proved its local solvability in a Sobolev space for any initial date but without surface tension. In 1983, Allain were concerned with the same problem in R〓 with surface tension but under the assumption that the initial fluid domain was near a horizontal strip. In 1987, he obtained the same result without the preceding assumption. In 1996, Tani solved the same problem in R with surface tension. For the solvability of an incompressible viscous instationary fluid in Ω R bounded inside by a free surface S and outside by a rotating boundary S, in 1995 Ciuperca proved its local existence in a Sobolev space for any initial date but without surface tension. In this paper, we consider the same problem with surface tension.

对于边界完全是由自由边界组成的有界区域中粘性不可压流体的非定常运动问题，Solonnikcv于1977年在忽略表面张力情况下证明了初值问题小时间解在Holder空间的存在性，于1984年在有表面张力情况下证明了初值问题问题小时间解在Sobolev空间的存在性，Mogilevskii和Solonnikov于1992年在表面张力系数可以不是常数情况下证明了初值问题小时间解在Holder空间的存在性；对于上面是自由边界、下面是固定边界且两边界在无限处趋于水平的无限区域中粘性不可压流体的非定常运动问题，Beale于1981年在忽略表面张力情况下证明了初值问题小时间解在Sobolev空间的存在性，Allain于1983年在有表面张力情况下证明了R中初值问题小时间解在Sobolev空间的存在性，但其中假定初始区域近似是个水平条，他于1987年去掉了这个假定得到同样的结果，Tani于1996年在有表面张力情况下证明了R中初值问题小时间解在Sobolev空间的存在性；对于R中内面是自由边界、外面是旋转边界S的有界区域中粘性不可压流体的非定常运动问题，Ciuperca于1995年在忽略表面张力情况下证明了初值问题小时间解在Sobolev空间的存在性，本文考虑了在有表面张力情况下初值问题可解性问题。

Our lonely existence of this silent desolation in their own homes, as lone travelers, the fate of the landscape across all channels, no purpose, no meaning, existence itself is everything, no choice of life path was set off as arc, is the only way to stick to the hearts of silence, in silence, insights and life.

我们孤独的生存在自己这个沉默的荒凉家园，如同独行的旅行者，命运是穿越所有景观的通道，没有目的，没有意义，存在的本身就是一切，无从选择，生命的轨迹就像被设置过的弧线，唯一能固守的就是心中的沉默，在沉默中感悟人生、生命。

First the math theory of machining simulation is studied, and the set structure of NC machining simulation system whose components, including time, input, output and so on, are defined. Hereby we set up the hierarchy structure, the logical structure, the static model and the dynamic model of simulation system. The construction method of sweep entity of cutter and rotation parts is researched, and their differential geometry invariants are calculated. NC code is unscrambled, and the recursion division arithmetic of time segment is put forward, which is the driven data of the movement or rotation parts. The CLDATA should be interference-free. To examine if there is interference between cutter flank and the work piece, an arithmetic that discussed the existence of intersecting curve between them is put forward. To examine if there is interference between two turrets, an arithmetic that discussed the existence of intersection set between two polygons is put forward.

首先研究加工过程仿真的数学基础，然后定义数控加工仿真系统的集合结构及时间集、输入集、输出集等概念，建立加工仿真的层次结构和逻辑结构，阐述双刀车削仿真系统的静态模型和动态模型建立方法，分析刀具扫描体和旋转部件扫描体的建立方法及其微分几何性质；研究NC代码解读技术和双刀加工时间段递归子分划技术，为驱动各仿真单元作数据准备；通过讨论后刀面和工件表面交线的存在性判断刀具后刀面与工件间是否干涉，通过求多边形的交集判断刀架与刀架是否干涉。

In chapter three, the new concepts of the bifurcation point and asymptotic bifurcation point of compact continuous operators in Menger PN-spaces are introduced. Some sufficient conditions for the existence of the bifurcation point and asymptotic bifurcation point are obtained. And the problems on the intrinsic value and intrinsic element of compact continuous operators are studied in Menger PN-spaces. A series of theorems on the existence of the intrinsic value and intrinsic element are obtained.

第三章，在概率赋范线性空间中提出非线性算子的歧点和渐近歧点的新概念，获得了非线性算子存在歧点和渐近歧点的充分条件；讨论了Menger概率赋范线性空间中非线性算子的固有值和固有元问题，得到了非线性算子存在固有值和固有元的一系列充分条件。

The paper addresses the existence problem of generalized inverses for elements of a Banach algebra under perturbations and derives a sufficient and necessary condition for the existence of generalized inverse.

文中讨论了Banach代数元扰动后广义逆的存在性问题。用线性算子广义逆的稳定性问题的方法，得到Banach代数元扰动后广义逆存在的充分必要条件以及稳定的一个充分条件

In this paper We study existence of solutions of variational inequalities in a reflexive Banach Space,and acquire several existence results.

本文研究自反Banach空间中的变分不等方程解的存在性，得到了存在性的几个结果。

Of course, the shadow does not appear there is more than just a single individual, any thing on the back of the existence of which is to be inseparable from the body's own existence, saying that depends on the presence of body exists, it is also the a very reasonable explanation.

当然，影子的出现也并不仅仅只是一个单独存在着的个体，任何的事物的背面的存在它都是要离不开本体自身的存在的，说是要依赖于本体的存在而存在，亦也是一种十分合理地解释。

Finally, by using a topological global existence result, we give the global existence of bifurcated periodic solutions and it is found that the system exists always a nonconstant periodic solution after the second critical value of the delay.

通过使用一个拓扑的全局存在性结果，还给出了分支周期解的全局存在性。结果表明在时滞的第二个临界值以后，系统总是存在一个非常数周期解。

These transitional stages are the blastogenesis, the first stage from the moment of conception to the implantation or nidation after around 14 days. Secondly, the stage following on from nidation until the moment when the foetus has a viable independent existence, and finally the stage from viable independent existence until the actual birth.

这些过渡阶段是芽基发育，即从受孕到植入或着床的时刻起大约14天的第一阶段；第二阶段从着床开始，到胎儿已经成为可存活的独立的存在；第三阶段从可存活的独立存在到实际出生。

According to my definition, the Manchurian Candidate is an experimentally created dissociative identity disorder that meets the following four criteria

根据我的定义，满州候选人是一个创造分离身份混乱的实验，它符合下述的4条标准

I'd be chuffed to play at a World Cup, but I have many years ahead of me in the game so I hope to have more opportunities.

我会chuffed发挥在世界杯，但我有很多年的比赛在我前面，所以我希望有更多的机会。