31 results about "Recursive model" patented technology

The invention provides a method for identifying angle of attack and sideslip angle based on Kalman filter, comprising: establishing a recursive model and an observation model of angle of attack α and angle of sideslip β; obtaining a step of angle of attack α and angle of sideslip β Predicted value Xpre; get one-step predicted mean square error Ppre; get measurement matrix H and measurement quantity Z; get filter gain K; get Kalman filtering angle of attack α(k+1) and Kalman filtering side slip angle β( k+1); get the updated error variance matrix P'; get the updated one-step predicted value Xpre' of the attack angle α and sideslip angle β, and return to S4 based on the updated error variance matrix P' and the updated one-step The predicted value Xpre' is used for the next iteration. The present invention establishes the recursive model and the observation model of the angle of attack α and the sideslip angle β, and performs Kalman filtering based on the recursive model and the observation model of the angle of attack α and the sideslip angle β, so that the angle of attack α and the sideslip angle can be realized. High-precision online identification of angle β. The present invention is used under the condition of no measuring device for the angle of attack and the sideslip angle, saves a set of sensing collection equipment, and can realize synchronous measurement of the angle of attack and the sideslip angle.

The invention discloses a time dynamic push-down network conversion method, which is used to describe real-time concurrent recursive modeling including recursion and dynamic thread creation. Firstly, a global clock that describes continuous time and a real-number clock that can describe the "age" of time-related global variables and stack characters are introduced in DPN, so that asynchronous communication based on shared memory and real-time concurrent system with dynamic thread creation can be implemented. for modeling. Secondly, for the clock equivalence technology based on integer division, an optimization technology based on clock key points is given to reduce the clock interval, thereby reducing the converted state space. Since the time dynamic pushdown network is an abstract model of a real-time concurrent recursive program, the clock equivalent optimization technology based on key points converts the model into a dynamic pushdown network, so that by confirming whether the execution of the dynamic pushdown network model will run to Error status to detect bugs or vulnerabilities in the concurrent recursive program corresponding to this model.

The present invention provides a high code rate inter-satellite link switching method and system for flying formations, comprising: Step 1: Establishing an orbital dynamics recursive model according to the satellite ephemeris of formation members; Step 2: According to the orbital dynamics Based on the orbital recursion state and load requirements in the recursive model, the formation member satellite attitude information estimation is completed; Step 3: According to the satellite attitude information estimation, calculate and judge the mutual visibility of each link antenna between the two satellites to be established in the formation; Step 4: According to the mutual visibility judgment results of the antennas of the links between the two satellites to be established in the formation, comprehensively distribute the inter-satellite link switching logic of the formation. The invention solves the problem of determining the multi-link antenna switching logic caused by the narrow beam field of view of the high code rate link, and has more general engineering practicability.