四个实数系的基本定理的完全互证

实数系的基本定理是数学分析中重要组成部分,是分析引论中极限理论的基础。能够反映实数连续性的定理很多,它们彼此等价,教材中以确界存在定理为基础,将这些定理进行一次循环证明就验证了它们的等价性。本文把确界存在定理、单调有界定理、闭区间套定理、Cauchy收敛原理这四个定理的所有互推方法列了出来,旨在更加深刻地理解他们之间的关系。本文主要采用了构造的方法,也采用了反证法等证明方法。

柴油机气缸套金属型覆砂层离心铸造工艺

介绍了一种气缸套离心铸造技术,在该铸造工艺中,铸型由金属外套、覆砂层、端盖和销钉组成。从得到的铸件可以看出,利用该工艺铸造的气缸套外表面加工余量可随形均匀设置,可提高气缸套出品率,降低生产成本。