Classes are key software components in an object-oriented software system. In many industrial OO software systems, there are some classes that have complicated structure and relationships. So in the processes of softw...Classes are key software components in an object-oriented software system. In many industrial OO software systems, there are some classes that have complicated structure and relationships. So in the processes of software maintenance, testing, software reengineering, software reuse and software restructure, it is a challenge for software engineers to understand these classes thoroughly. This paper proposes a class comprehension model based on constructivist learning theory, and implements a software visualization tool (MFV-Class) to help in the comprehension of a class. The tool provides multiple views of class to uncover manifold facets of class contents. It enables visualizing three object-oriented metrics of classes to help users focus on the understanding process. A case study was conducted to evaluate our approach and the toolkit.展开更多
This paper investigates the problem of formation tracking control for multiple flight vehicle(MFV) system considering actuator saturation constraints. First, the formation tracking control model is established. Then, ...This paper investigates the problem of formation tracking control for multiple flight vehicle(MFV) system considering actuator saturation constraints. First, the formation tracking control model is established. Then, the problem of formation control of the MFV system is converted to the convergence of a dynamical system, which is obtained by using the differential geometry theory.A class of saturation functions is introduced, and on this basis a second-order finite-time formation control protocol is developed.With the help of the homogeneous theory and Lasalle's invariance principle, it is theoretically proved that the designed formation protocol could complete the formation task in finite time, and the control inputs are shown to remain within their available actuating limits. Finally, simulations are performed to verify the effectiveness of the scheme.展开更多
基金Project supported by the National Basic Research Program (973)of China (No. 2002CB312101)+4 种基金 the National Natural ScienceFoundation of China (No. 60272031) Doctorate Research Foun-dation of the State Education Commission of China (No.20010335049) Zhejiang Provincial Natural Science Foundation ofChina (No. ZD0212)
文摘Classes are key software components in an object-oriented software system. In many industrial OO software systems, there are some classes that have complicated structure and relationships. So in the processes of software maintenance, testing, software reengineering, software reuse and software restructure, it is a challenge for software engineers to understand these classes thoroughly. This paper proposes a class comprehension model based on constructivist learning theory, and implements a software visualization tool (MFV-Class) to help in the comprehension of a class. The tool provides multiple views of class to uncover manifold facets of class contents. It enables visualizing three object-oriented metrics of classes to help users focus on the understanding process. A case study was conducted to evaluate our approach and the toolkit.
基金supported by the National Natural Science Foundation of China (61903099)the Natural Science Foundation of Heilongjiang Province (LH2020F025)the Fundamental Research Funds for the Central Universities (3072020CF0406)。
文摘This paper investigates the problem of formation tracking control for multiple flight vehicle(MFV) system considering actuator saturation constraints. First, the formation tracking control model is established. Then, the problem of formation control of the MFV system is converted to the convergence of a dynamical system, which is obtained by using the differential geometry theory.A class of saturation functions is introduced, and on this basis a second-order finite-time formation control protocol is developed.With the help of the homogeneous theory and Lasalle's invariance principle, it is theoretically proved that the designed formation protocol could complete the formation task in finite time, and the control inputs are shown to remain within their available actuating limits. Finally, simulations are performed to verify the effectiveness of the scheme.
