Terms for subject Mining containing punchings

English	Russian
punching-in	внедрение (инструмента в материал)
punching machine	ударная срубовая машина
punching machine	ударно-врубовая машина