Perovskite film quality is a decisive factor governing the performance and long-term stability of perovskite solar cells(PSCs). To passivate defects for high-quality perovskite films, various additives have been explo...Perovskite film quality is a decisive factor governing the performance and long-term stability of perovskite solar cells(PSCs). To passivate defects for high-quality perovskite films, various additives have been explored in perovskite precursor with notable achievements in the development of highperformance PSCs. Herein, tartaric acid(TA) was applied as additive in perovskite precursor solution to modulate the crystal growth leading to high quality thin films with enhanced multiple preferential orientations favoring efficient charge transport along multiple directions. It is also noticed that TA can improve the energy level alignment in PSCs, which effectively accelerates both carrier extraction and transportation with non-radiative recombination suppressed at the perovskite interfaces. Based on the present perovskite films, the fabricated PSCs achieved an excellent champion power conversion efficiency(PCE) of 21.82% from that of 19.70% for the control device without TA additive. In addition, a PSC with TA additive was shown to exhibit impressive operational stability by retaining 92% of its initial PCE after~1200 h of aging at room temperature in ambient air with a relative humidity of about 10%–25%. In summary, the present work demonstrates a facile and versatile approach by using TA as additive in perovskite precursor to fabricate high quality perovskite films with enhanced multiple preferential orientations for high-efficiency stable PSCs.展开更多
In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate ...In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.展开更多
Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develo...Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.展开更多
基金supported by the National Key Research and Development Program of China 2017YFA0403403 and 2017YFB0701901the Natural Science Foundation of China 12075303, 11675252 and U1632265。
文摘Perovskite film quality is a decisive factor governing the performance and long-term stability of perovskite solar cells(PSCs). To passivate defects for high-quality perovskite films, various additives have been explored in perovskite precursor with notable achievements in the development of highperformance PSCs. Herein, tartaric acid(TA) was applied as additive in perovskite precursor solution to modulate the crystal growth leading to high quality thin films with enhanced multiple preferential orientations favoring efficient charge transport along multiple directions. It is also noticed that TA can improve the energy level alignment in PSCs, which effectively accelerates both carrier extraction and transportation with non-radiative recombination suppressed at the perovskite interfaces. Based on the present perovskite films, the fabricated PSCs achieved an excellent champion power conversion efficiency(PCE) of 21.82% from that of 19.70% for the control device without TA additive. In addition, a PSC with TA additive was shown to exhibit impressive operational stability by retaining 92% of its initial PCE after~1200 h of aging at room temperature in ambient air with a relative humidity of about 10%–25%. In summary, the present work demonstrates a facile and versatile approach by using TA as additive in perovskite precursor to fabricate high quality perovskite films with enhanced multiple preferential orientations for high-efficiency stable PSCs.
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.
