7055 Al alloys samples were prepared by spray forming and hot-extrusion followed by two different aging treatment procedures. Their different distributions of GP zones, and nanoscale precipitates η′ (MgZn) and η (MgZn2) are extensively investigated by transmission electron microscope (TEM). The mechanical properties, including tensile strength, Vickers hardness and elongation of both aged 7055 Al alloys, have also been measured and analysed. It is found that T6 and T76 aging treatment results in quite different microstructure and mechanical properties. The outstanding performance of the 7055 Al alloys after T6 aging treatment is attributed to nanoscale semi-coherent dispersion precipitates. 相似文献
Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences.
Three experiments investigated the roles of intrinsic directions of a scene and observer's viewing direction in recognizing the scene. Participants learned the locations of seven objects along an intrinsic direction that was different from their viewing direction and then recognized spatial arrangements of three or six of these objects from different viewpoints. The results showed that triplets with two objects along the intrinsic direction (intrinsic triplets) were easier to recognize than triplets with two objects along the study viewing direction (non-intrinsic triplets), even when the intrinsic triplets were presented at a novel test viewpoint and the non-intrinsic triplets were presented at the familiar test viewpoint. The results also showed that configurations with the same three or six objects were easier to recognize at the familiar test viewpoint than other viewpoints. These results support and develop the model of spatial memory and navigation proposed by Mou, McNamara, Valiquette, and Rump [Mou, W., McNamara, T. P., Valiquiette C. M., & Rump, B. (2004). Allocentric and egocentric updating of spatial memories. Journal of Experimental Psychology: Learning, Memory, and Cognition, 30, 142-157]. 相似文献