深井回采过程矿柱与围岩破坏预测及可视化验证

针对某地下金属矿山深井"隔一采一"方式回采过程形成的单面临空矿柱,运用Midas/GTS软件建立数值模拟模型,通过数值模拟,揭示矿柱及围岩的应力、位移、塑性区的变化情况,对回采过程中矿柱及围岩可能出现的破坏区域进行分析和预测;采用空区三维激光探测技术和空区三维建模技术,快速而准确的获得采空区和矿柱三维形态,实现了对"隔一采一"方式回采过程单面临空矿柱及围岩破坏数值模拟结果的可视化验证.实践证明,上述方法为分析和预测类似深井矿山回采过程矿柱及围岩破坏位置预测开辟了新的途径,对指导矿山下一步爆破设计和安全高效开采具有重要的现实意义.

某典型采空区失稳模式分析及可视化验证

针对某铜矿典型采空区的工程实际,运用FLAC3D软件对采空区失稳进行模拟分析,确定了采空区分别在静力作用和动力扰动条件下的失稳模式.结果表明,该矿采空区在静力条件下主要为矿柱剪切破坏失稳,在动力扰动条件下则表现为顶板剪切破坏和矿柱剪切破坏复合失稳,实测结果与数值分析结果一致.为矿山有效开展采空区安全分析及处理提供可靠的技术支持.

基于单一数据源的航空零部件可视化工艺验证探究

基于航空零部件可视化工艺验证需求,结合设计部门以三维模型发放,给出单一数据源的可视化工艺验证体系架构,借助其实施关键技术,探索单一数据源的可视化工艺验证、实施应用,同时给出可视化工艺验证的工程化应用建议。

时序图到时间自动机自动转换与布局算法

为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图形元素进行深入分析后,对现有的时序图到时间自动机模型的转换算法进行改进并提出更加完善的算法,对转换后的时间自动机布局算法进行相关研究,实现从时序图模型到时间自动机模型的自动转换与布局。在实际领域的实验结果表明,改进后的算法能够对系统功能需求进行正确有效的可视化验证和仿真,提高了系统模型设计效率。