基于健壮半径求解的循环神经网络形式化验证方法

随着软硬件技术的发展,神经网络在各行各业取得了广泛的应用,然而在应用过程中也暴露出健壮性的不足。因此,采用形式化的手段来检验和保障神经网络的安全性是至关重要的。然而,由于循环神经网络结构复杂、激活函数非线性等因素,目前关于这类神经网络的形式化验证工作非常有限。针对循环神经网络难于验证的问题,本文提出了VR-RRS,一种基于健壮半径求解的循环神经网络形式化验证方法。首先,基于神经网络验证的经典近似求解框架,通过逐层回溯迭代的方式得到循环神经网络各层神经元近似区间上下界关于输入的线性表达式,在此基础上利用赫尔德不等式推导出各层神经元的近似上下界关于扰动半径的解析解。随后,针对经典近似求解方法精度不高的问题,通过对激活函数的近似方式进行分析和优化,提出一种基于多路径回溯的求解策略。该策略以细粒度近似方法构造不同的回溯路径,在此基础上将这些回溯路径求解的近似区间取交集,能够得到更为精确的近似区间。最后,采用改进的二分法对健壮半径进行求解,主要针对经典二分法中精度不足的问题,优化了判断神经网络健壮性的标准。通过在不同结构的循环神经网络上与已有方法开展对比实验,结果表明了该方法在求解出的健壮半径和验证成功率上具有明显优势。

河钢唐钢2号高炉配加碱球生产实践

河钢唐钢2号高炉为满足物料平衡,高炉炉料配加碱性球团组织生产,高炉通过优化各种操作、强化管理、采取低硅冶炼等技术手段与措施,总结出一系列相应的操作制度,实现了高炉高效、优质、低耗的目标。

高炉长寿设计之我见

通过分析影响高炉长寿的主要因素,认为设计因素是高炉能否实现长寿的根本和基础,提高高炉的设计水平是实现高炉长寿的根本所在。重点从优化炉型、耐材结构、冷却系统设计,以及自动检测与控制体系等方面,就如何实现高炉长寿进行了阐述。建议:①随着高炉大型化发展,高径比、炉身角和炉腹角都有减小的趋势,死铁层深度建议达到炉缸直径的22%～25%;②炉缸、炉底耐材配置采用优质炭砖加陶瓷杯的组合结构形式。

LIGHT SCATTERING PROPERTY OF HUMAN BLOOD AT THE WAVELENGTH OF 810NM

ＬＩＧＨＴＳＣＡＴＴＥＲＩＮＧＰＲＯＰＥＲＴＹＯＦＨＵＭＡＮＢＬＯＯＤＡＴＴＨＥＷＡＶＥＬＥＮＧＴＨＯＦ８１０ＮＭＬＩＧＨＴＳＣＡＴＴＥＲＩＮＧＰＲＯＰＥＲＴＹＯＦＨＵＭＡＮＢＬＯＯＤＡＴＴＨＥＷＡＶＥＬＥＮＧＴＨＯＦ８１０ＮＭＪｉａｎＺｈｏｎｇ；Ｄ...