No abstract

Purpose The purpose of this paper is to investigate the electrochemical corrosion behavior of type 444 stainless steel (SS) in synthetic tap water from 25°C to 80°C, i.e. the operation environment of the electric water heater. Design/methodology/approach The corrosion behavior was studied by using electrochemical measurements such as electrochemical impedance spectroscopy and polarization curve. The specimen surfaces were observed with scanning electron microscopy. The passive films were characterized with X-ray photoelectron spectroscopy. Findings In the typical tap water, 444 SS passivates spontaneously under different temperatures. The passive films formed at higher temperatures contain relatively less Cr-species and more Cl− ions, resulting in lower polarization resistances. The stable pitting corrosion takes place in the potential region of oxygen evolution as the temperature increases to about 55°C. The critical Cl− concentration of pitting corrosion reduces from about 160 mg L−1 to 60 mg L−1 with changing temperature from 25°C to 80°C. Practical implications The pitting corrosion probability was assessed through the statistical analysis of tap water quality. The results are useful for the application of 444 SS as well as the design of electric water heater. Originality/value This paper shows the variation of polarization resistance, pitting potential, passive film composition and critical pitting chloride concentration with the temperature of tap water. It is of great significance for the development and application of SS in tap water environments.

Representation and reasoning about strategic abilities has been an active research area in AI and multi-agent systems. Many variations and extensions of alternating-time temporal logic ATL have been proposed. However, most of the logical frameworks ignore the issue of coordination within a coalition, and are unable to specify the internal structure of strategies. In this paper, we propose JAADL, a modal logic for joint abilities under strategy commitments, which is an extension of ATL. Firstly, we introduce an operator of elimination of (strictly) dominated strategies, with which we can represent joint abilities of coalitions. Secondly, our logic is based on linear dynamic logic (LDL), an extension of linear temporal logic (LTL), so that we can use regular expressions to represent commitments to structured strategies. We analyze valid formulas in JAADL, give sufficient/necessary conditions for joint abilities, and show that model checking memoryless JAADL is in EXPTIME.

No abstract