This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, im...This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.展开更多
The control system of a catalytic flow reversal reactor （CFRR） for the mitigation of ventilation air methane was investigated. A one-dimensional heteroge- neous model with a logic-based controller was applied to sim...The control system of a catalytic flow reversal reactor （CFRR） for the mitigation of ventilation air methane was investigated. A one-dimensional heteroge- neous model with a logic-based controller was applied to simulate the CFRR. The simulation results indicated that the controller developed in this work performs well under normal conditions. Air dilution and auxiliary methane injection are effective to avoid the catalyst overheating and reaction extinction caused by prolonged rich and lean feed conditions, respectively. In contrast, the reactor is prone to lose control by adjusting the switching time solely. Air dilution exhibits the effects of two contradictory aspects on the operation of CFRR, i.e., cooling the bed and accumulating heat, though the former is in general more prominent. Lowering the reference temperature for flow reversal can decrease the bed temperature and benefit stable operation under rich methane feed condition.展开更多
In response to the need for a supportive on-orbit platform for future Mars exploration missions,this paper proposes the design and implementation of an autonomous spacecraft formation flying system near the Martian sy...In response to the need for a supportive on-orbit platform for future Mars exploration missions,this paper proposes the design and implementation of an autonomous spacecraft formation flying system near the Martian synchronous orbit using fuzzy learning-based intelligent control.A detailed analysis of spacecraft relative motion in the Mars environment is conducted,deducing the necessary conditions to reach the Martian synchronous orbit constraints.The modified Clohessy-Wiltshire(C-W)equation with Martian J_(2)(Oblateness index)perturbation is used as a reference to design a fuzzy learning-based intelligent and robust nonlinear control approach,which helps to autonomously track the desired formation configuration and stabilizes it.An introduction to spacecraft propulsion mechanisms is provided to analyze the feasibility of using electrical thrusters for spacecraft formation configuration tracking and stabilization in Martian synchronous orbits.The simulations show the effectiveness of the proposed control system for long-term on-orbit operations and reveal its reliability for designing intelligent deep-space formation flying configurations,such as an autonomous Mars observatory,a Martian telescope,or an interferometer.展开更多
Three main basic types of locomotion for a mobile robot were introduced and the advantages and disadvantages of a legged mobile robot, a wheeled mobile robot and an articulated mobile robot were also discussed. A new ...Three main basic types of locomotion for a mobile robot were introduced and the advantages and disadvantages of a legged mobile robot, a wheeled mobile robot and an articulated mobile robot were also discussed. A new type of leg wheeled mobile robot was introduced which combines the adaptability of legged robot with the stability of wheeled robot. On the basis of the structure of the wheels, the paper described the principle of the ice skater robot developed from Roller walker and ALDURO and its construction. The paper also established an inertia coordinate system and a wheel coordinate system, and analyzed the configuration or the posture and the related kinematic constraints of the robot according to some assumptions. Based on the motion principle, a logic based coordinated control system and corresponded flowchart were designed. At last, taking the ice skater robot as an example the paper expounded its application and the actual experiment proved its feasibility.展开更多
Task scheduling for electro-magnetic detection satellite is a typical combinatorial optimization problem. The count of constraints that need to be taken into account is of large scale. An algorithm combined integer pr...Task scheduling for electro-magnetic detection satellite is a typical combinatorial optimization problem. The count of constraints that need to be taken into account is of large scale. An algorithm combined integer programming with constraint programming is presented. This algorithm is deployed in this problem through two steps. The first step is to decompose the original problem into master and sub-problem using the logic-based Benders decomposition; then a circus combines master and sub-problem solving process together, and the connection between them is general Benders cut. This hybrid algorithm is tested by a set of derived experiments. The result is compared with corresponding outcomes generated by the strength Pareto evolutionary algorithm and the pure constraint programming solver GECODE, which is an open source software. These tests and comparisons yield promising effect.展开更多
In this note, a robust adaptive control scheme is proposed for a class of nonlinear systems that have unknown multi-plicative terms. Unlike previous results, except for the unknown control directions, we do not requir...In this note, a robust adaptive control scheme is proposed for a class of nonlinear systems that have unknown multi-plicative terms. Unlike previous results, except for the unknown control directions, we do not require a priori bounds on the unknown parameters. We also allow the unknown parameters to be time-varying provided that they are bounded. Our proposed robust adaptive controller is designed to identify on-line the unknown control directions and is a switching type controller, in which the controller parameters are tuned in a switching manner via a switching logic. Global stability of the closed-loop systems have been proved.展开更多
Semantic Service Matchmaking(SSM)can be leveraged for mining the most suitable service to accommodate a diversity of user demands.However,existing research on SSM mostly involves logical or non-logical matching,leadin...Semantic Service Matchmaking(SSM)can be leveraged for mining the most suitable service to accommodate a diversity of user demands.However,existing research on SSM mostly involves logical or non-logical matching,leading to unavoidable false-positive and false-negative problems.Combining different types of SSM methods is an effective way to improve this situation,but the adaptive combination of different service matching methods is still a difficult issue.To conquer this difficulty,a hybrid SSM method,which is based on a random forest and combines the advantages of existing SSM methods,is proposed in this paper.The result of each SSM method is treated as a multi-dimensional feature vector input for the random forest,converting the service matching into a two classification problem.Therefore,our method avoids the flaws found in manual threshold setting.Experimental results show that the proposed method achieves an outstanding performance.展开更多
基金the National Natural Science Foundation of China (No.60274010, 60343001, 60221301, 60334040)
文摘This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.
文摘The control system of a catalytic flow reversal reactor （CFRR） for the mitigation of ventilation air methane was investigated. A one-dimensional heteroge- neous model with a logic-based controller was applied to simulate the CFRR. The simulation results indicated that the controller developed in this work performs well under normal conditions. Air dilution and auxiliary methane injection are effective to avoid the catalyst overheating and reaction extinction caused by prolonged rich and lean feed conditions, respectively. In contrast, the reactor is prone to lose control by adjusting the switching time solely. Air dilution exhibits the effects of two contradictory aspects on the operation of CFRR, i.e., cooling the bed and accumulating heat, though the former is in general more prominent. Lowering the reference temperature for flow reversal can decrease the bed temperature and benefit stable operation under rich methane feed condition.
基金supported by the National Laboratory of Space Intelligent Control(No.HTKJ2023KL502007)the Chinese Government Scholarship(CSC)。
文摘In response to the need for a supportive on-orbit platform for future Mars exploration missions,this paper proposes the design and implementation of an autonomous spacecraft formation flying system near the Martian synchronous orbit using fuzzy learning-based intelligent control.A detailed analysis of spacecraft relative motion in the Mars environment is conducted,deducing the necessary conditions to reach the Martian synchronous orbit constraints.The modified Clohessy-Wiltshire(C-W)equation with Martian J_(2)(Oblateness index)perturbation is used as a reference to design a fuzzy learning-based intelligent and robust nonlinear control approach,which helps to autonomously track the desired formation configuration and stabilizes it.An introduction to spacecraft propulsion mechanisms is provided to analyze the feasibility of using electrical thrusters for spacecraft formation configuration tracking and stabilization in Martian synchronous orbits.The simulations show the effectiveness of the proposed control system for long-term on-orbit operations and reveal its reliability for designing intelligent deep-space formation flying configurations,such as an autonomous Mars observatory,a Martian telescope,or an interferometer.
文摘Three main basic types of locomotion for a mobile robot were introduced and the advantages and disadvantages of a legged mobile robot, a wheeled mobile robot and an articulated mobile robot were also discussed. A new type of leg wheeled mobile robot was introduced which combines the adaptability of legged robot with the stability of wheeled robot. On the basis of the structure of the wheels, the paper described the principle of the ice skater robot developed from Roller walker and ALDURO and its construction. The paper also established an inertia coordinate system and a wheel coordinate system, and analyzed the configuration or the posture and the related kinematic constraints of the robot according to some assumptions. Based on the motion principle, a logic based coordinated control system and corresponded flowchart were designed. At last, taking the ice skater robot as an example the paper expounded its application and the actual experiment proved its feasibility.
基金supported by the National Security Fundamental Research Foundation of China (61361)the National Natural Science Foundation of China (61104180)
文摘Task scheduling for electro-magnetic detection satellite is a typical combinatorial optimization problem. The count of constraints that need to be taken into account is of large scale. An algorithm combined integer programming with constraint programming is presented. This algorithm is deployed in this problem through two steps. The first step is to decompose the original problem into master and sub-problem using the logic-based Benders decomposition; then a circus combines master and sub-problem solving process together, and the connection between them is general Benders cut. This hybrid algorithm is tested by a set of derived experiments. The result is compared with corresponding outcomes generated by the strength Pareto evolutionary algorithm and the pure constraint programming solver GECODE, which is an open source software. These tests and comparisons yield promising effect.
基金Project supported by the National Natural Science Foundation ofChina (No. 60474010), and the Scientific Research Foundation for theReturned Chinese Scholars, State Education Ministry, China
文摘In this note, a robust adaptive control scheme is proposed for a class of nonlinear systems that have unknown multi-plicative terms. Unlike previous results, except for the unknown control directions, we do not require a priori bounds on the unknown parameters. We also allow the unknown parameters to be time-varying provided that they are bounded. Our proposed robust adaptive controller is designed to identify on-line the unknown control directions and is a switching type controller, in which the controller parameters are tuned in a switching manner via a switching logic. Global stability of the closed-loop systems have been proved.
基金the National Natural Science Foundation of China(Nos.61872104 and 61502118)the National Science and Technology Major Project of China(No.2016ZX03001023-005)the Natural Science Foundation of Heilongjiang Province in China(No.F2016009)。
文摘Semantic Service Matchmaking(SSM)can be leveraged for mining the most suitable service to accommodate a diversity of user demands.However,existing research on SSM mostly involves logical or non-logical matching,leading to unavoidable false-positive and false-negative problems.Combining different types of SSM methods is an effective way to improve this situation,but the adaptive combination of different service matching methods is still a difficult issue.To conquer this difficulty,a hybrid SSM method,which is based on a random forest and combines the advantages of existing SSM methods,is proposed in this paper.The result of each SSM method is treated as a multi-dimensional feature vector input for the random forest,converting the service matching into a two classification problem.Therefore,our method avoids the flaws found in manual threshold setting.Experimental results show that the proposed method achieves an outstanding performance.
