人工地震
人工地震を発生させる装置を人工震源と呼ぶ。地震学での震源とは意味が異なる。