Experimental study on inner diameter measurement system of natural gas pipe with laser