基于ProE的超剪切设备关键结构的有限元分析.