6 results about "Target control" patented technology

A system and method for determining satisfiability of a bounded model checking instance by restricting the decision variable ordering of the SAT solver to a sequence wherein a set of control state variables is given higher priority over the rest variables appearing in the formula. The order for control state variables is chosen based on an increasing order of the control path distance of corresponding control states from the target control state. The order of the control variables is fixed, while that of the rest is determined by the SAT search. Such a decision variable ordering strategy leads to improved performance of SAT solver by early detection and pruning of the infeasible path segments that are closer to target control state.

The invention discloses a live weapon firing competition automatic target outlet system. The live weapon firing competition automatic target outlet system comprises a plurality of target robots, a target control display center and a shooter positioning system. Each of the target robots includes two plane target modules and a moving robot platform connected to the bottom of a plane target module system. An up-down target control structure is composed of a target plate connecting bracket, an up-down rotating shaft, a proximity switch sensor, a direct-current motor with an encoder, a reduction gear box and a direct-current motor drive control circuit board. The live weapon firing competition automatic target outlet system calculates scores of shooters through a local area network according toset assigned weights of the different parts, the training requirements for improving the shooting hit rate of the live weapon firing training of moving targets is realized, a shooter locating systemrobot can lead a shooter in the same direction as the shooter, the guerrilla warfare between the robot and the shooter is truly realized, and the training of a high-probability combat mode of the moving target shooting is effectively realized.

The invention provides a power electronic equipment control initialization method, which comprises the following steps of: (1) before a target control strategy is started, measuring electrical quantity from an actual system to obtain a state, and collecting real-time electrical quantity data to obtain setting value information required by a control loop; (2) realizing integrator initial value setting in the control loop according to setting value information required by the control loop in the step (1), and locking an integrator initial value before starting control; and (3) setting a target control strategy reference value as the electrical quantity measurement value obtained in the step (1), sending a control starting signal to modulation and valve group control by the control system, and starting a control strategy. When the control strategy is initialized, the circuit impact is reduced by setting the initial value of the integrator in the control system and the control target reference value, the rapidity and stability of power electronic equipment control in starting are improved, more application scenes are provided for the power electronic equipment, and the method can be widely applied to the field of power electronics.