煤矿锚索锚固力检测装置的研制及应用

由于缺乏有效的锚索锚固质量检测、监测手段和装置,锚索支护巷道经常出现锚固强度不够等现象,造成巷道失修。据统计,巷道年返修量均在15%以上,增加了支护成本和修护环节,制约了矿井安全生产。对此经研究与论证,研制出了一套应用性能好、适用性强的锚索锚固力检测装置。     

基于新媒体环境下在校大学生自主学习策略研究

自主学习能力对于在校大学生来说是一项重要的技能,对提高大学生学习质量,促进学生综合发展具有重要作用。本文主要对在新媒体环境下大学的自主学习相关内容进行论述,以丰富提高大学生自主学习能力教育的理论和方法,为提升大学生自主学习能力提供参考。     

MD2动画文件格式解析

对M132文件的一般格式进行了解析,并在解析的一般格式的基础上具体分析了一个MD2模型文件.在此基础上,利用VC++6.0编程环境,借助OpenGL作为三维立体动画模型渲染工具,实现了对这种经典动画模型数据进行读取,并驱动其包含的相关动作的一种算法,旨在实现更好地对MD2模型文件中的数据进行读取与显示,实现使用键盘对其包含的动作进行驱动.实验结果显示,该算法通用于一般MD2格式文件,从而为解决计算机动画领域中的动画显示和动画模型驱动问题提供参考依据.     

基于SMT的区域控制器同步反应式模型的形式化验证

在安全关键系统的软件开发过程中,形式化验证是一种经检验的提高软件质量的技术.然而,无论从理论上还是从应用角度来看,软件的验证都必须是完整的,数据流验证应该是对实现层软件模型进行验证的必要体现.因此,环境输入、泛型函数、高阶迭代运算和中间变量对于分析形式化验证的可用性至关重要.为了验证同步反应式模型,工程师很容易验证控制流模型(即安全状态机).现有工作表明,这类工作无法全面地验证安全关键系统的同步反应式模型,尤其是数据流模型,导致这些方法没有达到工业应用的要求,这成为对工业安全软件进行形式化验证的一个挑战.提出了一种自动化验证方法.该方法可以实现对安全状态机和数据流模型的集成进行验证.采用了一种基于程序综合的方法,其中,SCADE模型描述了功能需求、安全性质和环境输入,可以通过对Lustre模型的程序综合,采用基于SMT的模型检查器进行验证.该技术将程序合成作为一种通用原理来提高形式化验证的完整性.在轨道交通的工业级应用(近200万行Lustre代码)上评估了该方法.实验结果表明,该方法在大规模同步反应式模型长期存在的复杂验证问题上是有效的.     

大型原油浮顶储罐非稳态传热过程数值模拟

随着石油储备建设的高速发展,油罐规模正向大型化以及能适应极限工况的方向发展.为了避免油温过低而造成凝罐等安全事故,需要准确掌握罐内油品温度场的变化规律.本文根据能量守恒定律,采用分步式算法求解储罐传热系数,将其代入到由Taylor级数展开法所建立的节点非稳态传热离散方程中,并进行数值求解.对大庆某10×104m3浮顶储罐的应用分析表明:随着环境温度的降低,罐内油品温度降速率逐渐增大,储罐液位越高,容积越大,罐内原油温度就越高,温降速率就越小.研究结果对于优化大型浮顶罐的储存工艺设计,保障油库安全经济运行提供了重要的技术支持.     

Co-20Re-25Cr-7Al合金在3.0×10-5Pa低氧压下的氧化行为研究

为探究在低氧压高温环境中添加少量的Al是否对Co-Re基高温合金形成保护性的Cr₂O₃氧化膜具有协同效应,研究了Co-20Re-25Cr-7Al合金在1 100～1 300℃,3.0×10^-5 Pa O₂下氧化24 h的恒温氧化行为。结果显示：合金的氧化动力学曲线完全符合抛物线规律,其氧化激活能为242.3 kJ/mol。合金在1 100～1 300℃形成的氧化膜很类似,主要由连续致密的Cr₂O₃层组成,其上分布着少量的CoO和CoCr₂O₄尖晶石。与相应的Co-20Re-25Cr三元合金相比,Co-20Re-25Cr-7Al四元合金形成的具有保护性的Cr₂O₃层在氧化过程中可以防止合金中的Re元素以ReO₃的形式挥发,从而为合金提供更好的保护。7%Al的添加不足以使Co-20Re-25Cr-7Al合金发生Al的选择性外氧化,因此在外氧化膜下面形成...     

知识的性质和确定性的根源——对葛梯尔问题的另一种解答

当代西方知识论在知识的确定性问题上无法摆脱循环论证的根源,在于它们引入了“事实”这一概念。文章从探讨知识命题内涵的形式特征入手来寻找知识确定性的可能和依据,并得出结论:知识的确定性并不必须依赖一个本体论的承诺,知识是对在人的具体实践活动中的客观存在之间的某种必然联系的揭示。     

烧碱中控分析中氯化钠含量测定方法的探讨

对汞量法、银量法和改进的银量法对烧碱中控分析中氯化钠含量的测定方法的优缺点进行了对比实验,并进行了讨论。实验结果表明,汞量法和改进的银量法能够降低大量材料成本(年节约10～18万元)、灵敏度高、终点变色敏锐,更适合中控分析。     

浅谈多媒体在机电教学中的应用

随着现代社会人才需求的变化,传统的教学方法已难以适应现代课堂教学的需要。机电专业的课程非常抽象,教师要想在教学上有所突破,除了认真钻研教材外,还需不断采用新的教学方法,如借助多媒体制作Flash、PPT等,以激发学生的学习兴趣,争取收到更好的教学效果。     

粘弹性流体管道局部阻力测试及计算

聚合物溶液属于非牛顿流体,具有复杂的切变行为,同时还表现出弹性和可拉伸特性。聚合物溶液在传输过程遇到截面积变化、在受挤压过程遇到高剪切的流动中,会对其形变产生较大的阻抗,从而给聚合物注入系统带来影响。对牛顿流体包括等径三通和非等径三通以及弯头局部阻力系数都有表可查,而对非牛顿流体则没有。 以图1的三通为例计算聚合物通过三通、转弯三通和弯头的局部阻力系数等参数。