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 novel initiative mating device, which has four 2-degree manipulators around the mating skirt, is proposed to mate between a skirt of AUV （autonomons underwater vehicle） and a disabled submarine. The primary functi...A novel initiative mating device, which has four 2-degree manipulators around the mating skirt, is proposed to mate between a skirt of AUV （autonomons underwater vehicle） and a disabled submarine. The primary function of the device is to keep exact mating between skirt and disabled submarine in a badly sub sea environment. According to the characteristic of rescue, an automaton model is brought forward to describe the mating proceed between AUV and manipulators. The coordinated control is implemented by the TDES （time discrete event system）. After taking into account the time problem, it is a useful method to control mating by sinmlation testing. The result shows that it reduces about 70 seconds after using intelligent co-ordinate control based on TDES through the whole mating procedure.展开更多
Two types of coaxial self-balancing robots(CSBR)were proposed,one can be used as a mobile robot platform for parts transporting in unmanned factory or as an inspector in dangerous areas,and the other can be used as a ...Two types of coaxial self-balancing robots(CSBR)were proposed,one can be used as a mobile robot platform for parts transporting in unmanned factory or as an inspector in dangerous areas,and the other can be used as a personal transporter ridden in cities.Mechanical designing and control structures as well as control strategies were described and compared in order to get a general way to develop such robots.A state feedback controller and a fuzzy controller were designed for the robot using DC servo motors and the robot using torque motors,respectively.The experiments indicate that the robots can realize various desired operations smoothly and agilely at the velocity of 0.6 m/s with an operator of 65 kg.Furthermore,the robustness of the controllers is revealed since these controllers can stabilize the robot even with unknown external disturbances.展开更多
文摘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 novel initiative mating device, which has four 2-degree manipulators around the mating skirt, is proposed to mate between a skirt of AUV （autonomons underwater vehicle） and a disabled submarine. The primary function of the device is to keep exact mating between skirt and disabled submarine in a badly sub sea environment. According to the characteristic of rescue, an automaton model is brought forward to describe the mating proceed between AUV and manipulators. The coordinated control is implemented by the TDES （time discrete event system）. After taking into account the time problem, it is a useful method to control mating by sinmlation testing. The result shows that it reduces about 70 seconds after using intelligent co-ordinate control based on TDES through the whole mating procedure.
基金Project(61273344)supported by the National Natural Science Foundation of ChinaProject(SKLRS-2010-ZD-40)supported by the StateKey Laboratory of Robotics and Systems(HIT),China+1 种基金Project(2008AA04Z208)supported by the National Hi-tech Research and Development Program of ChinaProject(20121101110011)supported by PhD Program Foundation of Ministry of Education,China
文摘Two types of coaxial self-balancing robots(CSBR)were proposed,one can be used as a mobile robot platform for parts transporting in unmanned factory or as an inspector in dangerous areas,and the other can be used as a personal transporter ridden in cities.Mechanical designing and control structures as well as control strategies were described and compared in order to get a general way to develop such robots.A state feedback controller and a fuzzy controller were designed for the robot using DC servo motors and the robot using torque motors,respectively.The experiments indicate that the robots can realize various desired operations smoothly and agilely at the velocity of 0.6 m/s with an operator of 65 kg.Furthermore,the robustness of the controllers is revealed since these controllers can stabilize the robot even with unknown external disturbances.
