The investigation demonstrates that various social communities in contemporary China possess special ethical contexts and moral temperament.Among the various social communities,while value consensus is the fundamental aspect,profound ethical conflicts may exist because of the corruption of governmental officials and the unfairness in benefit distribution.Four basic laws must be followed to achieve ethical harmony of various social communities,i.e.,the dilemma between the similarity of concept and idea and t... 相似文献
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.