The property of the invariant set and measure's dimension of the IFS are main objects in the studying of fractal geometry.

It is proved that nonwandering operators keep their property of nonwandering on this small neighborhood by the methods of matrices and invariant set.

A group of ellipsoidal invariant sets is designed off-line, and then constitutes a terminal constraint convex set whose coefficients are taken as on-line optimization variables.