After John wrote the abstract "基于大水矿山开采水环境由人工排水系统及天然的地下水系统共同构成,通过系统分析方法,构建大水矿山排水-地下水开采水环境系统.在此基础上,进行大水矿山开采水环境系统失效致灾机理研究,建立大水矿山排水-地下水开采环境系统随机模型及系统失效致灾判据.将所建立的模型及判据应用于凡口铅锌矿大水地下开采矿山.研究结果表明:在一定时域范围内,模型可有效识别系统的灾害状态;系统失效致灾是系统输入流量大于输出流量,系统水位离散程度随时间不断增大,以及系统自身结构承受安全水位的能力过低共同作用的结果,从影响程度来讲,系统流量差的变化对灾害影响最大,其次为安全水位,最后为系统的随机作用;所建立的系统模型及系统失效致灾判据具有实用性和有效性,研究成果可为大水矿山开采水害防治提供有效的技术支持.", he wrote these keywords "开采水环境, 失效判据, 致灾机理, 地下水". Do you think his choice of keywords was correct? Answer yes or no.
no