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

尾矿库溃坝灾害应急响应时间短、潜在威胁巨大,往往造成惨重人员伤亡与巨额财产损失. 近些年尾矿库安全事故发生数量的总体下降趋势充分体现出现代化技术及安全管理方面的进步,然而重大事故发生频次却不减反增,2015年巴西Samarco铁矿与2014年加拿大Mount Polley重大溃坝事故及其惨重后果,再次为尾矿库安全敲响警钟. 我国现存尾矿库8869座,含\     

前言

<正>在软件定义一切的时代，软件使能的系统遍布在人类社会的各个方面、在不同程度发挥着重要的作用，软件可信保障既是迫切需求又是重要挑战.对软件的语义及其行为空间进行深入理解是软件可信保障的重要依据与前提.然而，随着计算机技术的快速发展与应用的日趋普及，软件系统规模和复杂性持续增大，如何对大规模、复杂软件系统的语义进行理解，并指导软件分析、测试、验证乃至优化活动是当前领域关注的重要问题.