军用坑道测量

军用坑道测量，军事工程测量的一种。修建坑道和洞库工程中各种测量工作的统称。主要包括洞外地面测量、地下控制测量、地下施工测量等。