RiskA计算引擎在核电站概率安全评价中的应用
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ＷＡＮＧ ｉｎ ｙ Ｊａ － ｅ 。ＬＩＹａｚ ｏ ，Ｈ Ｕ ｉｑｎ ，Ｗ Ｕ —ａ ，Ｚ —ｈ ｕ Ｌ — ｉ Ｙｉｃ ｎ ＥＮＧ ｕ ＯＮＧ ｉｇ ｈ ｉ Ｃｈ ｎ ，Ｓ Ｍ ｎ —ａ ，
Ｓ Ｃｈ ｎ — ｏ ｇ ．Ｐ Ｕ ａ ｇ ｓ ｎ ＥＮＧ ａ — ｈ ｎ ，Ｚ ＡＮＧ ｎ — ｉ ｇ Ｘｉｏ ｃ ｕ Ｈ Ｇａ ｇ ｐ ｎ
ｓ ｏｗｅ ｈａ ｈｅ ａ ｇ ｉｈｍｓ ａ ｏｐ ｅ ｎ ＲｉｋＡ ｒ ｏ ｒ ｃ ｎｄ ｅ ｆｃ ｅ ． ｈ ｄ ｔ ｔ ｔ ｌ ｏｒｔ ｄ ｔ ｄ ｉ ｓ ａ ｅ ｃ ｒ ｅ ｔａ ｆ ｉｉｎｔ Ｋｅ ｒ ： ｓ Ａ ；ｃ ｌ ｕｌｔｏ ｎ ｎ ｙ ｗｏ ｄｓ Ｒｉｋ ａ ｃ ａ ｉ ｎ ｅ ｇｉ ｅ；ｑ ａ ｉａ ｉ ｅ ａ ｌ ｓｓ；ｑｕ ｎｔｔ ｔｖ ｎａ ｙ ｉ ｕ ｌｔ ｔｖ ｎａ ｙ ｉ ａ ｉａ ｉ ｅ ａ ｌ ｓｓ
第３ １卷
２１ ０ １年
第 １ 期
３月
核 科 学 与 工 程
Ｃｈ ｎ ｓ ｏ ｒ ａ ｆＮｕ ｌａ ｃｅ ｃ ｎ ｇｎ ｅｉ ｇ ｉ ｅ ｅＪ ｕ ｎ ｌ ｃｅ ｒＳ ｉｎ ｅａ ｄＥｎ ｉ ｅ ｒｎ ｏ
பைடு நூலகம்
Ｖｏ ． １ ＮＯ １ Ｉ３ ．
Ｍ ａ． ｒ ２ １１ Ｏ
ｉ ｔ ｅ ｑ ａ ｔ ｉａ ｉｎ ｅ ｇｎ ｆＰ ｓ ｈ ｕ ｎ ｉ ｃ ｔ ｎ ｉ ｅｏ ＲＡＱＵＡＮＴ． Ｒｉｋ ｉ ａ ｌ ｔｅ ｕ ｎ ｉ ｃ ｔ ｎ ｅ ｇｎ ｆ ｏ ｓ Ａ ｓａｆ ｕｔ ｒｅ ｑ ａ ｔ ｉａ ｉ ｎ ｉ ｅ ｆ ｏ
ｄ ｖ ｌ ｐ ｄ ｂ ＤＳ Ｔｅ ｍ ，ｗｈ ｃ ａ ｅ ｉ ｔｇ ａｅ ｎ ｏ Ｐ ｅ ｅｏ ｅ ｙ Ｆ ａ ｉｈ ｃ ｎ ｂ ｎ ｅ ｒｔ ｄ ｉｔ ＲＡ ＱＵ ＡＮＴ ｓ ａ ｔ ｉｄ ｐ ｒｙ ａ ｈｒ ａ ｔ
代发 展起 来 的一 种用 于安 全和 可靠性 评价 的 系
统工 程方 法 ， 在 核 能 、 天 、 其 航 电子 等领 域 均 已
有广 泛 应 用 。随着 近 年 来 在 核 电站 的 工 程 设
美 国 Ｄ ｔ ｙｔｍｓａ ｄ Ｓ ｌｔ ｎ 公 司 和 ａａＳ ｓｅ ｎ ｏｕｉ ｓ ｏ
Ｅ ｅｔｉ Ｐ ｗｅ ｓａｃ ｎ ｔ ｕｅ联 合 开 发 的 ｌｃｒ ｏ ｒＲｅｅ ｒｈ Ｉｓｉ ｔ ｃ ｔ
计 、 照管 理和 维修计 划等 工作 中的应 用 ， Ｓ 执 ＰＡ
正受 到人 们越来 越 多 的关 注［ ］ １。 核 电站一 般是包 括几 十甚 至几 百个 子系 统
及 成千 上 万个 部 件 的 大 型复 杂 系统 ， 与之 相 应 的 Ｐ Ａ 模 型也 比较 复 杂 ； 外 核 电站 Ｐ Ａ 的 Ｓ 另 Ｓ
４ Ｔｈｒ ｎ ｈ ｎ Ｎｕ ｌａ ｏ ｒＣ ｍｐ ｎ ， ｉ ｉ ｇｏ ｈ ｊ ｎ ｒ ｖ １ ３ ０ ｈｎ ） ． ｉ Ｑｉｓ ａ ｃ ｒＰ ｗｅ ｏ ａ ｙ Ｊａ ｎ ｆ ｅｉ ｇＰ ｏ ．３ ４ ０ ，Ｃ ｉａ ｄ ｅ ｘ Ｚ ａ
Ａｂ ｔａ ｔ Ｐ ｓｒ ｃ ： ＲＡＱＵＡ ＮＴ ｉ ｏ ｅｏ ｈ ｄ ｌｓｕ ｅ ｏ ｃ ｉｅ ｔｓ ｑ ｅ ｃ ｕ ｎ ｉｉａ ｉｎ ｉ ｓ ｎ ｆｔ ｅｍｏ ｕ ｅ ｓ ｄｆ ｒａ ｃｄ ｎ ｅ ｕ ｎ ｅｑ ａ ｔ ｃ ｔ ｆ ｏ ｎ
分 析计 算 工 作一 般 都 要有 一 个迭 代 的过程 ， 对 于 同一 个 核 电 站 的 Ｐ Ａ 模 型 要 重 复 计 算 多 Ｓ 次［ 。为 了保证 分析 过程 的可靠 性 和评价 结 果 ３ ］
的可信性 ， 目前 核 电站 Ｐ Ａ 中的分 析 计算 工 作 Ｓ
一
般 都 借 助 于 Ｐ Ａ 软 件 完 成 ， 瑞 典 Ｒ Ｌ Ｓ 如 Ｅ －
了正确性校核 ， 与 Ｃ 并 ＱＵＡ ＮＴ 引 擎 进 行 了计 算 速 度 比较 。测 试 表 明 正 确 实 现 了 在 Ｐ ＡＱＵＡＮ 下 对 Ｒ Ｔ
于 Ｒｉ Ａ 计 算 引 擎 调 用 ， ｉ Ａ 的 定 性 分 析 和 定 量 计 算 结 果 正 确 ， 计 算 速 度 上 Ｒ ｓＡ 远 快 于 ｓ ｋ Ｒｓ ｋ 在 ｉ ｋ
ｑｕ ｎｔｆｃ ｔｏ ｎｇ ｎｅ Ｔｈｅ ｒ ｅ ｓ ｏ ｈｅ ｎ ｅ ａ ｉ ｓ ｉ ｔ ｏｄ ｅ ｎ ｔ ｓ ｐａ ｅ ，ａ ａ ｉｉａ ｉ ｎ ｅ ｉ ． ｐ ｏｃ ｓ ｆ ｔ ｉ ｔ ｇｒ ｔｏｎ ｗａ ｎ ｒ ｕｃ ｄ ｉ ｈｉ ｐ ｒ ｓ
ｗｅｌａ ｔ ｅ ｅ ｃ ｍａ ｋ ｅ ｗｅ ｎ ｌ ｓ ｈ ｂ ｎ ｈ ｒ ｂ ｔ ｅ Ｒｉｋ ｓ Ａ ａ ｄ ｎ ＣＱＵＡＮＴ． Ｔｈ ｒｓ ｌ ｏ ｂ ｎ ｈ ｒ ｅ ｅ ｕｔ ｆ ｅ ｃ ｍａ ｋ ｓ
（．中国科学技术大学 ， １ 安徽 合肥 ２ ０ ２ ；２ ３ ０ ６ ．中国科学 院等离子体物理研究所 ， 安徽 合肥 ２ ０ ３ ； ３ ０ １
３ 圳 大 学 理 学 院 应 用 数 学 系 ， 东 深 圳 ５ ８６ ；．秦 山第 三 核 电有 限 公 司 ， 江 嘉 兴 ３ ４０ ） ．深 广 １０ ０ ４ 浙 １ ３ ０
ａ ｄＳ ｌｔ ｎ 公 司 和 Ｅ ｅｔｉ Ｐ ｗｅ ｅ ｅｒｈ ｎ ｏｕｉ ｓ ｏ ｌ ｒ ｏ ｒＲ ｓａｃ ｃ ｃ
Ｉ ｓｉ ｔ 联 合 开 发 的 Ｒ＆Ｒ Ｗｏｋ ｔｔ ｎ６以 ｎ ｔ ｕｅ ｔ ｒ ｓａｉ ［ ｏ 及 Ｆ Ｓ团 队 自主 开 发 的大 型 集 成 概率 安 全 评 Ｄ
Ｒｉ Ａ 计算 引擎 在 核 电站概 率 安全 ｓ ｋ 评 价 中 的应 用
王家群 一 王 ， 进 ， ， 芳 汪 顾晓慧 ， 润 ， 园 袁 殷 ， 建业 ， 汪 李亚洲 ， 胡丽琴 ， 灿 ， 春 ， 海 ， 吴宜 曾 宋明
苏长松 ， 彭晓春 ， ０ 张月平
（Ｏ８ ２ Ｏ ＣＣＤＯ６ Ｐ） ４
作 者 简介 ： 家 群 （９ ７ ）男 ， 王 １８ 一 ， 山东 聊 城 人 ， 士 研 究 生 ， 要 研 究 方 向 为 核 电 站 概 率 安 全 评 价 博 主
７ ５
Ｒ＆ Ｒ ｏ ｋ ｔｔｏ Ｗ ｒ ｓ ａｉｎ。ａ ｓ ｉ ｆｐ ｏ ａ ｉ ｓｉ ａｅ ｙ ａ ｓ ｓ ｍｅ ｔｓ ｆｗａ ｅ Ａｎ ｕｔ ｏ ｒ ｂ ｂ ｌ ｔ ｓ ｆｔ ｓｅ ｓ ｎ ｏ ｔ ｒ ． ｅ ｉ ｃ ｄ ＣＱＵＡＮＴ
ｐ ｏ ａ ｉｉ ｔｃ ｓ ｆ ｔ ｓ ｅ ｓ ｅ ｒ ｂ ｂ ｌｓ ｉ ａ ｅ ｙ ａ ｓ ｓ ｍ ｎｔ
ＷＡＮＧ ｉ－ｕ １ 。ＷＡＮＧ ａ ｇ ，ＷＡＮＧ ｉ ，ＧＵ ａ － ｕ ，ＹＵＡＮ ｎ ，ＹＩ Ｙｕ ｎ ＇ ， Ｊａｑ ｎ Ｆｎ Ｊｎ Ｘｉｏｈ ｉ Ｒｕ Ｎ ａ ＇ 。
概率 安全分 析计 算机 辅 助 软件 包 Ｒ＆Ｒ Ｗｏｋ ｒ—
ｓａｉｎ 主要 包括 Ｃ Ｔ 故 障树 分析 ） Ｅ Ａ ｔｔ ， ｏ ＡＦ Ａ（ 、Ｔ （ 事件 树分 析） Ｐ ＡＱＵＡＮＴ（ 故序 列 定量 计 、Ｒ 事 算 ） ＵＮＣ Ｒ 不确 定性 分析 ） 模 块 ， 自带 、 Ｅ Ｔ（ 等 其 的计 算 引擎 为 Ｃ ＱＵＡＮＴ， 外 该 平 台 还 支 持 另 用户 自己配 置其 他 的计 算 引 擎＿ 。 目前 国 内 ７ 已有几 家该 软 件 的用户 ， 秦 山第 三 核 电有 限 如 公司（ 以下 简称 “ 山 三核 ” 、 国核 动力 研 究 秦 ）中 设计 院等 。 作 为 Ｒ＆Ｒ Ｗｏ ｋ ｔｔ ｎ 的 子 模 块 ， ｒ ｓａｉ ｏ Ｐ ＲＡＱＵＡＮＴ是 一 个 事 故 序 列 定 量 化 计 算 的
概 率 安 全／ 险 评 价 （ ｒｂ ｂｌ ｙＳ ｆｔ／ 风 Ｐ ｏ ａ ｉｔ ａｅｙ ｉ
Ｒ ｓ ｓｓｍｅ ｔＰ Ａ／ ＲＡ） ２ ｉ Ａｓｅｓ ｎ ， Ｓ Ｐ ｋ 是 ０世纪 ７ Ｏ年
１ 软 件 系统 介 绍
１ １ Ｒ＆Ｒ Ｗ ｏ ｋ ｔ ｔ ｎ和 Ｐ ． ｒ ｓａｉ ｏ ＲＡＱＵＡＮＴ
韩 国 Ｋｏｅ ｏ ｃＥ ｅｇ ｅ ｅｒｈ ｒａ Ａｔｍｉ ｎ ｒ ｙ Ｒ ｓａｃ
Ｃ Ｎ Ｓ ａ ｄ ｏ ｒＡＢ公 司开 发 的 Ｒｉ ｐ ｃ Ｏ ｃ ｎ ｐ ｗｅ ｓ Ｓ ｅ— ｋ
ｔ ｕｍ ＿ Ｊ ｒ ４
、
工具， 它使 用 故 障树 链 接 法 自动 实现 事 故序 列
（ ． ｉ ｅ ｓｔ ｆＳ ｉｎ ｅ ａ ｄ Ｔｅ ｈ ｏ ｏ ｙ ｏ ｉ ａ，Ｈｅ ｅ ｆ Ａｎ ｕ ｏ ．２ ０ ２ １ Ｕｎ ｖ ｒ ｉｙ ｏ ｃ ｅ ｃ ｎ ｃ ｎ ｌ ｇ ｆＣｈ ｎ ｆ ｉ ｈ ｉＰｒ ｖ ３ ０ ６，Ｃｈ ｎ ｏ ｉ ａ； ２ Ｉ ｓ ｉｕ ｅ ｏ ａ ｍａ Ｐｈ ｓｃ ． ｎ ｔｔ ｔ ｆＰｌ ｓ ｙ ｉｓ，Ｃｈｉ ｅ ｅ Ａｃ ｄ ｍｙ ｏ ｉｎ ｅ ｎ ｓ ａ ｅ ｆＳｃｅ ｃ ｓ，Ｈｅ ｅ ｆＡｎｈ ｉＰ ｏ ． ２ ０ ３ ｆｉ ｏ ｕ ｒ ｖ ３ ０ １，Ｃｈｉ ａ ｎ； ３ Ｓｃ ｏ ｌｏ ｃ ｅ ｃ ，Ｓ ｎ ｈｅ ． ｈ ｏ ｆＳ ｉｎ ｅ ｈｅ ｚ ｎ Ｕｎｉｅ ｓｔ ｖ ｒ ｉｙ，Ｓ ｅ ｚ ｅ ｆＧｕ ｎ ｏ ｏ ． ５ ８ ６ ｈ ｎ ｈ ｎ ｏ ａ ｇｄ ｎｇ Ｐｒ ｖ １ ０ ０，Ｃｈ ｎ ｉ ａ；
摘 要 ： 究 分 析 了 Ｒ＆Ｒ Ｗｏｋ ｔｔ ｎ平 台 的 计 算 引 擎 配 置 问题 ， 现 了该 平 台下 调 用 Ｆ Ｓ团 队 自主 研 研 ｒｓａｉ ｏ 实 Ｄ 发 的 Ｒ ｓＡ 计 算 引 擎 。 基 于 上 述 工 作 ， 用 真 实 核 电 站 的 概 率 安 全 评 价 模 型 ， Ｒ ｓＡ 计 算 引 擎 进 行 ｉ ｋ 采 对 ｉ ｋ
收 稿 日期 ： ０ 卜Ｏ — ７ 修 回 日期 ： ０ 卜Ｏ — １ ２ １ １１ ； ２ １ ２ ２
基 金 项 目 ： 技 部 Ｉ Ｒ专 项 （０ ９ １ １０ ） 科 ＴＥ ２ ０ ＧＢ ０ ０ ６ ； 中科 院 知 识 创 新 工 程 重 要 方 向 项 目 （ Ｃ 一 ＫＪ Ｘ２Ｙｗ— ５ ０ ５ Ｆ １ ） 核 电 项 目 风 险 监 测 器 模 型 及 软 件 系 统 研 发 Ｎ３ ， ９ Ｃ Ｒ２ １ ；
ＣＱＵＡＮＴ。
关 键 词 ： ｉ Ａ； 算 引擎 ； 性 分 析 ； 量计 算 Ｒｓ ｋ 计 定 定 中图 分 类 号 ： Ｌ ６ Ｔ ３４ 文献标志码 ： Ａ 文 章 编 号 ：２ ８０ １ （０ １０ —０ ５０ ０ ５—９ ８ ２ １ ） １０ ７ —５
Ａｐｐ ｉ ａ ｉ ｎ ｏ ａ ｃ ｌ ｔｏ ｎ ｉ ｅ ｏ ｓ Ａ ｏ ｎ ｃ ｅ ｒ ｐ ｗｅ ｌ ｎｔ Ｓ ｌｃ ｔｏ ｆ ｃ ｌ ｕ ａ ｉ ｎ ｅ ｇ ｎ ｆＲｉ ｋ ｔ ｕ ｌ ａ ｏ ｒ ｐ ａ ’
的定 量 计 算 。Ｐ ＲＡＱＵＡＮＴ 可 以在 计 算 时 使 用多 种 最 小 割 集 计 算 引 擎 ， Ｃ 如 ＱＵＡＮＴ、 Ｒ Ｌ Ｓ以及 ＲＳ Ｅ ＭＣ ＡＴ 等 ［ ， ７ 软件 包 中原 有 的 ］ 计 算引 擎 为 Ｃ ＱＵＡＮ Ｔ。Ｃ ＱＵＡＮＴ 求 解 大 规
Ｉ ｓｉ ｔ 开 发 的 Ｆ Ｅ ¨ 、 国 Ｄ ｔ ｙ ｔｍｓ ｎ ｔ ｕｅ ｔ ＴＲ Ｘ ５ 美 ］ ａａＳ ｓｅ
Ｓ Ｃｈ ｎ — ｏ ｇ ．Ｐ Ｕ ａ ｇ ｓ ｎ ＥＮＧ ａ — ｈ ｎ ，Ｚ ＡＮＧ ｎ — ｉ ｇ Ｘｉｏ ｃ ｕ Ｈ Ｇａ ｇ ｐ ｎ
ｓ ｏｗｅ ｈａ ｈｅ ａ ｇ ｉｈｍｓ ａ ｏｐ ｅ ｎ ＲｉｋＡ ｒ ｏ ｒ ｃ ｎｄ ｅ ｆｃ ｅ ． ｈ ｄ ｔ ｔ ｔ ｌ ｏｒｔ ｄ ｔ ｄ ｉ ｓ ａ ｅ ｃ ｒ ｅ ｔａ ｆ ｉｉｎｔ Ｋｅ ｒ ： ｓ Ａ ；ｃ ｌ ｕｌｔｏ ｎ ｎ ｙ ｗｏ ｄｓ Ｒｉｋ ａ ｃ ａ ｉ ｎ ｅ ｇｉ ｅ；ｑ ａ ｉａ ｉ ｅ ａ ｌ ｓｓ；ｑｕ ｎｔｔ ｔｖ ｎａ ｙ ｉ ｕ ｌｔ ｔｖ ｎａ ｙ ｉ ａ ｉａ ｉ ｅ ａ ｌ ｓｓ
第３ １卷
２１ ０ １年
第 １ 期
３月
核 科 学 与 工 程
Ｃｈ ｎ ｓ ｏ ｒ ａ ｆＮｕ ｌａ ｃｅ ｃ ｎ ｇｎ ｅｉ ｇ ｉ ｅ ｅＪ ｕ ｎ ｌ ｃｅ ｒＳ ｉｎ ｅａ ｄＥｎ ｉ ｅ ｒｎ ｏ
பைடு நூலகம்
Ｖｏ ． １ ＮＯ １ Ｉ３ ．
Ｍ ａ． ｒ ２ １１ Ｏ
ｉ ｔ ｅ ｑ ａ ｔ ｉａ ｉｎ ｅ ｇｎ ｆＰ ｓ ｈ ｕ ｎ ｉ ｃ ｔ ｎ ｉ ｅｏ ＲＡＱＵＡＮＴ． Ｒｉｋ ｉ ａ ｌ ｔｅ ｕ ｎ ｉ ｃ ｔ ｎ ｅ ｇｎ ｆ ｏ ｓ Ａ ｓａｆ ｕｔ ｒｅ ｑ ａ ｔ ｉａ ｉ ｎ ｉ ｅ ｆ ｏ
ｄ ｖ ｌ ｐ ｄ ｂ ＤＳ Ｔｅ ｍ ，ｗｈ ｃ ａ ｅ ｉ ｔｇ ａｅ ｎ ｏ Ｐ ｅ ｅｏ ｅ ｙ Ｆ ａ ｉｈ ｃ ｎ ｂ ｎ ｅ ｒｔ ｄ ｉｔ ＲＡ ＱＵ ＡＮＴ ｓ ａ ｔ ｉｄ ｐ ｒｙ ａ ｈｒ ａ ｔ
代发 展起 来 的一 种用 于安 全和 可靠性 评价 的 系
统工 程方 法 ， 在 核 能 、 天 、 其 航 电子 等领 域 均 已
有广 泛 应 用 。随着 近 年 来 在 核 电站 的 工 程 设
美 国 Ｄ ｔ ｙｔｍｓａ ｄ Ｓ ｌｔ ｎ 公 司 和 ａａＳ ｓｅ ｎ ｏｕｉ ｓ ｏ
Ｅ ｅｔｉ Ｐ ｗｅ ｓａｃ ｎ ｔ ｕｅ联 合 开 发 的 ｌｃｒ ｏ ｒＲｅｅ ｒｈ Ｉｓｉ ｔ ｃ ｔ
计 、 照管 理和 维修计 划等 工作 中的应 用 ， Ｓ 执 ＰＡ
正受 到人 们越来 越 多 的关 注［ ］ １。 核 电站一 般是包 括几 十甚 至几 百个 子系 统
及 成千 上 万个 部 件 的 大 型复 杂 系统 ， 与之 相 应 的 Ｐ Ａ 模 型也 比较 复 杂 ； 外 核 电站 Ｐ Ａ 的 Ｓ 另 Ｓ
４ Ｔｈｒ ｎ ｈ ｎ Ｎｕ ｌａ ｏ ｒＣ ｍｐ ｎ ， ｉ ｉ ｇｏ ｈ ｊ ｎ ｒ ｖ １ ３ ０ ｈｎ ） ． ｉ Ｑｉｓ ａ ｃ ｒＰ ｗｅ ｏ ａ ｙ Ｊａ ｎ ｆ ｅｉ ｇＰ ｏ ．３ ４ ０ ，Ｃ ｉａ ｄ ｅ ｘ Ｚ ａ
Ａｂ ｔａ ｔ Ｐ ｓｒ ｃ ： ＲＡＱＵＡ ＮＴ ｉ ｏ ｅｏ ｈ ｄ ｌｓｕ ｅ ｏ ｃ ｉｅ ｔｓ ｑ ｅ ｃ ｕ ｎ ｉｉａ ｉｎ ｉ ｓ ｎ ｆｔ ｅｍｏ ｕ ｅ ｓ ｄｆ ｒａ ｃｄ ｎ ｅ ｕ ｎ ｅｑ ａ ｔ ｃ ｔ ｆ ｏ ｎ
分 析计 算 工 作一 般 都 要有 一 个迭 代 的过程 ， 对 于 同一 个 核 电 站 的 Ｐ Ａ 模 型 要 重 复 计 算 多 Ｓ 次［ 。为 了保证 分析 过程 的可靠 性 和评价 结 果 ３ ］
的可信性 ， 目前 核 电站 Ｐ Ａ 中的分 析 计算 工 作 Ｓ
一
般 都 借 助 于 Ｐ Ａ 软 件 完 成 ， 瑞 典 Ｒ Ｌ Ｓ 如 Ｅ －
了正确性校核 ， 与 Ｃ 并 ＱＵＡ ＮＴ 引 擎 进 行 了计 算 速 度 比较 。测 试 表 明 正 确 实 现 了 在 Ｐ ＡＱＵＡＮ 下 对 Ｒ Ｔ
于 Ｒｉ Ａ 计 算 引 擎 调 用 ， ｉ Ａ 的 定 性 分 析 和 定 量 计 算 结 果 正 确 ， 计 算 速 度 上 Ｒ ｓＡ 远 快 于 ｓ ｋ Ｒｓ ｋ 在 ｉ ｋ
ｑｕ ｎｔｆｃ ｔｏ ｎｇ ｎｅ Ｔｈｅ ｒ ｅ ｓ ｏ ｈｅ ｎ ｅ ａ ｉ ｓ ｉ ｔ ｏｄ ｅ ｎ ｔ ｓ ｐａ ｅ ，ａ ａ ｉｉａ ｉ ｎ ｅ ｉ ． ｐ ｏｃ ｓ ｆ ｔ ｉ ｔ ｇｒ ｔｏｎ ｗａ ｎ ｒ ｕｃ ｄ ｉ ｈｉ ｐ ｒ ｓ
ｗｅｌａ ｔ ｅ ｅ ｃ ｍａ ｋ ｅ ｗｅ ｎ ｌ ｓ ｈ ｂ ｎ ｈ ｒ ｂ ｔ ｅ Ｒｉｋ ｓ Ａ ａ ｄ ｎ ＣＱＵＡＮＴ． Ｔｈ ｒｓ ｌ ｏ ｂ ｎ ｈ ｒ ｅ ｅ ｕｔ ｆ ｅ ｃ ｍａ ｋ ｓ
（．中国科学技术大学 ， １ 安徽 合肥 ２ ０ ２ ；２ ３ ０ ６ ．中国科学 院等离子体物理研究所 ， 安徽 合肥 ２ ０ ３ ； ３ ０ １
３ 圳 大 学 理 学 院 应 用 数 学 系 ， 东 深 圳 ５ ８６ ；．秦 山第 三 核 电有 限 公 司 ， 江 嘉 兴 ３ ４０ ） ．深 广 １０ ０ ４ 浙 １ ３ ０
ａ ｄＳ ｌｔ ｎ 公 司 和 Ｅ ｅｔｉ Ｐ ｗｅ ｅ ｅｒｈ ｎ ｏｕｉ ｓ ｏ ｌ ｒ ｏ ｒＲ ｓａｃ ｃ ｃ
Ｉ ｓｉ ｔ 联 合 开 发 的 Ｒ＆Ｒ Ｗｏｋ ｔｔ ｎ６以 ｎ ｔ ｕｅ ｔ ｒ ｓａｉ ［ ｏ 及 Ｆ Ｓ团 队 自主 开 发 的大 型 集 成 概率 安 全 评 Ｄ
Ｒｉ Ａ 计算 引擎 在 核 电站概 率 安全 ｓ ｋ 评 价 中 的应 用
王家群 一 王 ， 进 ， ， 芳 汪 顾晓慧 ， 润 ， 园 袁 殷 ， 建业 ， 汪 李亚洲 ， 胡丽琴 ， 灿 ， 春 ， 海 ， 吴宜 曾 宋明
苏长松 ， 彭晓春 ， ０ 张月平
（Ｏ８ ２ Ｏ ＣＣＤＯ６ Ｐ） ４
作 者 简介 ： 家 群 （９ ７ ）男 ， 王 １８ 一 ， 山东 聊 城 人 ， 士 研 究 生 ， 要 研 究 方 向 为 核 电 站 概 率 安 全 评 价 博 主
７ ５
Ｒ＆ Ｒ ｏ ｋ ｔｔｏ Ｗ ｒ ｓ ａｉｎ。ａ ｓ ｉ ｆｐ ｏ ａ ｉ ｓｉ ａｅ ｙ ａ ｓ ｓ ｍｅ ｔｓ ｆｗａ ｅ Ａｎ ｕｔ ｏ ｒ ｂ ｂ ｌ ｔ ｓ ｆｔ ｓｅ ｓ ｎ ｏ ｔ ｒ ． ｅ ｉ ｃ ｄ ＣＱＵＡＮＴ
ｐ ｏ ａ ｉｉ ｔｃ ｓ ｆ ｔ ｓ ｅ ｓ ｅ ｒ ｂ ｂ ｌｓ ｉ ａ ｅ ｙ ａ ｓ ｓ ｍ ｎｔ
ＷＡＮＧ ｉ－ｕ １ 。ＷＡＮＧ ａ ｇ ，ＷＡＮＧ ｉ ，ＧＵ ａ － ｕ ，ＹＵＡＮ ｎ ，ＹＩ Ｙｕ ｎ ＇ ， Ｊａｑ ｎ Ｆｎ Ｊｎ Ｘｉｏｈ ｉ Ｒｕ Ｎ ａ ＇ 。
概率 安全分 析计 算机 辅 助 软件 包 Ｒ＆Ｒ Ｗｏｋ ｒ—
ｓａｉｎ 主要 包括 Ｃ Ｔ 故 障树 分析 ） Ｅ Ａ ｔｔ ， ｏ ＡＦ Ａ（ 、Ｔ （ 事件 树分 析） Ｐ ＡＱＵＡＮＴ（ 故序 列 定量 计 、Ｒ 事 算 ） ＵＮＣ Ｒ 不确 定性 分析 ） 模 块 ， 自带 、 Ｅ Ｔ（ 等 其 的计 算 引擎 为 Ｃ ＱＵＡＮＴ， 外 该 平 台 还 支 持 另 用户 自己配 置其 他 的计 算 引 擎＿ 。 目前 国 内 ７ 已有几 家该 软 件 的用户 ， 秦 山第 三 核 电有 限 如 公司（ 以下 简称 “ 山 三核 ” 、 国核 动力 研 究 秦 ）中 设计 院等 。 作 为 Ｒ＆Ｒ Ｗｏ ｋ ｔｔ ｎ 的 子 模 块 ， ｒ ｓａｉ ｏ Ｐ ＲＡＱＵＡＮＴ是 一 个 事 故 序 列 定 量 化 计 算 的
概 率 安 全／ 险 评 价 （ ｒｂ ｂｌ ｙＳ ｆｔ／ 风 Ｐ ｏ ａ ｉｔ ａｅｙ ｉ
Ｒ ｓ ｓｓｍｅ ｔＰ Ａ／ ＲＡ） ２ ｉ Ａｓｅｓ ｎ ， Ｓ Ｐ ｋ 是 ０世纪 ７ Ｏ年
１ 软 件 系统 介 绍
１ １ Ｒ＆Ｒ Ｗ ｏ ｋ ｔ ｔ ｎ和 Ｐ ． ｒ ｓａｉ ｏ ＲＡＱＵＡＮＴ
韩 国 Ｋｏｅ ｏ ｃＥ ｅｇ ｅ ｅｒｈ ｒａ Ａｔｍｉ ｎ ｒ ｙ Ｒ ｓａｃ
Ｃ Ｎ Ｓ ａ ｄ ｏ ｒＡＢ公 司开 发 的 Ｒｉ ｐ ｃ Ｏ ｃ ｎ ｐ ｗｅ ｓ Ｓ ｅ— ｋ
ｔ ｕｍ ＿ Ｊ ｒ ４
、
工具， 它使 用 故 障树 链 接 法 自动 实现 事 故序 列
（ ． ｉ ｅ ｓｔ ｆＳ ｉｎ ｅ ａ ｄ Ｔｅ ｈ ｏ ｏ ｙ ｏ ｉ ａ，Ｈｅ ｅ ｆ Ａｎ ｕ ｏ ．２ ０ ２ １ Ｕｎ ｖ ｒ ｉｙ ｏ ｃ ｅ ｃ ｎ ｃ ｎ ｌ ｇ ｆＣｈ ｎ ｆ ｉ ｈ ｉＰｒ ｖ ３ ０ ６，Ｃｈ ｎ ｏ ｉ ａ； ２ Ｉ ｓ ｉｕ ｅ ｏ ａ ｍａ Ｐｈ ｓｃ ． ｎ ｔｔ ｔ ｆＰｌ ｓ ｙ ｉｓ，Ｃｈｉ ｅ ｅ Ａｃ ｄ ｍｙ ｏ ｉｎ ｅ ｎ ｓ ａ ｅ ｆＳｃｅ ｃ ｓ，Ｈｅ ｅ ｆＡｎｈ ｉＰ ｏ ． ２ ０ ３ ｆｉ ｏ ｕ ｒ ｖ ３ ０ １，Ｃｈｉ ａ ｎ； ３ Ｓｃ ｏ ｌｏ ｃ ｅ ｃ ，Ｓ ｎ ｈｅ ． ｈ ｏ ｆＳ ｉｎ ｅ ｈｅ ｚ ｎ Ｕｎｉｅ ｓｔ ｖ ｒ ｉｙ，Ｓ ｅ ｚ ｅ ｆＧｕ ｎ ｏ ｏ ． ５ ８ ６ ｈ ｎ ｈ ｎ ｏ ａ ｇｄ ｎｇ Ｐｒ ｖ １ ０ ０，Ｃｈ ｎ ｉ ａ；
摘 要 ： 究 分 析 了 Ｒ＆Ｒ Ｗｏｋ ｔｔ ｎ平 台 的 计 算 引 擎 配 置 问题 ， 现 了该 平 台下 调 用 Ｆ Ｓ团 队 自主 研 研 ｒｓａｉ ｏ 实 Ｄ 发 的 Ｒ ｓＡ 计 算 引 擎 。 基 于 上 述 工 作 ， 用 真 实 核 电 站 的 概 率 安 全 评 价 模 型 ， Ｒ ｓＡ 计 算 引 擎 进 行 ｉ ｋ 采 对 ｉ ｋ
收 稿 日期 ： ０ 卜Ｏ — ７ 修 回 日期 ： ０ 卜Ｏ — １ ２ １ １１ ； ２ １ ２ ２
基 金 项 目 ： 技 部 Ｉ Ｒ专 项 （０ ９ １ １０ ） 科 ＴＥ ２ ０ ＧＢ ０ ０ ６ ； 中科 院 知 识 创 新 工 程 重 要 方 向 项 目 （ Ｃ 一 ＫＪ Ｘ２Ｙｗ— ５ ０ ５ Ｆ １ ） 核 电 项 目 风 险 监 测 器 模 型 及 软 件 系 统 研 发 Ｎ３ ， ９ Ｃ Ｒ２ １ ；
ＣＱＵＡＮＴ。
关 键 词 ： ｉ Ａ； 算 引擎 ； 性 分 析 ； 量计 算 Ｒｓ ｋ 计 定 定 中图 分 类 号 ： Ｌ ６ Ｔ ３４ 文献标志码 ： Ａ 文 章 编 号 ：２ ８０ １ （０ １０ —０ ５０ ０ ５—９ ８ ２ １ ） １０ ７ —５
Ａｐｐ ｉ ａ ｉ ｎ ｏ ａ ｃ ｌ ｔｏ ｎ ｉ ｅ ｏ ｓ Ａ ｏ ｎ ｃ ｅ ｒ ｐ ｗｅ ｌ ｎｔ Ｓ ｌｃ ｔｏ ｆ ｃ ｌ ｕ ａ ｉ ｎ ｅ ｇ ｎ ｆＲｉ ｋ ｔ ｕ ｌ ａ ｏ ｒ ｐ ａ ’
的定 量 计 算 。Ｐ ＲＡＱＵＡＮＴ 可 以在 计 算 时 使 用多 种 最 小 割 集 计 算 引 擎 ， Ｃ 如 ＱＵＡＮＴ、 Ｒ Ｌ Ｓ以及 ＲＳ Ｅ ＭＣ ＡＴ 等 ［ ， ７ 软件 包 中原 有 的 ］ 计 算引 擎 为 Ｃ ＱＵＡＮ Ｔ。Ｃ ＱＵＡＮＴ 求 解 大 规
Ｉ ｓｉ ｔ 开 发 的 Ｆ Ｅ ¨ 、 国 Ｄ ｔ ｙ ｔｍｓ ｎ ｔ ｕｅ ｔ ＴＲ Ｘ ５ 美 ］ ａａＳ ｓｅ