查询词典 default assumption

First, we use the set of default extensions of default theory to investigate the representability of theories as the set of extensions of a default theory.

第三章首先运用缺省理论的扩充集来研究缺省理论的表示性。

On the basis of Reiter's default theory and Zhang Mingyi's auto-compatible default theory, a research into the characters of clausal auto-compatible default theory was carried out in this paper.

文中在Reiter缺省理论和张明义的自相容缺省理论的研究基础上，进一步研究了子句型闭自相容缺省理论。

In light of Principal-Agent Theory, the dissertation explores the "institution guarantee-government reguarantee " mode under Federal Family Education Loan Program and the Indonesian mode of "institution administration-mixed guarantee", analyzes the essential factors affecting the success of case programs and proposes the core contents of GSSL "higher education institutions-government guarantee" mechanism, which are: By referring to the GSSL coverage, loan amount and default rate in various higher education institutions, the government decides the proportion of taking default loan and shares with the institutions the collected default so as to motivate them to manage the GSSL in accordance with its goal of financial aid.

本文运用委托—代理理论，剖析美国联邦家庭教育贷款&机构担保—政府再担保&模式和印度尼西亚助学贷款&高校管理—混合担保&模式，分析案例项目成败的关键因素，提出了国家助学贷款&高校—政府担保&机制的核心内容：政府根据不同高校国家助学贷款的人数获贷率、金额满足度和拖欠率，来确定分担拖欠贷款的比例，并与高校分享追讨回来的拖欠贷款，以此激励高校按照政府的资助目标努力管理国家助学贷款。

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空间的存在性，本文考虑了在有表面张力情况下初值问题可解性问题。

Assumption University of Thailand, Assumption University of Thailand, Bankok, Thailand.

泰国圣母大学哲学系主办，全球化社会中的亚洲遗产国际研讨会，论文发表人与主持人。

For example, in general terms, as the angular momentum of the Bohr hydrogen atom quantum theory of the third assumption, In fact it is introduced to the Bohr from the correspondence principle, do not think it is a basic assumption.

比如，现在一般把角动量量子化的条件作为玻尔氢原子理论的第三个假设，而实际上它是玻尔从对应原理中推出来的，并不认为它是一个基本假设。

Any assumption that last night's communique indicated a tremendous battle in progress is an incorrect assumption.

任何认为昨晚的公报表明了一场大战的假设都是错误的。

By changing basic assumption of Merton option pricing model to the assumption that jump process is a kind of special compound Poisson process and volatility without jump is the function of time, it is established that the behavior model of the stock pricing process is jump-diffusion process.

改变了Merton期权定价模型的基本假设，认为股票价格的跳跃过程为一类特殊的复合Poisson过程且无跳时的波动率为时间的函数，建立了股票价格服从跳扩散过程的行为模型。

There have been a lot of studies this aspect when the exact solution u∈H~2 or u∈H~3. [4], [52] and [50]studied the convergence of conforming linear triangle elements with minimal regularity assumptions u∈H~4, here u is the solutions of the second order elliptic problems. However, their is another vital deficiency of the previous studies, i.e., they relies on the regularity assumption or quasi-uniform assumption on the subdivision of meshes.

对二阶问题，构造了一个新的单元格式，当其精确解具有低正则性时，在不要求网格满足正则假设或拟一致假设的条件下，我们得到了最优误差估计，与[33]相比，我们的证明方法较为简单；对于Stokes问题，研究五节点非协调矩形元对它的逼近，通过引入全新的估计方法，给出了关于速度、压力的超逼近性质。

On the assumption that a triplet of points is matched to another one as a whole beforehand, we give an effective algorithm based on P〓-invariants. On the assumption that there exists an arbitrary closed curve in the scene plane, using a technique named projectively invariant decomposition of planar shapes, we realize another efficient algorithm.

在假设已知一对三点组整体对应的前提下，基于对排序和投影同时保持不变的P〓-不变量，给出了一种有效算法；在假设场景点集所在平面内存在一条封闭曲线的前提下，利用平面形状射影不变分解技术，提出了另一种有效算法。

Now she was hungry and angry.She began to smoulder.

现在她又饿又气，她开始流露难以抑制的怒火。

You have placed our iniquities before You, Our secret sins in the light of Your presence.

诗90：8 你将我们的罪孽摆在你面前、将我们的隐恶摆在你面光之中。