情态算子,modal operators,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 情态算子

1) modal operators 点击朗读

情态算子

2) morphological operator 点击朗读

形态算子

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检测算法进行帧间变化检测,将时空分割结果结合起来,得到初始的变化检测模板。

3) modal operator 点击朗读

模态算子

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)中的两个重要的常用模态算子。

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。

4) dynamic adaptive operators 点击朗读

动态算子

5) state-operator 点击朗读

态算子

The preparation of state-operator is realized through tow-particle nonmaximally entangled states and auxiliary qubit.

采用两粒子非最大纠缠态作为资源,借助于辅助量子位,实现态算子的制备,并利用态算子特性,我们能够以一定的概率实现对量子态的远程操作。

6) temporal operator 点击朗读

时态算子

例句>>

补充资料：凹算子与凸算子

凹算子与凸算子
concave and convex operators

凹算子与凸算子「阴~皿d阴vex.耳阳.勿韶;.留叮.肠疽“‘.小啊j阅雌口叹甲司半序空间中的非线性算子，类似于一个实变量的凹函数与凸函数. 一个Banach空间中的在某个锥K上是正的非线性算子A，称为凹的(concave)(更确切地，在K上u。凹的)，如果 l)对任何的非零元x任K，下面的不等式成立: a(x)u。(Ax续斑x)u。，这里u。是K的某个固定的非零元，以x)与口(x)是正的纯量函数; 2)对每个使得 at(x)u。续x《月1(x)u。，al，月l>0，成立的x‘K，下面的关系成立二 A(tx))(l+，(x，t))tA(x)，00. 类似地，一个算子A称为今单(~ex)(更确切地，在K上“。凸的)，如果条件l)与2)满足，但不等式(*)用反向不等号代替，并且函数粉(x，t)<0. 一个典型的例子是yP‘KOH积分算子通rx‘t、1二f天(t.:，x(s))山， G它的凹性与凸性分别由纯量函数介(t，s，。)关于变量u的凹性与凸性所确定.一个算子的凹性意味着它仅仅包含“弱”的非线性—随着锥中的元素的范数增加，算子的值“慢慢地”增加.一般说来，一个算子的凸性意味着，它包含“强”的非线性.由于这个理由，包含凹算子的方程在许多方面不同于包含凸算子的方程;前者的性质类似于相应的纯量方程，而不同于后者，后者关于正解的唯一性定理是不成立的.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

动态Preisach算子情态形态梯度算子动态遗传算子动态选择算子

算子同态形态学算子格同态算子序同态算子

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 情态算子 1) modal operators 情态算子 2) 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检测算法进行帧间变化检测,将时空分割结果结合起来,得到初始的变化检测模板。 3) 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时,□(ab)∈F。 4) dynamic adaptive operators 动态算子 5) state-operator 态算子 1. The preparation of state-operator is realized through tow-particle nonmaximally entangled states and auxiliary qubit. 采用两粒子非最大纠缠态作为资源,借助于辅助量子位,实现态算子的制备,并利用态算子特性,我们能够以一定的概率实现对量子态的远程操作。 6) temporal operator 时态算子例句>> 补充资料：凹算子与凸算子凹算子与凸算子 concave and convex operators 凹算子与凸算子「阴~皿d阴vex.耳阳.勿韶;.留叮.肠疽“‘.小啊j阅雌口叹甲司半序空间中的非线性算子，类似于一个实变量的凹函数与凸函数. 一个Banach空间中的在某个锥K上是正的非线性算子A，称为凹的(concave)(更确切地，在K上u。凹的)，如果 l)对任何的非零元x任K，下面的不等式成立: a(x)u。(Ax续斑x)u。，这里u。是K的某个固定的非零元，以x)与口(x)是正的纯量函数; 2)对每个使得 at(x)u。续x《月1(x)u。，al，月l>0，成立的x‘K，下面的关系成立二 A(tx))(l+，(x，t))tA(x)，00. 类似地，一个算子A称为今单(~ex)(更确切地，在K上“。凸的)，如果条件l)与2)满足，但不等式()用反向不等号代替，并且函数粉(x，t)<0. 一个典型的例子是yP‘KOH积分算子通rx‘t、1二f天(t.:，x(s))山， G它的凹性与凸性分别由纯量函数介(t，s，。)关于变量u的凹性与凸性所确定.一个算子的凹性意味着它仅仅包含“弱”的非线性—随着锥中的元素的范数增加，算子的值“慢慢地”增加.一般说来，一个算子的凸性意味着，它包含“强”的非线性.由于这个理由，包含凹算子的方程在许多方面不同于包含凸算子的方程;前者的性质类似于相应的纯量方程，而不同于后者，后者关于正解的唯一性定理是不成立的. 说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条动态Preisach算子情态形态梯度算子动态遗传算子动态选择算子

©2011 dictall.com