锤杆冲击应力分析与疲劳寿命估算

锤杆中的应力波历程包括锤击和回弹两个阶段 冲击阶段的应力波影响着锤杆的疲劳寿命 ,它的幅值主要取决于冲击速度和材料性质 就锤杆的使用期而言 ,其应力波幅值呈正态分布 根据断裂力学和Miner线性累积损伤理论 ,推导出了锤杆在随机载荷作用下的疲劳寿命估算公式 进行了实例计算和讨论 ,提出了一些延长锤杆疲劳寿命的建议 图 2 ,参 5     

判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

一类初等几何定理的机械化证明

对一类初等几何定理，通过根理想的分解，给出一种机械化方法，利用这种方法，可恰好同时获得所时的不可约物征列，因而一类几何定量是一般真确的当且仅当终结多项式对这些不可约特征列的余式为零。