中文摘要：

原始版本的Miranda定理应用起来不甚方便．利用多项式在Box上的伴随多项式改造了Miranda定理．证明了改造后的结果对代数方程组实正则零点的检测是有效的．

英文摘要：

It is inconvenient to use the original version of Miranda＇s Theorem. We reform it by using adjoint polynomials in this paper. The modified version of the theorem is proved to be efficient in checking a real regular zero-point of polynomial systems.