多值逻辑函数的分解及T门实现

本文首先讨论了多值逻辑函数的分解方法,这种分解方法可以利用真值表的分解较方便地实现。然后给出了利用 T 门实现多值逻辑函数的一种方法。应用这种方法,分别研究了完全指定的函数和不完全指定的函数的分解及 T 门实现。     

3Cr2W8V钢热作模具强韧化处理研究

对3Cr2W8V钢热作模具的强韧化进行了研究。结果表明,采用1200℃高温渗碳、淬火、660℃高温回火工艺可以较大幅度地提高3Cr2W8V模具的使用寿命。     

分离倾斜模

设A是代数闭域k上任一有限维基连通代数,倾斜模(tilting module)A~T称为分离的(separating),如果A~T诱导的rorsion theory(F(A~T),C(A~T))在A-mod中可裂,即任一不可分解A-模或者属于F(A~T),或者属于G(A~T),由于在重复倾斜过程中的应用和作为对倾斜过程中不可分解模损耗的一种度量,分离倾斜模有着特殊的兴趣,例如参见文献[1—     

带自同态的单半模

研究了带自同态半模及半模同态的性质，给出了带自同态单半模的一个刻划及推广了Sehur’s引理。     

中点软定位簧多工位级进模材料的强韧化处理

本文论述了中点软定位簧多工位级进模国产化的选材和热处理工艺路线,并对模具材料的强韧化处理进行了实验研究。结果表明,以淬火作为予处理,获得非平衡组织,再经淬火、回火处理,可细化奥氏体晶粒和细化炭化物,可提高Crl2MoV钢的强韧性。而真空热处理,可进一步改善材料的韧性使模具材料具有良好的强韧性配合。因此,可使模具具有高的使用寿命。     

F_R~A──模范畴中Hom函子的若干性质

讨论了FAR—模范畴中Hom函子的若干性质，给出了FAR—模范畴中的Hom函子与普通模范畴中的Hom函子的某些差异．