基于Petri网的煤矿瓦斯爆炸危险源分析.pdf

第 4 1卷 第 9期 2 0 1 5年 9月 工矿 自 动化 I n d u s t r y a n d M i n e Au t o ma t i o n V0 1 ． 41 No ． 9 Se p ． 2 0 1 5 文 章编 号 1 6 7 1 2 5 1 X 2 0 1 5 0 9 0 0 6 7 0 4 D OI 1 0 ． 1 3 2 7 2 ／ j ． i s s n ． 1 6 7 1 2 5 1 x ． 2 0 1 5 ． 0 9 ． 0 1 7 杨萌萌 ， 袁梅 ， 许石青． 基于 P e t r i 网的煤矿瓦斯爆炸危险源分析[ J ] ． 工矿 自动化 ， 2 0 1 5 ， 4 1 9 6 7 7 0 ． 基于 P e t r i网的煤矿瓦斯爆炸危 险源分析 杨 萌萌 ， 袁梅h ， 许石青 。 1 ． 贵州大学 矿业学院 ， 贵州 贵阳 5 5 0 0 2 5 ；2 ． 贵州省非金属矿产资源综合利用重点实验室 ， 贵州 贵 阳 5 5 0 0 2 5 ； 3 ． 贵州省优势矿产资源高效利用工程实验室 ， 贵州 贵 阳 5 5 0 0 2 5 ； 4 ． 复 杂地 质 矿 山开采 安全 技术 工程 中心 ，贵州 贵 阳 5 5 0 0 2 5 摘 要 通过 分析 与 煤矿 瓦斯 爆 炸相 关 的 危 险 源 ， 将 P e t r i 网理 论 与 瓦斯 爆 炸 演 变过 程 结 合起 来 ， 构建 了 基于 P e t r i 网的瓦斯爆 炸演变模型 GE F R P N， 并得 出了如下结论 从 瓦斯爆炸演变模型的推理过程可以很 清 楚 地看 到 瓦斯爆 炸 演 变过程 中各个 危险 源 可信度 的 变化 ， 从 而得 出各 个危 险 源在 瓦斯 爆 炸 演 变过 程 中所 起 的 作 用大 小 ； 由推理 结 果 以及 P e t r i 网图可 分析 危 险 源对 瓦斯 爆 炸 的 重要 度 ， 以便 及 早 采 取 措施 ， 避 免 瓦斯 爆炸事故发 生； 瓦斯爆炸演变模型引入 了置信度 ， 演算结果具有模糊性 ， 克服 了事故树 方法所得 结果与实际 情 况有 一 定 出入 的不足 。 关 键词 瓦斯爆 炸 ； 危 险 源 ；P e t r i 网；模糊 推 理 中图分类号 TD7 1 2 ． 7 文献标志码 A 网络出版时间 2 0 1 5 0 8 2 9 1 5 4 8 网络 出版 地址 h t t p ／ ／ www． c n k i ． n e t ／ k c ms ／ d e t a i l ／ 3 2 ． 1 6 2 7 ． T P ． 2 0 1 5 0 8 2 9 ． 1 5 4 8 ． 0 1 7 ． h t ml An a l y s i s o f d a ng e r s o u r c e o f mi ne g a s e xp l o s i o n b a s e d o n Pe t r i ne t s YANG M e ng m e ng ， YU AN M e i ’ 。 ， 。 一，XU Sh i q i ng 。 1． M i ni ng Col l e g e，Gu i z ho u U ni v e r s i t y，Gu i y a ng 5 5 00 2 5，Ch i na；2． Gu i z ho u Ke y La bo r a t o r y o f Co m p r e he ns i v e U t i l i z a t i o n o f No n m e t a l l i c M i ne r a l Re s ou r c e s，Gui y a n g 55 00 2 5，Chi na； 3． Gui z ho u Eng i ne e r i ng Lab o f Adv a n t a g e M i ne r a l Re s ou r c e s Ef f i c i e nt U t i l i z a t i o n，Gu i ya ng 5 5 0 0 2 5，Chi n a；4． Eng i ne e r i ng Ce nt e r f o r Sa f e M i n i ng Te c hno l o gy Und e r Co m p l e x Ge ol o g i c Co n d i t i o n s ，Gu i y a n g 5 5 0 0 2 5 ，Ch i n a Ab s t r a c t By a na l y z i ng d a ng e r s o ur c e a s s o c i a t e d wi t h m i ne g a s e x pl o s i o n， t he e v o l ut i on m o de l GEFRPN of g a s e xp l os i o n b a s e d on Pe t r i n e t s wa s c o ns t r u c t e d c o mbi ni ng Pe t r i ne t s t he o r y a n d t he e v o l u t i o n o f g a s e x p l o s i o n ，a n d t h e c o n c l u s i o n wa s o b t a i n e df r o m r e a s o n i n g p r o c e s s o f e v o l u t i o n mo d e l o f g as e xp l os i o n，c ha ng e s o f c o nf i d e nc e l e v e l o f da n ge r s ou r c e i n e v ol ut i o n pr o c e s s o f g a s e x p l os i o n c a n be s e e n c l e a r l y， a n d S O t he f un c t i on o f e a c h d a n ge r s o ur c e i n e v o l u t i o n p r o c e s s of ga s e xp l os i o n c a n be o b t a i n e d．Th e i mp o r t a n c e o f d a n g e r s o u r c e t o g a s e x p l o s i o n c a n b e a n a l y z e d b y r e a s o n i n g p r o c e s s a n d P e t r i ne t s d i a gr a m ，S O a s t o t a ke e a r l y me a s ur e s t o a v oi d ga s e x pl o s i on a c c i d e nt s．The e v o l ut i on m o d e l o f ga s e xp l os i o n i nt r o du c e s c o nf i d e n c e ，a nd t he c a l c u l a t i o n r e s u l t s ha ve f uz z i ne s s，o ve r c o me s i ns u f f i c i e nt of f a u l t t r e e m e t ho d whi c h h a s t he r e s ul t s i n c o ns i s t e nt wi t h t he a c t u a l s i t u a t i o n． Ke y wo r d s g a s e x p l o s i o n；d a n g e r s o u r c e ；Pe t r i n e t s ；f u z z y i n f e r e n c e 收稿 日期 2 0 1 5 0 4 2 2 ； 修 回 日期 2 0 1 5 0 7 1 3 ； 责任编辑 胡娴 。 基金项 目 国家 自然科学基金项 目 5 1 2 6 4 0 0 4 ； 贵州省应用基 础研 究计划 重大项 目 黔科合 J Z字{- 2 0 1 4 3 2 0 0 5 ； 贵州 省高校工程技术研 究中心 建设项 目 黔教 合 K Y字1- 2 0 1 3 1 1 1 2 ； 贵州省科 技厅 工业攻关 项 目 黔科 合 GY字 2 0 1 1 3 0 1 2号 。 作者简介 杨 萌萌 1 9 9 0 一 ， 女 ， 山东聊城人 ， 硕士研究生 ， 研究方向为矿山灾害防治 ， E ma i l y a n g me n g me n g 7 7 7 7 1 6 3 ． c o m。 6 8 工矿 自动化 2 0 1 5年 第 4 1卷 0 引言 瓦斯 爆炸 事故 严重 制 约着我 国煤 炭企 业 的安全 生产[ 1 。 ] 。引起 瓦斯爆炸事 故 的因素主要包 括人、 机 、 环 及 管 理 等 ， 这 些 因素 相 互 影 响 、 相 互 作 用_ 4 ] 。 分析煤矿生产中和瓦斯爆炸有关的危 险源 ， 科学合 理地 找 出影 响瓦 斯爆 炸 的关 键 危 险 源 ， 对 这 些关 键 危险源进行重点检查与处理 ， 对减少煤矿瓦斯事故 具有重要意义 。为了降低瓦斯事故发生率 ， 许 多学 者采用了事故树 、 专家系统等分析方法， 但事故树分 析计算结果没有事件概率所具有的模糊性 ， 专家系 统不 能 描述 系统 的并 发 性 。为 了克 服这 些 不 足 ， 本 文在 分 析 瓦 斯 爆 炸 危 险 源 的 基 础 上 ， 将 模 糊 推 理 P e t r i 网理论 [ 5 ] 与瓦斯 爆炸演 变 过 程结 合 起 来 ， 提 出 了基 于 模 糊 推 理 P e t r i网 的 瓦 斯 爆 炸 演 变 模 型 GE F R P N。该 模 型将 引起 瓦 斯 爆 炸 演 变 的 危 险源 、 危 险演 变 的 过 程 以及 危 险 演 变 后 的 结 果 分 别 用 P e t r i 网_ 6 中 的 起 始 库 所 、 变 迁 以 及 目标 库 所 表 示 ] ， 危险因素的真实度与 P e t r i 网中的库所可信度 相对应_ 8 ] ， 范 围为 [ O ， 1 ] 。GE F R P N模 型可以描述 系 统 的并发性 ， 对 分析 煤矿 瓦斯 爆 炸演变 规律 、 找 出 影响瓦斯爆炸的关键 危险源 、 预防瓦斯爆炸事故具 有很大 的实用价值。 1瓦 斯爆 炸演 变模 型 1 ． 1 GEFRP N 模 型 的计 算过程 GE F R P N 定 义为 六 元 组 GE F RP N一 S， R， △， r， 8 。 ， u ， 其中 s为与瓦斯爆炸相关的危险源的有 穷 集合 ， S 一 { S ， S ， ⋯ ， S ； R 为演 变 规则 的 有 穷 集 合r 5 ] ， R-- { R ， R ， ⋯ ， R ； A S R 为 演 变 规 则 的输入 矩 阵 ， △一{ w Ⅳ f 为 逻 辑 量 ， wfJ ∈ { 0 ， 1 ， 当 S 是 R 的输 入 时 ， W 一1 ； 当 S 。 不 是 R 的输 入 时 ， W 一0 ； i 一 1 ， 2 ， ⋯ ， 7 “／ ； J 一 1 ， 2 ， ⋯ ， 优 ； ／ 1 R 为 演 变规 则 的输 出矩 阵 ， r一{ V } V 为逻 辑 量 ， V ∈ { 0 ， 1 ， 当 5 是 R，的输 出 时 ， V 一 1 ； 当 S 不 是 R， 的输 出时 ， V O _ 9 ； 0 。 为 与 瓦 斯 爆 炸 相 关 的危 险 源 的初 始 状 态 ， 9 。 一 0 ， ， ⋯ ， ， 是 危 险 源 S 的初始逻辑状态 ， ∈[ 0 ， 1 ] ， 值 表示 危险源 的 可信度_ 1 叩； U为置信度矩阵 ， U d i a g 一 1 -一 2 ， ⋯， 一m ， j为演变规则 Rj的置信度， j∈[ O ， 1 ] 。 MYC N 的置信度方法[ 7 是一种不确定 的推理 方法 ， 取各子式真值的最大值 为模糊命题析取式的 真值 ， 所用到的 2个极大代数计算方法如下。 1 q 口 0b c ， 贝 0 C ma x a ， b ， 其 中 口 ， 6 ， c为 维 向量 。 2 o A 6 一d ， 则 d ma x 1 5 n b ， 其 中 A 为 咒 m 维 向 量 ， 6和 d 分 别 是 m 维 、 维 向量 。 为 了在极 大代 数计算 中得 到演 变规 则前 提为 真 的可信度 ， 引入 n e g算子 ，其定义如下[ 1 n e g 0 一 1 一 0 1 一 厶 n e g 0 一 厶 r 2 一 n e g 一 n e g A n e g O 一 D 3 式 中 n e g 0 为 r t 维 向量 ， 它 的元 素值 表 示危 险 源 S 不发生的可信度 ； 0 为危险源 s 发生 的可信度 ， 与 n e g 0 相反 ； k为 推理 的步数； 1 为元素 全为 1的 m维 向量 ； l ， 为 m 维 向量 ， 表示 演变 规则 R 的前 提 为假 的可信度 ； 为 m 维 向量 ， 表 示 演 变 规 则 前 提 为真的可信度 。 事件 S 的下一 步状 态 O 抖 应 为 8 一 日 ④ [ r 【 ， z t o 9 ] 4 由此， 可得推理算法 ① 令 k 0 ； ② 由 0 求得 O 抖 ； 若 日 针 ≠ 0 ， 令 k k 1 ， 重 复 步 骤 ② ； 若 0 抖 一9 ， 推理结束 。 1 ． 2 GEF RP N 模 型的特 点 1 To k e n值为每个库所代表命题 的可信度 ， 库所中的 T o k e n介于[ 0 ， 1 ] 之间 ， 即危 险源 的真 实 度介于[ 0 ， 1 ] 之间。 2 危险演变意 味着命题 为真 的变迁 ， 变迁 发 生 后 ， 会产 生新 的 To k e n ， 前面 的 T o k e n并 不消 失 。 3 该模型引入 了置信度 ， 演算结 果具有模糊 性 ， 克服 了搜集 数据 的不充 分性 和基 本事 件 的模 糊 性[ 1 2 ] 。 4 可以描述系统的并发性， 解决 了专家系统 存 在 的重要 问题 [ 1 。 5 演变规则 R 的置信度为 [ O ， 1 ] ， 即每组瓦 斯爆炸危险源相结合必须达 到一定程度 ， 才会发生 危 险 ， 当低 于这 个 阈值 时危 险就不 会发 生 。 2 G E F R P N模型 的应 用 以山西省朱家店煤矿的瓦斯爆炸事故 为例 ， 借 助 瓦斯 爆 炸 演 变 模 型 GE F R P N 来 进 行 事 故 诊 断 。 朱家店煤矿引起瓦斯爆炸 的危险源见表 1 ， 瓦斯爆 炸事故的演变 规则 见表 2 ， 表 中 C 代表 规则 的置 信度 。 瓦斯爆炸事故 P e t r i 网如图 1 所示。 根 据 P e t r i 网 可 得 瓦斯 爆 炸演 变 规 则 的输 入 矩 2 0 1 5年 第 9期 杨 萌 萌等 基 于 P e t r i 网的煤矿 瓦斯 爆炸 危 险源分 析 6 9 表 1 煤矿瓦斯爆炸危 险源 序号 危 险源 序号 危险源 S I 通风机停转 s 2 o 局部通风机 管理不善 S 2 风筒漏 风 s 2 电气接火工艺不合要求 s 3 供 风能力不足 s z z 电缆 接线方 法不 良 s 4 风筒距工作 面过长 s z 。 电缆受机械损伤 S 5 风量不足 S z 变压 器电动机、 开关 内短路 S 6 未 及时处 理聚积瓦斯 S z s 电压 高， 绝缘击 穿导致短路 s 7 采空区瓦斯浓度大 S z s 瓦斯 达到爆 炸浓度 S 8 采空区瓦斯涌出 2 7 瓦斯 、 火源相 遇 S 9 上隅角风速低 2 8 瓦斯 聚积 s 1 o 未按时检测 S 2 g 火源 s l a 断电仪失灵 s 3 o 掘进 工作 面瓦斯 聚积 1 2 断电仪安装位置不当 s 。 1 回采工作 面瓦斯 聚积 1 3 放炮起火 S 3 z 瓦斯漏检 1 4 吸烟 S 3 3 明火 S 1 5 电焊 、 气焊 S 3 4 电气起火 1 6 大灯泡 S 。 5 上 隅角瓦斯 聚积 1 7 撞击 、 摩擦 S 3 6 电气短路 s i s 火区火源 瓦斯 爆炸 S l 。 设备失爆 表 2瓦斯爆炸事故演变规则 规则 条件 结果 C f 规则 条件 结果 c f Rl S l S 3 o 0 ． 6 Rl 7 S1 5 3 0 ．7 R2 S 2 S3 0 0 ． 5 R1 8 Sl 6 S 3 3 0 ．9 R3 S 3 S 3 o 0 ． 6 R1 9 S 3 3 S z 9 0． 5 R4 S 4 S3 o 0 ． 7 Rz 0 S 1 7 S 2 9 0 ． 4 R5 S3 o Sz 8 0 ． 5 R2 11 8 S 2 9 0 ．8 S ， ＆ s 9 s 3 5 O 8 R2 2 S 1 9 S 3 4 0 ． 3 RI S3 5 S3 l 0 ． 4 R2 3 S z 0 S 3 4 0． 5 R83 1 Sz 8 0 ． 6 I 己 2 4 S z l S 3 6 0 ．6 R9 S 5 S3 l 0 ． 7 R2 5 S z 2 S 3 6 0． 4 R1 0 S 6 S 2 8 0． 6 Rz 6 S 2 3 S 3 6 0 ．6 R1 1 Sl 0 S 3 2 0 ． 4 R2 7 S 2 4 S 3 6 0 ．6 R1 2 Sl l S3 2 0 ． 7 R2 8 S z s S 3 6 0． 5 R1 3 Sl z S 3 2 0． 5 Rz 9 S 3 6 S 3 4 0 ．7 R1 4 S3 2 S 2 8 0． 8 R3 o S 3 4 S 2 9 0 ．8 S 2 8 S 2 9 ＆ R1 5 Sl 3 S 3 3 0． 6 1 。Q c S 3 7 0 ．5 2 6 OL 27 R1 8 Sx 4 S 3 3 0． 6 阵 厶和 输 出矩 阵J 1 ， 演 变 规 则 的 置 信 度 为U一 图 1瓦斯爆炸 事故 P e t r i 网 d i a g 0 ． 6 0 0 ， 0 ．5 0 0， 0 ．6 0 0， 0 ．7 0 0， 0 ．5 0 0， 0 ．8 0 0 ， 0 ． 40 0， 0 ．6 0 0， 0．7 0 0， 0．6 0 0， 0 ．4 0 0， 0 ．7 00， 0 ．5 00， 0 ． 8 00， 0． 6 0 0， 0．6 0 0， 0 ．7 0 0， 0．9 0 0， 0 ．5 0 0， 0 ．4 0 0， 0 ． 80 0， 0． 3 0 0， 0 ．5 0 0， 0．6 0 0， 0 ．4 00， 0 ．6 0 0， 0 ．6 00， 0 ． 5 0 0 ， 0 ． 7 0 0 ， 0 ． 8 0 0 ， 0 ．5 0 0 ； 设 初 始 状 态 0 。 一 O ． 0 2 2， 0 ． 0 2 4， 0 ． 0 3 1 ， 0 ． 0 2 5， 0 ． 0 8 0 ， 0 ． 5 0 0， 0 ． 4 2 0 ， 0 ．44 0， 0 ． 03 0， 0．0 1 0， 0．0 2 4， 0 ．0 25， 0 ．0 08， 0 ．00 2， 0 ． 02 0， 0． 0 0 2， 0．2 2 0， 0．0 8 0， 0 ．0 28， 0 ．03 0．0 ．03 0， 0 ． 02 4， 0． 0 2 6， 0 ． 02 6， 0 ． 02 8， 0． 0 8 0， 0 ．3 5 0， 0， 0， 0， 0， 0 ， 0， 0 ， 0， 0 ， O ； V。 一 0 ． 9 7 8， 0 ． 9 7 6， 0 ． 9 6 9， 0 ． 9 7 5 ， 1， 0． 9 7 0， 1， 1， 0 ．92 0 ．5 00， 0 ．99 0， 0 ．9 7 6， 0．9 7 5， 1， 0 ． 99 2， 0． 9 9 8， 0 ． 98 0， 0 ．9 9 8， 1， 0 ．7 8 0， 0． 9 2 0， 0 ．9 7 2， 0 ． 9 7 0 ， 0 ． 9 7 0， 0 ． 9 7 6 ， 0 ． 9 7 4， 0 ． 9 7 4， 0 ． 9 7 2 ， 1 ， 1 ， 1 ； p o 0 ． 0 2 2 ， 0 ． 0 2 4 ， 0 ． 0 3 1 ， 0 ． 0 2 5 ， 0 ， 0 ． 0 3 ， 0 ， 0 ， 0 ． 0 80 ． 5 00， 0 ．01 0， 0．0 2 4， 0 ．02 5， 0， 0 ．00 8， 0 ．0 02， 0 ． 02 0， 0． 0 0 2， 0， 0． 2 2 0， 0． 0 8 0， 0 ． 02 8， 0． 0 3 0， 0 ． 03 0， 0 ． 0 2 4 ， 0 ． 0 2 6 ， 0 ． 0 2 6 ， 0 ． 0 2 8 ， 0 ， 0 ， 0 ； 则 0 一 O ． 0 2 2 ， 0 ． 0 2 4， 0 ． 0 3 1 ， 0 ． 0 2 5 ， 0 ． 0 8 0， 0 ． 5 0 0， 0 ． 4 2 0 ， 0 ． 4 40， 0 ．03 0， 0 ．01 0， 0 ．02 4， 0．0 2 5， 0．0 0 8， 0 ．0 02， 0 ． 0 2 0， 0 ．00 2， 0．2 2 0， 0． 08 0， 0．0 2 8， 0．0 3 0．0 ．0 3 0， 0 ． 0 24， 0 ．02 6， 0．0 2 6， 0．0 2 8， 0 ．0 8 0， 0 ．3 5 0， 0 ．3 00， ．云 印 即 如 劫 7 0 工矿 自动化 2 0 1 5年 第 4 1卷 0． 0 8 8， 0 ．0l 9， 0 ．05 6， 0．0 l 7， 0．01 4， 0 ．01 5， 0 ．02 4， 0 ． 0 1 8 ， O ‘ 。同理 可 得 。 一 0 ． 0 2 2 ， 0 ． 0 2 4 ， 0 ． 0 3 1 ， 0． 0 2 5， 0 ．08 0， 0 ．5 0 0， 0．4 2 0， 0．4 4 0， 0 ．03 0， 0 ．01 0， 0． 0 2 4， 0 ．0 25， 0 ．0 08， 0．0 0 2， 0．0 2 0， 0 ．0 02， 0 ．22 0， 0． 0 8 0， 0 ．02 8， 0 ．03 0， 0．0 3 0， 0．0 2 4， 0 ．02 6， 0 ．02 6， 0． 0 2 8， 0 ．0 80， 0 ．35 0， 0．3 0 0， 0．0 8 8， 0 ．01 9， 0 ．05 6， 0 ． 0 1 7， 0 ． 0 1 4， 0 。 0 1 5， 0 ． 0 2 4 ， 0 ． 0 1 8， 0 。 0 4 0 ； 0 。一 0 ． 0 2 2 ， 0 ． 0 2 4， 0 ． 0 3 1 ， 0 ． 0 2 5 ， 0 ． 0 8 0， 0 ． 5 0 0， 0 ． 4 2 0， 0． 4 4 0， 0．0 3 0， 0 ．O 1 0， 0 ．0 24， 0 ．02 5， 0．0 0 8， 0 ．0 02， 0． 0 2 0， 0 ．00 2， 0 ．2 2 0， 0．0 8 0， 0 ．0 2 8， 0 ．03 0， 0 ．03 0， 0． 0 2 4， 0 ．02 6， 0 ．02 6， 0．0 2 8， 0．0 8 0， 0 ．35 0， 0 ．3 0 0， 0． 0 8 8， 0 ．01 9， 0 。05 6， 0．0 1 7， 0。0 1 4， 0．01 5， 0． 02 4， 0 ． 0 1 8， 0 ． 0 4 0 。 因为 9 。 一O ， 推理结 束 。 由推理结果可知 S 。 的可信度为 0 ． 3 0 0 ， S 。 的可 信度为 0 ． 0 8 8 ， S 。 。 的可信度为 0 ． 0 1 9 ， S 。 的可信度为 0 ． 0 5 6 ， S 。 。 的可信度为 0 ． 0 1 7 ， S 3 。 的可信度为 0 ． 0 1 4 ， s 3 的可信度为 0 ． 0 1 5 ， S 。 的可信 度为 0 ． 0 2 4 ， S 。 的 可信度为 0 ． 0 1 8 ， S 。 的可信度为 0 ． 0 4 0 。 由推 理 过 程 可看 出 ， 煤 矿 瓦斯 爆 炸 由起初 的通 风机停 转 、 风筒 漏 风 、 供 风 能 力 不 足 、 风筒 距 工 作 面 过 长 、 风量 不足 、 未 及时 处理 聚集 瓦斯 等小 的危 险源 演变为瓦斯聚集 、 产生火源 、 瓦斯掘进面聚集等大的 危险源， 是在几个危险因素的共同作用下演变而成。 推理共进行 了 3次 ， 每次代表了瓦斯爆炸危 险 演变的一个步骤 ， 每次推理各库所的可信度变化 ， 代 表了各危险源在瓦斯爆炸演变过程中所起作用的大 小与所处状况 的变化。例如初始状态时瓦斯 聚集 、 产生火源 、 瓦斯掘进面聚集的可信度都为 0 ， 此时它 们对瓦斯爆炸还起不了作用 ， 但随着演变的推进 ， 它 们 的可信 度变 为 0 ． 3 0 0 、 0 ． 0 8 8以及 0 ． 0 1 9 ， 它 们 的 重要度增加了， 最终导致瓦斯爆炸的发生 。 由演算结果可知瓦斯聚集引起爆炸的可能性最 大 ， 所 以应将 防止 瓦 斯 聚集 放 在 预 防瓦 斯 爆 炸 事故 的第 1 位 。由 P e t r i 网可看 出 ， 在与 瓦斯 积聚 有关 的 危险源中， S 对 S 有 直接影响且它 的可信 度 比较 大 ， 所以应及早控制 S 。 ， 使 其可信度降低 。同理也 可以根据推理结果 以及 P e t r i 网分 析其他危 险源， 确保较小的危险源在还没转化为较大危险源时就被 及时发现 ， 并采取相应措施来降低其可信度 ， 从而避 免 瓦斯 爆炸 事故 的发 生 。 律 ， 得 到如 下结 论 1 从瓦 斯爆 炸演 变模 型 的推 理过 程 可 以很 清 楚地看到瓦斯爆炸演变过程中各个危险源可信度 的 变化 ， 从而得 出各个危险源在瓦斯爆炸演变过程 中 所 起 的作用 大小 。 2 由推 理结 果 以及 P e t r i 网图 可 分 析 危 险 源 对瓦斯爆炸的重要度 ， 可 以及早采取措施使小的危 险源在还没转化为较大危险源时降低其可信度 ， 从 而避免 瓦斯 爆炸 事故 发生 。 3 瓦斯爆炸演变模 型引人了置信 度， 演算结 果 具有 模糊 性 ， 克服 了事 故 树 方 法所 得 结 果 与 实 际 情 况有 一定 出入 的不足 。 参考文献 [1 ] 耿瑞雄 ． 高瓦斯矿井 瓦斯爆炸 冲击 波传 播规 律的数值 模 拟研 究[ D ] ． 太原 中北大学 ， 2 0 1 4 ． [9 ] I- l o 3 3结 论 [ 1 2 3 结合模糊 P e t r i 网构建 了煤矿瓦斯爆炸演变模 1- 1 3 3 型 G E F R P N， 分析 了煤矿 瓦斯爆 炸事 故 的演 变规 孙继平 ． 电气火源引起 的特别重大 瓦斯爆炸事 故案例 分析[ J ] ． 工矿 自动化 ， 2 0 1 2 ， 3 8 2 1 - 5 ． 魏 春 荣． 多孔 材 料 对 瓦斯 爆 炸 抑 制 作 用研 究 [ D ] ． 哈尔滨 哈尔滨工业大学 ， 2 0 1 3 ． 袁保 清． 基 于事故树分析 的煤矿 瓦斯爆 炸事故危险 源 风 险管理研 究[ J ] ． 中州煤炭 ， 2 0 1 4 3 5 8 6 1 ． 杨琳 ， 倪俊芳． 基于模 糊推理 P e t r i 网废 旧家电产 品拆 卸回收[ J ] ． 能源研究与信息 ， 2 0 1 3 ， 2 9 2 8 7 9 0 ． 厉 海涛． 基于 风险状 态 的安全性 分 析方 法研 究 I D] ． 长沙 国防科学技术 大学 ， 2 0 1 2 ． 赵鹏辉． 基 于模糊 P e t r i 网的采空 区危 险演变模 型 的 研 究E D ] ． 西安 西安建筑科技大学 ， 2 0 1 0 ． W ANG W e i mi ng，PENG Xun，ZHU Guo ni u，e t a 1 ． Dy n a mi c r e p r e s e n t a t i o n o f f u z z y k n o wl e d g e b a s e d o n f u z z y p e t r i n e t a n d g e n e t i c - p a r t i c l e s wa r m o p t i mi z a t i o n [ J ] ．E x p e r t S y s t e ms wi t h Ap p l i c a t i o n s ， 2 0 1 4， 4 1 4 1 3 6 9 1 3 7 6 ． SHEN V R L， LAI H Y ， LAI A F． Th0 i mp l e me n t a t i o n o f a s ma r t p h o n e - b a s e d f a l l d e t e c t i o n s y s t e m u s i n g a h i g h - l e v e l f u z z y P e t r i n e t 1, J ] ．Ap p l i e d So f t Comp ut i ng，2 015， 263 90 40 0． AM I N M ， SHEBL D． Re a s on i n g dy na mi c f u z z y s y s t e ms b a s e d o n a d a p t i v e f u z z y h i g h e r o r d e r Pe t r i n e t s 1, J ] ． I n f o r ma t i o n S c i e n c e s ， 2 0 1 4 ， 2 8 6 1 1 6 1 1 7 2 ． RI BARI C S。 HRKAC T． A mo d e l o f f u z z y s p a t i o t e mp o r a l k n o wl e d g e r e p r e s e n t a t i o n a n d r e a s o n i n g b a s e d o n h i g h l e v e l P e t r i n e t s[ J ] ． I n f o r ma t i o n S y s t e m s ，2 0 1 2， 3 7 3 2 3 8 2 5 6 ． 刘 萍． 基于故 障树和模 糊 P e t r i 网的城轨 车辆 塞拉 门 可靠性分析[ D ] ． 南京 南京理工大学 ， 2 0 1 4 ． 熊伟． 基 于 P e t r i 网 的远 程 智 能 故 障诊 断 方 法研 究 [ D ] ． 北京 华北电力大学 ， 2 0 1 4 ． ] ] ] ] ] ] ] 2 3 4 5 6 7 8 [ [ [ [ [ [ [