使用广义奇—超位Ⅱ的一阶定理证明

证明了使用奇－超位Ⅱ的证明系统是不完备的，造成这种不完备性的原因是忽略了幂等规则的使用，通过定义一阶多项式与零的超位，适当地拓广了奇－超位Ⅱ的定义，给出了一个使用这种拓广了的奇－超位Ⅱ的完备了证明系统，此外，这一证明系统也是余式方法的改进，它的完备性实质上也说明了使用语义策略的余式方法是完备的。     

零维多项式理想的准素分解

利用Ritt——Wu零点分解算法及多项式理想的Grobner基方法,给出一种零维多项式理想准素分解的算法,即找出该理想所有准素分支的一组基,此外,任意多项式理想的根理想的一组基也可容易地构造出来.     

集成电路验证技术

1994年,Intel开发的奔腾586处理器被发现在执行某个特定的浮点运算时出现错误。这种错误发生的几率虽然很小,27000年才可能出现一次,但Intel还是不得不为此付出4.75亿美元的巨额代价,召回了有缺陷的奔腾处理器。1996年6月4日,欧洲航天局研制的阿里亚娜5号火箭在发射后不到40s爆炸。事后调查研究发现,问题是在当一个很大的64位浮点数转换为16位带符号整数时出现了错误。细微的错误,使得10年的努力毁于一旦。上述两个事例表明,任何系统包括集成电路系统,设计的错误和缺陷一旦造成损失,结果常常是灾难性的。一、集成电路设计技术和产业现状全…