基于实体交互模型巷道瓦斯监测WSNs的可用性检验

来源 :煤炭学报 | 被引量 : 0次 | 上传用户:dashanLau
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
若煤矿瓦斯监测WSNs(Wireless Sensor Networks)系统的功能设计忽略了被监测实体的交互行为,会造成WSNs本身可靠而被监测实体的安全不满足情况,这在生产安全中是非常危险的。为检验WSNs监测系统功能设计的可靠性和可用性,利用时间自动机模型检验方法建立WSNs监测系统模型,检验WSNs系统的可靠性。然后,根据传感器与环境实体间的交互关系,分析煤矿中多个实体的并发行为,提出了监测WSNs与被监测实体交互并发行为的时间自动机模型和可用性性质描述的建立方法,从监测功能设计角度,将被监测实体
其他文献
水利工程建设是一项有利于民生发展的一项利国利民的综合性工程,同时对于质量的要求也是十分的严格,由于水利工程设计的复杂与多样性,建设起来尤为困难,同时也容易发生很多的
<正> 黄连素是一个古老药物,作为清热解毒剂已用于临床两千多年。近年来发现它具有抗心律失常作用。我科自1989年至今对65例过早搏动的黄连素治疗情况作了观察,并研究了黄连
【摘要】本文论述了在初中思想品德教学中,教师要基于教学重点、认知起点、思维悬念点选择“问点”,让课堂提问具有针对性、引导性和思考性。  【关键词】“问点” 课堂提问 教学重点 认知起点 悬念  【中图分类号】G 【文献标识码】A  【文章编号】0450-9889(2017)07A-0107-01  在“学为中心”的课堂教学改革中,强调引导学生在课堂上进行自主化、高效化的学习,而教师的课堂提问是引导
近红外光谱技术在血氧饱和度和血糖浓度的无损伤在体测量中得到了应用。本文利用基于反射式原理的红外光容积脉搏波对指尖和桡动脉进行了血管阻力等血流参数检测的研究。通过
本文探讨了在结合课内实验的基础上,通过开放实验、大学生创新训练等课外实验及实践培养制药工程专业创新人才的模式。分析认为,通过“重基础、宽口径”的课内学习和“开放性
潜在课程对于学生的价值观、人生观、世界观有着重大影响.潜在课程的重要性已有很多研究者探讨过,文章研究潜在课程中的性别不平等,分别从组织制度层面、人际关系层面、文化
马克思主义既是科学真理,又是研究和解决现实实践问题的科学原理和方法。坚持马克思主义,既要坚持马克思主义的基本原理,同时又要根据实践发展的要求创造性地运用马克思主义
目的建立与人慢加急性肝衰竭病理过程、生化改变相似,实用性、重复性好的动物模型,为研究慢加急性肝衰竭发生的病理生理机制、药物筛选及疗效评价提供适宜的模型。材料与方法
<正> 本文对我院近两年经纤支镜检查的550例患者中证实为肺结核者24例进行分析,以探讨纤支镜检查对不典型肺结核(临床表现不典型、胸片不能确定、痰菌涂