作者：鲍宇,赵亮,陈树召,陆翔,朱紫维 单位：中国煤炭学会 出版：《煤炭学报》2020年第02期 页数：9页  （PDF与DOC格式可能不同） PDF编号：PDFMTXB2020020350 DOC编号：DOCMTXB2020020359 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 若煤矿瓦斯监测WSNs(Wireless Sensor Networks)系统的功能设计忽略了被监测实体的交互行为，会造成WSNs本身可靠而被监测实体的安全不满足情况，这在生产安全中是非常危险的。为检验WSNs监测系统功能设计的可靠性和可用性，利用时间自动机模型检验方法建立WSNs监测系统模型，检验WSNs系统的可靠性。然后，根据传感器与环境实体间的交互关系，分析煤矿中多个实体的并发行为，提出了监测WSNs与被监测实体交互并发行为的时间自动机模型和可用性性质描述的建立方法，从监测功能设计角度，将被监测实体的安全并入WSNs监测生产安全的功能性质，然后用模型检验方法进行机器检验，保障了监测系统的可用性。对含有并发结构的实体模型，利用分支行为等价构建并发时间自动机模型，再利用实体间的并发分支汇聚行为互模拟的方法，进行了并发行为模型的状态约减，并通过互模拟等价证明了该方法的正确性。状态约减前后的实验对比表明该方法提高了检验效率。最后，对现行巷道中瓦斯传感器的部署标准，利用该方法对其中的实际部署方案进行建模并检验，在模型中考虑实体的并发行为，发现在并发事件发生时，.....。

    📙 相关资料

    1. 《基于UPPAAL的数据关联时序有限自动机模型验证》PDF+DOC 对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。...
    2. 《基于时间自动机的工业控制系统网络安全风险分析》PDF+DOC 随着工业控制系统开放性增强，大量工业控制协议漏洞暴露在互联网上，造成了工业控制系统安全风险急剧上升。文章针对工业控制系统中最常用的Modbus协议，以典型灌装环节为例，提出了一种基于时间自动机的工业控制系统网络安全分析方法，并对针对Modbus协议的中间人攻击进行了形式化分析和验证。首先结合灌装生产......
    3. 《井下瓦斯自动监测报警断电系统的设计》PDF+DOC 随着我国煤矿机械化程度的提高，对煤矿安全仪器的研究和应用相应地提出了新的要求.《煤矿安全规程》中，有8条是关于在采、掘工作面及装煤点等处，装设瓦斯自动监测报警断电装置的规定.在煤矿设计中如何结合矿井的不同特点，选择合适的瓦斯断电(遥测)仪和与之配套的电气设备，作为煤矿井下瓦斯自动监测报警断电系统，是......
    4. 《多通道瓦斯参数监测仪的设计与应用》PDF+DOC 为了实现乏风瓦斯密度层分实验装置的在线监测和实时控制，本文提出了基于虚拟仪器架构的多通道瓦斯参数检测仪，在多串口采集卡的基础上实现多个瓦斯传感器的数据采集，并将直流电源和数字信号集成在同一路工作电缆中，从而便于实现采集点的设置和调整。另外通过上位机的数据处理软件实现了多通道瓦斯参数的波形记录、信号特......
    5. 《基于ZigBee PRO的矿井瓦斯无线监测系统》PDF+DOC 基于ZigBee PRO，设计了一种矿井瓦斯无线监测系统。该系统采用最新的ZigBee PRO作为通信方式，以TI公司MSP430F5437和CC2520为主要单元，选用高灵敏KGS-20型矿用瓦斯传感器，可以实现对井下瓦斯体积分数实时采集、测量、无线传输通信功能。测试表明，该系统具有测量精确、可靠......
    6. 《煤矿瓦斯监测系统的分析与研究》PDF+DOC 瓦斯爆炸事故作为矿山生产中的重大事故，带来了巨大的人身伤亡和经济损失，实用的瓦斯监测系统成为了预防瓦斯事故的有效手段。当前比较实用的有激光吸收光谱瓦斯传感器网络的有线监测系统和ZigBee技术为基础结合CAN总线构成的无线网络瓦斯监测系统。针对当前我国瓦斯监测体系存在的问题提出一些发展设想。...
    7. 《煤矿瓦斯监测装置的设计与开发》PDF+DOC 文章介绍了基于Mega16单片机的瓦斯监测装置。该装置具有测量、通信、存储、查询、显示等功能，能够满足现场测量的需要。...
    8. 《瓦斯监测分站显示仪的研制与应用》PDF+DOC 针对煤矿安全监测系统中监测分站存在的不足，研制应用了瓦斯监测分站显示仪；增强了监测系统故障处理、系统校正、报警、断电控制功能；完善了煤矿安全监测监控系统，提高了矿井防抗灾能力，确保了矿井安全生产。...
    9. 《基于无线传感器网络的煤矿瓦斯监测系统》PDF+DOC 针对采用有线传输方式的矿用瓦斯监测系统所存在的缺陷，结合矿井瓦斯浓度监测的需求，提出了采用近年来新兴的无线传感器网络技术解决矿井瓦斯浓度监测中存在的问题的方案，并介绍了基于无线传感器网络的煤矿瓦斯监测系统的总体设计、瓦斯传感器节点硬件和软件的设计方法等。...
    10. 《巷道竖直方向瓦斯传感器部署》PDF+DOC 针对煤矿井下瓦斯传感器的安放位置参数缺乏提供理论依据，首先建立了巷道几何模型，根据湍流状态下的守恒方程以及湍流动能方程和湍流耗散率方程以及标准k-ε模型，仿真了井下巷道数值方向上瓦斯的分布情况.通过比较巷道纵断面瓦斯的分布情况，得出：瓦斯传感器应放置在距顶板小于等于0.3 m的位置.该结论与煤矿安全......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。