In this work, nonlinear multimode aerodynamic analysis of the Jingsha Bridge under erection over the Yangtze River is conducted, and the evolutions of structural dynamic characteristics and the aerodynamic stability w...In this work, nonlinear multimode aerodynamic analysis of the Jingsha Bridge under erection over the Yangtze River is conducted, and the evolutions of structural dynamic characteristics and the aerodynamic stability with erection are numerically generated. Instead of the simplified method, nonlinear multimode aerodynamic analysis is suggested to predict the aerodynamic stability of cable-stayed bridges under erection. The analysis showed that the aerodynamic stability maximizes at the relatively early stages, and decreases as the erection proceeds. The removal of the temporary piers in side spans and linking of the main girder to the anchor piers have important influence on the dynamic characteristics and aerodynamic stability of cable-stayed bridges under erection.展开更多
The thermal inertia and plant water stress index are oftenadopted to estimate soil moisture available for crops or plants. However, it is not very easy to obtain two temporal temperatures for thermal inertia model and...The thermal inertia and plant water stress index are oftenadopted to estimate soil moisture available for crops or plants. However, it is not very easy to obtain two temporal temperatures for thermal inertia model and air temperature for the plant water stress mode. Shadows of ground objects are often referred to noise on visible and near infrared remote sensing. But the difference of temperature between shadows and sunlit contains rich information concerning with heat-water status for soil. This paper presented a new way to excavate just by temperature difference usually between shadow and sunlit surface. Experiments validated the ideal. We can adopt thermal camera to measure the differences in the field measurements. However, we must use inversion based on multianglar thermal infrared remote sensing data in airborne and spaceborne. An inverting model was also presented by using Monte-Carlo and the least square method. Results show that this way is feasible.展开更多
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.展开更多
We establish an integration by parts formula on the path space with reference measure P, the law of the(reflecting) diffusion process on manifolds with possible boundary carrying geometric flow, which leads to the sta...We establish an integration by parts formula on the path space with reference measure P, the law of the(reflecting) diffusion process on manifolds with possible boundary carrying geometric flow, which leads to the standard log-Sobolev inequality for the associated Dirichlet form. To this end, we first modify Hsu's multiplicative functionals to define the damp gradient operator, which links to quasi-invariant flows; and then establish the derivative formula for the associated inhomogeneous diffusion semigroup.展开更多
基金Project supported by China Postdoctoral Science Foundation (No.2002031245) and the Natural Science Foundation of Zhejiang Prov-ince (No. 502118) China
文摘In this work, nonlinear multimode aerodynamic analysis of the Jingsha Bridge under erection over the Yangtze River is conducted, and the evolutions of structural dynamic characteristics and the aerodynamic stability with erection are numerically generated. Instead of the simplified method, nonlinear multimode aerodynamic analysis is suggested to predict the aerodynamic stability of cable-stayed bridges under erection. The analysis showed that the aerodynamic stability maximizes at the relatively early stages, and decreases as the erection proceeds. The removal of the temporary piers in side spans and linking of the main girder to the anchor piers have important influence on the dynamic characteristics and aerodynamic stability of cable-stayed bridges under erection.
基金the China's National Key-important Basic Research Plan (Grant No.95-Y-38) , Special Funds for Major State Basic Research Project (Grant No. 2000077900) and the National Natural Science Foundation of China (Grant No. 49890330).
文摘The thermal inertia and plant water stress index are oftenadopted to estimate soil moisture available for crops or plants. However, it is not very easy to obtain two temporal temperatures for thermal inertia model and air temperature for the plant water stress mode. Shadows of ground objects are often referred to noise on visible and near infrared remote sensing. But the difference of temperature between shadows and sunlit contains rich information concerning with heat-water status for soil. This paper presented a new way to excavate just by temperature difference usually between shadow and sunlit surface. Experiments validated the ideal. We can adopt thermal camera to measure the differences in the field measurements. However, we must use inversion based on multianglar thermal infrared remote sensing data in airborne and spaceborne. An inverting model was also presented by using Monte-Carlo and the least square method. Results show that this way is feasible.
基金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 Zhejiang University of Technology(Grant No.2014X2011)the Starting-up Research Fund supplied by Zhejiang University of Technology(Grant No.1009007329)
文摘We establish an integration by parts formula on the path space with reference measure P, the law of the(reflecting) diffusion process on manifolds with possible boundary carrying geometric flow, which leads to the standard log-Sobolev inequality for the associated Dirichlet form. To this end, we first modify Hsu's multiplicative functionals to define the damp gradient operator, which links to quasi-invariant flows; and then establish the derivative formula for the associated inhomogeneous diffusion semigroup.
