查询词典 global existence

As the wide existence of steady liquid water on the red planet has been more and more clearly proved ,and the idea that bacterielles fossil was brought to the earth by an aerolite from the Mars was incessantily debated over ,the argument concerning whether this planet witnessed the existence of organism which lives till now will be more fierce.

由于越来越多的证据表明红色行星上曾经含有大量稳定的液态水，由于人们对细菌化石是火星上的一块陨石带到地球上的这种观念争议不休，因此，有关该行星上是否曾经存在生命以及生命是否持续到今天的争论更加激烈。

Bewigged tragedy has a reason for its existence, and I am not one of those who, by order of AEschylus, contest its right to existence.

戴着假发上演的悲剧有它存在的理由，我不是一个那种以埃斯库罗斯的名义去反对它的存在权利的人。

We prove the existence theorem of rationed with Borel points for meromorphic functions in the unit circle, discuss the operations of algebroid functions and the existence theorem of Nevanlinna direction of algebroid function dealing with mutiple values, and obtain some uniqueness theorems dealing with mutiple values of algebroid functions.

证明了单位圆内限定Borel点的亚纯函数的存在性定理，讨论了代数体函数的运算性质以及涉及重值的Nevanlinna方向的存在性定理，得到了一些涉及重值的代数体函数的唯一性定理； 2。

The legal groundwork of the metaphysical existence lies in the historical revelation of existence ambit of human being.

本文在形而上学发展的历时态和现时态中凸现形而上学作为人的超越性的自为本性的合理内核。

Bergasse -(Considerations on animal magnetism or about the theory of the existence of the universe and the organized beings)- this book is an analysis of the existence of the animal magnetism and its characteristics, it concerns also the situations in which this knowledge can be used in order to relief someone's pain all that by the scientific rigour and, most importantly, how this knowledge changes the way through which society is organized and the way men relate to each other.

梅斯默-米贝尔加塞-(考虑对动物或磁性的理论所存在的宇宙和人类有组织)这本书分析了存在的磁性动物及其特征，它也令人关注的情况下，这方面的知识可以用，以减轻别人的痛苦所有这一切的科学严谨，而最重要如何认识这一变化的途径，社会组织方式和男人相互关系。

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概率赋范线性空间中非线性算子的固有值和固有元问题，得到了非线性算子存在固有值和固有元的一系列充分条件。

Vishnu entered a dark fourth dimensional dream that did not support his field or continued life.

毗瑟挐进入了一个第四密度的黑暗梦想，那里并不支持他的能量场或继续生命。

Leaders and decision-making persons use it to collect the data, including the information of unit work, handing in fee, oweing fee, prepaying fee,changing and afterpaying and account transfering of joining-insurance employee, and account paying of all kinds of insurances from hospitalization insurance institutions.The collected data is picked up, organized, switched and showed to user.

该子系统主要面向各级领导、决策分析人员；从各个医疗保险经办机构和定点医疗机构采集数据，包括在各个医疗保险经办机构处理的单位办公信息，单位缴费、欠费、预缴费信息，参保职工变更信息，参保职工增减变动信息，参保职工补缴信息，参保职工帐户划拨信息：包括各定点医疗机构处理的各险种帐户支出信息，各险种的统筹金支付信息等；将采集的数据提取，组织和转换，然后展示给用户。