【摘 要】
：
无线传感器网络等新兴技术在煤矿安全监控中的应用一方面提高了系统的可用性，另一方面增加了系统的复杂度。此外，不同于一般系统，煤矿安全监控系统的实时性、安全性、可靠性等非
【机 构】
：
延安大学西安创新学院计算机科学与技术系
论文部分内容阅读
无线传感器网络等新兴技术在煤矿安全监控中的应用一方面提高了系统的可用性，另一方面增加了系统的复杂度。此外，不同于一般系统，煤矿安全监控系统的实时性、安全性、可靠性等非功能属性亦对煤矿安全起到至关重要的作用。介绍了无线传感器网络在煤矿安全监控中的应用，并引入模型驱动开发方法进行设计，对建立的系统模型进行形式化描述，使用有限状态机技术进行自动分析。
其他文献
[摘要]古今诗文，语言的多义现象不同于歧义现象。作者为了形成丰富的内涵，展现词语的多重内容，通过引进不同对象、汉字不同读音、象征义、深层义、不同抒情主体、双关义、言外义等多种表现形式来表现语言的多义性。教学过程中注意语言的多义性，是揣摩意蕴时切忌片面与肤浅的关键。 [关键词]语文教学多义性歧义性象征义深层义双关义 [中图分类号]G633.3[文献标识码]A[文章编号]16746058（2016
近日,我国著名医学家、教育家、中国工程院院士、中国科学院院士、全国人大常委会副委员长吴阶平在四川考察、视察工作期间,接受了华西医科大学授予他为该校名誉教授称号,以
一、冠多项地球之“最”的南极洲 南极洲位于地球最南端,绝大部分地区均位于南极圈内。它的面积约1,400万平方公里,平均海拔高度为2,350米,比包括青藏高原在内的亚洲的平均高
以色列的国土大部分为沙漠、半沙漠地区,而非沙漠地区又因若干世纪以来的森林砍伐、土壤侵蚀,土地多有荒废而无法耕种。1948年,以色列建国后,政府和人民特别重视发展农业。为
生物实验是生物教育教学的重要组成部分,也是落实＂双基＂的一个重要环节。但由于各种原因,农村学校生物实验教学开展得不太理想,仍然存在不少的问题。
旨在采用代数的方法来研究三分Cantor集的结构特点。主要结果除了给出三分Cantor集的代数构造外还定义了仿四进位；结合代数构造、拓扑构造以及仿四进位分别给出并证明了三分Ca
以Ｃｒ１２ＭｏＶ为代表的冷作模具钢，经过高温渗碳，油淬和高温回火，其渗层的二次硬化特征与经常规高淬高回处理的相比有一定的差异，主要表现为二次硬化峰值的位置及数值、残留奥氏体量以及高温
[摘 要]伴随时代日新月异的发展变化，传统的教学模式已经难以满足现实发展的需要，创新教育成了新的课题。学生创新能力的培养成为中学阶段重要的教学目标之一，包括初中语文在内的各项教学都要实现创新教育，以期提高学生的思维活跃性，使学生成为满足国家建设发展需要的创新型人才。 [关键词]中学语文 传统教学 创新探索 [中图分类号] G633.3 [文献标识码] A [文章编号] 16746058（201
最近,西南交通大学和成都中医中药大学趁吴阶平教授在四川省检查工作期间,分别授予他名誉教授称号。 吴阶平教授是我国著名医学家、教育家,中国科学院院士,中国工程院院士,全