An aircraft tractor plays a significant role as a kind of important marine transport and support equipment. It＇s necessary to study its controlling and manoeuvring stability to improve operation efficiency. A virtual...An aircraft tractor plays a significant role as a kind of important marine transport and support equipment. It＇s necessary to study its controlling and manoeuvring stability to improve operation efficiency. A virtual prototyping model of the tractor-aircraft system based on Lagrange＇s equation of the first kind with Lagrange mutipliers was established in this paper, According to the towing characteristics, a path-tracking controller using fuzzy logic theory was designed. Direction control herein was carried out through a compensatory tracking approach. Interactive co-simulation was performed to validate the path-tracking behavior in closed-loop, Simulation results indicated that the tractor followed the reference courses precisely on a flat ground.展开更多
In this paper we present two strategies of AUV (Autonomous Underwater Vehicle) region detection and an approach to decompose the detection region according to the direction of the ocean current. In the task of local d...In this paper we present two strategies of AUV (Autonomous Underwater Vehicle) region detection and an approach to decompose the detection region according to the direction of the ocean current. In the task of local detection and identification, the algorithm against the ocean current was proposed. In the tasks of closing obstacle, going back or moving, the fuzzy logic theory was used to solve the effect of ocean current. In one of our strategies the concept of weighted journey based on the angle between heading and ocean current is suggested and the TSP's exact optimal result is utilized to solve the global path planning. Simulations demonstrate the feasibility of this approach.展开更多
Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the d...Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG^*.展开更多
基金Harbin Technological Innovation Research Fund(NO:2012RFXXG039)
文摘An aircraft tractor plays a significant role as a kind of important marine transport and support equipment. It＇s necessary to study its controlling and manoeuvring stability to improve operation efficiency. A virtual prototyping model of the tractor-aircraft system based on Lagrange＇s equation of the first kind with Lagrange mutipliers was established in this paper, According to the towing characteristics, a path-tracking controller using fuzzy logic theory was designed. Direction control herein was carried out through a compensatory tracking approach. Interactive co-simulation was performed to validate the path-tracking behavior in closed-loop, Simulation results indicated that the tractor followed the reference courses precisely on a flat ground.
基金Supported by the Research Fund for the Doctoral Program of Higher Education from the Ministry of Education
文摘In this paper we present two strategies of AUV (Autonomous Underwater Vehicle) region detection and an approach to decompose the detection region according to the direction of the ocean current. In the task of local detection and identification, the algorithm against the ocean current was proposed. In the tasks of closing obstacle, going back or moving, the fuzzy logic theory was used to solve the effect of ocean current. In one of our strategies the concept of weighted journey based on the angle between heading and ocean current is suggested and the TSP's exact optimal result is utilized to solve the global path planning. Simulations demonstrate the feasibility of this approach.
文摘Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG^*.
