查询词典 restricted predicate calculus

In general, when a given predicate P, x1, x2,..., xn is the object variables, P (x1, x2,..., xn) is not a proposition, because he can not determine the true value, in order to make it a proposition , use the constant instead of nn-object object variables ...

一般来说，当谓词 P给定， x1，x2，…，xn是客体变元，P(x1，x2，…，xn)不是一个命题，因为他的真值无法确定，要想使它成为命题，要用n个客体常项代替n个客体变元。。。。

The traditional distinction based on the matrix attribute reduction algorithm analysis, for distinction in the matrix "repeat" Too many elements, these "duplicate" elements not only in solving attribute reduction in the process does not work, But also reduce the time efficiency by improving the shortcomings that distinction in the matrix structure in the process of using Proposition calculus in the absorption of the law removed the distinction between the functions of the non-functional "repeat"element, a property Reduction of improved algorithm RADM, improve the efficiency of the attribute reduction.

通过对传统的基于区分矩阵的属性约简算法进行分析后，针对区分矩阵中"重复"元素过多，同时这些"重复"元素非但在求解属性约简的过程中不起作用，而且还降低时间效率这一缺点进行了改进，即在构造区分矩阵的过程中，利用命题演算中的吸收律去掉了在区分函数中不起作用的"重复"元素，提出了一种属性约简的改进算法RADM，提高了属性约简效率。

In addition to calculus with linear algebra, I had two semesters of mathematical analysis, partial differential equations, abstract algebra was also a senior this semester in the measurement theory.

除了微积分跟线性代数，我还上了两个学期的数学分析，偏微分方程，抽象代数还有在大四这个学期上的测量理论。

Integral calculus' learning is one is abstract to turn mathematics foundation academics of a higher door of the degree.

积分学是一门抽象化程度较高的一门数学基础学科。

A kind of automatic calculus method is used for the recognition and extraction of skeleton feature,in which some algorithms are used,such as the actinism amendment,fuzzy inference of feature,and edge detection.

运用感光度修正，特征的模糊推理和图像处理的边缘检测等手段，设计一种自动识别骨龄特征的骨龄计算方法。

Image segmentation ; active contour model ; variational calculus ; level set methods ; additive operator splitting scheme

图像分割；活动轮廓模型；变分方法；水平集方法；可加算子分裂算法

Methods Examine 35 case ureteral calculus by MSCT and application aftertreatment technology.

35例输尿管结石患者行MSCT检查，并应用后处理技术重建。

Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL's intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators, as cut out the limit that in relational algebra/calculus algebraic operators are only for set.

针对ODMG-2.0的对象查询语言OQL，我们把类型提高到幺群级，然后从幺群概括入手，用幺群概括作为OQL的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

Subjects were discussed and dispensed with through algebraic means, but calculus was not used.

主题进行了讨论，并免除通过代数方法，但不是用来演算。

This article listed the main clue of the development of mathematics in the sixteenth and seventeenth century. Based on that, we analyzed the algebraic basis of calculus. The basis had an algorithmic character which could use program to calculate.

本文在列出十六、十七世纪代数学发展主线的基础上，分析了微积分产生的代数学基础，这个基础本身带有强烈的程序化的算法特征。

If I didn't care what anyone thought, I would.....

如果我不介意别人怎么看，我会。。。。

In recent decades, Chile has mandated earthquake-proofing for new structures, requiring that materials like rubber and features like counterweights be built into the architectural designs to allow buildings to bend and sway during temblors rather than break.

在最近数十年里，智利已经为兴建防震的新土建结构而对建筑材料提出要求，需要的材料类似于橡胶，而特性就象运用在建筑设计中的平衡物体，一旦应用以后，当地震发生时建筑就能弯曲摇摆。