Electrochemical noise Analysis of the Corrosion Behaviors of Al-Zn- In based Alloy in NaCl Solution

AbstractThe corrosion behaviors of Al–5Zn–0.02In–1Mg–0.05Ti (wt. %) alloy immersion in 3.5% NaCl solution were analyzed using electrochemical noise. At the initial immersion, the potential noise due to the pitting shows small fluctuation of less than 1mV about 5 s intervals. After 10h immersion, the potential noise due to the dissolution/precipitation shows larger fluctuation about 5mV at 10 s intervals. In the later corrosion, the potential noise caused by the uniform corrosion shows the fluctuation about 10mV at 60 s intervals

Review of National Conference on the Theoretical Study of Science Popularization: Theoretical and Practical Studies of Science Popularization

Ever since modern science was introduced into China, Chinese progressive intellectuals began to actively communicate science, hoping to raise and improve the vision and quality of Chinese society. With the constant development of China’s popular science career and innovating popular science practices, the demand for theoretical research in science popularization is constantly increasing. Meanwhile, the abundant practice and study has formed a certain paradox with the research on science communication lagging behind. Thus, the need of the hour is to have a strong base for theoretical research (Chuanhong, 2010)

Program Tailoring: Slicing by Sequential Criteria

Protocol and typestate analyses often report some sequences of statements ending at a program point P that needs to be scrutinized, since P may be erroneous or imprecisely analyzed. Program slicing focuses only on the behavior at P by computing a slice of the program affecting the values at P. In this paper, we propose to restrict our attention to the subset of that behavior at P affected by one or several statement sequences, called a sequential criterion (SC). By leveraging the ordering information in a SC, e.g., the temporal order in a few valid/invalid API method invocation sequences, we introduce a new technique, program tailoring, to compute a tailored program that comprises the statements in all possible execution paths passing through at least one sequence in SC in the given order. With a prototyping implementation, Tailor, we show why tailoring is practically useful by conducting two case studies on seven large real-world Java applications. For program debugging and understanding, Tailor can complement program slicing by removing SC-irrelevant statements. For program analysis, Tailor can enable a pointer analysis, which is unscalable to a program, to perform a more focused and therefore potentially scalable analysis to its specific parts containing hard language features such as reflection