Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sheng Huanhuan"'
We present a tool for verification of hybrid systems expressed in the sequential fragment of HCSP (Hybrid Communicating Sequential Processes). The tool permits annotating HCSP programs with pre- and postconditions, invariants, and proof rules for rea
Externí odkaz:
http://arxiv.org/abs/2210.17163
Autor:
Chu, Wen, Jiang, Wei, Sheng, Huanhuan, Yuan, Guangzhong, Lin, Weihao, Lin, Longxia, Qin, Haiying, Meng, Liang, Liu, Jiabin
Publikováno v:
In Electrochimica Acta 10 March 2018 266:357-363
Functionalization of polyvinyl alcohol composite membrane by CoOOH for direct borohydride fuel cells
Autor:
Jiabin Liu, Juan Wang, Aiguo Li, Hualiang Ni, Hu Yongping, Zhenguo Ji, Dong Zexi, Sheng Huanhuan, Yan He, Chu Wen, Cai Zhu, Hongzhong Chi, Haiying Qin
Publikováno v:
Electrochemistry Communications, Vol 77, Iss, Pp 1-4 (2017)
A polyvinyl alcohol anion exchange resin composite membrane was functionalized with CoOOH for use in direct borohydride fuel cells (DBFCs) and is detailed in this report. The CoOOH-functionalized membrane has a higher ionic conductivity and a lower b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ced9b63f2aa29415b3c978de46c0200
http://www.sciencedirect.com/science/article/pii/S1388248117300371
http://www.sciencedirect.com/science/article/pii/S1388248117300371
Functionalization of polyvinyl alcohol composite membrane by CoOOH for direct borohydride fuel cells
Autor:
Qin, Haiying, Hu, Yongping, Zhu, Cai, Chu, Wen, Sheng, Huanhuan, Dong, Zexi, He, Yan, Wang, Juan, Li, Aiguo, Chi, Hongzhong, Ni, Hualiang, Ji, Zhenguo, Liu, Jiabin
Publikováno v:
In Electrochemistry Communications April 2017 77:1-4