Stable and reliable high-precision satellite orbit products are the prerequisites for the positioning services with high performance.In general,the positioning accuracy depends strongly on the quality of satellite orb...Stable and reliable high-precision satellite orbit products are the prerequisites for the positioning services with high performance.In general,the positioning accuracy depends strongly on the quality of satellite orbit and clock products,especially for absolute positioning modes,such as Precise Point Positioning(PPP).With the development of real-time services,real-time Precise Orbit Determination(POD)is indispensable and mainly includes two methods:the ultra-rapid orbit prediction and the real-time filtering orbit determination.The real-time filtering method has a great potential to obtain more stable and reliable products than the ultra-rapid orbit prediction method and thus has attracted increasing attention in commercial companies and research institutes.However,several key issues should be resolved,including the refinement of satellite dynamic stochastic models,adaptive filtering for irregular satellite motions,rapid convergence,and real-time Ambiguity Resolution(AR).This paper reviews and summarizes the current research progress in real-time filtering POD with a focus on the aforementioned issues.In addition,the real-time filtering orbit determination software developed by our group is introduced,and some of the latest results are evaluated.The Three-Dimensional(3D)real-time orbit accuracy of GPS and Galileo satellites is better than 5 cm with AR.In terms of the convergence time and accuracy of kinematic PPP AR,the better performance of the filter orbit products is validated compared to the ultra-rapid orbit products.展开更多
The purpose of this paper is to construct quotient algebras L(A) 1 ? /I(A) of complex degenerate composition Lie algebras L(A) 1 ? by some ideals, where L(A 1 ? is defined via Hall algebras of tubular algebras A, and ...The purpose of this paper is to construct quotient algebras L(A) 1 ? /I(A) of complex degenerate composition Lie algebras L(A) 1 ? by some ideals, where L(A 1 ? is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A) 1 ? /I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra L re(A) 1 ? generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A) 1 ? generated by simple A-modules.展开更多
This paper aims to investigate the critical stability of a multi-degree-of-freedom(multi-DOF)real-time hybrid simulation(RTHS).First,the critical time-delay analysis models are developed using the continuous-and discr...This paper aims to investigate the critical stability of a multi-degree-of-freedom(multi-DOF)real-time hybrid simulation(RTHS).First,the critical time-delay analysis models are developed using the continuous-and discrete-time root locus(RL)techniques,respectively.A bilinear transform is introduced into the first-order Padéapproximation while conducting the discrete RL analysis.Based on this technique,the time delay can be explicitly used as the gain factor and thus the instability mechanism of the multi-DOF RTHS system can be analyzed.Subsequently,the critical time delays calculated by the continuous-and discrete-time RL techniques,respectively,are compared for a 2-DOF RTHS system.It is shown that assuming the RTHS system to be a continuous-time system will result in overestimating the critical time delay.Finally,theoretically calculated critical delays are demonstrated and validated by numerical simulation and a set of RTHS experiments.Parametric analysis provides a glimpse of the effects of time step,frequency and damping ratio in a performing partitioning scheme.The constructed analysis model proves to be useful for evaluating the critical time delay to predict stability and performance,therefore facilitating successful RTHS.展开更多
In order to improve the level of multi-functional and automatic observation of crop root system growth,a soil column monitoring system was designed to facilitate in situ dynamic monitoring of root growth and water con...In order to improve the level of multi-functional and automatic observation of crop root system growth,a soil column monitoring system was designed to facilitate in situ dynamic monitoring of root growth and water consumption.The system consists of 20 plastic tubular backfill soil columns,each with an inner diameter of 32 cm and height of 300 cm.The crops were planted at the top of the soil column with the surrounding leveled with the ground surface and the site is in a greenhouse.The underground portion of the soil column contains small round windows on the tube through which root growth can be monitored,roots can be pruned and soil samples can be obtained.A multiport serial weighing system was designed and placed at the base of the soil column.Twenty electronic balances were connected to the personal computer through three CP-168U multiport serial cards and RS-232 serial cables.The host software was developed on the browser/server(Browser/Server),and data collection and remote data transmission and data sharing were implemented using the Java programming language and applying Internet data transmission technology and Web application technology.System tests showed a relatively good stability and real-time capability,and with accuracy up to 50 g and the evapotranspiration of each soil column was 0.25-0.65 kg per day.The root-system observation system developed in this study surpassed the traditional method of root-digging sampling and thus provided an alternative that could be used to automatically monitor the root system growth status.展开更多
1 IntroductionLet A∈C<sup>n×n</sup>, B∈C<sup>n×n</sup>.We say B is a square root of A if A=B×B i.e.A=B<sup>2</sup>.It is well-known that any symmetric positive defi...1 IntroductionLet A∈C<sup>n×n</sup>, B∈C<sup>n×n</sup>.We say B is a square root of A if A=B×B i.e.A=B<sup>2</sup>.It is well-known that any symmetric positive definite matrix exists one and only onesquare root which is a symmetric positive definite matrix,too(e.g.see[5]).Higham[4]studied carefully the relation of a real nonsingular matrix between its real square rootsand its eigenvalues.Alefeld and Schneider[1]pointed out that for any nonsingular M-ma-trix there is one and only one M-matrix as its square root.In this paper,we study on展开更多
基金National Natural Science Foundation of China(Grand No.41904021).
文摘Stable and reliable high-precision satellite orbit products are the prerequisites for the positioning services with high performance.In general,the positioning accuracy depends strongly on the quality of satellite orbit and clock products,especially for absolute positioning modes,such as Precise Point Positioning(PPP).With the development of real-time services,real-time Precise Orbit Determination(POD)is indispensable and mainly includes two methods:the ultra-rapid orbit prediction and the real-time filtering orbit determination.The real-time filtering method has a great potential to obtain more stable and reliable products than the ultra-rapid orbit prediction method and thus has attracted increasing attention in commercial companies and research institutes.However,several key issues should be resolved,including the refinement of satellite dynamic stochastic models,adaptive filtering for irregular satellite motions,rapid convergence,and real-time Ambiguity Resolution(AR).This paper reviews and summarizes the current research progress in real-time filtering POD with a focus on the aforementioned issues.In addition,the real-time filtering orbit determination software developed by our group is introduced,and some of the latest results are evaluated.The Three-Dimensional(3D)real-time orbit accuracy of GPS and Galileo satellites is better than 5 cm with AR.In terms of the convergence time and accuracy of kinematic PPP AR,the better performance of the filter orbit products is validated compared to the ultra-rapid orbit products.
基金Supported by the National Natural Science Foundation of China (Grant Nos. 10371101 and 10671161)
文摘The purpose of this paper is to construct quotient algebras L(A) 1 ? /I(A) of complex degenerate composition Lie algebras L(A) 1 ? by some ideals, where L(A 1 ? is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A) 1 ? /I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra L re(A) 1 ? generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A) 1 ? generated by simple A-modules.
基金National Natural Science Foundation of China under Grant Nos.51725901 and 51639006。
文摘This paper aims to investigate the critical stability of a multi-degree-of-freedom(multi-DOF)real-time hybrid simulation(RTHS).First,the critical time-delay analysis models are developed using the continuous-and discrete-time root locus(RL)techniques,respectively.A bilinear transform is introduced into the first-order Padéapproximation while conducting the discrete RL analysis.Based on this technique,the time delay can be explicitly used as the gain factor and thus the instability mechanism of the multi-DOF RTHS system can be analyzed.Subsequently,the critical time delays calculated by the continuous-and discrete-time RL techniques,respectively,are compared for a 2-DOF RTHS system.It is shown that assuming the RTHS system to be a continuous-time system will result in overestimating the critical time delay.Finally,theoretically calculated critical delays are demonstrated and validated by numerical simulation and a set of RTHS experiments.Parametric analysis provides a glimpse of the effects of time step,frequency and damping ratio in a performing partitioning scheme.The constructed analysis model proves to be useful for evaluating the critical time delay to predict stability and performance,therefore facilitating successful RTHS.
基金the National Science&Technology Supporting Plan(2011BAD29B08,2012BAH29B04-02)the“111”Project(B12007).
文摘In order to improve the level of multi-functional and automatic observation of crop root system growth,a soil column monitoring system was designed to facilitate in situ dynamic monitoring of root growth and water consumption.The system consists of 20 plastic tubular backfill soil columns,each with an inner diameter of 32 cm and height of 300 cm.The crops were planted at the top of the soil column with the surrounding leveled with the ground surface and the site is in a greenhouse.The underground portion of the soil column contains small round windows on the tube through which root growth can be monitored,roots can be pruned and soil samples can be obtained.A multiport serial weighing system was designed and placed at the base of the soil column.Twenty electronic balances were connected to the personal computer through three CP-168U multiport serial cards and RS-232 serial cables.The host software was developed on the browser/server(Browser/Server),and data collection and remote data transmission and data sharing were implemented using the Java programming language and applying Internet data transmission technology and Web application technology.System tests showed a relatively good stability and real-time capability,and with accuracy up to 50 g and the evapotranspiration of each soil column was 0.25-0.65 kg per day.The root-system observation system developed in this study surpassed the traditional method of root-digging sampling and thus provided an alternative that could be used to automatically monitor the root system growth status.
基金The second author is supported by Xiamen University,China
文摘1 IntroductionLet A∈C<sup>n×n</sup>, B∈C<sup>n×n</sup>.We say B is a square root of A if A=B×B i.e.A=B<sup>2</sup>.It is well-known that any symmetric positive definite matrix exists one and only onesquare root which is a symmetric positive definite matrix,too(e.g.see[5]).Higham[4]studied carefully the relation of a real nonsingular matrix between its real square rootsand its eigenvalues.Alefeld and Schneider[1]pointed out that for any nonsingular M-ma-trix there is one and only one M-matrix as its square root.In this paper,we study on