查询词典 three-body problem

Company to body, frame-based auto parts, auto body dies, three-wheeled motorcycle three series of more than 150 product varieties.

公司现有以车身、车架为主的汽车配件、汽车车身模具、三轮摩托车三大系列150多个产品品种。

The extended three partition problem which is the general case of the three partition problem is proposed in this paper.

1引言Petri网是一种分布式系统模型，它作为系统建模和分析的工具已被广泛应用于多个领域[1-6]。

Firstly, the eigenvalue problem of a class of second order elliptic equation with critical potential and indefinite weights is considered. Then, using critical point theory, Trudinger-Moser inequality and the properties of the first eigenvalue, we prove the existence of a nontrivial solution for a class of nonlinear elliptic with critical potentialand indefinite weights in R~2. Secondly, we prove the existence of nontrivial solutions for a class of subcritical and critical elliptic systems with indefinite part in R~2 byusing a generalized linking theorem, Trudinger-Moser inequality and concentration-compactness principle.5. The existence of at least three weak solutions for discrete boundary value problem is established by using a three critical point theorem introduced by Ricceri.

首先，讨论了R~2中一类带不定权且含临界位势的二阶椭圆型方程的特征值问题，并借此特征值问题的第一特征值性质，利用山路引理及Trudinger-Moser不等式，证明了R~2中一类带不定权且含临界位势的非线性椭圆型方程非平凡解的存在性；其次，利用广义环绕定理，Trudinger-Moser不等式及集中列紧原理，得到了R~2上一类具有强不定部分的半线性椭圆型方程组在非线性项分别为次临界增长和临界增长情形下非平凡解的存在性。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Moreover, A hybrid algorithm, ALHybrid, which is made of the algorithm LIDBSO and the algorithm AprioriIpv, is designed. Two algorithm, MQC_Apriori and MQC_LIDBSO, are given to mining multiple level quantitative association rules with item constrains. Two algorithm, PMARⅡ and PMARⅢ, which are based on different sequential mining algorithms, are given for parallelling mining association rules. In order to solve the mining association rules problem when we add a set of data to a database or delete a set of data from a database, two incremental updating algorithm, EUAR and EUAR, are given. Three incremental updating algorithm for association rules mining, DIUAⅠ, DIUAⅡ and DIUAⅢ, are dedigned to solve the three kinds of association rules incremental updating problem in distributed databases.

另外，文中还设计了一个算法LIDBSO与算法AprioriIpv相结合的混合采掘算法ALHybrid；对于多层次、带约束、多值属性关联规则的采掘问题，给出了两个采掘算法：算法MQC_Apriori和算法MQC_LIDBSO；在关联规则的并行采掘方面，还设计了两个基于不同顺序关联规则采掘算法的并行算法：算法PMARⅡ和算法PMARⅢ；在关联规则的增量式更新问题上，还给出了两个改进算法：算法EUAR和算法EUARˉ，分别用于解决当数据库增加或删除一个数据集合时的关联规则增量式更新问题；针对分布式数据库中的关联规则增量式更新的三类问题，提出了三个增量式更新算法：算法DIUA Ⅰ、算法DIUAⅡ和算法DIUAⅢ。

Quantities of cases indicate :unemployment problem must be solved perfectly; bureaucratisnK irregularity and turmoil discipline demand party" s cadres to continue to developing three choiceness styles , serving people with the whole hart and intention;"three farmings" problem is an important thing to relate to the national economy and the people" s livelihood: And disscuss the letters and visitings work" s improvement and system" s foundation.

大量信访案例表明：失业问题必须妥善解决；存在的官僚主义、违法乱纪问题要求党的干部要继续发扬三大优良作风；&三农&问题是关系国计民生的大事；论述信访工作不断改进和信访制度初步确立；第二部分，50年代后期至60年代中期的信访案例。

The wavenumber transform in load moving direction was applied to reduce the three-dimensional dynamic problem to a two-dimensional plain problem,in which each node has three degrees of freedom.

通过沿荷载移动方向的波数变换将三维问题降维成每个节点有3个自由度的平面应变问题，极大地提高了计算效率。

The following are main contents studied: A finite element method for Navier-Stokes equation with ALE formulation is considered and by combined with theNewmark method of numerical intergration a pressure correction scheme is obtained for the solution of the FE formulation of N-S equation. Because the incompressibility condition can be satisfied approximately in this scheme, the interpolation functions of elements can be equalorder for the velocity field and pressure field. In the ALE formulation the fluid-solid interaction analysis became a three-field coupling problem of the fluid field, the solid field and the fluid dynamic mesh. The properties and charactiristices of this three-field coupling problem are deeply discussed.

研究的主要内容有：主容器中流体大晃动是一种强非线性问题，文中研究了求解ALE描述的粘性流体N-S方程的有限元方法，以有利于大晃动自由液面的跟踪和流体大晃动中非线性现象的描述；并结合Newmark数值积分法推出了求解ALE型N-S方程的压力修正解法，由于这种解法可以近似满足不可压条件，因此可以采用速度场和压力场等阶插值的有限元离散格式，从而较好地解决了普遍采用的不等阶插值解法中，速度场和压力场数值精度不一致、程序编制不便等的不足。

This work is supported by the Ministry of Science and Technology of China (No. 2004BA901A02). Three new theoretical models are proposed in this paper, which are three dimensional stability analysis model of landslides with single slip surface, three dimensional stability analysis model of landslides with multiple slip surface and failure time prediction model of landslides. Moreover, the kinetic rule of sliding body and rockfall are also discussed in this thesis.

在国家科技攻关计划"西部开发科技行动"重大项目(编号：2004BA091A02)的资助下，本文建立了单滑面滑坡三维稳定性分析模型、多滑面滑坡三维稳定性分析模型和滑坡失稳时间预测模型，同时还对滑落体和崩落体的运动规律进行了探讨。

Yesterday evening to a lot of friends, to a room of six friends, I just started It's sober, tried every respect and a cup, not King on the first half of the halo of a rest, King finished and gone. King finished a sigh of relief that gas not come out, came a block e, I know that today is finished, to be drunk but still With special drunk, they sit down to call a bottle of VSOP three, not ten minutes to drink a bottle, after a three-hour bottles became bottles, I start with a good good halo halo, also termed the three boxes began to drink beer. I want you in the end is a human or a whale ah, and they asked me to play Boson, and each of us playing 10, Ma ah, But this 11 individuals ah, in the role of alcohol under I agreed, liquor door open, one out of the past, I have drunk, how I do not know the home, who feels tired today Shuileyitian body not comfortable

昨天晚上来了好多了朋友，来了六个房间的朋友，刚开始我还挺清醒的，过去想每个人敬了一杯，没敬到一半头就晕了就休息了一会，完了又去敬了，敬完了松了一口气，这气还没出来，又来了一挡死党，我知道了今天算是完了，要醉而且还是大醉特醉，他们坐下来就叫了三瓶VSOP，没十分钟就喝了一瓶，过了一个小时这三瓶都成了空瓶，我头好晕好晕，又叫了三箱啤酒又开始喝了，我在想你们到底是人还是酒桶啊，他们要求我玩色子，和每个人玩十把，妈啊，这可是十一个人啊，在酒精的作用下我答应了，酒门也开了，一个个的过去了，我也醉了，我怎么回家的都不知道，身上好痛好累今天睡了一天全身都不舒服

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。