煤矿安全监控领域可变性模型.pdf

第 4 3卷 第 1 O期 2 0 1 7年 1 O月 工矿 自 动化 I ndu s t r y a nd M i ne Aut o ma t i o n Vo 1 ． 4 3 NO ． 1 O Oc t ． 2 O 1 7 文 章编 号 1 6 7 1 2 5 1 X 2 0 1 7 1 0 0 0 4 3 0 5 DOI 1 0 ． 1 3 2 7 2 ／ j ． i s s n ． 1 6 7 1 2 5 1 x ． 2 0 1 7 ． 1 0 ． 0 0 9 煤矿安全监控领域可变性模型 原雅 茹 ， 谢 斌红 ， 潘理 虎 ， 张英俊 1 ． 太原科技大学 计算机科学与技术学院，山西 太原0 3 0 0 2 4 ； 2 ． 中国科 学 院 地 理科 学 与资源 研究 所 ， 北京 1 0 0 1 0 1 摘 要 针 对传 统 的软 件 开发 方法每 次 开发 同类 系统 时， 很 少 能复 用之 前 累积 的 开发 经 验 ， 造成 大量 的 重 复性 劳动的 问题 ， 提 出 了软件 产 品线 开发 方 法 ， 并将 该 方法应 用 于煤矿 安全 监控 系统软 件 的开发 中。在 对煤 矿安 全监 控 系统 产品 线 分析 的基 础上 ， 针 对监控 系统 的共性 和 变性特 征 ， 探 讨 了各 特征 之 间的 关 系， 使 用基 于特征 的可变性建模方法构建了煤矿安全监控领域可变性模型。该模型可对监控 系统的可变性进行有效管 理 ， 同时在 特 征依 赖规 则 的指 导 下 ， 可快速 完成 具体 的 可定 制监 控 系统 的需 求特 征 分析 ， 为后 续煤 矿 安 全监 控 领 域 可复 用框 架的 实现 奠 定 了基 础 。 关 键 词 煤矿 安 全监控 ；软件 产 品线 ；可 变性 模 型 ；可 复用框 架 中 图分类 号 TD6 7 文献 标 志码 A 网络 出版 时 间 2 0 1 7 0 9 2 7 1 4 3 6 网络 出版 地址 h t t p ／ ／ k n s ． 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 7 0 9 2 7 ． 1 4 3 6 ． 0 0 9 ． h t ml Va r i a bi l i t y mod e l i n g o f c o a l mi ne s a f e t y mo n i t o r i ng a nd c o n t r o l f i e l d YUAN Ya r u ， XI E Bi n h o n g ， PAN Li h u 一， ZHANG Yi n g j u n 1 ． S c h o o l o f Co mp u t e r S c i e n c e a n d Te c h n o l o g y，Ta i y u a n Un i v e r s i t y o f S c i e n c e a n d Te c h n o l o g y ， Ta i yu a n 03 0 0 24，Chi na；2． I ns t i t u t e of Ge o gr a p hi c Sc i e nc e a n d Na t u r a l Re s o ur c e s Re s e a r c h， Ch i n e s e Ac a d e my o f S c i e n c e ，Be i j i n g 1 0 0 1 0 1 ，Ch i n a Ab s t r a c tTr a d i t i o na l s o f t wa r e de v e l o pm e nt m e t h ods r a r e l y c a n r e us e a c c umul a t e d d e v e l o pme n t e x pe r i m e n t s whe n d e v e l o pe d s a m e s ys t e m ， a n d c a us e v a s t r e pe t i t i ve wo r k． I n v i e w o f t he pr o bl e m ， d e v e l o pme nt me t ho d o f s o f t wa r e p r o du c t l i ne wa s pr o po s e d a nd a p pl i e d i nt o t he s o f t wa r e d e v e l o pme n t f or c o a l mi ne s a f e t y moni t o r i ng a n d c o nt r o l s y s t e m ．On t h e ba s i s o f a n a l y s i s of pr o du c t l i n e o f t he s ys t e m ， r e l a t i o ns hi ps a mo ng c ha r a c t e r i s t i c s o f t he s y s t e m we r e d i s c us s e d a c c or d i ng t o c o mm o na l i t y a n d v a r i a bi l i t y c ha r a c t e r i s t i c s of t he s ys t e m ，v a r i a b i l i t y m o d e l o f t he c oa l mi n e s a f e t y m o ni t o r i ng a nd c on t r o l f i e l d b a s e d on f e a t ur e mod e l i ng m e t ho d o f v a r i a bi l i t y wa s bu i l t ． The mod e l c a n e f f e c t i v e l y ma n a g e v a r i a b i l i t y o f t he s y s t e m ，a nd c a n q ui c kl y c o m p l e t e r e q ui r e m e n t s a n a l ys i s of s pe c i f i c c us t o m i z e d mo ni t o r i n g a n d c o n t r ol s y s t e m und e r gui d a nc e o f t he c ha r a c t e r i s t i c s de pe n de n c y r u l e s a t t he s a me t i m e，wh i c h l a y s f ou nd a t i on f o r f o l l owi n g r e a l i z a t i o n o f r e u s a b l e f r a me wo r k i n t he c oa l mi ne s a f e t y mo ni t o r i n g a nd c o nt r o l f i e l d． Ke y wo r d s c o a l m i n e s a f e t y m o ni t or i n g a n d c on t r ol ；s o f t wa r e p r od uc t l i n e；v a r i a bi l i t y m o d e l ；r e us a bl e f r a me wo r k 收稿 日期 基金项 目 作者简介 2 0 1 7 0 4 1 2 ； 修 回 日期 2 0 1 7 0 6 2 8 ； 责任编辑 张强 。 “ 十--／ i i ” 山西省科技 重大 专项项 目 2 0 1 2 1 1 0 1 0 0 1 ； 山西省 中科 院科技 合作 项 目 2 0 1 4 1 1 0 1 0 0 1 ； 山西省社 会发 展科技 攻关 项 目 2 0 1 4 0 3 1 3 0 2 0 1 。 原雅茹 1 9 9 3 一 ， 女 ， 山西运城人 ， 硕士研究生 ， 研究方 向为软 件体 系结构 、 软件 产品线开发 ，E ma i l 3 9 8 9 1 6 7 5 6 q q ． c o rn。通信作 者 谢斌红 1 9 7 2 一 ， 男 ， 山西 万荣 人 ， 副教 授 ， 硕 士研 究 生导 师 ， 主要 研究 方 向为软 件体 系结 构及 服务 计算 ， E - ma i l x i e b h t y 1 6 3 ． c o rn 。 引用格式 原雅茹 ， 谢斌红 ， 潘理虎 ， 等． 煤矿安全监控领域可变性模型E J 3 ． 工矿 自动化， 2 0 1 7 ， 4 3 1 0 4 3 4 7 ． YUAN Ya r u ， XI E B i n h o n g ， P AN L i h u ， e t a 1 ．Va r i a b i l i t y mo d e l i n g o f c o a l mi n e s a f e t y mo n i t o r i n g a n d c o n t r o l f i e l d [ J ] ． I n d u s t r y a n d Mi ne Au t o ma t i o n， 2 01 7 ， 43 1 0 43 4 7 ． 4 4 工矿 自动化 2 0 1 7年 第 4 3卷 0 引 言 随着 科 学 技术 和 煤 炭 产业 的发 展 ， 煤 矿安 全 生 产对 安全 监控 系统 提 出 了高 安全 性 、 高 可靠 性 和高 度集 成化 新要 求 ， 导致 现 有 的安 全 监 控 系统 暴 露 出 越来 越多 的 问题 [ 1 ] 。一 方 面 ， 系 统 缺乏 统 一 的标 准 和规 范 ， 各 自封 闭独 立 ， 无 法 进 行 有 效 的集 成 与 扩 展 ； 另 一 方 面 ， 系 统结 构 僵 化 、 脆 弱 、 不 具有 弹性 ， 难 以适 应技 术发 展和 需 求 变 化要 求 ， “ 软 件 危 机 ” 不 断 显露出来 。因此， 如何经济快速地开发出随需应变 的 、 高质量 的软件产 品成 为一 个 亟需解 决 的 问题 。 面对 日益 复 杂 的软 件 系 统 ， 软 件 复用 被认 为是 解决 “ 软 件危 机”的重要 途 径 之一 。软 件 产 品线 S o f t w a r e P r o d u c t L i n e ，S P L 作 为 软 件 复 用 的前 沿研 究 ， 已成 为学术 界研 究 热点 ， 并在 工业 界得 到初 步应 用 _ 3 _ 。软件 产 品线是 一 种面 向特 定领 域 的 ， 以 全 面 、 系统 的软件 复用 为基 础 的软件 开发 方法 ， 主要 目标是通过复用产品线核心资产实现一系列相似应 用产 品 的开 发 ， 从 而缩 短软 件上 市 时间 ， 提高 开发 效 率 ， 降低开发成本及提高产品质量等[ 4 ] 。而传 统的 软件开发每次面临同类 系统 的开发时 ， 基本上都是 从零 开始 ， 很 少能 复用 之前 累 积 的开 发 经验 ， 造成 大 量 的重 复性 劳动 。针 对传 统软 件开 发方 法存 在 的不 足 ， 本文 研究 了一 种 软件产 品 线开发 方 法 ， 并 将此 方 法应 用 于煤 矿安 全监 控 系统软 件 的开发 中。通过 对 煤 矿安 全监 控领 域 中 的应 用 实 体 进 行 分 析 ， 识 别 出 该 领域 的 共 性 与 变 性 ， 并 对 其 进 行 适 当设 计 和 重 用 _ 5 ] ， 最 终构 建 出领 域 可变 性 模 型 。这 为 进 一 步 实 现 煤矿 安全 监控 领 域 可 复 用框 架 奠 定 了基 础 ， 也 为 同类系统定制化开发提供了核心资产 ， 并在一定程 度 上解 决 了“ 软 件危 机” 所 带来 的问题 。 1 煤 矿安 全监 控 系统 通 过分 析 近年来 所 开发 的煤 矿安 全监 控系 统发 现 ， 许 多 系统虽 然采 用 的技术 不 同 ， 但是 都 有许 多相 似功能 ] ， 如图 1所示。首先都有数据采集模块 ， 负责 采集监 控 对象 的信 息 ， 然 后 经 过 数 据 的分 析 处 理 保存 到数 据 库 中 ， 最后 再 以多 种方式 列 表或 者 图 形 实 时动 态展 示 这 些 监 控 信 息 。这 些 系 统 的核 心 功能 大 同小异 ， 业 务流 程基本 相 同 ， 类 似一 个模 板 。 基于 以上 分析 ， 本 文 提 出一 个 煤 矿 安 全监 控 系 统 的软件产 品 框 架 F r a me wo r k ， 该 框 架 实 现 了 大 多数 煤矿 安全 监控 系统 应 具 备 的共 性 功能 ， 并 能对 可变 性 进 行 有 效 的 管 理 。 监 控 系 统 框 架 开 发 完 成 图 1煤 矿 妥 全 监 控 系 统 功 能 结 构 Fi g ．1 Fu nc t i o n s t r u c t ur e o f c oa l mi ne s a f e t y mon i t o r i ng a nd c on t r o l s ys t e m 后 ， 当需要 开 发一个 新 的监控 系统 时 ， 系统 的共性 功 能 由框架 提供 ， 可 变 部分 利 用 组 件 技术 进 行 二 次 开 发 和扩展 。 2软件 产 品线开 发 软件 产 品线 的开 发 过 程包 括 2个 关键 活 动 领 域 工 程 Do ma i n E n g i n e e r i n g 和 应 用 工 程 Ap p l i c a t i o n E n g i n e e r i n g _ g ] ， 每 个 过 程 由需 求 、 设 计和实现 3个阶段组成 ， 如图 2所示 。其中领域工 程 阶段 主要 完成 可 复用 核 心 资 产 的 开发 ， 应 用 工程 阶段在 领域 工程 的产 出 可 复用 平 台和核 心资产 基 础 上完 成具 体 的可定 制产 品 的开发 。领域 工程 中领 域 分析 阶 段 D o ma i n An a l y s i s 需 求 的可 变 性 建 模 是 实 现煤矿 安全 监控 系统 产 品线领域 工程 阶段 的一 项 关键 活动 ， 也 是实 现 煤 矿 安全 监 控 领 域 可 复 用框 架 的重点 和难 点 。 领域 工程 - ．。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 ’ ’ 一 ’ 一 ’ 一 一 一 一 一 ● 应 用 工 程 共性 资产 。 可变性资产 图 2软件产品线开发过程 Fi g． 2 De v e l opme nt pr oc e s s o f s o f t wa r e p r odu c t l i ne 3特征 可变 性建模 分 析 可 变性 建 模 是软 件 产 品线 的关 键 问题 ， 可 变 性 2 0 1 7年 第 1 0期 原雅 茹 等 煤 矿安 全监 控领 域 可 变性模 型 4 5 模 型实 现 了产 品家族 成 员 的共 性 和 变性 的描 述 _ 1 。 本 文在 对煤 矿 安全 监 控 系 统 产 品 线 分 析 的基 础 上 ， 针 对监 控 系统 的共 性 和 变 性 特 征 ， 探 讨 了各 特征 之 间的关系 ， 最后使用一种基于特征的可变性建模方 法口 妇 构建了煤矿安全监控系统 的可变性模型。 3 ． 1 特 征及 特 征之 间的 关 系识 别 特征是指从用户角度 观察到 的软件特性 ， 其满 足一 个 或 者 多 个 用 户 需 求口 。特 征 之 间 的关 系 通 常 出现 在特 征模 型 的父特 征 和子 特征 之 间 。识别 出 特 征之 间 的关 系 ， 有 助 于识 别 出特 征 的可 变 性 。在 特 征 模 型 中 表 示 的 特 征 关 系 有 2种 层 次 关 系 Hi e r a r c h i c a l Re l a t i o n s h i p 和依赖关系 De p e n d e n c y Re l a t i o n s h i p 。 3 ． 1 ． 1 层次关系 1 组 成关 系 C o mp o s e d o f 当父 特 征 由多 个 子特 征组 成 时 ， 父 特 征 与 子 特 征 之 间 是 组 成 关 系 。 如数据采集特征 由采集 、 传感器显示 和传感器报警 3 个 子 特征 组成 。 2 泛 化 ／ 特 化 关 系 S p e c i a 1 i z a t i o n 如 果 父 特 征是从子特征泛化出来 的， 那么父特征 和子特征之 间是 泛化 关 系 ， 子 特 征 和 父 特 征 之 间 是 特 化 关 系 。 如报警特征的子特征有声音报警特征 ， 声音报警特 征 又 由蜂 鸣器 和 报 警 喇 叭 2个 子 特征 组 成 。所 以 ， 报警特征和声音报警特征之间是泛化关系。 3 可变 点关 系 Va r i a t i o n P o i n t 如果 父 特 征 节 点 至少有 一 个直 接 的子 特 征 ， 且 子 特 征 是 可 变 特 征 ， 那 么在 父特 征 和子 特征 之 间有可 变关 系 ， 父 特 征 节点和它的直接可变子特征一起 叫做可变点 。如传 感 器可 以设 置 在多个 地 点 ， 并 且 是可 变 的 。 3 ． 1 ． 2 依 赖关 系 1 需要关系 R e q u i r e 如果一个特征需要使 用 另一 个特 征来 完 成 它 的 任务 ， 那 么 这 2个 特征 之 间是需要关系 。如传感器的报警功能依赖于对应的 传 感器 。 2 排 斥 关 系 E x c l u d e 如 果 一 个 特 征 与 另一个特征相互 矛盾 ， 它们 不能 同时配置 ， 那 么这 2个特 征 是 排 斥 关 系 。如 断 电 和 复 电 操 作 是 互 斥 的 。 3 影 响关 系 I n f l u e n c e 当选 择 一 个 特 征 配 置应 用 产 品时 ， 这种 选择 对另 一个 特征 产 生 了影 响 ， 那么这 2个特征之间是影响关系 。如传感器的设置 地 点与 对应 的传 感器 种类 有关 。 3 ． 2 特 征 可 变性识 别 通过分析领域需求 ， 并判别哪些需求是被该领 域 系统 广泛共 享 的 ， 哪 些是 可变 的 ， 最 后确 定领域 的 共性 与 变性特 征 。煤矿 安全 监控 系统 的特 征分 为必 选 、 可 选 、 单选 和 多 选 特征 ] ， 见 表 1 。识别 出监 控 系统 特 征 的 可 变 性 ， 有 助 于 监 控 系 统 特 征 模 型 的 构建 。 表 1 监控系统特征可变性分类 Ta b l e 1 Cl a s s i f i c a t i o n o f f e a t u r e v a r i a b i l i t y o f mon i t o r i ng a nd c on t r o l s y s t e m 特征可变性类别 描述 必 选 Ma n d a t o r y 产 品 线 的所 有 严 品 中郡 出现 的 特 ，仳 可选 Op t i o n a 1 产 品线 的部分产 品中出现的特征 产 品线 的 产 品 中 只能 从 特 征 集 中 选 择 单选 A 1 “ i 一 个特征 产 品线 的 产 品 中 至少 要 从 特 征 集 中 选择 多选 O 一 个特征 4可变性 模 型构建 4 ． 1 煤矿 安 全监控 领域 的特征 可 变性 建模过 程 首先 通 过 分 析煤 矿 安 全监 控 领域 需 求 ， 确 定监 控 系 统 的共 性 与可 变 性 特 征 ， 然后 识 别 这 些 特征 之 间 的 关 系 ， 最 后 构 建 出 监 控 系 统 的 可 变 性 模 型 Va r i a b i l i t y Mo d e 1 和 特 征 依 赖 图 D e p e n d e n c y Gr a p h 。煤矿安 全监控领域特征 的可变性建模过 程 如 图 3 所 示 。 H 领 域 需 求 H 共 性 和 变 性 特 征 l f 丽 泛 化 十叫 监 控 领 域 两 匣 銮 丝 型 丽 塑 } 压 十 叫 监控领域 影 i l 壁 堑 堡 塑图 图 3 煤矿 安全监控领域特征的可变性建模过程 Fi g ． 3 Va r i a b i l i t y mo d e l i n g p r o c e s s o f c o a l mi n e s a f e t y m o n i t o r i n g a n d c o t n r o l f i e l d 4 ． 2 煤 矿安 全监 控领 域 可 变性 模型 构建 通过 参考 AQ 6 2 0 1 6 煤 矿安 全 监 控 系统 通 用 技 术要求 [ 1 4 等标准和规范 ， 并对若干典型的煤矿安 全监 控 系 统 进 行 分 析 ， 最 后 采 用 F e a t u r e I D E 工 具n 构 建 了煤矿 安 全 监 控 系 统 的可 变 性 模 型 ， 如 图 4所示 。 煤矿安全监控领域产 品线 数据采集l l 监控 l／1 报警 【 l 决策l I 调节l ＼ l 存储与查询 l l 打印I l 显示 信息传输 l l 特征与其他功能 必选特征O可选特征 图 4 煤矿安全监控领域可变性模型 Fi g ．4 Va r i a bi l i t y mod e l o f c o a l mi ne s a f e t y mo ni t or i n g a nd c o nt r o l f i e l d 4 6 工矿 自动 化 2 O 1 7年 第 4 3卷 从 图 4可 知 ， 煤 矿安 全监 控 系统 都 要实现 数据 采集 、 信 息 传输 、 控制 、 报 警 、 存 储 与 蠢 询 及 示 、 打 印等功 能 ， 同 时 部 分 系 统 还 具 有 调 节 和决 策 功 能 。 针 对每 个 功能 ， 可进 一 步细化 它 的子功 能 。 数 据 采集特 征 模 型如 罔 5所 示 。 从 罔 5可 知 I ， 煤矿安令 监控领域产 品线 数据采蜒 数据 采集 特征 F } { 3个 子 特 征组 成 ． 必 选特 征 为 采 集 平 1 】 传 感器 显示 ， 可 选 特 征 为 传感 器 报 警 。采 集 特 7 iF 义包 括传 感器 特征 模拟 量和 开关 量 和传感 器设 置 地点 特征 。 采集 l l 传感器礤示I l 传感器报警 传感器 改置地 点 传感 器 △多选特 征 l l 牢 I【 i l ，_ _ |l ～ r ～ { I 烷l l 风 l l 风压l l ’ l l 瓦斯l l 温度 I l 其他l l瓦电闭锁f l 风电闭锁l I 机电设符供电状 5 数 据 采 集 特 征模 型 Fi g ．5 Fe a t ur e mo de l i n g o f da t a a c q ui s i t i on 图 6 煤 矿 安 全监 控 领 域 特 依 赖 I 冬 1 Fi g． 6 Fe a t ur e de p e nde nc y gr ap h o f㈣ al n l i l l C s a f e t y mon i t o r i ng a nd c ont r ol f i el d 1 ． 4 可定 制煤 矿安 全监控 系统 需求 实现 在 4 ． 2节所 构建 的煤 矿 安全监 控领 域 可变性 模 型 的基础 上 ， 使 用 F e a t u r e l 1 E 工 具 ， 可 通 过 配 黄 特 征 的方式 快 速为 一个 具体 的 可定制 煤矿 安 令监控 系 统确 定所 属 特征 集 。在构 建 完监控 领域 的 町变性 模 型后 ， 亓 丁 以 得 到 一 个 煤 矿 安 ．牟 监 控 系 统 的 特 征 集 。 罔 7为 与 图 5巾数 据 采集 特征 模型 对 应的可 配置 的 特征 集 。在特 征依 赖规 则 的指 导 下 ， 开 发 者 呵 以快 速完 成可 定制 监控 系统 的需 求 分 析 工 作 ， 根 据 需 要 选择 所需 的特 征 ， 得 到 一个 具 体 的煤 矿 安 伞 监 控 系 统 的特 征 集 ， 如 图 8所示 。 当选 择 烷传 感器 时 ， 系 统 会根 据特 征 问的 约束规 则 自动选择 传感 器 没置地 点特 煤 与瓦 斯 突 出 。当选 择 瓦 斯 传感 器 时 ， 根 据特 征问 约束规 则 ， 其安装 位置 有 3种选 择 ， 此 处需 要手动 选择 传感 器 特 征 工 作 面 。同理 ． 在 特征 约 束规 则指 导下 ， 可完 成其他 特征 的选 择 。 鼹 煤 矿安全监控系统 一瀚 数据采集 一戮 采集 戮 传 感器设置地 点 A 口 上隅角 A 口 采煤机 A 口 回风巷 A 口 掘进巷 ▲ 口 煤与瓦斯突出 A 口 一 I I 作面 A 疆 其他 -黼 传感 器 瀚 模拟量 A 圈 甲烷 A 圈 风摄 囝 风j K A 口 c A 日 瓦斯 A 口 温 度 A 臼 其他 爨 开关量 A 口 风电闭锁 ▲ 髓 瓦电闭锁 A 口 机电 蔷供电状 态 蠲 传感器显示 。圈 传感器报警 图 7煤 矿 安 全 监 控 领 域 数 槲 采 集 特 Fi g．7 I a t a a c q ui s i t ion f e a t u r e s of c oa 1 mi n e mo ni t or i n g a nd c ont r o l f i e l d 5 结 语 利用 煤 矿安 全监 控领域 可变 性模 型 可对煤矿 安 伞监控 系统 特征 的 可 变 性进 行 有 效 的管 理 ； 同 时在 监控 系统特征依赖规则 的指导 下 ， 可快速 完成具 体 的 可 定制煤矿安 全监控系统 的需求 特征分析 ， 在 一定程 2 0 1 7年 第 1 O期 原雅 茹等 煤矿 安 全监控 领域 可 变性 模 型 4 7 一 煤矿安全监控系统 一 ■ 数据采 集 一 采集 。一 一 传感 器设置地 点 A 口 上 隅角 ▲ 口 采 煤机 ． 、 口 回风巷 ▲ 口 掘进巷 A 一 煤 与瓦斯突出 A 田 工 作面 A 口 其他 传感器 一 模拟量 A 田 甲烷 A 口 风量 ▲ 口 风压 A 口 Co A 田 瓦斯 A 口 温度 A 口 其他 一 开关量 ． ＼ 田 风 电闭锁 电闭锁 电设备供 电状 态 图 8 口 】 定 制 煤 矿 安 全 监 控 系统 数 据 采 集 特 征 Fi g． 8 Da t a a c qu i s i t i on f e a t ur e s of c u s t omi z e d c o a l mi n e s a f e t y mo n i t o r i n g a n d c o n t r o l s y s t e m 度上 解决 了煤 矿 安 全 监控 系统 的规 范 化 问 题 ， 也 为 同类系统定制化开发提供 了核 心资产 ， 并 为后续煤 矿安 全监 控领 域 可复 用框 架 的实现 奠定 了基础 。 [1] [2] [3] [ 4] [5] [6] [7] 郭 勇义． 煤矿安全生 产监 控系统集成关键技术 及应用 [ M1 ． 北京 煤 炭工业出版社 ， 2 0 1 2 ． BERGER T ， RUBLACK R ， NAI R D e t a 1 ．A s ur ve y o f v a r i a b i l i t y mo d e l i n g i n i n d u s t r i a l p r a c t i c e[ c 1 ／ ／ Pr o c e e di ng s o f t he Se v e nt h I nt e r n a t i o na l W or k s ho p o n Va r i ab i l i t y Mode l i n g o f So f t wa r e i nt e n s i v e Sy s t e ms， Pi s a， 201 3 ． B ERGER T ， NA1 R D 。 RUB LACK R， e t a I I Th r e e c a s e s o f f e a t u r e - b a s e d v a r i a b i l i t y mo d e l i n g i n i n d u s t r y [ C] ／ ／ Mo d e l D r i v e n E n g i n e e r i n g L a n g u a g e s a n d Sy s t e ms， Cha m ， 20I 4 3 02 3 1 9． M ETZGER A ，POH L K． Sof t wa r e pr odu c t l i ne e ng i ne e r i ng an d v ar i a bi l i t y ma na ge me nt a c hi e ve m e nt s a n d c h a l l e n g e s[C] ／ ／ I C S E F u t u r e o f S o f t w a r e En g i n e e r i n g Tr a c k， 2 0 1 4 7 O 一 8 4 ． SE 1 DL C， S CH US TER S。 S CH AE FER I ． Ge n e r a t i v e s o f t wa r e p r o d u c t l i n e d e v e l o p me n t u s i n g v a r i a b i l i t y - a wa r e d e s i g n p a t t e r n s[ J ] ．C o mp u t e r L a n g u a g e s S y s t e rns St r u c t u r e s ． 2 01 6 ， 5 1 3 l 5 1 1 6 O ． 甄振． 煤矿 安全生产监测 监控 系统的设 计[ D ] ． 济 南 山东大学 ， 2 0 1 3 ． 孙继平 ． 煤 矿 安全 监控 技 术与 系统 [ J ] ． 煤 炭科 学技 术 ， 2 O l O， 3 8 1 0 l _ 4 ． S UN J i p i n g ．Mi n e s a f e t y mo n i t o r i n g a n d c o n t r o l t e c h n o l o g y a n d s y s t e m [ J] ． C o a l S c i e n c e a n d [ 8] [ 9] [ 1 0 3 [ 1 1 ] [ 1 2 1 [ 1 3 1 [ 1 4 1 [ 1 5 ] [ 1 6 - ] Te c hn ol o gy， 2 01 0． 38 1 0 卜4 ． 华钢 ， 宋 志月 ， 王永 星 ， 等． 物联 网环 境下 煤矿 安全监 控系统体 系架 构研 究[ J 1 ． 工 矿 自动化 ， 2 O 1 3 ， 3 9 3 6 9 ． HUA Ga ng， SONG Zhi yu e， W ANG Yo ngx i ng， e t a1 ． Re s e a r c h o f ar c hi t e c t u r e of c o a l mi ne s a f e t y mo ni t or i n g a n d c ont r ol s ys t e m i n t he e nv i r o nme n t of I n t e r n e t o f t h i n g s [J] ． I n d u s t r y a n d Mi n e Au t o mat i o n， 201 3。 3 9 3 6 - 9． ELFAKI A O ． FONG S L． AI K K L T． e t a 1 ．To wa r d s d e t e c t i n g r e d u n d a n c y i n d o ma i n e n g i n e e r i n g p r o c e s s u s i n g f i r s t o r d e r l o g i c r u l e s [ J ] ． I n t e r n a t i o n a l J o u r n a l o f Kn o wl e d g e E n g i n e e r i n g S o f t Da t a Pa r a d i g ms ． 2 O1 3， 4 1 l - 2O ． NI E K M ， LI Z。 FAN Z Q， e t a 1 ． S y s t e ma t i c l i t e r a r t u r e r e v i e w o f s o f t wa r e p r o d u c t l i n e v a r i a b i l i t y mo d e l i n g t e c h n i q u e s [ J ] ． J o u r n a l o f S o f t w a r e ， 2 0 1 3 ， 2 4 8 2 001 2 01 9． 罗代忠 ， 赵 文耘． 一种面 向产品线 的特 征依赖 建模方 法[ J ] ． 计算机应用 ． 2 0 0 8 ， 2 8 9