吴方法论文

论文摘要随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设计带来的巨大的验证需求。基于此,形式验证方...

论文摘要微分情形吴方法是代数领域中的一种有效的工具并有着广泛的应用。对于微分情形吴方法在求解微分方程(组)问题上的应用有待我们更深入地研究。微分多项式系统的微分特征列集(吴方法...

论文摘要平面机构和空间机构的运动学研究是机器人机构学研究领域的热点和难点之一。本文以平面基本运动链(巴氏桁架)和冗余度7R机器人的运动学问题为研究对象，对其求解模型、算法理论和...

论文摘要本文中用微分形式的吴方法计算确定了BBM-Burgers,BenjanminOno,NTE等三个发展方程的势对称及对称群不变解。1.用吴方法计算对称生成函数满足的确定方...