在单卡GPU下,StrataKing的计算单元可达到600万+,1万个单元1万个时步的计算时间一般不到2s,具有行业领先优势,明显优于国外通用串行商业软件,并形成了云平台,为煤炭行业科技工作者提供了一种具备岩层运动模拟基本功能的新的研究手段。StrataKing可高效率、大规模地模拟采场岩层运动过程(例如,应力场、裂隙场、位移场以及“三带”和支撑压力)( 图1 )。StrataKing和云平台可为矿山灾害防治和生态环境治理、煤炭行业数字化转型升级和高质量发展提供强大算力支撑。 图1 基于StrataKing的走向岩层运动模拟2025年,一个不认识的老外Steven Davies于Sustainable Construction Review网站以China ’ s StrataKing: Revolutionizing Coal Mine Simulation(中国StrataKing:彻底变革煤矿模拟)为题对StrataKing给予了热情洋溢的点评。他写道: “His team has developed a groundbreaking parallel computing system called StrataKing designed to simulate strata movement with unprecedented efficiency and scale(他的团队开发了称之为StrataKing的地层破裂并行计算系统,旨在以前所未有的效率和规模模拟岩层运动)” “StrataKing not only enhances operational efficiency, but also paves the way for future advancements in mining technology(StrataKing不仅提升了开采效率,还为采矿技术的未来发展铺平了道路)” “The insights gained from StrataKing can inform the development of new mining methods and technologies, driving innovation in the industry(从StrataKing获得的洞见可为开发新的开采方法和技术提供参考,从而驱动整个行业的创新)” “The future of coal mining is here and it’s powered by parallel computing.(煤炭开采的未来已来,且由并行计算驱动)” 无疑,这个老外对StrataKing给予了极高的认可。我在想,他这么表扬我是图啥呢?我深知,StrataKing和他的评价还有距离,我还需要不断努力。 在最近的5年时间里,主要进行了StrataKing支护特色模拟方法的开发和应用。支护主要包括锚杆、锚索、液压支架和钢支架( 图2 )。其中,锚杆为虚拟锚杆,以此为基础,形成了锚索和钢支架模拟方法。采用静动摩擦力转化模拟液压支架的增阻和恒阻。支护特色模拟方法的开发秉持的原则是等效处理支护的复杂作用,引入与冲击地压发生紧密联系、最受关注的功能,例如,锚杆的可破断、液压支架的可伸缩和可破断、钢支架的可收缩和可破断,而非严格去刻画复杂的机械结构,这十分有利于并行计算,最终有利于保持高计算效率和大计算规模。以锚杆为例,在冲击地压发生后往往会发生较大弯曲甚至破断,若不考虑其破断,则会高估其承载能力,这不利于工程安全。 图2 StrataKing的支护特色模拟方法02
有了 StrataKing 数据驱动就可以了吗?这还需要一个时步一个时步实打实地做并行计算。能否不做并行计算呢?我想,很多时候不做并行计算是不行的,但是,在有些时候不做并行计算是完全可以的。 以我研究的巷道临界应力 P cr 为例,在要求及时反馈,或者,用于初略估计时,用AI是可以的。 P cr 是冲击地压扰动响应失稳理论的核心概念。巷道的 P cr 是指巷道在生命历程中所能受应力P的最大值,而非其当前服役状态下某处的应力水平( 图4 )。巷道的 P cr 一旦达到,在任何微小扰动下,巷道即可发生失稳,即发生冲击地压。这就好比是一只重压之下处于临界状态的骆驼,被又来的一颗稻草压死。如果获知了巷道的 P cr ,只需要实际应力 P c 不超过它,即可保证当前服役巷道在未来冲击条件下的安全性。实际上,为了保险起见,可以认为安全系数 n 大于1.5为本质安全。上述观点与一座桥梁为了安全限制大于一定吨位的卡车通过是一样的道理。 图4 关于巷道临界应力的比喻那么,用于快速确定 P cr 的AI模型的训练数据从何而来呢?自然,一方面是来源于现场,另一方面是来源于 StrataKing并行计算( 图5 )。 关于 P cr 的计算结果越多,AI模型会训练得越好。AI模型不必如数值模型精细,例如,可考虑将巷道形状和尺寸、支护方式及参数分别等效为巷道等效面积和等效支护阻力,做为输入参数。 在AI时代了,用上AI,这不是跟风式研究,而是自然而然,是发展的必然。我们用的AI与别人有显著不同:部分训练数据来源于StrataKing并行计算,数据可以很多,数据可以短时间获得。这是 第三件幸运的事情,在研究上用上AI。 图5 支护下巷道临界应力数值计算及AI快速识别