In this paper, in order to provide proper parameters for the preparation of semi-solid billets, the semi-solid annealing of hot-rolled 2A14 Al alloy was investigated. The microstructure was characterized by X-ray diffraction (XRD), scanning electron microscope (SEM) with X-ray energy dispersive spectrometer (EDS) and electron backscattered diffraction (EBSD), scanning transmission electron microscope (STEM). XRD results show that with the increase of temperature, equilibrium θ-Al2Cu gradually dissolved in the matrix. The EDS results of SEM and STEM show that there were coarse θ-Al2Cu phase, ultra-fine precipitate Al(MnFeSi) or (Mn, Fe)Al6 phase and atomic clusters in the microstructure. EBSD results show that the recrystallization mechanism was dominated by continuous static recrystallization (CSRX), the homogeneous nucleation occurred when the sample was heated to near solidus temperature, and CSRX happened in the semi-solid temperature. In the process of recrystallization, the micro-texture changed from preferred orientation to random orientation. A variety of experimental results show that static recrystallization (SRX) occurred at semi-solid temperature due to the blocking effect of atomic clusters on dislocation slip and the Zener drag effect of fine precipitates on low angle grain boundaries (LAGBs) disappeared with melting at semi-solid temperature.

Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and rare survey has been published in this domain. CPS is a dynamic complex system, which involves various multidisciplinary technologies. To avoid human error and to simplify management, self-management CPS (SCPS) is a wise choice. And to achieve dependable self-management, systematic solution is necessary to verify the design and to guarantee the safety of self-adaptation decision, as well as to maintain the health of SCPS. This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management through the formal feedback flow. Focus on reducing the complexity, we first survey the self-adaptive architecture approaches and applied dependability means; then we introduce a hybrid multi-role self-adaptive architecture, and discuss the supporting technologies for dependable self-management at the architecture level. Focus on dependable environment-centered adaption, we investigate the verification and validation (V&V) methods for making safe self-adaptation decision and the solutions for processing decision dependably. For system-centered adaption, the comprehensive self-healing methods are summarized. Finally, we analyze the missing pieces of the technology puzzle and the future directions. In this survey, the technical trends for dependable CPS design and maintenance are discussed, an all-in-one solution is proposed to integrate these technologies and build a dependable organic SCPS. To the best of our knowledge, this is the first comprehensive survey on dependable SCPS building and evaluation.

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.