In order to ease congestion and ground delays in major hub airports, an aircraft taxiing scheduling optimization model is proposed with schedule time as the object function. In the new model, the idea of a classical j...In order to ease congestion and ground delays in major hub airports, an aircraft taxiing scheduling optimization model is proposed with schedule time as the object function. In the new model, the idea of a classical job shop-schedule problem is adopted and three types of special aircraft-taxi conflicts are considered in the constraints. To solve such nondeterministic polynomial time-complex problems, the immune clonal selection algorithm(ICSA) is introduced. The simulation results in a congested hour of Beijing Capital International Airport show that, compared with the first-come-first-served(FCFS) strategy, the optimization-planning strategy reduces the total scheduling time by 13.6 min and the taxiing time per aircraft by 45.3 s, which improves the capacity of the runway and the efficiency of airport operations.展开更多
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.展开更多
A new type of intelligent recolser controller installed on the outdoor rod is developed, which is mainly composed of microcontroller of Intel 87C196KC 20 and CPLD devices. This controller integrates all the functions ...A new type of intelligent recolser controller installed on the outdoor rod is developed, which is mainly composed of microcontroller of Intel 87C196KC 20 and CPLD devices. This controller integrates all the functions of measuring, controlling, protection, fault diagnosis, communication, remote controlled operation and self power devices with infra red remote control devices as a unit. The controller applies the distributed structure, field concentration line and intelligent technology to seal up the synthetic servomechanisms such as the microcomputer based protection and measuring devices in the second stage of the mini out door transformer substation, which are distributed on the outdoor circuit switches on the spot and formed as a whole. Therefore, this technology can transform a large number of ordinary homemade SF 6 circuit beaker and vacuum circuit breaker into intelligent circuit recloser, thus replacing the expensive imported automatic circuit recolser.展开更多
An algorithm for control of several servo motors by a mi- crocontroller is presented. The limited ntanber of progranunable timers on the majority of micnocntrollers presents a problem for multiple generation of timing...An algorithm for control of several servo motors by a mi- crocontroller is presented. The limited ntanber of progranunable timers on the majority of micnocntrollers presents a problem for multiple generation of timing pulses. Two software approaches are discussed in the paper and experimental results given for operation of a set of small servos using a single timer.展开更多
Aiming at the tele-operation instability caused by time delay of interuet information transfer for internet based tele-robotics, this paper proposes a novel control framework for internet based tele-roboties, which ca...Aiming at the tele-operation instability caused by time delay of interuet information transfer for internet based tele-robotics, this paper proposes a novel control framework for internet based tele-roboties, which can guarantee the non-distortion-transfer of control information and reduce the difference of action time between the local simulated virtual robot and the remote real robot. This framework is insensitive to the inherent interact time delay, and differs from other tele-robotics systems that try to use some mathematic models to describe the internet delay or take some assumptions. In order to verify the framework, a 4-DOF fischertechnik industry robot tele-operation system has been developed using the new proposed framework. Experimental results demonstrate the applicable performance of the new framework. The framework is open structured and can be applied to other general purposed tele-operation systems.展开更多
基金Supported by the Basic Scientific Research Projects of the Central University of China(ZXH2010D010)the National Natural Science Foundation of China(60979021/F01)~~
文摘In order to ease congestion and ground delays in major hub airports, an aircraft taxiing scheduling optimization model is proposed with schedule time as the object function. In the new model, the idea of a classical job shop-schedule problem is adopted and three types of special aircraft-taxi conflicts are considered in the constraints. To solve such nondeterministic polynomial time-complex problems, the immune clonal selection algorithm(ICSA) is introduced. The simulation results in a congested hour of Beijing Capital International Airport show that, compared with the first-come-first-served(FCFS) strategy, the optimization-planning strategy reduces the total scheduling time by 13.6 min and the taxiing time per aircraft by 45.3 s, which improves the capacity of the runway and the efficiency of airport operations.
文摘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.
文摘A new type of intelligent recolser controller installed on the outdoor rod is developed, which is mainly composed of microcontroller of Intel 87C196KC 20 and CPLD devices. This controller integrates all the functions of measuring, controlling, protection, fault diagnosis, communication, remote controlled operation and self power devices with infra red remote control devices as a unit. The controller applies the distributed structure, field concentration line and intelligent technology to seal up the synthetic servomechanisms such as the microcomputer based protection and measuring devices in the second stage of the mini out door transformer substation, which are distributed on the outdoor circuit switches on the spot and formed as a whole. Therefore, this technology can transform a large number of ordinary homemade SF 6 circuit beaker and vacuum circuit breaker into intelligent circuit recloser, thus replacing the expensive imported automatic circuit recolser.
文摘An algorithm for control of several servo motors by a mi- crocontroller is presented. The limited ntanber of progranunable timers on the majority of micnocntrollers presents a problem for multiple generation of timing pulses. Two software approaches are discussed in the paper and experimental results given for operation of a set of small servos using a single timer.
基金Sponsored by the National Natural Science Foundation of China (Grant No. 60776816)Scientific Research Foundation of Education Department of Yunnan Province (Grant No.08Y10326)
文摘Aiming at the tele-operation instability caused by time delay of interuet information transfer for internet based tele-robotics, this paper proposes a novel control framework for internet based tele-roboties, which can guarantee the non-distortion-transfer of control information and reduce the difference of action time between the local simulated virtual robot and the remote real robot. This framework is insensitive to the inherent interact time delay, and differs from other tele-robotics systems that try to use some mathematic models to describe the internet delay or take some assumptions. In order to verify the framework, a 4-DOF fischertechnik industry robot tele-operation system has been developed using the new proposed framework. Experimental results demonstrate the applicable performance of the new framework. The framework is open structured and can be applied to other general purposed tele-operation systems.