Prélude à l'après-midi d'un faune

新框架验证深度联合信源信道编码解码器在信道干扰下的鲁棒性

研究人员开发了一个新颖的框架，用于验证深度联合信源信道编码（DeepJSCC）解码器，解决了在对抗性扰动和信道干扰下界定重建质量下降的挑战。该框架扩展了现有的深度神经网络验证技术，以支持DeepJSCC特有的组件，如PReLU激活、转置卷积和瑞利衰落。通过结合Lipschitz正则化的全局鲁棒性训练，该方法实现了更严格的认证，并显著增加了安全案例的数量，与之前的方法相比，实际的空中验证证实了证书的准确性。