简介:摘要:煤矿能源是我国能源使用中的主要能源之一,为人们的生活、工业的生产、社会的需求带来保障。煤矿资源的生产随着社会经济的提升逐渐增大,人们的生活中愈渐离不开煤矿能源。因此,为了高效的生产煤矿能源,并在有限的矿产资源中充分的开采煤矿能源是目前煤矿企业研究的重点。本文在此针对煤矿巷道快速掘进的影响因素做以分析,期望为煤矿生产作业提供良好的建议。
简介:摘要双曲肘杆式合模机构是现在应用最广泛的注塑机合模形式,其主要零件包括拉杆,模板,肘杆机构。注塑机的动模板运行速度受到肘杆机构的影响,而肘杆机构又受制于锁模尾板的外形尺寸和模板行程及锁模力等因素,所以肘杆机构的可调节范围是不大的。由于曲肘的运动特性,塑机在开模状态到合模状态时,使得动模板是先加速,后减速,最后动模板到达合模位置时停止。
简介:摘要:本文重点讨论射影几何符号计算的两个基本问题:①投影几何特性应如何解析编写?用算法表示“射影几何属性”领域语言中的一阶公式,并转换为方括号(或不变式)解析几何语言中的受限类公式。这种特殊形式对应于合成射影几何中的陈述,并且该算法是转换几何的基本步骤。②解析几何定理如何证明?不变射影给出了解析射影几何定理。希尔伯特零点定理派生的理论在证明中起着核心作用。为证明关于所有字段或有序字段上“几何特性”的开放定理,一种算法会推导零点定理恒等式,从而在证明中提供最大的代数简单性和最大的信息。最后结果支持这样的建议,即应使用不变语言中的标识直接执行计算分析投影几何。