Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 5 of 5

Full-Text Articles in Engineering

Facile Synthesis Of Pt-Cu Alloy Nanodendrites As High-Performance Electrocatalysts For Oxygen Reduction Reaction, Liu-Xuan Luo, Guang-Hua Wei, Shui-Yun Shen, Feng-Juan Zhu, Chang-Chun Ke, Xiao-Hui Yan, Jun-Liang Zhang Dec 2018

Facile Synthesis Of Pt-Cu Alloy Nanodendrites As High-Performance Electrocatalysts For Oxygen Reduction Reaction, Liu-Xuan Luo, Guang-Hua Wei, Shui-Yun Shen, Feng-Juan Zhu, Chang-Chun Ke, Xiao-Hui Yan, Jun-Liang Zhang

Journal of Electrochemistry

Structures and compositions have significant effects on the catalytic properties of nanomaterials. Herein, a facile etching-based method was employed to synthesize Pt-Cu nanodendrites (NDs) with uniform and homogeneous alloy structures for enhancing oxygen reduction reaction (ORR). The formation of dendritic morphology was ascribed to the etching effect caused by the oxidative etchants of the Br-/O2 pair. The atomic ratio of Pt/Cu in Pt-Cu NDs could be easily tuned by altering the ratio of the Pt/Cu precursors, without deteriorating the dendritic morphology. The most active carbon-supported Pt1Cu1 NDs (Pt1Cu1 NDs/C) exhibited the …


Recent Progress In Pt-Based Catalysts For Oxygen Reduction Reaction, Jing Li, Xin Feng, Zi-Dong Wei Dec 2018

Recent Progress In Pt-Based Catalysts For Oxygen Reduction Reaction, Jing Li, Xin Feng, Zi-Dong Wei

Journal of Electrochemistry

One major challenge for a large-scale commercialization of the proton-exchange membrane fuel cells (PEMFCs) technologies that enable a shift to ‘zero-emission’ personal transportation, is the expensive and unstable Pt catalysts, which are mainly used to catalyze the sluggish kinetics of the oxygen reduction reaction (ORR) occurred on the air electrode of PEMFCs. Many research works have targets to improve the stability of Pt-based catalysts and to construct Pt/transitional metal alloys with low Pt loading amount. Herein, we provide a minireview for the Pt-based ORR catalysts based on our recent work, which covers a brief background introduction, the stability improvement of …


Constructions Of Noble Metal Nanocrystals With Specific Crystal Facets And High Surface Area, Qiao-Li Chen, Hui-Qi Li, Ya-Qi Jiang, Zhao-Xiong Xie Dec 2018

Constructions Of Noble Metal Nanocrystals With Specific Crystal Facets And High Surface Area, Qiao-Li Chen, Hui-Qi Li, Ya-Qi Jiang, Zhao-Xiong Xie

Journal of Electrochemistry

Noble metal nanocrystals (NCs) have widespread applications in catalysis. Their catalytic performances are strongly related to the surface structures while the atomic utilization efficiency of noble metal is considerably correlated with the surface area. Thus, advantages of both specific surface structure and large surface area are highly required to show off simultaneously so as to optimize the catalytic performance and decrease the usage of noble metal. However, it seems that the two advantages are incompatible with each other in one NC since it is difficult for small NCs to keep their specific facets, while NCs with specific surface structure usually …


Evoalloy: An Evolutionary Approach For Analyzing Alloy Specifications, Jianghao Wang Nov 2018

Evoalloy: An Evolutionary Approach For Analyzing Alloy Specifications, Jianghao Wang

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Using mathematical notations and logical reasoning, formal methods precisely define a program’s specifications, from which we can instantiate valid instances of a system. With these techniques, we can perform a variety of analysis tasks to verify system dependability and rigorously prove the correctness of system properties. While there exist well-designed automated verification tools including ones considered lightweight, they still lack a strong adoption in practice. The essence of the problem is that when applied to large real world applications, they are not scalable and applicable due to the expense of thorough verification process. In this thesis, I present a new …


Secure Access Control In Multidomain Environments And Formal Analysis Of Model Specifications, Fatemeh Nazerian, Homayun Motameni, Hossein Nematzadeh Jan 2018

Secure Access Control In Multidomain Environments And Formal Analysis Of Model Specifications, Fatemeh Nazerian, Homayun Motameni, Hossein Nematzadeh

Turkish Journal of Electrical Engineering and Computer Sciences

Distributed multiple organizations interact with each other. If the domains employ role-based access control, one method for interaction between domains is role-mapping. However, it may violate constraints in the domains such as role hierarchy, separation of duty, and cardinality. Therefore, autonomy of the domains is lost. This paper proposes secure interoperation in multidomain environments. For this purpose, a cross-domain is created by foreign permission assignment. In an effort to maintain the autonomy of every domain, several rules are defined formally. Then, a decentralized scheme is used to provide permission mapping between domains. At the next stage, the proposed cross-domain is …