铸件凝固过程的应力动态测量方法

在砂芯中埋入测力传感器,间接动态测量了框形铝合金铸件在凝固过程中的应力变化情况。并采用有限差分与有限元相集成的方法对铸造试件的凝固过程进行了热应力数值模拟。结果表明,凝固开始后,铸件对砂芯的压缩力逐渐增长,且增大的速度较快;一定时间之后,压缩力基本保持在一个稳定值。模拟计算结果能与测量结果较好吻合。     

格值一阶逻辑LF(X)中的α-语义归结方法

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。     

格值命题逻辑系统中广义文字的正规性

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。     

不同表面处理工艺压铸镁合金涂层耐蚀性研究

为了研究不同表面处理工艺下压铸镁合金涂层的抗腐蚀性能,通过浸泡腐蚀和电化学腐蚀的方法,比较了微弧氧化和无铬化学氧化等表面处理试样的耐蚀性.结果表明,无铬化学氧化和微弧氧化处理能显著提高镁合金表面耐蚀性,而以微弧氧化处理更优;且两种处理方法覆盖层对孔洞、裂纹不敏感.根据交流阻抗图谱,拟合得到了微弧氧化、无铬化学氧化和未处理三种试样电化学腐蚀时体系的等效电路,拟合结果与实测结果吻合.XRD分析表明这两种处理方法得到的覆盖层中主体相均为Mg3Al2Si3O12等含硅的尖晶石型氧化物和Mg0.36Al2.44O4、MgAl2O4等不含硅的镁、铝复合氧化物,有利于提高镁合金耐蚀性.     

语言真值格值命题逻辑中的α-语义归结方法

语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与L_nP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。     

从凝固过程的位移数值模拟结果中提取铸件的变形

铸件变形分析是铸造模样设计的依据之一.通过铸件铸造过程热应力数值模拟能够得到铸件的位移结果,其可分解为凝固和冷却过程的均匀的尺寸收缩和由于冷却不均匀等原因造成的变形两部分.提出了铸件数值模拟位移结果的处理算法,即由模拟位移结果得到铸件模拟后的形状尺寸,然后按照指定参考点将模拟计算得到的铸件与铸件要求尺寸进行匹配,从而得到去除了铸件收缩余量的变形情况,为模样设计提供科学依据.采用该算法对灰铸铁应力框及某轧钢机机架铸造过程中的变形情况进行了应用分析,结果与实际铸件变形趋势一致.     

准噶尔盆地西北缘红山嘴-车排子地区含油气系统划分

准噶尔盆地西北缘红山嘴-车排子地区(简称红车地区)石油地质条件复杂,油气来自于沙湾凹陷的3套烃源岩、构造演化主要经历了挤压和拉张两个阶段,在考虑上述条件的基础上综合储层、盖层、圈闭等多个因素,将红车地区划分为3个含油气系统:P-C(!)含油气系统,P-P、T、J(!)含油气系统,P、J-N(!)含油气系统.在此基础上,...     

黑沟露天矿山测绘中GPS测量技术的应用研究

随着对GPS技术的不断研究,其在我国矿山测量中的作用越来越显著,且由于其测量数据的方法简单,测量数据准确度较高,在我国的矿山测量中具有很好的发展前景。但由于GPS技术在使用时受到一些特殊地形的限制,导致其测量精度无法进行保证,为了提高我国GPS技术在矿山测量中的使用效果,需要相关部门加强对GPS技术的研究。基于此,就GPS在矿山测量中的应用进行详细研究,以期能为有关方面的需要提供参考借鉴。     

四值非链格值命题逻辑系统L4P(X)的语义归结方法*

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。     

层合壁板的二次屈曲

通过有限元增量平衡方程及其迭代形式,应用三角形拟协调元,分析了层合壁板二次屈曲问题。讨论了一次屈曲和二次屈曲的关系,以及屈曲形态,得到一些有价值的计算结果。