Albert is an interactive computer system for building nonassociative algebras [2]. In this paper, we suggest certain techniques for using Albert that allow one to posit and test hypotheses e ectively. This process provides a fast way to achieve new results, and interacts nicely with traditional methods. We demonstrate the methodology by proving that any semiprime ring, having characteristic 6= ...

Abstract. Trend of simultaneous improvement such mechanical metal properties as strength, hardness and ductility remains popular. Asymmetric accumulative roll bonding is a method severe plastic deformation that can create large shear deformations. These deformations in its turn are responsible for increase properties. Initially computer modeling was carried out to study the influence kinematic ...

Carbon fiber reinforced polymer (CFRP) is widely used in the lightweight design of high-speed trains due to its high specific strength. In order further reduce weight train body, it necessary study joining process and fatigue properties CFRP/aluminum alloys (CFRP/Al) structure. this work, CFRP plate 5083P-O aluminum were successfully connected by an induction brazing method. The optimum paramet...