查询词典 predicate constant

At last , some investgation is made to change about elementary constant of the universe in today ,which demonstrates that elementary constant of the universe in today would change at a ratio of 2.3387723548904887*1050 per year which means that elementary constant of the universe in today would remain as an constant unchanged within one million years if its accuracy fix on the 4th digit after radix point of 7.7577806787995708*1060 As a reminder , both elementary constant of the unvierse elementary constant of the unvierse in today have nothing to do with the cosmic constant introduced by Mr.

基本宇宙常数是一个变化的物理常数，其数值变化的速率为：2.3387723548904887*1050 ，与今天基本宇宙常数7.7577806787995708*1060 相比较，如果在保持今天宇宙常数的数量级不变的情况下将精确度选定在小数点后第4位，那么今天基本宇宙常数将在100万年之内保持不变。

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。

After research we can find that: firstly, a great number of predicate-word phrases can act as the adnex of the verb-complement structure; secondly, almost all the verbal phrases and adjectival phrases can act as complement, and other phrases like adverbs, noun, quantifier phrases, some prepositional phrases and subject-predicate phrases, even compound sentence can act as complement too;thirdiy, there are six kinds of verb-complement structures in the novel;fourthly, the verb-complement structures can act as subject, predicate, object, attribute, adverbial modifier, complement in a sentence and other phrases component, even can be a sentence by itself; fifthly, the semantic connection between complement and other components in the sentence is very abundance and complex;sixthly, some special verb-complement structures in the Dream of the Red Chamber show the characteristic of transitional language.This thesis is divided into five parts:Part 1: Preface.

通过研究我们可以发现：首先，大多数的谓词性词语在《红楼梦》中都可以充当述补结构的述语；其次，几乎所有的动词性词语和形容词性词语都可以充当补语，少数副词和名词性词语也可以做补语，数量短语、介宾短语、主谓结构和复句也可以做补语；第三，述补结构的类型按中间的助词标记可以分为没有助词的，有&得/的&的，有&个&的，有&着&的，有&将&的和有&到&的六种；第四，述补结构可以充当主语、谓语、宾语、定语、状语、补语以及各种成分内部的组成成分，还可以单独成句，其语法功能非常丰富；第五，补语的语义指向是多方面的，语义内容非常复杂；第六，几种特殊的述补结构说明了《红楼梦》的述补结构带有过渡时期的特点。

Through the study, an implicational universal is discovered, i.e. if a language has object before predicate verb, then it has temporal adverbial for predicate before predicate verb.

然后我们对谓语时间词状语与谓语动词的语序类型进行了类型学考察，从考察中我们发现了一条与之相关的蕴含共性，即：如果一种语言的宾语在谓语动词之前出现的话，那么充当谓语状语的时间词也在谓语动词之前出现。

We may now distinguish a "two-place predicate"(which governs two arguments, e.g., subject and object), a "one-place predicate"(which governs one argument, i.e., subject) and a "no-place predicate" that has simply no argument.

因此，语义学家就用&述谓&这一范畴并把它分解成变元和谓语，前者是&逻辑参加者&，后者是&关系因素&，负责把变元联系起来。

The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means.

它以狭义谓词演算为基础，在其形式语言中添加专指"制裁"行为的谓词常项，添加专指"国家机关"这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。

Afterwards, we propose a new constant coefficients measurement method in dynamic equation of robot manipulators, this measurement method includes three groups of experiments: group one, let each joint of robot manipulator keep static to measure the constant coefficients in gravity term of dynamic equation and Coulomb frictional torque, group two: let only one joint of robot manipulator move at a constant velocity to measure the viscous frictional coefficient and constant coefficients in effective inertia of dynamic equation, group three: let only one joint of robot manipulator move at constant acceleration at a time to measure constant coefficients in Coriolis and centrifugal term and coupling inertia of dynamic equation.

让操作器单个关节恒速运动，在对驱动系统中传动机构，减速装置和电感系数综合考虑的基础上，这组实验对粘滞摩擦系数及有效惯量中常数系数进行测量。这种测量方法只要求旋转关节的驱动电机施加恒定电压，回转关节驱动电机施加正弦波电压。3。让操作器单个关节恒加速运动，这组实验测量动力学方程中哥氏力、离心力项和耦合惯量项中的常数系数，这种测量方法只要求单个关节匀加速运动，而其它各关节保持静止，这种测量方法虽然要求关节匀加速运动，但不必进行关节角加速度检测，而只需进行关节角位移和角速度检测即可，输入量直接给定为输入电压。

Judge determined that the predicate as a predicate constant.

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

Gravitational constant , Planck constant , speed of light constant , Boltzmann constant , Avogadro constant , also to predict two undiscovered physical constants whose physical dimensions are C kg^-1 and K A^-1 respectively

万有引力常数，普朗克常数，光速常数，玻尔兹曼常数，阿夫加德罗常数，并预测两个尚未发现的基本物理常数，这两个基本物理常数的量纲分别是C kg^-1 和 K A^-1

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。