金川矿区龙首矿西二副井1 240~1 120 m段井筒破坏机理分析

由于受到断层、不稳地围岩、地下水和地应力等影响,金川矿区龙首矿西二采区副井井筒在1 240～1 120 m段发生变形和破裂,严重影响矿山正常安全生产。为研究副井1 240～1 120 m段井筒破坏机理,从工程地质条件、地应力环境以及工程的设计施工等因素对于副井井筒的破裂机理进行分析,认为软弱岩层、断层及膨胀性黏土矿物围岩等工程地质条件是造成副井变形破裂的主要原因;随着井筒深度的增加,井筒附近的地应力不断集中,亦是造成井筒不稳定的重要因素;支护刚度不够、锚杆长度不足等因素也是造成副井变形破裂的重要因素。在综合考虑上述影响因素的基础上,通过建立井筒的三维数值模型,分析了井筒变形破坏过程。     

基于离散裂缝模型的裂缝性介质等效渗透率求解新方法

等效渗透率是裂缝性介质流动数值模拟中的关键参数,基于离散裂缝模型,考虑每条裂缝的空间分布和属性参数对流动的影响,建立了一种计算裂缝性介质等效渗透率的新方法。首先,对裂缝性介质进行粗网格划分,获取每一粗网格中的裂缝信息,采用封闭定压边界建立相应的离散裂缝流动数学模型,在此基础上应用Galerkin有限元方法对此模型进行求解;然后基于达西定律和体积平均法求取粗网格的等效渗透率;最后,通过算例研究验证了本文方法的正确性和高效性。     

计算机代数学及其软件系统

计算机代数学是近三十年发展起来的数学、计算机及人工智能的交叉学科,是数学发展的前沿学科．该学科的发展对科学计算产生了革命性变化．本文简单综述了计算机代数学及其软件系统的内容、意义、作用、历史及其与数值计算、计算机、数学机械化等相关学科的联系．     

关于Mal’cev定理的注记

设Ｇ是有限生成的超Ａｂｅｌ群,若对每个Ｈ≤Ｇ,Ｈ＝∩／Ｋ≤Ｇ／Ｈ≤Ｇ／Ｈ≤Ｋ,／Ｇ：Ｋ／〈∞／,则Ｇ是个多重循环群,这个结果可部分地盾成Ｍａｌ’ｃｅｖ的一个有名定理的逆命题。     

连杆热模锻全过程的仿真分析及模具寿命预测

在考虑连杆热模锻模具的材料性能和工况条件基础上,采用有限元分析软件Msc．Superform对连杆热模锻全过程进行了非线性、大变形热机械耦合分析。实现了对连杆热模锻模具关键部位的弹塑性变形的全过程动态模拟仿真,得到了温度场、等效塑性应力应变场在时间和空间上的分布规律,研究结果符合实际情况,具有现实意义。在此基础上,运用Coffin-Mansion公式对所计算的模具寿命进行了预测,其结果与实际应用中的模具寿命基本一致,为进一步研究不同工况下热模锻成形控制和终锻成形模具结构设计提供了理论依据。     

下承式钢管混凝土拱桥有限元模型计算分析

本文以胜利大桥为背景,采用桥梁有限元分析软件MIDAS/CIVIL建立模型,对钢管混凝土拱桥成桥后的挠度值、应力值及结构的自振特性进行了分析。计算结果表明：该桥在设计荷载下的最大挠度值及应力值均小于规范规定值,结构处于安全的范围内。     

摩托车匹配性能分析

振动问题是困扰摩托车产业发展的一大障碍．为了解决摩托车振动问题,在摩托车整车研发技术方向中,专门提出了整车匹配技术问题．基于有限元法及振动理论,应用国际通用的有限元软件MSC．PATRAN／NASTRAN,结合一款摩托车,对摩托车进行匹配性能进行研究,从根源上提出了一种有效的解决摩托车振动问题的分析方法,缩短了摩托车的开发周期,并节省了产品的开发成本,对摩托车企业的开发设计具有重要的理论意义和工程实用价值．     

实心锤头径向锻造压应力分析

为了研究径向锻造工件内部压应力产生的工艺条件,采用DEFORM 3D有限元软件对GFM精锻机SXP-65实心锤头的径向锻造过程进行数值模拟.通过改变压下量和拉打速度得到主要模拟结果为:实心锤头径向锻造锻件心部应力为压应力;当相对压下率和拉打速度小于特定值时,锻件心部受两向压应力;而当相对压下率和拉打速度大于一定的条件时,锻件心部再受轴向压应力,即心部受三向压应力;并得到了不同拉打速度下的相对压下率的参考值,对于制定合理的锻造制度具有参考价值.     

装载机铲斗的仿生设计及有限元分析

以装载机铲斗为研究对象,在对铲斗结构进行简化的基础上,借助田鼠爪趾弯曲轮廓形状的测定结果,设计了一种仿生装载机铲斗.通过有限元分析,研究了铲斗在铲装土壤的仿真过程中对土壤的扰动情况,即土壤单元在水平方向的位移和在垂直方向的位移,结果表明所设计的仿生装载机铲斗具有一定的减阻效果,从仿生学的角度为装载机铲斗的高效节能改进设计作了有益的探索.     

端点模糊的区间代数

由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的敬意代数不能很好地刻画事件的模糊时间区间,用事件的持续密度函数的概念来表示事件的持续时间,并用时间区间来近似持续密度函数,使得可以应用Allen的区间代数来进行相应的时态推理。