查询词典 statement calculus

Based on monoid calculus, this paper generated a general purpose data model which is simple but has powerful expressive abilities and good extensibilities.

以含幺半群演算为基础，构造了统一的数据模型。

RESULTS Calculus Bocis、Radix Notoginseng、Snake s gallbladder could be identified by TLC;Muscone showed a good linearity relationship in the range of 0.0044～0.43ug.The average recovery was 99.58% and RSD was3.10%.

结果在TLC定性鉴别图谱中三七、牛黄及蛇胆的分离度好，专属性强；麝香酮在0.0044~0.43μg进样范围内具有良好的线性关系，相关系数r=0.9995，平均加样回收率为99.58%，RSD为3.10%(n=9)。

The first and second derivatives of the coordinates of a cam profile are calculated using numerical differentiation method,and substituted with curvature radius formulas in calculus,thus obtaining its curvature radius.

应用数值微分法计算凸轮廓线坐标的一、二阶导数，代入微积分学中曲率半径公式，即得凸轮廓线的曲率半径。

He used the methods of calculus to solve the problem of planetary motion, the shape of the surface of a rotating fluid, the oblateness of the earth, the motion of a weight sliding on a cycloid, and many other problems discussed in his Principia Mathematica .

在其他的工作，他开发的一系列扩展的功能，包括分数，不合理的权力，显然，他理解的原则，泰勒级数。他没有公布所有这些发现，并在这个时候无穷小方法仍然被视为违规。

Odd and even function's integral calculation is a kind of particular operation in integral calculus ,if the character of odd and even function can be applied flexibly in the process of calculating,it will play a role of simplifying calculation.

奇偶函数的积分计算是积分学中的一种特殊运算，在计算过程中如能巧用奇偶函数的性质，往往可以起到化难为易、简化计算的作用。

A basic model of active magnetic regenerator was described, and the model was solved according to Lach theory adopting Mikusinski operational calculus method.

介绍了活性蓄冷器的基本模型，并对该模型采用Lach理论以Mikusinski运算积分的方法进行求解，得到了活性蓄冷器温度分布的半解析解。

To the predicate calculus on Intuitionistic Fuzzy Logic, a symmetric synthetic method for finding the truth of IFL propositions using membership and hesitancy degree is proposed on the basis of the hypothesis of an equilibrium state of supportability and opposability of neutral evidences indicated in the intuitionistic index. The fundamental operation rules on IFL propositions are presented.

摘要针对直觉模糊逻辑及命题演算，基于直觉指数所表征的中立证据中支持与反对的程度呈均衡状态的假设，提出利用隶属度与犹豫度计算直觉模糊逻辑命题真值的对称合成方法，给出直觉模糊逻辑命题的运算规则。

The course content includes ordinary differential equation, linear algebra, vector calculus, Fourier analysis and partial differencial equation partial differential equation, with the aim to train students in establishing an exact perception to the meaning of theory, calculation and experimentation.

课程内容有常微分方程，线性代数，向量微积分，Fourier 分析及偏微分方程式等章节，训练同学在理论，计算及实验间建立正确的认知及意义。

This course focus on mathematic tools such as vector calculus, orthogonal function, fourier series, fourier analysis, fourier transform and partial differential equations, etc.

此一数学工具为本课程的教学重点，包括向量微积分、正交函数与傅立叶级数、傅立叶分析与转换、以及偏微分方程等内容。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。