Deep Learning Toolbox Verification Library

下载支持包

随着深度神经网络成为工程系统（特别是安全关键型应用）的一部分，对其可靠性和稳健性的确保已变得至关重要。Deep Learning Toolbox Verification Library 让您能够严格评估和测试深度神经网络。

使用 Deep Learning Toolbox Verification Library，您可以：

使用形式化方法增强您的网络对对抗样本（经微妙改变意图误导网络的输入）的稳健性。这种方法支持测试输入的无限集合，证明存在扰动的情况下预测的一致性并指导训练增强，从而使您能够提高网络的可靠性和准确度。

在给定输入范围的情况下，使用形式化方法估计网络的输出下界和上界。此过程使您能够深入了解在给定输入扰动下网络的潜在输出，确保其在控制系统、信号处理等场景中的可靠性能。

将运行时监控与分布外检测相结合，构建安全的深度学习系统。持续评估传入数据是否与训练数据一致可以帮助您决定是信任网络输出还是将其重定向以进行安全处理，从而增强系统的安全性和可靠性。

探索案例研究，以确认机载深度学习系统符合航空行业标准，如 DO-178C、ARP4754A 以及将来的 EASA 和 FAA 规范。此案例研究全面介绍了完全符合深度学习系统行业标准和规范所需的步骤。

下载支持包

立即下载

与技术专家交流。