The development of bifunctional catalysts for the efficient hydrogenation and acceptorless dehydrogenation of N‐heterocycles is a challenge.In this study,Ru_(2)P/AC effectively promoted reversible transformations bet...The development of bifunctional catalysts for the efficient hydrogenation and acceptorless dehydrogenation of N‐heterocycles is a challenge.In this study,Ru_(2)P/AC effectively promoted reversible transformations between unsaturated and saturated N‐heterocycles affording yields of 98%and 99%,respectively.Moreover,a remarkable enhancement in the reusability of Ru_(2)P/AC was observed compared with other Ru‐based catalysts.According to density functional theory calculations,the superior performance of Ru_(2)P/AC was ascribed to specific synergistic factors,namely geometric and electronic effects induced by P.P greatly reduced the large Ru‐Ru ensembles and finely modified the electronic structures,leading to a low reaction barrier and high desorption ability of the catalyst,further boosting the hydrogenation and acceptorless dehydrogenation processes.展开更多
Underwater wireless sensor networks(UWSNs) have attracted wide attention in recent years.The capacity research on it is still in the initial stage,lacking adequate performance evaluation for network construction.This ...Underwater wireless sensor networks(UWSNs) have attracted wide attention in recent years.The capacity research on it is still in the initial stage,lacking adequate performance evaluation for network construction.This paper will focus on this subject by theoretical analysis and simulation,aiming to provide some insights for the actual UWSNs construction.According to the structure features of cluster-based UWSNs and the propagation characteristics of underwater acoustic signal,with the combination of signal to interference plus noise ratio,we define some capacity performance metrics,such as outage probability and transmission capacity.Based on the theory of stochastic geometry,a network capacity analytical model used in the cluster-based UWSNs is presented.The simulation results verify the validity of the theoretical analysis,and the cause of error between theoretical and simulation results has also been clearly explained.展开更多
After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable ...After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.展开更多
Typically, relief generation from an input 3D scene is limited to either bas-relief or high-relief modeling. This paper presents a novel unified scheme for synthesizing reliefs guided by the geometric texture richness...Typically, relief generation from an input 3D scene is limited to either bas-relief or high-relief modeling. This paper presents a novel unified scheme for synthesizing reliefs guided by the geometric texture richness of 3D scenes; it can generate both bas- and high-reliefs. The type of relief and compression coefficient can be specified according to the user＇s artistic needs. We use an energy minimization function to obtain the surface reliefs, which contains a geometry preservation term and an edge constraint term. An edge relief measure determined by geometric texture richness and edge z-depth is utilized to achieve a balance between these two terms. During relief generation, the geometry preserwtion term keeps local surface detail in the original scenes, while the edge constraint term maintains regions of the original models with rich geometric texture. Elsewhere, in high- reliefs, the edge constraint term also preserves depth discontinuities in the higher parts of the original scenes. The energy function can be discretized to obtain a sparse linear system. The reliefs are obtained by solving it by an iterative process. Finally, we apply non-linear compression to the relief to meet the user＇s artistic needs. Experimental results show the method＇s effectiveness for generating both bas- and high-reliefs for complex 3D scenes in a unified manner.展开更多
A high-altitude long-endurance aircraft with high-aspect-ratio wing usually generates large deformation,which brings the geometric nonlinear aeroelastic problems.In recent decades,it has become a key focus of the inte...A high-altitude long-endurance aircraft with high-aspect-ratio wing usually generates large deformation,which brings the geometric nonlinear aeroelastic problems.In recent decades,it has become a key focus of the international researchers of aeroelasticity.But some critical technologies are not developed systematically,such as aerodynamic calculation methods of the curved wing with deformation,moreover,there are few experimental validations of these technologies.In this paper,we established the steady aerodynamic calculating method of the curved wing with quite large deformation based on the extended lifting line method,and calculated the unsteady aerodynamics using the strip theory considering curved surface effects.Combining the structure geometrical nonlinear finite element method,we constructed a systematic analytic approach for the static aeroelasticity and flutter of very flexible wing,and further designed the ground vibration and wind tunnel test to verify this approach.Through the test and the theoretic results comparison,we concluded that the extended lifting line method has adaptable precision for the static aeroealsticity and the strip theory considering curved surface effects for flutter analysis can give exact critical speed and flutter mode when the dynamic stall does not happen.The work in this paper shows that the geometric nonlinear aeroelastic analytic approach for very flexible wing has very high efficiency and adaptable precision.It can be used in the engineering applications,especially the iterated design in preliminary stage.展开更多
文摘The development of bifunctional catalysts for the efficient hydrogenation and acceptorless dehydrogenation of N‐heterocycles is a challenge.In this study,Ru_(2)P/AC effectively promoted reversible transformations between unsaturated and saturated N‐heterocycles affording yields of 98%and 99%,respectively.Moreover,a remarkable enhancement in the reusability of Ru_(2)P/AC was observed compared with other Ru‐based catalysts.According to density functional theory calculations,the superior performance of Ru_(2)P/AC was ascribed to specific synergistic factors,namely geometric and electronic effects induced by P.P greatly reduced the large Ru‐Ru ensembles and finely modified the electronic structures,leading to a low reaction barrier and high desorption ability of the catalyst,further boosting the hydrogenation and acceptorless dehydrogenation processes.
基金supported by National Natural Science Foundation of China(No.61101164)
文摘Underwater wireless sensor networks(UWSNs) have attracted wide attention in recent years.The capacity research on it is still in the initial stage,lacking adequate performance evaluation for network construction.This paper will focus on this subject by theoretical analysis and simulation,aiming to provide some insights for the actual UWSNs construction.According to the structure features of cluster-based UWSNs and the propagation characteristics of underwater acoustic signal,with the combination of signal to interference plus noise ratio,we define some capacity performance metrics,such as outage probability and transmission capacity.Based on the theory of stochastic geometry,a network capacity analytical model used in the cluster-based UWSNs is presented.The simulation results verify the validity of the theoretical analysis,and the cause of error between theoretical and simulation results has also been clearly explained.
基金supported by the Funds of the Chinese Academy of Sciences for Key Topics in Innovation Engineering under Grant No.KJCX2-YW-S02
文摘After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.
基金supported by the National Natural Science Foundation of China under Grant No.61272309
文摘Typically, relief generation from an input 3D scene is limited to either bas-relief or high-relief modeling. This paper presents a novel unified scheme for synthesizing reliefs guided by the geometric texture richness of 3D scenes; it can generate both bas- and high-reliefs. The type of relief and compression coefficient can be specified according to the user＇s artistic needs. We use an energy minimization function to obtain the surface reliefs, which contains a geometry preservation term and an edge constraint term. An edge relief measure determined by geometric texture richness and edge z-depth is utilized to achieve a balance between these two terms. During relief generation, the geometry preserwtion term keeps local surface detail in the original scenes, while the edge constraint term maintains regions of the original models with rich geometric texture. Elsewhere, in high- reliefs, the edge constraint term also preserves depth discontinuities in the higher parts of the original scenes. The energy function can be discretized to obtain a sparse linear system. The reliefs are obtained by solving it by an iterative process. Finally, we apply non-linear compression to the relief to meet the user＇s artistic needs. Experimental results show the method＇s effectiveness for generating both bas- and high-reliefs for complex 3D scenes in a unified manner.
基金supported by the National Natural Science Foundation of China (Grant Nos. 90716006,10902006)the Research Fund for the Doctoral Program of Higher Education of China (Grant No. 20091102110015)
文摘A high-altitude long-endurance aircraft with high-aspect-ratio wing usually generates large deformation,which brings the geometric nonlinear aeroelastic problems.In recent decades,it has become a key focus of the international researchers of aeroelasticity.But some critical technologies are not developed systematically,such as aerodynamic calculation methods of the curved wing with deformation,moreover,there are few experimental validations of these technologies.In this paper,we established the steady aerodynamic calculating method of the curved wing with quite large deformation based on the extended lifting line method,and calculated the unsteady aerodynamics using the strip theory considering curved surface effects.Combining the structure geometrical nonlinear finite element method,we constructed a systematic analytic approach for the static aeroelasticity and flutter of very flexible wing,and further designed the ground vibration and wind tunnel test to verify this approach.Through the test and the theoretic results comparison,we concluded that the extended lifting line method has adaptable precision for the static aeroealsticity and the strip theory considering curved surface effects for flutter analysis can give exact critical speed and flutter mode when the dynamic stall does not happen.The work in this paper shows that the geometric nonlinear aeroelastic analytic approach for very flexible wing has very high efficiency and adaptable precision.It can be used in the engineering applications,especially the iterated design in preliminary stage.
