摘要：根据新汶矿区实际情况重点阐述了困难条件下的巷道支护技术及达到的效果 ,对今后矿井的巷道设计及应用提供一定参考。

摘要：采用自燃煤矸石加工至设计粒度 ,代替砂子和石子用作井下巷道喷射砼支护 。

摘要：新汶矿业（集团）公司近几年来依靠科技进步，促进煤巷锚杆支护技术不断发展，在巷道支护、设计、施工工艺，新材料等方面都有所创新，并取得了显著的经济效益和社会效益。

摘要：新汶矿业集团公司近几年来 ,依靠科技进步 ,促进煤巷锚杆支护技术不断发展 ,在巷道支护、设计、施工工艺、新材料等方面有所创新 。

摘要：类型系统是一种设计和研究程序设计语言的形式化方法和工具 ,既可在语言设计之初构造 ,便于严格、准确、正确地设计实现语言 ;也可在语言实现后构造 ,为研究语言的语义及其它性质建立模型 .详细讨论了类型系统的基本构造和实现 ,通过基于图重写的函数式语言SClean的类型系统 。

摘要：本文阐述了树脂砂铸造用芯砂的配制以及盖芯芯头的设计、工艺参数的选择等。通过盖芯的应用实例 ,表明了盖芯的应用对消除铸造缺陷、提高铸件质量。

摘要：本软件在开发时,已将<现行文件管理>和<档案管理>同时加以考虑,并增加了计算机辅助<组卷>功能。一份文件的特征可以用一组参数来表达。文件在投入使用之时,其大部分参数就已确定,并且在其使用的全过程中保持不变,如:文号、题名、密级、页数、原文日期、发文机关等。而另一些参数则在该文件使用过程中逐步产生,如:受文单位、受文者、保管期限、类别、是否销毁等。我们选择反映各种文件共性特征的参数作为构成数据库的基本字段。