NOx can cause severe environmental problems such as acid rain and photochemical smog,endangering human health and the living environment.Among them,NO pollution accounts for about 95%.NO can exist stably in the air fo...NOx can cause severe environmental problems such as acid rain and photochemical smog,endangering human health and the living environment.Among them,NO pollution accounts for about 95%.NO can exist stably in the air for a long time when the concentration is lower than the ppm level.Therefore,the conversion of low concentration of NO has attracted more and more attention.However,traditional physical or chemical methods are difficult to deal with low concentration of NO,having high requirements on equipment and being not cost‐effective.Semiconductor photocatalytic technology can convert low concentration of NO into non‐toxic products and reduce its harm.This work briefly surveys the commonly used materials,modification methods,and mechanisms for semiconductor photocatalytic conversion of low concentration of NO.In addition,the challenges and prospects of ppb level of NO treatment are also discussed,aiming to promote the development of semiconductor photocatalytic conversion of NO.展开更多
We investigate the elastic waves excited by an arbitrary plane piezoelectric source on the surface of a multilayered medium. Based on the previous studies, the 2D elastic wavefield in the multilayered medium is extend...We investigate the elastic waves excited by an arbitrary plane piezoelectric source on the surface of a multilayered medium. Based on the previous studies, the 2D elastic wavefield in the multilayered medium is extended to 3D space. The propagator matrix for the 3D wavefield is investigated and the displacement-stress response for the boundary conditions is obtained. The excitation and propagation of the Rayleigh and Love waves are analysed further. It is found that the propagation velocity of the Rayleigh and Love waves does not depend on the propagation azimuth θ in the plane parallel to the free surface of the multilayered medium while the displacement is strongly dependent on the azimuth θ.展开更多
Based on the modified Jocobi elliptic function expansion method and the modified extended tanh function method,a new algebraic method is presented to obtain mu ltiple travelling wave solutions for nonlinear wave equ...Based on the modified Jocobi elliptic function expansion method and the modified extended tanh function method,a new algebraic method is presented to obtain mu ltiple travelling wave solutions for nonlinear wave equations.By using the metho d,Ito's 5th order and 7th order mKdV equations are studied in detail and more new exact Jocobi elliptic function periodic solutions are found.With modulus m→1 or m→0,these solutions degenerate into corresponding solitary wave s olutions,shock wave solutions and trigonometric function solutions.展开更多
In this paper,we study the computative structure of computable function-a structure of computative tree,and,by analysis on it,got the most general algorithm and model for computation on computable functions.
Superior bifunctional electrocatalysts with ultra-high stability and excellent efficiency are crucial to boost the oxygen evolution reaction(OER) and the hydrogen evolution reduction(HER) in the overall water splittin...Superior bifunctional electrocatalysts with ultra-high stability and excellent efficiency are crucial to boost the oxygen evolution reaction(OER) and the hydrogen evolution reduction(HER) in the overall water splitting(OWS) for the sustainable production of clean fuels. Herein, comprehensive density functional theory(DFT) computations were performed to explore the potential of several single transition metal(TM) atoms anchored on various S-doped black phosphorenes(TM/Snx-BP) for bifunctional OWS electrocatalysis. The results revealed that these candidates display good stability, excellent electrical conductivity, and diverse spin moments. Furthermore, the Rh/S12-BP catalyst was identified as an eligible bifunctional catalyst for OWS process due to the low overpotentials for OER(0.43 V) and HER(0.02 V), in which Rh and its adjacent P atoms were identified as the active sites. Based on the computed Gibbs free energies of OH~*, O~*, OOH~* and H~*, the corresponding volcano plots for OER and HER were established.Interestingly, the spin moments and the charge distribution of the active sites determine the catalytic trends of OER and HER. Our findings not only propose a promising bifunctional catalyst for OWS, but also widen the potential application of BP in electrocatalysis.展开更多
We study the conjugate gradient method for solving a system of linear equations with coefficients which are measurable functions and establish the rate of convergence of this method.
The direct synthesis of hydrogen peroxide(H_(2)O_(2))via a two‐electron oxygen reduction reaction(2e‐ORR)in acidic media has emerged as a green process for the production of this valuable chemical.However,such an ap...The direct synthesis of hydrogen peroxide(H_(2)O_(2))via a two‐electron oxygen reduction reaction(2e‐ORR)in acidic media has emerged as a green process for the production of this valuable chemical.However,such an approach employs expensive noble‐metal‐based electrocatalysts,which severely undermines its feasibility when implemented on an industrial scale.Herein,based on density functional theory computations and microkinetic modeling,we demonstrate that a novel two‐dimensional(2D)material,namely a 1T′‐MoTe_(2)monolayer,can serve as an efficient non‐precious electrocatalyst to facilitate the 2e‐ORR.The 1T′‐MoTe_(2)monolayer is a stable 2D crystal that can be easily produced through exfoliation techniques.The surface‐exposed Te sites of the 1T′‐MoTe_(2)monolayer exhibit a favorable OOH*binding energy of 4.24 eV,resulting in a rather high basal plane activity toward the 2e‐ORR.Importantly,kinetic computations indicate that the 1T'‐MoTe_(2)monolayer preferentially promotes the formation of H_(2)O_(2)over the competing four‐electron ORR step.These desirable characteristics render 1T′‐MoTe_(2)a promising candidate for catalyzing the electrochemical reduction of O_(2)to H_(2)O_(2).展开更多
We propose a novel method of slice image reconstruction with controllable spatial filtering by using the correlation of periodic delta-function arrays （PDFAs） with elemental images in computational integral imaging....We propose a novel method of slice image reconstruction with controllable spatial filtering by using the correlation of periodic delta-function arrays （PDFAs） with elemental images in computational integral imaging. The multiple PDFAs, whose spatial periods correspond to object＇s depths with the elemental image array （EIA）, can generate a set of spatially filtered EIAs for multiple object depths compared with the conventional method for the depth of a single object. We analyze a controllable spatial filtering effect by the proposed method. To show the feasibility of the proposed method, we carry out preliminary experiments for multiple objects and present the results.展开更多
Hoare logic is a logic used as a way of specifying semantics of programming languages, which has been extended to be a separation logic to reason about mutable heap structure. In a model M of Hoare logic, each program...Hoare logic is a logic used as a way of specifying semantics of programming languages, which has been extended to be a separation logic to reason about mutable heap structure. In a model M of Hoare logic, each program α induces an M-computable function fα M on the universe of M; and the M-recursive functions are defined on M. It will be proved that the class of all the M-computable functions fα M induced by programs is equal to the class of all the M- recursive functions. Moreover, each M-recursive function is ∑ 1 NM -definable in M, where the universal quantifier is a num- ber quantifier ranging over the standard part of a nonstandard model M.展开更多
In this paper, a new method is applied to get the computation formula of partial coherence function. The main attention is paid to the computation formula of the partial coherence function with three and four signals....In this paper, a new method is applied to get the computation formula of partial coherence function. The main attention is paid to the computation formula of the partial coherence function with three and four signals. The advantages of the method discussed in the paper are clear in physical meaning and easy to compute at the end of the paper,the application of the method to the identification of an air compressor noise source is presented and the results are satisfactory.展开更多
文摘NOx can cause severe environmental problems such as acid rain and photochemical smog,endangering human health and the living environment.Among them,NO pollution accounts for about 95%.NO can exist stably in the air for a long time when the concentration is lower than the ppm level.Therefore,the conversion of low concentration of NO has attracted more and more attention.However,traditional physical or chemical methods are difficult to deal with low concentration of NO,having high requirements on equipment and being not cost‐effective.Semiconductor photocatalytic technology can convert low concentration of NO into non‐toxic products and reduce its harm.This work briefly surveys the commonly used materials,modification methods,and mechanisms for semiconductor photocatalytic conversion of low concentration of NO.In addition,the challenges and prospects of ppb level of NO treatment are also discussed,aiming to promote the development of semiconductor photocatalytic conversion of NO.
基金Supported by the National Natural Science Foundation of China under Grand No 10374098.
文摘We investigate the elastic waves excited by an arbitrary plane piezoelectric source on the surface of a multilayered medium. Based on the previous studies, the 2D elastic wavefield in the multilayered medium is extended to 3D space. The propagator matrix for the 3D wavefield is investigated and the displacement-stress response for the boundary conditions is obtained. The excitation and propagation of the Rayleigh and Love waves are analysed further. It is found that the propagation velocity of the Rayleigh and Love waves does not depend on the propagation azimuth θ in the plane parallel to the free surface of the multilayered medium while the displacement is strongly dependent on the azimuth θ.
基金Supported by the Natural Science Foundation of Zhejiang Province (1 0 2 0 37)
文摘Based on the modified Jocobi elliptic function expansion method and the modified extended tanh function method,a new algebraic method is presented to obtain mu ltiple travelling wave solutions for nonlinear wave equations.By using the metho d,Ito's 5th order and 7th order mKdV equations are studied in detail and more new exact Jocobi elliptic function periodic solutions are found.With modulus m→1 or m→0,these solutions degenerate into corresponding solitary wave s olutions,shock wave solutions and trigonometric function solutions.
基金supported by National Natural Science Foundation of China.
文摘In this paper,we study the computative structure of computable function-a structure of computative tree,and,by analysis on it,got the most general algorithm and model for computation on computable functions.
基金financially supported by the Natural Science Funds (NSF) for Distinguished Young Scholar of Heilongjiang Province (No. JC2018004)。
文摘Superior bifunctional electrocatalysts with ultra-high stability and excellent efficiency are crucial to boost the oxygen evolution reaction(OER) and the hydrogen evolution reduction(HER) in the overall water splitting(OWS) for the sustainable production of clean fuels. Herein, comprehensive density functional theory(DFT) computations were performed to explore the potential of several single transition metal(TM) atoms anchored on various S-doped black phosphorenes(TM/Snx-BP) for bifunctional OWS electrocatalysis. The results revealed that these candidates display good stability, excellent electrical conductivity, and diverse spin moments. Furthermore, the Rh/S12-BP catalyst was identified as an eligible bifunctional catalyst for OWS process due to the low overpotentials for OER(0.43 V) and HER(0.02 V), in which Rh and its adjacent P atoms were identified as the active sites. Based on the computed Gibbs free energies of OH~*, O~*, OOH~* and H~*, the corresponding volcano plots for OER and HER were established.Interestingly, the spin moments and the charge distribution of the active sites determine the catalytic trends of OER and HER. Our findings not only propose a promising bifunctional catalyst for OWS, but also widen the potential application of BP in electrocatalysis.
文摘We study the conjugate gradient method for solving a system of linear equations with coefficients which are measurable functions and establish the rate of convergence of this method.
文摘The direct synthesis of hydrogen peroxide(H_(2)O_(2))via a two‐electron oxygen reduction reaction(2e‐ORR)in acidic media has emerged as a green process for the production of this valuable chemical.However,such an approach employs expensive noble‐metal‐based electrocatalysts,which severely undermines its feasibility when implemented on an industrial scale.Herein,based on density functional theory computations and microkinetic modeling,we demonstrate that a novel two‐dimensional(2D)material,namely a 1T′‐MoTe_(2)monolayer,can serve as an efficient non‐precious electrocatalyst to facilitate the 2e‐ORR.The 1T′‐MoTe_(2)monolayer is a stable 2D crystal that can be easily produced through exfoliation techniques.The surface‐exposed Te sites of the 1T′‐MoTe_(2)monolayer exhibit a favorable OOH*binding energy of 4.24 eV,resulting in a rather high basal plane activity toward the 2e‐ORR.Importantly,kinetic computations indicate that the 1T'‐MoTe_(2)monolayer preferentially promotes the formation of H_(2)O_(2)over the competing four‐electron ORR step.These desirable characteristics render 1T′‐MoTe_(2)a promising candidate for catalyzing the electrochemical reduction of O_(2)to H_(2)O_(2).
基金supported by the information technology(IT)research and development program of MKE/KEIT(10041682Development of High-Definition 3D Image Processing Technologies Using Advanced Integral Imaging with Improved Depth Range)
文摘We propose a novel method of slice image reconstruction with controllable spatial filtering by using the correlation of periodic delta-function arrays （PDFAs） with elemental images in computational integral imaging. The multiple PDFAs, whose spatial periods correspond to object＇s depths with the elemental image array （EIA）, can generate a set of spatially filtered EIAs for multiple object depths compared with the conventional method for the depth of a single object. We analyze a controllable spatial filtering effect by the proposed method. To show the feasibility of the proposed method, we carry out preliminary experiments for multiple objects and present the results.
文摘Hoare logic is a logic used as a way of specifying semantics of programming languages, which has been extended to be a separation logic to reason about mutable heap structure. In a model M of Hoare logic, each program α induces an M-computable function fα M on the universe of M; and the M-recursive functions are defined on M. It will be proved that the class of all the M-computable functions fα M induced by programs is equal to the class of all the M- recursive functions. Moreover, each M-recursive function is ∑ 1 NM -definable in M, where the universal quantifier is a num- ber quantifier ranging over the standard part of a nonstandard model M.
文摘In this paper, a new method is applied to get the computation formula of partial coherence function. The main attention is paid to the computation formula of the partial coherence function with three and four signals. The advantages of the method discussed in the paper are clear in physical meaning and easy to compute at the end of the paper,the application of the method to the identification of an air compressor noise source is presented and the results are satisfactory.
