查询词典 three-body problem

It consists of the next three aspects: firstly, we study Murthys' open problem whether the augmented matrix is a Q0-matrix for an arbitary square matrix A , provide an affirmable answer to this problem , obtain the augmented matrix of a sufficient matrix is a sufficient matrix and prove the Graves algorithm can be used to solve linear complementarity problem with bisymmetry Po-matrices; Secondly, we study Murthys' conjecture about positive semidefinite matrices and provide some sufficient conditions such that a matrix is a positive semidefinite matrix, we also study Pang's conjecture , obtain two conditions when R0-matrices and Q-matrices are equivelent and some properties about E0 ∩ Q-matrices; Lastly, we give a counterexample to prove Danao's conjecture that if A is a Po-matrix, A ∈ E' A ∈ P1* is false, point out some mistakes of Murthys in [20] , obtain when n = 2 or 3, A ∈ E' A ∈ P1*, i.e.

本文分为三个部分，主要研究了线性互补问题的几个相关的公开问题以及猜想：(1)研究了Murthy等在[2]中提出的公开问题，即对任意的矩阵A，其扩充矩阵是否为Q_0-矩阵，给出了肯定的回答，得到充分矩阵的扩充矩阵是充分矩阵，并讨论了Graves算法，证明了若A是双对称的P_0-矩阵时，LCP可由Graves算法给出；(2)研究了Murthy等在[6]中提出关于半正定矩阵的猜想，给出了半正定矩阵的一些充分条件，并研究了Pang~-猜想，得到了只R_0-矩阵与Q-矩阵的二个等价条件，以及E_0∩Q-矩阵的一些性质；(3)研究了Danao在[25]中提出的Danao猜想，即，若A为P_0-矩阵，则，我们给出了反例证明了此猜想当n≥4时不成立，指出了Murthy等在[20]中的一些错误，得到n=2，3时，即[25]中定理3.2中A∈P_0的条件可以去掉。

The topics are divided into three parts: the first part introduced the basic concepts of algorithms, mathematical algorithms and algorithms based on complexity analysis scheduling problem for the second part of the problem and plans to discuss a variety of existing algorithms, and describes the design of commonly used algorithms including sub-rule law, greedy method, dynamic programming, backtracking and branch and bound method, and describes the complexity of the calculation, as well as NP-complete problem the third part of the model on parallel computing and parallel algorithm design techniques.

全书分为3个部分：第一部分介绍算法的基本概念、算法的数学基础以及算法复杂度分析；第二部分针对排序问题和图的问题，讨论各种已有的算法，并介绍常用的算法设计方法包括分治法、贪心法、动态规划法、回溯法和分支限界法，并介绍了计算的复杂性以及NP完全问题；第三部分讲述并行计算模型和并行算法设计技术。

For the first task, unnecessary holes inside of the model should be avoided, and non-interest front regions should be excluded. For the second one, three fundamental problems of reconstruction: the correspondence problem, branching problem, and tiling problem should be handled properly.

前者主要考虑如何避免提取模型内部不必要的空洞、和快速去除非兴趣区域的骨质影响；后者主要考虑如何解决表面重建中的轮廓对应和分支问题、以及如何提高轮廓拼接的准确性与效率。

Firstly, urban space's development course and actuality of space's patterns are reviewed contrastly in the paper abroad and home. Then, existing problems of urban space at present in our country are discussed stressly:"Ten Faulty Expressions in Writing" of urban construction;"the Movement of Beautifying City" in china; the problem of urban characteristic; the problem of reforming of old city; the problem of residential segregation. The above problems' formed reasons and countermeasures are put forward. Then, the example of Xi'an and its existing problems of urban space and several countermeasures are analyzed in the paper. The transformation of three sections realized in the planning thought of urban space is put forward: from "elitism" to "plebeianism"; from mega-urban project design to "daily living space" and from "technology first" to "human-oriented".

论文首先从中西方城市空间形态的演变历程入手，对比分析了国内外的空间形态现状，重点论述了当前我国存在的城市空间问题：城市建设"十大败笔"；中国"城市美化"运动；城市特色问题；旧城改造问题以及空间分异问题，分析了其形成原因并得出了解决途径，然后对西安进行了实例分析，总结出其城市空间存在问题并提出几点对策，接下来提出了城市空间规划理念应实现的三个方向的转变：从"精英主义"向"平民主义"理念转变、从大尺度城市设计向"日常生活空间"营造转变以及从"技术至上"向"以人为本"理念转变。

In this paper we discuss the applications of weighted graph from three aspects including the shortest path problem,Chinese postmen problem,and match problem .

本文选取了赋权图应用的三个方面进行讨论，分别是最短路问题、中国邮递员问题和匹配问题的应用。

The key technical problem of roughcast in the virtual machining environment is to handle three-dimensional shape, which includes the method of setting up geometrical model of three-dimensional shape of roughcast , the data structure that displays three-dimensional shape, process compiling three-dimensional shape, etc.

在虚拟加工环境中，毛坯的三维图形处理主要包括毛坯三维图形的几何建模方法、三维几何图形的显示数据结构和三维图形的编译处理等，提出了一种能够满足虚拟加工环境的三维图形的数据结构，给出了实现方案，实现了三维图形的环境调入和毛坯的对接等功

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Ⅲ。

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方程的压力修正解法，由于这种解法可以近似满足不可压条件，因此可以采用速度场和压力场等阶插值的有限元离散格式，从而较好地解决了普遍采用的不等阶插值解法中，速度场和压力场数值精度不一致、程序编制不便等的不足。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。