查询词典 predicate

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits.

使用谓词逻辑法举例分析PLC梯形图的编制过程，并分析其优缺点。

Main clause and the clause of the action took place in a different time, when Lord, clause predicate subjunctive verb forms vary over time, this is called mixed conditional.

主句与从句的动作发生在不同的时间，这时主，从句谓语动词的虚拟语气形式因时间不同而不同，这叫做混合条件句。

In the example,"All men are mortal" is the major premise, and since mortal is also the predicate of the conclusion, it is called the major term .

在这个例子中，"所有的人都是凡人"是大前提，因为凡人也是上游的结论，这是所谓的重大任期。

The premise of a syllogism that contains the major term (which is the predicate of the conclusion).

含有大项的三段论的前提。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

This seems metaphysically innocuous, but many philosophers charge that Predicate Nominalism ignores the Problem of Universals, and does not solve it.

这似乎是形上学无害的，但许多哲学家指责述谓唯名论忽略了共相问题，没有解决它。

Parts of current parallel databases support expanding of data types, but all of them lack of theoretical foundation. It is difficult to predicate the performances of parallel query, complicated to optimize parallel query and unattainable to keep the correctness of parallel query optimization This thesis, for the first time, combines monoid algebra system with BSP parallel model systematically, and provides a general-purpose parallel object-relational database systems-PORDBMS.

文章系统地研究了资源分配问题的分解协调理论与方法，给出了非线性分解式模型的构造和有效的求解方法，其中对主问题提出了适应性较强的修正算法，可用于一些难于公式化的问题的模型构造与求解，逐步寻优策略可有效地求解非线性关联约束优化问题。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。