Target motion modes have a close relationship with the relative orientation of missile-totarget in three-dimensional highly maneuvering target interception. From the perspective of relationship between the sensor coor...Target motion modes have a close relationship with the relative orientation of missile-totarget in three-dimensional highly maneuvering target interception. From the perspective of relationship between the sensor coordinate system and the target body coordinate system, a basic model of sensor is stated and the definition of relative angular velocity between the two coordinate systems is introduced firstly. Then, the three-dimensional analytic expressions of relative angular velocity for different motion modes are derived and simplified by analyzing the influences of target centroid motion, rotation around centroid and relative motion. Finally, the relationships of the relative angular velocity directions and values with motion modes are discussed. Simulation results validate the rationality of the theoretical analysis. It is demonstrated that there are significant differences of the relative orientation in different motion modes which include luxuriant information about motion modes. The conclusions are significant for the research of motion mode identification,maneuver detection, maneuvering target tracking and interception using target signatures.展开更多
This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the author...This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.展开更多
基金supported by the Specialized Research Fund for the Doctoral Program of China Higher Education (No. 20134307110012)the National Natural Science Foundation of China (No. 61101186)
文摘Target motion modes have a close relationship with the relative orientation of missile-totarget in three-dimensional highly maneuvering target interception. From the perspective of relationship between the sensor coordinate system and the target body coordinate system, a basic model of sensor is stated and the definition of relative angular velocity between the two coordinate systems is introduced firstly. Then, the three-dimensional analytic expressions of relative angular velocity for different motion modes are derived and simplified by analyzing the influences of target centroid motion, rotation around centroid and relative motion. Finally, the relationships of the relative angular velocity directions and values with motion modes are discussed. Simulation results validate the rationality of the theoretical analysis. It is demonstrated that there are significant differences of the relative orientation in different motion modes which include luxuriant information about motion modes. The conclusions are significant for the research of motion mode identification,maneuver detection, maneuvering target tracking and interception using target signatures.
基金supported by the National Basic Research Program of China under Grant No.2014CB340700the National Science and Technology Major Project of China under Grant No.2012ZX01039-004+3 种基金the National Natural Science Foundation of China under Grant Nos.91118007,11071273,61202131,11401218,cstc2012ggB40004,cstc2013jjys40001SRFDP under Grant No.20130076120010the Open Project of Shanghai Key Laboratory of Trustworthy Computing under Grant No.07dz22304201307West Light Foundation of Chinese Academy of Sciences
文摘This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.
