335 research outputs found
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
- …