1) modal operator
模态算子
1.
This paper optimizes the encoding of verifying G(p) and G(p→F(q)) which are two important and frequently used modal operators in optimization of encoding for bounded model checking (BMC).
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子。
2.
It is proved that if the function y=□x has n discontinuous points in the R0-type modal unit interval,then there are 2n kinds of modal operators □ making([0,1]R0,□)to be modal R0-algebras.
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F。
2) doubting modal operator
怀疑模态算子
3) modal like unary operators
模态一元算子
1.
For any element a in distributive BZ lattices, the rough approximation ( ν(a),μ(a ))of a is obtained by using two modal like unary operators ν and μ ( ν for necessity and μ for possibility).
对于分配BZ 格中任一元素a ,利用刻画必然性测度和可能性测度的模态一元算子ν和 μ ,可以得到a的粗糙近似 (ν(a) ,μ(a) ) 。
4) fuzzy morphological operators
模糊形态学算子
5) morphological operator
形态算子
1.
This paper first use s the morphological operators and improved watershed algorithm to segment the image sequences in the spatial do-main,then does the inter-frame change detection using F-detection method and get the initial change detection mask(CDM)through combining temporal and spatial segmentation.
文章首先采用形态算子和改进的watershed算法对图像序列进行空间分割,然后利用F检测算法进行帧间变化检测,将时空分割结果结合起来,得到初始的变化检测模板。
6) dynamic adaptive operators
动态算子
补充资料：算子同态
算子同态
operator homomorphism
算子同态I月珍口姗】~.以神妇n;onep咖pll碱。M。-Mop加3MI 代数系统(川罗blajc哪把m)的一种同态(borr助-盯幻甲地m)，它与作用在这些系统上某给定算子集合的每个算子可交换，亦即算子群的同态，算子环的同态，等等.陈公宁译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条