矿用对等无线监测数据集成系统运行时自验证机理

项目名称： 矿用对等无线监测数据集成系统运行时自验证机理

项目编号： No.51204185

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 冶金与矿业学科

项目作者： 鲍宇

作者单位： 中国矿业大学

项目金额： 25万元

中文摘要： 随着采矿工程进展，矿用无线监测数据集成系统会在结构、数据量等方面发生变化，由此可能导致系统原有功能受损。针对该问题，本项目研究一种能够根据系统变化且不间断进行自动在线检验的方法。内容包括：矿山环境下，融合矿山安全的系统安全性表征参数的发现与抽取规则，待验证安全性质及其形式化描述，收集检测数据的对等信任群落模型建立方法，描述系统实时状态迁移的概率时间模型自构建方法，概率时间模型上的系统运行时自验证方法。为描绘矿用无线监测数据集成系统安全，拟融合矿山安全规范对安全性质重定义，使用对等信任群落模型实时更新系统状态迁移概率，表征系统动态安全状态；为验证系统实时变化的正确性，拟提出在概率时间模型上检验系统安全性质的运行时自验证方法。本项目是矿山安全、运行时验证与无线传感器网络有机结合的新颖交叉研究，研究成果将深化和丰富现有矿用传感器网络安全和运行时验证的理论，提升矿用无线网的可靠性，降低维护成本。

中文关键词： 矿山监测数据集成系统；传感器网络；群体智能；数据融合；矿山安全

英文摘要： With mining progress, Data integration system of mine wireless monitoring network often changes in structure, amount of data, etc., which maybe impair the system. It is difficult to maintain the system off-line because monitoring data of mine environment must be collected at any one time. In order to solve this problem, an effective online approach to check the system automatically after it changes is proposed in this project. Its main contents include rules to discover and abstract security parameters combining wireless monitoring data integration system with mining engineering, security properties to be verified and its formal description, method of building P2P trust clustering model of wireless monitoring data integration system for collecting detection data, self-building method of probabilistic temporal automata to describe real-time states transition, runtime self-verification method of security property checking on probabilistic temporal automata. According to our prior researches, to identify security and dynamic change of wireless monitoring data integration system, we would redefine security properties by combining with mine safety regulation in the system, and collect detection data based on P2P trust clustering model to update probability values of state transition. In order to check correctness of

英文关键词： mine monitoring data integration system；wireless sensor network；swarm intelligence；data fusion；mine safety