尾矿库溃坝灾害防控现状及发展

尾矿库溃坝灾害应急响应时间短、潜在威胁巨大,往往造成惨重人员伤亡与巨额财产损失.近些年尾矿库安全事故发生数量的总体下降趋势充分体现出现代化技术及安全管理方面的进步,然而重大事故发生频次却不减反增,2015年巴西Samarco铁矿与2014年加拿大Mount Polley重大溃坝事故及其惨重后果,再次为尾矿库安全敲响警钟.我国现存尾矿库8869座,含"头顶库"1425座,安全形势复杂.本文在收集大量相关领域文献的基础上,聚焦尾矿库溃坝灾害防控体系中的安全监测、灾害预警与应急准备、安全管理与标准规范这三大方面核心内容,分别综述对比国内外现状及前沿进展,探讨分析我国当前所面临的问题并尝试提出改进建议,为尾矿库防灾减灾理论研究与技术革新提供参考.结果表明:(1)我国尾矿库安全监测标准更高,但仪器耐久性、可靠度与实用性不足,专用监测器件与新技术的研发应用势在必行;(2)灾害预警方法单一且可信度不高,而信息技术融合应用成为发展趋势;(3)应急管理与预警决策需以充分的科学论证为基础,当前研究在试验手段与计算方法上存在局限;(4)我国拥有完善的安全管理标准规范体系,但在安全等别划分、全生命周期管理、主体变更、事故总结等方面相对欠缺.     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

近年来，传感器技术得到了长足而有效的提升，无线传感网络（WSN）以其开放、动态的特征获得了极大的关注，并成为了互联网计算的一个重要组成．WSN系统行为复杂，经常面临信息丢失、节点动态变化等不确定因素，且网络中的节点一旦部署将很难更改、维护．因此，为了保证相关应用的正常工作，在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题．系统设计人员不仅需要保证协议功能上的正确性，还应该评估协议在目标工作环境下的性能，以保证其可以胜任相应的工作需求．针对以上问题，本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估途径．在建模阶段，首先将采用时间自动机对协议在理想环境下的基本业务流程进行建模．考虑到WSN系统实际工作中会遇到的各种不确定性因素，将用带权分枝来对模型进行扩展，生成协议的随机时间自动机．在验证阶段，首先采用经典模型检验技术，在理想时间自动机上检验相关功能性质，保证协议工作逻辑的正确性．为评估协议在不同条件下的具体性能，则在随机时间自动机上用统计模型检验技术对其进行数值分析，以进行参数配置、性能预测、协议比较等工作．为展示该途径的可用性及其技术细节，本文对两种著名的WSN时间同步协议，TPSN和FTSP分别进行了完整的建模与评估．     

深部开采安全机理及灾害防控现状与态势分析

近年来,深部开采安全机理与灾害防控领域已取得一定的研究成果,但基于现行理论与技术还难以全面解决未来深部采矿过程面临的防灾减灾问题,至今尚未建立起完善的深部开采灾变与防控研究体系.本文开展了对深部开采灾害研究领域的文献调研和问题探讨,总结有关深部地应力场测量与分布规律、深部岩体力学与耦合损伤机理、深部动力灾害机理与预报、深部突水灾害机理与预警以及深部开采围岩变形机理与防控等方面的研究成果,进而分析当前研究的不足,凝练出深部开采诱发灾害研究领域亟待解决的关键问题,并就未来超深开采灾害研究态势予以分析.     

尾矿坝致灾机理研究现状及发展态势

尾矿坝失稳致灾机理极其复杂,然而目前尾矿坝灾害防控缺乏对尾矿材料多尺度多因素耦合力学机制的深入研究,且细粒与高堆尾矿坝灾变机理不明确。针对尾矿坝致灾机理研究的基础共性问题,收集大量的国内外尾矿坝灾害紧密相关的研究领域的文献,综述有关筑坝尾矿结构多尺度表征描述与力学特性、筑坝尾矿沉积运动规律、尾矿坝成坝机理与坝体结构组成、尾矿坝稳定性分析与致灾机理等方面的研究现状及成果,指出目前研究存在的不足,凝练出尾矿坝灾害研究领域亟待解决的关键科学问题,并对未来的研究发展态势进行具体全面的展望。