查询词典 restricted predicate calculus

By defining restricted representation,we get the necessary andsufficient condition for all restricted representations of a restricted Liesuperalgebra to be completely reducible.

最后，通过定义限制表示，得到了一个限制李超代数的所有限制表示是完全可约的充要条件。

In this paper, a varieties of concepts of compactness of sets and sunsets are introduced in a complex locally convex space, which are respectively the generalizations of the known sunsets and convex sets. By establishing the relationship between restricted p-centers of a set in a complex locally convex space and restricted Chebyshev centers of the corresponding set in the quotient space with respect to ker, characterizations and uniqueness of restricted p-centers of sets in a complex locally convex space are obtained. These results are better than any other known ones when we restrict them in real normed linear spaces and real locally convex space.

本文首先在复局部凸空间中引入了几种紧性及几种太阳集的概念，它们分别是已有紧性和凸集概念的推广；然后通过建立局部凸空间中集的限制p-中心和关于ker的商空间中对应集的限制Chebyshev中心的关系，来研究局部凸空间中集的限制p-中心问题，本文即使是在实赋范空间和在实局部凸空间中所得的结果都分别是有关已知结果的深化和推广。

Using the result for non-restricted model, we transform the restricted model to common model, and multi collectivity model to single collectivity model, thus, the necessary and sufficient conditions that nonhomogeneous linear estimators for Sβ are admissible in the class of nonhomogeneous linear estimators are obtained which filled the blank for admissibility for restricted linear model.

对线性等式约束的共同均值线性模型，利用无约束单总体模型的现有结果，通过适当变换，把等式约束模型向无约束转换，并把多总体转换为单总体，在矩阵损失下找到了均值参数β的条件可估函数Sβ的线性估计∑mAiyi+a在非齐次线性估计类中可容许的充要条件，填补了等式约束的共同均值线性模型可容许性方i=1面的空白。

In the project, we found a method for designing a family of 4-optimal double loop networks, established some sharp upper bounds of forwarding indices, distance domination nember, the edge-connectivity and the sharp upper bounds of wide-diameter and fault-tolerant diameter of Cartesian product graphs, the lower bounds of restricted edge-connectivity of digraphs and a sufficient and necessary condition for the restricted edge-connectivity of a graph to be equal to the restricted connectivity of its line graphs; raveled pancyclicity and panconnectivity and obtained the exact values of the mentioned parameters for some well-known networks.

本项目给出最优双环网络的设计方法，找到4紧优双环网络无限族，建立了路由转发指数紧的界，确定了笛卡尔乘积图的边连通度的表达式，宽直径和容错直径紧的上界，给出有向图限制边连通度的下界和无向图的限制边连通度等于它的线图限制点连通度的充要条件，对一些著名的网络确定了上述参数的精确值，讨论了宽直径和容错直径之间的关系，解决了超立方体某些变型网络的泛圈性和泛连通性，得到距离控制数的紧的上界。

A sentence in which the main element of the predicate id an adjective is known as a sentence with an adjectival predicate.

谓语主要成分是形容词的句子就是形容词谓语句。

The prominence relations are jointly determined by the thematic properties of the predicate and by the aspectual properties of the predicate.

显著关系是由谓词的题元属性和谓词的体属性决定的。

The organization of the a-structure for a predicate is taken to be a reflection of its lexical semantics, so that the a-structure of a predicate should be derivable from key characteristics of its meaning.

谓词的论元结构的组织方式不过是其词汇语义的反映，所以谓词的论元结构应该是由其词汇意义的主要特征中派生出来的。

In detail, the noun-centered exocentric constructions in modern Chinese included three different structures: the coordinate phrases, the modifier-head phrases and the special subject-predicate phrases. The coordinate phrases included the reduplicative forms and non-reduplicative form while the special subject-predicate phrases meant the phrases which played the role of clause component but not the clause itself.

具体说来，现代汉语中的名核离心结构包括联合式、偏正式和特殊主谓式三种，联合式当中又可以分为重叠式和非重叠式；特殊主谓式主要是指充当句子成分，而不是作为小句的主谓结构。

The internal components of the syntactic subject in the form of nominative absolute construction in an English sentence imply integrated logical subject-predicate relationship, expressing a type of concept, fact, state of affairs, or situation, after which is the syntactic predicate presenting the speaker's comment, description, or exposition.

英语独立主格结构型主语内部为逻辑主谓关系，主语化程度较低，用以表达一个概念、事实、事态、情景或情形。

Judge determined that the predicate as a predicate constant.

表示某个确定判定的谓词称为谓词常项。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？