基于替换的组合电路的等价性检验方法     

曾琼 《成都信息工程学院学报》2006,21(2):169-173

介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。  相似文献   

热带气旋气候数学模型的预报应用   总被引：5，自引：2，他引：3  

谢定升  翁向宇  曾琼 《海洋科学》2004,28(4):52-57

使用西太平洋海温格点资料,选取若干个因子,组成多个复合因子,建立权重方程,使得单因子的相关系数信度检验0．05提高到复合因子的信度检验0．01,权重方程的信度检验提高到0．001。用权重方程产生的突变的高阶非线性预报方程,其Y与X的相关系数比1阶线性方程提高5％左右。自1999年至今,热带气旋年、月频数气候预测的模型投入到实际预报应用,其预报准确律达到75%～90％。使用非线性预报模型作了逐日气压、逐日雨量的气候预测。将沿海气压场、雨量场的气候预测结果用于分析、制作热带气旋登陆中国以及广东地区的时段、地段的气候预报,准确率达80％～90％。  相似文献   

基于递归学习的组合电路等价性检验方法研究     

曾琼 《成都信息工程学院学报》2006,21(4):484-487

等价性检验方法通常包括功能性和结构性的验证方法。分析了等价性检验的一般方法；并讨论了基于递归学习的组合电路等价性检验方法；算法利用直接蕴含和间接蕴含的方法，解决了布尔可满足问题。实验结果表明了该方法的有效性和可行性。  相似文献