Based on the advanced integrated technology of materials preparation and formation, a new pattern Zn-Al-Mg-RE anti-corrosion coating for steel structure sustainable design was manufactured by cored wires and high velo...Based on the advanced integrated technology of materials preparation and formation, a new pattern Zn-Al-Mg-RE anti-corrosion coating for steel structure sustainable design was manufactured by cored wires and high velocity arc spraying (HVAS) technologies. The developments of thermally sprayed coatings for steel structure protection were described. Based on Al, Zn, Zn-Al and Zn-Al-Mg coatings, the anti-corrosion properties of new-pattern Zn-Al-Mg-RE coating were evaluated through electrochemical methods including electrochemical polarization and electrochemical impedance spectroscopy (EIS) coupled with SEM and XRD. The models of Zn-Al-Mg-RE coating undergoing corrosion with the initial pinhole defect and the latter with accelerated products were also discussed. The results show that Zn-Al-Mg-RE coating exhibites excellent corrosion resistance for long-term immersion, which is helpful for the sustainable design of steel structure in aggressive corrosion conditions. And the corrosion products seem to possess certain self-sealing function.展开更多
WITS-Math is a mathematical equation formatting tool in WITS, a multilingual document preparation environment. WITS-Math includes a library manager and an equation formatter. The main task of WITS-Math is to format di...WITS-Math is a mathematical equation formatting tool in WITS, a multilingual document preparation environment. WITS-Math includes a library manager and an equation formatter. The main task of WITS-Math is to format diversities of mathematical equations and organize them into an equation library used by other tools in the WITS environment.WITS-Math is a direct manipulation mathematics editor. It uses syntax directed markup language as the internal representation, alld provides an interactive WYSIWYG interface for users to format equations. WITS-Math provides an equation access mechanism. Other tools can access equations in a library by cross-reference from a source file or through data exchange without knowillg the structure of equation libraries. The common data structure and the rendering object in the WITS platform ensure that the formatted equations can be directly used by other tools.展开更多
文摘Based on the advanced integrated technology of materials preparation and formation, a new pattern Zn-Al-Mg-RE anti-corrosion coating for steel structure sustainable design was manufactured by cored wires and high velocity arc spraying (HVAS) technologies. The developments of thermally sprayed coatings for steel structure protection were described. Based on Al, Zn, Zn-Al and Zn-Al-Mg coatings, the anti-corrosion properties of new-pattern Zn-Al-Mg-RE coating were evaluated through electrochemical methods including electrochemical polarization and electrochemical impedance spectroscopy (EIS) coupled with SEM and XRD. The models of Zn-Al-Mg-RE coating undergoing corrosion with the initial pinhole defect and the latter with accelerated products were also discussed. The results show that Zn-Al-Mg-RE coating exhibites excellent corrosion resistance for long-term immersion, which is helpful for the sustainable design of steel structure in aggressive corrosion conditions. And the corrosion products seem to possess certain self-sealing function.
文摘WITS-Math is a mathematical equation formatting tool in WITS, a multilingual document preparation environment. WITS-Math includes a library manager and an equation formatter. The main task of WITS-Math is to format diversities of mathematical equations and organize them into an equation library used by other tools in the WITS environment.WITS-Math is a direct manipulation mathematics editor. It uses syntax directed markup language as the internal representation, alld provides an interactive WYSIWYG interface for users to format equations. WITS-Math provides an equation access mechanism. Other tools can access equations in a library by cross-reference from a source file or through data exchange without knowillg the structure of equation libraries. The common data structure and the rendering object in the WITS platform ensure that the formatted equations can be directly used by other tools.
