In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata...In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.展开更多
An observer-based adaptive backstepping boundary control is proposed for vibration control of flexible offshore riser systems with unknown nonlinear input dead zone and uncertain environmental disturbances.The control...An observer-based adaptive backstepping boundary control is proposed for vibration control of flexible offshore riser systems with unknown nonlinear input dead zone and uncertain environmental disturbances.The control algorithm can update the control law online through real-time data to make the controller adapt to the environment and improve the control precision.Specifically,based on the adaptive backstepping framework,virtual control laws and Lyapunov functions are designed for each subsystem.Three direction interference observers are designed to track the timevarying boundary disturbance.On this basis,the inverse of the dead zone and linear state transformation are used to compensate for the original system and eliminate the adverse effects of the dead zone.In addition,the stability of the closed-loop system is proven by Lyapunov stability theory.All the system states are bounded,and the vibration offset of the riser converges to a small area of the initial position.Finally,four examples of flexible marine risers are simulated in MATLAB to verify the effectiveness of the proposed controller.展开更多
With the improvement of seismic observation system, more and more observations indicate that earthquakes may cause seismic velocity change. However, the amplitude and spatial distribution of the velocity variation rem...With the improvement of seismic observation system, more and more observations indicate that earthquakes may cause seismic velocity change. However, the amplitude and spatial distribution of the velocity variation remains a controversial issue. Recent active source monitoring carried out adjacent to Wenchuan Fault Scientific Drilling （WFSD） revealed unambiguous coseismic velocity change associated with a local M8 5.5 earthquake. Here, we carry out forward modeling using two-dimensional spectral element method to further investigate the amplitude and spatial distribution of observed velocity change. The model is well constrained by results from seismic reflection and WFSD coring. Our model strongly suggests that the observed coseismic velocity change is localized within the fault zone with width of ~ 120 m rather than dynamic strong ground shaking. And a velocity decrease of -2.0 % within the fault zone is required to fit the observed travel time delay distribution, which coincides with rock mechanical experiment and theoretical modeling.展开更多
The purpose is to explore the effect of the spatial distribution of ground control points （GCPs） on the accuracy of imagery rectification. Both area-distributed and linearly distributed GCPs were used to rectify a L...The purpose is to explore the effect of the spatial distribution of ground control points （GCPs） on the accuracy of imagery rectification. Both area-distributed and linearly distributed GCPs were used to rectify a Landsat TM image of a coastal zone. Rectification accuracy was checked against 99 independent points over the intertidal mudflats with no ground control. Results indicate that the root-mean-square error of residuals over these areas is several times larger than its GCPs-measured counterpart. If the GCPs are spatially dispersed over an area, residuals fluctuate but increase steadily with distance to the source of control in easting （R^2= 0. 827）. in northing they fluctuate around 150 m until 15 km, beyond which they rise steadily at a small range of fluctuation. These residuals are less predictable from distance to the source of control than in easting （R^2= 0.517 ）. If the GCPs are distributed along a control line, residuals rise with distance to it linearly and predictably （R^2 = 0. 877） in the direction perpendicular to it. In a direction parallel to it, the distance has little impact on rectification residuals.展开更多
文摘In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.
基金financially supported by the Sichuan Science and Technology Program(Grant No.2023NSFSC1980)。
文摘An observer-based adaptive backstepping boundary control is proposed for vibration control of flexible offshore riser systems with unknown nonlinear input dead zone and uncertain environmental disturbances.The control algorithm can update the control law online through real-time data to make the controller adapt to the environment and improve the control precision.Specifically,based on the adaptive backstepping framework,virtual control laws and Lyapunov functions are designed for each subsystem.Three direction interference observers are designed to track the timevarying boundary disturbance.On this basis,the inverse of the dead zone and linear state transformation are used to compensate for the original system and eliminate the adverse effects of the dead zone.In addition,the stability of the closed-loop system is proven by Lyapunov stability theory.All the system states are bounded,and the vibration offset of the riser converges to a small area of the initial position.Finally,four examples of flexible marine risers are simulated in MATLAB to verify the effectiveness of the proposed controller.
基金supported by China Natural Scientific and Technological Support Projects(Wenchuan Fault Scientific Drilling)National Natural Scientific Foundation of China(Grant No.41204047)
文摘With the improvement of seismic observation system, more and more observations indicate that earthquakes may cause seismic velocity change. However, the amplitude and spatial distribution of the velocity variation remains a controversial issue. Recent active source monitoring carried out adjacent to Wenchuan Fault Scientific Drilling （WFSD） revealed unambiguous coseismic velocity change associated with a local M8 5.5 earthquake. Here, we carry out forward modeling using two-dimensional spectral element method to further investigate the amplitude and spatial distribution of observed velocity change. The model is well constrained by results from seismic reflection and WFSD coring. Our model strongly suggests that the observed coseismic velocity change is localized within the fault zone with width of ~ 120 m rather than dynamic strong ground shaking. And a velocity decrease of -2.0 % within the fault zone is required to fit the observed travel time delay distribution, which coincides with rock mechanical experiment and theoretical modeling.
基金financially supported by a grant from the joint key project of National Natural Science Foundation of China under contract(No.50339010)the National"211"Key Project of China.
文摘The purpose is to explore the effect of the spatial distribution of ground control points （GCPs） on the accuracy of imagery rectification. Both area-distributed and linearly distributed GCPs were used to rectify a Landsat TM image of a coastal zone. Rectification accuracy was checked against 99 independent points over the intertidal mudflats with no ground control. Results indicate that the root-mean-square error of residuals over these areas is several times larger than its GCPs-measured counterpart. If the GCPs are spatially dispersed over an area, residuals fluctuate but increase steadily with distance to the source of control in easting （R^2= 0. 827）. in northing they fluctuate around 150 m until 15 km, beyond which they rise steadily at a small range of fluctuation. These residuals are less predictable from distance to the source of control than in easting （R^2= 0.517 ）. If the GCPs are distributed along a control line, residuals rise with distance to it linearly and predictably （R^2 = 0. 877） in the direction perpendicular to it. In a direction parallel to it, the distance has little impact on rectification residuals.
