-
题名巷道竖直方向瓦斯传感器部署
被引量：7
- 1
-
-
作者
孙继平
唐亮
-
机构
中国矿业大学(北京)信息工程研究所
-
出处
《煤炭学报》
EI
CAS
CSCD
北大核心
2007年第9期993-996,共4页
-
基金
国家"863"高技术研究发展计划项目(2005AA133070)
电子信息产业发展基金重点项目(财建[2005]688号
+1 种基金
信息产业部
信部运[2005]555号)
-
文摘
针对煤矿井下瓦斯传感器的安放位置参数缺乏提供理论依据,首先建立了巷道几何模型,根据湍流状态下的守恒方程以及湍流动能方程和湍流耗散率方程以及标准k-ε模型,仿真了井下巷道数值方向上瓦斯的分布情况.通过比较巷道纵断面瓦斯的分布情况,得出:瓦斯传感器应放置在距顶板小于等于0.3 m的位置.该结论与煤矿安全标准中的规定吻合.
-
关键词
巷道
瓦斯传感器部署
瓦斯分布
标准κ-ε模型
-
Keywords
roadway
methane sensor placement
methane distribution
standard κ-ε model
-
分类号
TD76
[矿业工程—矿井通风与安全]
-
-
题名基于实体交互模型巷道瓦斯监测WSNs的可用性检验
被引量：2
- 2
-
-
作者
鲍宇
赵亮
陈树召
陆翔
朱紫维
-
机构
中国矿业大学计算机科学与技术学院
中国矿业大学矿业工程学院
矿山数字化教育部工程中心
-
出处
《煤炭学报》
EI
CAS
CSCD
北大核心
2020年第2期836-844,共9页
-
基金
国家自然科学基金资助项目(51204185,51574222)
徐州市应用基础研究计划资助项目(KC17073)
-
文摘
若煤矿瓦斯监测WSNs(Wireless Sensor Networks)系统的功能设计忽略了被监测实体的交互行为,会造成WSNs本身可靠而被监测实体的安全不满足情况,这在生产安全中是非常危险的。为检验WSNs监测系统功能设计的可靠性和可用性,利用时间自动机模型检验方法建立WSNs监测系统模型,检验WSNs系统的可靠性。然后,根据传感器与环境实体间的交互关系,分析煤矿中多个实体的并发行为,提出了监测WSNs与被监测实体交互并发行为的时间自动机模型和可用性性质描述的建立方法,从监测功能设计角度,将被监测实体的安全并入WSNs监测生产安全的功能性质,然后用模型检验方法进行机器检验,保障了监测系统的可用性。对含有并发结构的实体模型,利用分支行为等价构建并发时间自动机模型,再利用实体间的并发分支汇聚行为互模拟的方法,进行了并发行为模型的状态约减,并通过互模拟等价证明了该方法的正确性。状态约减前后的实验对比表明该方法提高了检验效率。最后,对现行巷道中瓦斯传感器的部署标准,利用该方法对其中的实际部署方案进行建模并检验,在模型中考虑实体的并发行为,发现在并发事件发生时,其中一个含支巷的瓦斯部署模型存在一个潜在的瓦斯泄露漏检问题。利用实体建模的模型检验方法需要建立自动建模机制,以提高该方法的实用性。
-
关键词
无线传感器网络
模型检测
时间自动机
瓦斯传感器部署
UPPAAL
-
Keywords
wireless sensor network
model checking
time automata
gas sensor deployment
UPPAAL
-
分类号
TD76
[矿业工程—矿井通风与安全]
TP39
[自动化与计算机技术—计算机应用技术]
-
