软阈值(S(z,γ))算子是信号处理中的一种操作，其公式根据输入值z和阈值γ进行不同程度的截断。当γ小于|z|时，软阈值保留信号z的符号并减小其幅度；当γ大于等于|z|时，信号z被完全消除。该算子常用于压缩感知和去噪等领域。"
106269574,8705137,形式化方法与验证工具详解,"['形式化验证', '软件验证', '硬件描述语言验证', '模型检验', '定理证明']
S(z,γ)S(z,\gamma)S(z,γ) is the soft-thresholding operator with value
S(z,γ)=sign(z)(∣z∣−γ)+={ z−r,ifz>0andγ<∣z∣,z+r,ifz<0andγ<∣z∣,0,ifγ≥∣z∣.S(z,\gamma)={\rm{sign}}(z)(|z|-\gamma)_+ = \left\{ \begin{array}{rcl} z-r, \quad if &z>0 &and& \gamma<|z|, & \\ z+r, \quad if &z<0 &and&\gamma<|z|, & \\ 0, \quad if &\gamma \geq |z|. & \end{array} \right. S(z,γ)=sign(z<
最低0.47元/天 解锁文章
扫一扫
981
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
