OCL (operational check list)是什么意思

网络释义

用法例句

Analysis on the calculation performance of calculation symbol “a”;

运算符号“a”有关运算特性的剖析

Functional Limit of its Composite Calculation and Variable Substitute Formula;

函数极限的复合运算法则与变量替换公式

This influence of accelaration anagel is counted to obtain precise calculation of accelaration resistace on conveying belt.

在原有加速阻力的运算基础上,考虑加速方向对加速阻力的影响,从而对加速阻力进行精确运算。

On Properties of Intuitionistic Fuzzy Sets Operations;

直觉模糊集运算性质(英文)

On Properties of Interval Valued Intuitionistic Fuzzy Sets Operations;

关于区间值直觉模糊集运算性质的注记(英文)

Firstly using the resolution strategy gets obverse clause sets of a dynamic proposition,then using ⊙ Calculus that cut DF number off the DF proposition gets proposition resolution matrix of the original DF proposition.

对任一DF命题归结反演,得到对应的子句集,采用⊙运算分离DF数和DF命题得到原DF命题的命题归结矩阵,由子句集的不可满足性条件,应用鲁宾逊归结原理,得出DF命题的矩阵归结方法,证明了矩阵归结法的成立定理,并给出了矩阵归结方法的一个推论。

Firstly,the basic concepts and properties of regulatedmathematical morphology(RMM) are introduced after the traditional mathematical morphological operations are analyzed.

在分析传统的数学形态学基本运算的基础上,引入调节数学形态学运算的概念,然后讨论了调节形态学运算的神经网络实现,并给出了用于图像滤波的计算机仿真结果。