Quantifier Elimination and Its Application to optimization Ploblems in Engineering