论述了我国特大型煤矿的开采系统、井下运输、煤巷掘进及支护方式。特大型煤矿的采掘设备均选用国内外最先进的设备;煤层巷道的掘进普遍使用连续采煤机,最小月进尺1000m;煤层巷道支护采用新型的高预应力、高强度组合锚杆支护系统;井下主要运输均是胶带输送机的连续化运输;井下辅助运输设备均采用无轨胶轮运输车,搬一次综采工作面仅需10d。
2022-11-22 20:01:32
115KB
1
形式化方法模型的特点
在开发中使用形式化方法时，它们提供了一种机制，能够消除使用其它软件过程模型难以克服的很多问题。
二义性、不完整性、不一致性能被更容易地发现和纠正，而不是通过专门的评审，是通过对应用的数学分析。
形式化方法提供了可以产生无缺陷软件的承诺。
2022-11-21 10:08:06
292KB
1