查询词典 restricted predicate calculus

This paper discussed a kind of transferable utility game with restricted coalition and gave a solution of this game- marginal contribution value for games with restricted coalition by the means of axiomatization.

讨论了一类有限制结盟的效用可转移对策，利用公理化方法刻画出这类对策的一个解———有限制结盟的边际贡献

In the fifth chapter, we propose the conditional generalized ridge-type estimator of regression coefficient in restricted linear regression model, and prove that it is superior to the restricted best linear unbiased estimator in terms of mean squares error and mean squares error matrix, we also give the choice of parameters matrix K.

第五章给出了约束线性回归模型中回归系数的条件广义岭估计，讨论了它的优良性，证明了它在均方误差及均方误差矩阵下都优于约束最小二乘估计，并给出了参数矩阵K的选择。

In these portion,the article begins the study of tone sandhi from the point view of two-character phrases and three-character phrases,which is also the focus and difficult point as well.On the basis of substantial materials of Dingzhou dialect,the author elaborates its rules and principles of tone sandhi of the general phrases and those with light tones,and reiterative location.the author puts his views as follows: 1.The rules of tone sandhi of two- character phrase are simple and unitive. 2.The complex of the phrase with light tones lies in the combination of the first tone and light tone.In the case,there are two different pronunciations in Dingzhou dialect.The author guesses it is the coexist of ancient pronunciations and common spoken Chinese. 3.The tone sandhi of general three-character phrases on the basis of the rules of that of two- character phrases,using the grammar structure of the three-character phrases as the restricted conduction,which function jointly. 4.The rules of tone sandhi of three- character phrases with light tones are restricted only by that of the two- character phrases with light tones and thus are foreign to grammar structure. 5.The tone sandhi of the words with reiterative location has their own system.

这两章中，作者采用直接调查法，社会语言学方法分别从一般字组、含轻声字组和叠音词字组三个方面对定州方言连读变调进行详尽地描写，文章中既有对连读变调的共时性描写，也有对连读变调历时性推测，总的来讲笔者认为定州方言变调具有一定的系统性，主要表现在以下几个方面：两字组连读变调规律简单统一，含轻声字两字组内部规律较为复杂，但是具有很强的一致性；定州方言含轻声两字组变调的复杂性主要表现在阴平+轻声的组合中，在这种情况下，定州方言有两种读音方式，推测它是语音存古现象和普通话语音并存的结果；一般三字组连读变调以两字组连读变调规律为基础，以三字组的语法结构为制约条件，二者共同发生作用；轻声三字组变调规律只受轻声两字组变调规律的制约，与语法结构无关；叠音词的变调规律自成系统。

Henceforth foundations were no longer restricted to deserts but might be made in cities and the suburbs of towns; the solitary life was abandoned for community life; meals were to be taken in common; the abstinence, though not dispensed with, was rendered less stringent; the silence was restricted to the time between Compline and Prime of the following day; donkeys and mules might be kept for traveling and the transport of goods, and fowls for the needs of the kitchen.

从此基金会已不再局限于沙漠，但可能提出的在城市和郊区的城镇；孤独的生活是被遗弃的社区生活；膳食，以采取共同的；禁欲，虽然没有配，作出了较为宽松；沉默是限于之间的时间compline和总理的翌日凌晨驴和骡子可能是存放期为旅行和货物运输，以及家禽，为有需要的厨房。

Moreover, the smallest degree sum on potentially K(p,1,1)-graphic sequences and k-cycle-graphic sequences are given respectively; bounds on m-restricted edge connectively and 3,4-restricted edge cut of graphs are also characterized respectively.

此外，还分别给出了蕴含k圈和（p，1，1）-部图可图序列度和的下界；分别给出连通图含m-限制边割的充分条件和必要条件及连通度的界。

In our living ,the restricted edge connectivity problem has a big application, and with the development of the field some scholars presented and studied a few restricted edge connectivity problems with different restrictions.

另外限制性边连通度在实际问题中有着广泛的应用，是图论研究中一个很活跃的课题，各类限制边连通度问题被相继提出并加以发展、应用。

In this thesis, we mainly study the restricted edge connectivity for the de Bruijn digraphs and the super restricted edge connectivity for the de Bruijn undirected graphs.

并介绍了de Bruijn图和限制边连通度方面的基本概念和基本结论。

According to the characters of organic maceral, organic type, biomarker,it can be divided to five types of sedimentary facies: unrest restricted sea graptolite facies, alluvial restricted sea, carbonate mesa algal deposit facies, mud mesa algal deposit facies and deep water shelf algal deposit facies.

根据烃源岩有机显微组分、有机质类型、生物标志物及成烃能力等特征划分出五类沉积有机相，即动荡局限海笔石相、滞流局限海笔石相、碳酸盐台地藻积相、泥质台地藻积相和深水陆棚藻积相。

Uncertain singular systems are transformed into the form of restricted equivalence by a nonsingular linear transformation. By the method of Lyapunov function, a new terminal sliding mode control strategy based on the form of restricted equivalence is proposed for the first time, and the hypersurface of a special terminal sliding mode is given. A terminal sliding mode controller is designed correspondingly such that the motion of sliding mode can be guaranteed and the systems state variables can converge to the equilibrium point in a finite time.

通过非奇异线性变换把不确定奇异系统变换成受限等价形式，利用Lyapunov函数方法，首次提出了一种新的Terminal滑模控制策略，给出了特殊的Terminal滑模超曲面，设计了相应的滑模控制器，实现了滑模运动，保证了系统状态变量在有限时间内收敛到平衡点。

The generalization in locally convex space, restricted p-centers, of restricted Chebyshev centers of a set in normed linear spaces has been studied for only about a little bit more than ten years.

一。赋范空间中集的限制Chebyshev中心在局部凸空间中的推广—限制p-中心—问题的研究只有十余年的历史。

A historical region of southwest France between the Pyrenees and the Garonne River. The duchy of Aquitaine was joined with France after the marriage of Eleanor of Aquitaine to King Louis VII in1137, but its possession was disputed after her subsequent marriage to Henry II of England.

阿基坦法国西南部一个历史地区，位于比利牛斯山和加隆河之间，在1137年阿基坦的埃莉诺与国王路易斯七世结婚之后阿基坦公国加入法国，但当她再嫁英国亨利二世后，其归属权便受到争议

There are moments when I look at the smiling , happy faces of my expectant staff and wonder how they will cope when confronted by an outraged housemaster along with an unrepentant and recalcitrant bleached blond teenager in 18 years ' time .

有时候，我看着那些满怀期待的员工微笑，幸福的脸，想着当他们遇到一位愤怒的宿舍管理员和一位不知悔改，叛逆，而且将头发染成白色的18岁少年时，他们会如何处理。