Eigenvalue Problems of the Parameter Dependent System of Ordinary Differential Equations and Computer Aided Proof(Self Validation Algorithm and its Complexity in Numerical Computation)