Karplus-Strong Algo 中的递归反馈 - 箭头

问题描述 投票:0回答:1

我正在尝试使用 Euterpea 实现最简单版本的 Karplus-Strong 算法

schematic of KS algorithm

我的代码: 0.7 秒的白噪声突发

burst :: AudSF () Double
burst = proc () -> do 
   burstEnv <- envLineSeg [1,1,0,0] [0.7, 0, 9.3] -< ()
   noise <- noiseWhite 42 -< ()
   outA -< burstEnv * noise

有问题的部分:

karplus :: AudSF Double Double
karplus = proc input -> do 
  rec  filtered <- filterLowPass -< (delayed, 2000)
       delayed <- delayLine 0.7 -< filtered + input      
  outA -< filtered + input

test1 函数应该创建一个 10 秒的文件,其中包含几个周期:

test1 = outFile "test1.wav" 10 $ burst >>> karplus

据我所知,反馈循环应该不断运行。

问题是输入仅被延迟和过滤一次。它不会再次进入循环。

我怀疑问题在于我不理解惰性求值或值传递。

haskell reactive-programming arrow-abstraction
1个回答
2
投票

问题不在于惰性求值或递归箭头;相反,这是

filterLowPass
burst
上表现不佳:在爆发结束后它变成了
NaN

我们可以通过运行它来看到这一点,例如在 GHCi 中:

λ» take 15 $ drop 30870 $ Control.SF.SF.run (strip $ burst >>> arr (,2000) >>> filterLowPass) $ repeat ()
[0.17166330080286152,0.27722776378398983,NaN,NaN,NaN,NaN,NaN,NaN,NaN,NaN,NaN,NaN,NaN,NaN,NaN]

我强烈怀疑这是因为

burst
本身在接近尾声时表现得很奇怪:

λ» take 15 $ drop 30870 $ Control.SF.SF.run (strip $ burst) $ repeat ()
[0.5998949495013488,NaN,0.0,-0.0,-0.0,0.0,-0.0,-0.0,0.0,-0.0,-0.0,-0.0,0.0,-0.0,0.0]

我的建议是修复

burst
,使其末尾不会生成
NaN
,然后看看是否可以解决所有问题。 0/-0 振荡可能是无害的。

尝试修复

我对 Euterpea 或声音合成一无所知;然而,通过对

burstEnv
使用非常短但非 0 从 1 到 0 的过渡时间,我能够摆脱
NaN
。通过进一步减少突发的长度和延迟线,我想我得到了一些接近所需的“弦状”声音的东西:

burst :: AudSF () Double
burst = proc () -> do
   burstEnv <- envLineSeg [1,1,0,0] [0.01, 0.000001, 9.3] -< ()
   noise <- noiseWhite 42 -< ()
   outA -< burstEnv * noise

karplus :: AudSF Double Double
karplus = proc input -> do
    rec delayed <- delayLine 0.01 -< filtered + input
        filtered <- filterLowPass -< (delayed, 2000)
    outA -< filtered + input
© www.soinside.com 2019 - 2024. All rights reserved.