【模糊集合论】模糊算子

F_D_Z

于 2024-03-25 18:31:15 发布

阅读量722

点赞数 15

分类专栏：模糊理论文章标签：模糊算子模糊度清晰域三角模对偶算子

本文链接：https://blog.csdn.net/weixin_73404807/article/details/137019362

版权

模糊理论专栏收录该内容

14 篇文章 0 订阅

订阅专栏

模糊算子

设映射 $*:[0,1]\times [0,1]\rightarrow [0,1]$ ，若满足

1.交换律: $a*b=b*a$

2.结合律: $(a*b)*c=a*(b*c)$

3.单调性:若 $a\leq b$ 、 $c\leq d$ ，则 $a*c\leq b*d$

4.边界条件: $0*0=0,1*1=1$

则称 $*$ 为模糊算子

交换+结合+单调+边界

三角模

设映射 $T\colon[0,1]\times[0,1]\longrightarrow[0,1]$ ，若T满足交换律、结合律、单调性以及边界条件：

$T(a,1)=a$

则称T为t模或三角模

三角模是模糊算子

三角余模

设映射 $S\colon[0,1]\times[0,1]\longrightarrow[0,1]$ ，若S满足交换律、结合律、单调性以及边界条件：

$S(a,0)=a$

则称S为s模或三角余模

三角余模是模糊算子

对偶算子

设T为t模，S为s模，若对任意的 $a,b \in [0,1]$ ，有

$S(a,b)^c=T(a^c,b^c)$

则称T与S为对偶模或对偶算子

对偶模 $\Leftrightarrow T(a,b)^\mathrm{c}=S(a^\mathrm{c},b^\mathrm{c})$

$S(a,b)^\mathrm{c}=T(a^\mathrm{c},b^\mathrm{c})\Longleftrightarrow T(a,b)^\mathrm{c}=S(a^\mathrm{c},b^\mathrm{c})$

清晰域

设 $*$ 是一个模糊算子，称集合

$\sigma(*)=\{(a,b)\in[0,1]^2|a*b=0\ or \ 1\}$

为算子的清晰域

清晰域：运算结果是0或1的定义域

模糊算子的清晰城是刻画一个模糊算子模糊程度的一种度量，清晰城越小，对应的算子就越模糊。

例1

设 $*$ 是一个模糊算子，若 $a*b={\frac{a+b}{1+ab}}$ ，则算子 $*$ 的清晰域为（B）

A. $\left\{{(a},{b}) \in [0,1] ^2 |a=1 \ or\ b=1 \right\}$

B. $\left\{{(a},{b}) \in [0,1] ^2 |a=1 \ or\ b=1 \right\}\cup \left \{ (0,0) \right \}$

C. $\left\{{(a},{b}) \in [0,1] ^2 |a+b\leq 1 \right\}\cup \left \{ (1,1) \right \}$

D. $\left\{{(a},{b}) \in [0,1] ^2 |a+ b\geq 1 \right\}\cup \left \{ (0,0) \right \}$

清晰域：运算结果是0或1的定义域

例2

求有界和算子 $\oplus$ 与有界积算子 $\odot$ 的清晰域

$a\oplus b=min\left \{a+b,1 \right \}$

$a\odot b=max\left \{ a+b-1,0 \right \}$

清晰域：运算结果是0或1的定义域

解：

$\begin{aligned} & \sigma\left(\oplus\right) =\{(a,b)\in[0,1]^2|a\oplus b=0 \ or\ 1\} \\ &=\{(a,b)\in[0,1]^2|(a+b)\bigwedge1=0 \ or\ 1\} \\ &=\{(a,b)\in[0,1]^2|a+b\geqslant1\}\bigcup\{(0,0)\}.\end{aligned}$

$\begin{aligned} &\sigma\left(\odot\right) =\{(a,b)\in[0,1]^2|a\odot b=0 \ or\ 1\} \\ &=\{(a,b)\in[0,1]^2|(a+b-1)\bigvee0=0\ or\ 1\} \\ &=\{(a,b)\in[0,1]^2|a+b\leqslant1\}\bigcup\{(1,1)\}. \end{aligned}$

例3

设 $*$ 是一个模糊算子，若 $a*b=a \cdot b$ ，则算子 $*$ 的清晰域为（B）

A. $\left\{{(a},{b}) \in [0,1] ^2 |a+b\leq 1 \right\}\cup \left \{ (1,1) \right \}$

B. $\left\{{(a},{b}) \in [0,1] ^2 |a=0 \ or\ b=0 \right\}\cup \left \{ (1,1) \right \}$

C. $\left\{{(a},{b}) \in [0,1] ^2 |a+ b\geq 1 \right\}\cup \left \{ (0,0) \right \}$

$\left\{{(a},{b}) \in [0,1] ^2 |a=1 \ or\ b=1 \right\}$ D.

清晰域：运算结果是0或1的定义域

例4

设模糊算子T与S对偶，已知 $T(a,b)=\frac{ab}{1+(1-a)(1-b)}$ ，则 $S(a,b)$ 为（A）

A. $\frac{a+b}{1+ab}$

B. $min\left \{a+b,1 \right \}$

C. $a+b-ab$

D. $max\left \{ a+b-1,0 \right \}$

对偶模 $\Leftrightarrow T(a,b)^\mathrm{c}=S(a^\mathrm{c},b^\mathrm{c})$

例5

设 $X=\left \{x_1,x_2,x_3,x_4 \right \}$ , $\underset{\sim}A,\underset{\sim}B\in\mathcal{F}(X)$

$\underset{\sim}A=\frac{0.2}{x_2}+\frac{0.2}{x_3},\quad \underset{\sim}B=\frac{0.9}{x_1}+\frac{0.9}{x_2}+\frac{0.1}{x_3}+\frac{0.1}{x_4}$

分别计算 $\underset{\sim}{A},\underset{\sim}{B}$ 的Hamming模糊度与Euclid模糊度

Minkowski模糊度： $d_p(\underset{\sim}{A})=\frac{2}{n^{\frac{1}{p}}}\left(\sum_{i=1}^{n}\left|\underset{\sim}A(x_i)-A_{0.5}(x_i)\right|^p\right)^{\frac{1}{p}}$

Hamming模糊度： $d_1(\underset{\sim}{A})=\frac{2}{n}\sum_{i=1}^n\left|\underset{\sim}A(x_i)-A_{0.5}(x_i)\right|$

Euclid模糊度： $d_2(\underset{\sim}{\operatorname*{A}})=\frac2{n^{\frac12}}\left(\sum_{i=1}^n\left|\underset{\sim}A(x_i)-A_{0.5}(x_i)\right|^2\right)^{\frac12}$

解：

$\begin{aligned} &\begin{aligned}A_{0.5}=\frac{0}{x_1}+\frac{0}{x_2}+\frac{0}{x_3}+\frac{0}{x_4},\quad B_{0.5}=\frac{1}{x_1}+\frac{1}{x_2}+\frac{0}{x_3}+\frac{0}{x_4}.\end{aligned} \\ &\begin{aligned}d_1(\underset{\sim}A)&=\frac{2}{4}\big(|0-0|+|0.2-0|+|0.2-0|+|0-0|\big)=0.2,\end{aligned} \\ & d_{2}(\underset{\sim}A)=\frac{2}{\sqrt{4}}\big(|0-0|^{2}+|0.2-0|^{2}+|0.2-0|^{2}+|0-0|^{2}\big)^{\frac{1}{2}} =\sqrt{0.08}\approx0.2828\end{aligned}$

$d_{1}\left(\underset{\sim}{B}\right)=\frac24\big(|0.9-1|+|0.9-1|+|0.1-0|+|0.1-0|\big)=0.2, \\ d_{2}\left(\underset{\sim}{B}\right)=\frac2{\sqrt{4}}\big(|0.9-1|^2+|0.9-1|^2+|0.1-0|^2+|0.1-0|^2\big)^{\frac12}=\sqrt{0.04}=0.2.$

$d_1(\underset{\sim}{\operatorname*{A}})=d_1(\underset{\sim}{\operatorname*{B}}),d_2(\underset{\sim}{\operatorname*{A}})>d_2(\underset{\sim}{\operatorname*{B}})$

F_D_Z

关注

15
点赞
踩
4

收藏

觉得还不错? 一键收藏
打赏
0
评论
【模糊集合论】模糊算子

模糊算子的清晰城是刻画一个模糊算子模糊程度的一种度量，清晰城越小，对应的算子就越模糊。的Hamming模糊度与Euclid模糊度。设T为t模，S为s模，若对任意的。清晰域：运算结果是0或1的定义域。清晰域：运算结果是0或1的定义域。清晰域：运算结果是0或1的定义域。清晰域：运算结果是0或1的定义域。则称T与S为对偶模或对偶算子。设模糊算子T与S对偶，已知。交换+结合+单调+边界。则称S为s模或三角余模。是一个模糊算子，称集合。则称T为t模或三角模。
复制链接

扫一扫