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

油箱壳外形复杂,拉深成形过程中容易出现侧壁起皱和圆角处破裂的缺陷,成形工艺参数的确定非常重要.结合分类与回归决策树(classification and regression tree,CART)的人工智能技术和模型交叉验证方法,通过调用Python平台开源库Scikit-Learn对油箱壳拉深成形数值模拟结果进行知识挖掘,筛选出对油箱壳拉深成形影响大的工艺参数;以基尼指数(Gini index)最小化作为最优特征值及最优切分点选择的依据,构建了工艺参数与性能指标关系的CART决策树,提取出了可靠的工艺设计规则.油箱壳拉深实例表明,CART决策树理论的知识发现技术是实现板料成形过程数值模拟结果潜在知识挖掘的可行途径

为进一步揭示远场条件下金属矿山崩落矿岩运移演化机理，综合利用物理试验、数值模拟和理论分析等手段，构建单口放矿模型开展近?远场崩落矿岩流动特性研究。首次基于离散元软件PFC3D和刚性块体模型构建放矿数值模型，并通过近场放矿物理试验与模拟结果的对比分析，证明了刚性块体模型在崩落矿岩流动特性研究中的可靠性与优越性。在此基础上，对远场条件下松动体形态变化规律、矿岩流动体系内的应力演化规律及其力学机理进行了量化研究。研究结果表明：1）近?远场条件下的松动体形态变化均符合倒置水滴理论。在放矿初始阶段，松动体最大宽度随高度增大呈幂函数形式快速增加；随后，松动体最大宽度随高度增大而近似线性增加。2）崩落矿岩流动过程中存在明显的应力拱效应。随着矿岩散体松动范围不断扩大，松动体外围一定范围内的垂直应力均呈明显下降趋势，水平应力逐渐增大并在松动区域到达前出现激增现象；而松动体内的水平应力与垂直应力则急剧下降至较低水平

预制装配综合管廊结构中，节点是结构的薄弱环节，其力学性能直接影响整体结构的变形和承载力等。本文提出了一种“U型套箍插筋连接”新型装配式双舱综合管廊结构，通过4个节点足尺试件力学性能试验，包括1个底部L型现浇边节点试件，1个底部L型装配边节点试件，1个顶部L型装配节点试件和1个底部T型装配节点试件，以此来验证“U型套箍插筋”连接技术的有效性。试验得到了节点足尺试件的开裂荷载、裂缝发展规律、承载能力、破坏方式、构件延性等力学性能。试验结果表明：新型装配式管廊节点试件都在靠近角点区域发生弯剪破坏，具有较高的承载力和延性；采用“U型套箍插筋”连接性能可靠，能够获得与现浇节点试件相当的力学性能

《工程科学学报》：考虑非平稳过程的劣化钢筋混凝土梁桥时变可靠度分析

4.6.1可靠性设计 4.6.2优化设计 4.6.3计算机辅助设计

8.1软件测试的基本概念 8.2软件测试方法 8.3测试用例的设计 8.4软件测试的步骤 8.5调试 8.6软件可靠性 8.7测试工具

成本的经济内涵 成本的分类 成本会计的内容 成本会计的任务 一、成本核算的原则 二、成本核算的要求 三、费用要素与成本项目 四、成本核算的账户设置及账务处理程序 1.可靠性原则 2.分期核算原则 3.及时性原则 4.合法性原则 5.一致性原则 6.实际成本计价原则 7.权责发生制原则 8.划分收益性支出与资本性支出原则 9.重要性原则 10.效益性原则

MATLAB意为“矩阵实验室”，源自 Matrix Laboratory ，它是一种科学计算软件。 Matlab语言是由美国的Clever Moler博士于1980年。开发的设计者的初衷是为解决“线性代数”课程的矩阵运算问题。 目前MATLAB已经成为国际上最流行的软件之一，除了可提供传统的交互式的编程方法之外，还能提供丰富可靠的矩阵运算、图形绘制、数据处理、图像 处理和Windows编程工具等。因而出现了各种以MATLAB为基础的工具箱，应用于自动控制、图像信号处理、生物医学工程、语音处理、信号分析、时序 分析与建模、优化设计等广泛的领域，表现出了一般高级语言难以比拟的优势。 美国Mathwork软件公司推出的Matlab软件就是为了给人们提供一个方便的数值计算平台而设计的

第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介