查询词典 existence theorem of implicit function

For gas flow past cylinder, the characters of flow field in different Mach number and Knudsen number condition were investigated, and especially for low Knudsen number cases, the results were compared with calculating results of Euler's equation. It showed that they are correspondent by comparing the characters of bow shock and wake. The convergence rates of different high resolution and implicit schemes were also investigated. The convergence behavior of the implicit WENO scheme developed in this paper is better than others. For gas flow past NACA 0012 airfoil, the calculating results were compared with results of experiment. It showed that the results of WENO scheme are of higher accuracy for the case with angle of attack.

在圆柱流场时，我们探讨不同马赫数且不同纽森数时的流场特性，并在低纽森数时，与那维尔-史托克方程式的计算结果比较，我们比较了弓形震波及尾流附近的特性，其结果是相当符合的，同时我们也比较不同高解析隐式算则的收敛历程，从收敛历程图可得到，本文发展出来的隐式WENO算则有较佳的收敛效果；在NACA 0012翼形的流场中，我们将与实验结果做比较，发现利用WENO算则计算的结果，对於具有攻角的流场，亦有相当高的准确度。

Two forms of implicit TVD schemes are proposed in this paper for the simulation of nonequilibrium flows past hypersonic re entry vehicle, which are derived from the diagonal form of an approximate factorization algorithm and lower upper scheme applied to the implicit part of Harten Yee's TVD scheme respectively.

针对高超音速化学非平衡流提出了两种隐式格式。一种是近似因子分解算法对角化形式在隐式TVD格式上的推广，另一种可视为隐式TVD格式的LU分解形式。

Using the directional derivative formula, the governing equation is discreted in the physical domain in which a nonorthogonal grid system is used. Two kinds of AF2 schemes, i. e. AF2-plane relaxation and full implicit AF2, for the TSD equation are proposed. Numerical results show that the full implicit AF2 scheme converges faster than AF2plane relaxation scheme. For the rectangular wing and swept wing, the results of the present method are compared with FP results, and the agreement is good.

采用适合于梯形机翼和后掠机翼的斜网格，利用方向导数公式直接在物理空间对主管方程进行离散；将近似因式分解方法应用于绕机翼的跨音速小扰动势流问题，提出AF2—面松弛和AF2全隐式两种迭代格式，并对它们的收敛速度进行比较，结果表明后者明显快于前者；直机翼和后掠机翼的算例表明，本文方法的结果与精确势流方法的结果吻合良好。

In Chapter 4, we introduce the definition of implicit complementarity problems and struct an equivalent projection differential equation system. And then we prove the equilibrium point of system is exact the solution of the implicit complementarity problem.

本文的第4章介绍了有关隐式互补问题的相关知识，并且利用投影算子建立了与之等价的微分方程系统，这个微分方程系统的平衡点就是隐互补问题的解。

The Chinese language is implicit and paratactic, taking implicit connection as its major one; the English is explicit and hypotactic, depending on connectives as the important approach to organize its text.

汉语呈隐性、意合性，以隐性连接为主，较少采用连接性词语：英语呈显性、形合性，连接词语是篇章组织的主要手段。

A special case is that two distinct arguments, which belong respectively to two subevents, compete for the same θ-role. What should be done then is to make one of the arguments implicit so that every θ-role is assigned to one argument only. When the verb means bodily emission or congestion, its highly inferable argument as the entity in motion is often made implicit too, leaving an empty space for the θ-role.

比较特殊的情况是分属于两个事件的不同论元争夺同一语义角色，这时须隐藏其中一个论元，使每一个语义角色分且仅分给一个论元；而当动词意为"体物外排"或"外物内纳"时，作为运动实体的论元因为不言自明也常被隐去，留下一个语义角色空位。

With the proceeding of modern cognitive psychology and implicit memory, there is intergradation between social psychology and cognitive psychology, implicit social cognition as a hot field is set up. It emphasizes the process of social cognition and mental processing in social context.

随着现代认知心理学和内隐记忆研究的兴起，内隐社会认知研究成为一个热点领域，注重探讨社会认知过程及个体在社会环境中的心理加工。

This paper proposed an implicit technique based on the Jacobi's iteration method. The theoretical demonstration and analysis show that the proposed method meet both the real-time and the stability requirement well. The new method which can update stably the state of n mass points with the time complexity of O has great advantages over the existing implicit integration methods.

本文提出了一种基於雅可比迭代法的隐式数值积分算法，通过理论证明和分析，该算法稳定地更新n个质点的状态所需时间复杂度为O，较已有的隐式积分算法有了很大的改进。

These are questions of great significance, as well as the principal issues this article will discuss. This paper includes 5 studies. Study 1-4 examines the implicit attitude and explicit attitude toward state-owned enterprises and foreign enterprises by self-report questionnaire, implicit association test, affective misattribution procedure and affective priming procedure respectively.

本文共包括5个研究，在前4个研究中，分别使用外显态度量表、内隐联想测验、情感错误归因程序和情感启动程序测量在校研究生对国企/外企两类组织的外显态度、内隐态度和内隐刻板印象。

This study presents a new multilayer implicit connection graph-based gridless router called NEMO. Unlike the first implicit connection graph-based router that embeds all routing layers onto a routing plane, NEMO constructs a routing plane for each routing layer.

这个研究提出一个新的以隐性连通图为基础的多层非格子绕线器尼摩，它不像之前第一个以隐性连通图为基础的绕线器埋置所有层到一个绕线平面，尼摩一个绕线层就建构一个绕线平面。

Objective To investigate the relationship between ovum fertilization rate and sperm morphology, acrosome reaction in IVF and to explore the influence of parameters of sperm on fertilization rate.

目的 研究体外受精(in vitro fertilization，IVF)中精子形态、顶体反应与卵子受精率之间的关系，分析精子各参数在IVF受精率方面的参考意义。

A: I hear Mr. White wants to run for the Presidency!

我听说怀特先生要参加总统竞选！