Electrochemical fabrication of a porous nanostructured nickel hydroxide film electrode with superior pseudocapacitive performance

A porous nickel film is prepared by selectively anodic dissolution of copper from an electrodeposited Ni-Cu alloy film. A porous nanostructured nickel hydroxide film electrode is further fabricated by the cathodic electrodeposition of Ni(OH)₂ film on the obtained porous nickel film. The specific capacitances of the as-prepared porous nanostructured Ni(OH)₂ film electrode at current densities of 2, 5 and 10 A/g are 1634, 1563 and 1512 F/g, respectively. The nanoporous Ni substrate significantly improves the electrochemically cyclic stability of the electrodeposited nickel hydroxide film in 1.0 M KOH solution. The superior pseudocapacitive properties such as large specific capacitance, excellent rate capability and improved electrochemically cyclic stability of the as-prepared nickel hydroxide electrode suggest its potential application in electrochemical capacitors.     

EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software

Journal of Computer Science and Technology - Self-adaptive software (SAS) is gaining popularity as it can reconfigure itself in response to the dynamic changes in the operational context or itself....     

一种软件自适应UML建模及其形式化验证方法

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.