现代设计理论和方法在矿用机械设计中的应用