The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train co...The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)system.In the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design flaws.Unified modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are established.At the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of system.The results show that the function of train tracing demaraction-point meets the requirements of system safety and limited activity.Therefore,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.展开更多
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.展开更多
This paper considers the problem of stabilizing multiple time delayed processes using proportional integral(PI) controller.The presented approach is based on finding all possible values of control parameters which wil...This paper considers the problem of stabilizing multiple time delayed processes using proportional integral(PI) controller.The presented approach is based on finding all possible values of control parameters which will result in pure imaginary roots of closed loop characteristic equation under all process parameters fixed.The ergodic search of three PI control parameters are converted from the range of infinity to finite range by introducing trigonometric tangent function.After all possible stability boundaries are obtained,the Nyquist stability method is used to determine the actual stability region of the controller parameters.This method also permits design for simultaneous minimum gain and phase margin requirement.An illustrative example case is also presented.展开更多
This paper proposes an optical device which can continuously change the polarization state of terahertz （THz） waves. The device consists of metal gate, anU-refleetlon coatings, liquid crystal and mirror. By changing...This paper proposes an optical device which can continuously change the polarization state of terahertz （THz） waves. The device consists of metal gate, anU-refleetlon coatings, liquid crystal and mirror. By changing the refractive index of liquid crystal in the interface between the metal gate and the mirror, the phase difference between two beams with orthogonal polarization is varied and a continuous phase sliift is achieved. The phase shift of the device is calculated by using the finite difference time domain （FDTD） method, and the transmittance and reflectance are calculated by using the rigorous coupled wave analysis （RCWA） method. The results reveal that the structure can realize continuously tunable phase shift for THz wave at 1 THz.展开更多
文摘The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)system.In the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design flaws.Unified modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are established.At the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of system.The results show that the function of train tracing demaraction-point meets the requirements of system safety and limited activity.Therefore,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.
文摘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.
基金National Natural Science Foundation of China (No.60674088)
文摘This paper considers the problem of stabilizing multiple time delayed processes using proportional integral(PI) controller.The presented approach is based on finding all possible values of control parameters which will result in pure imaginary roots of closed loop characteristic equation under all process parameters fixed.The ergodic search of three PI control parameters are converted from the range of infinity to finite range by introducing trigonometric tangent function.After all possible stability boundaries are obtained,the Nyquist stability method is used to determine the actual stability region of the controller parameters.This method also permits design for simultaneous minimum gain and phase margin requirement.An illustrative example case is also presented.
基金supported by the National Key Basic Research Program of China(No.2007CB310403)
文摘This paper proposes an optical device which can continuously change the polarization state of terahertz （THz） waves. The device consists of metal gate, anU-refleetlon coatings, liquid crystal and mirror. By changing the refractive index of liquid crystal in the interface between the metal gate and the mirror, the phase difference between two beams with orthogonal polarization is varied and a continuous phase sliift is achieved. The phase shift of the device is calculated by using the finite difference time domain （FDTD） method, and the transmittance and reflectance are calculated by using the rigorous coupled wave analysis （RCWA） method. The results reveal that the structure can realize continuously tunable phase shift for THz wave at 1 THz.
