论述了我国特大型煤矿的开采系统、井下运输、煤巷掘进及支护方式。特大型煤矿的采掘设备均选用国内外最先进的设备;煤层巷道的掘进普遍使用连续采煤机,最小月进尺1000m;煤层巷道支护采用新型的高预应力、高强度组合锚杆支护系统;井下主要运输均是胶带输送机的连续化运输;井下辅助运输设备均采用无轨胶轮运输车,搬一次综采工作面仅需10d。
2022-11-22 20:01:32
115KB
1
形式化方法模型的特点
在开发中使用形式化方法时，它们提供了一种机制，能够消除使用其它软件过程模型难以克服的很多问题。
二义性、不完整性、不一致性能被更容易地发现和纠正，而不是通过专门的评审，是通过对应用的数学分析。
形式化方法提供了可以产生无缺陷软件的承诺。
2022-11-21 10:08:06
292KB
1
课程作业，查重20%。
光电检测技术作为一门光学和电子学相结合的新测量技术，主要涉及光信号收集、光电转换、光信息测量、测量信号的智能操作等，广泛应用于精密光学扫描、光学自动跟踪与检测、光纤测量、激光成像等国民经济行业。具备精确度高、迅速、距离远、存储容量大、非接触式、工作时间长、便于自动化和智能化操作等优势。检测技术如：红外光谱检测技术、图像检测技术、微光检测技术和超弱光检测技术等是我国目前最广泛、最主要和最具有应用前景的新型光电检测技术。本文主要针对光电测量技术应用的一些特殊性，分析研究了当前其应用发展的现状特点与发展趋势。
2022-11-06 22:43:55
141KB
1