SAVI模型及软件缺陷研究

苗强，方忻

SAVI模型及软件缺陷研究

苗强，方忻

（中国原子能科学研究院，北京 102413）

SAVI是一款实物保护系统有效性评价软件，可综合分析多条外部敌手入侵路线。SAVI模型是SAVI软件的基础，由多种元件模型组成，以PER元件和SUR元件为例介绍了元件模型的构成。分析了SAVI软件的主要数据要素，结合实际应用总结出实物保护系统有效性计算公式。最后，针对实际应用中发现的软件缺陷，给出了相应解决方法，并提出了建议。

实物保护系统；有效性评价；SAVI模型；软件缺陷

1 引言

当今世界，针对核材料及核设施的威胁真实存在。2007年，南非佩林达巴核动力工厂遭到武装分子入侵，有工作人员遭到枪击，据称丢失了一些办公用品，但未造成核材料丢失。近年来，欧洲还发生过多起环保组织为了宣扬其主张而公然非法闯入核电站、乘坐滑翔伞飞入核电站投掷烟幕弹和操控无人机故意撞击核设施建筑的核安保事件[1-5]。

2001年美国“9·11”事件以来，核安保问题日益受到国际社会的广泛关注。加强核安保能力，既符合国家的安全利益，也是中国核事业健康、稳定和持续发展的基本保证。对核材料及核设施的保护依赖于有效的实物保护系统（Physical Protection System，简称PPS）。实物保护系统是由探测、延迟、响应三部分组成，实现实物保护目的的综合防范系统[6]。为了评估是否达到预期设计目标，需要对实物保护系统进行有效性评价，评价方法主要有定性和定量两种。在定量评价技术方面，国外相关研究开展得……