排序方式: 共有3条查询结果,搜索用时 31 毫秒
1
1.
曾琼 《成都信息工程学院学报》2006,21(2):169-173
介绍了基于替换的组合电路的等价性检验算法,利用待检验的两个电路的结构相似性来逐步约简电路,从而加速了验证过程。 相似文献
2.
热带气旋气候数学模型的预报应用 总被引:5,自引:2,他引:3
使用西太平洋海温格点资料,选取若干个因子,组成多个复合因子,建立权重方程,使得单因子的相关系数信度检验0.05提高到复合因子的信度检验0.01,权重方程的信度检验提高到0.001。用权重方程产生的突变的高阶非线性预报方程,其Y与X的相关系数比1阶线性方程提高5%左右。自1999年至今,热带气旋年、月频数气候预测的模型投入到实际预报应用,其预报准确律达到75%~90%。使用非线性预报模型作了逐日气压、逐日雨量的气候预测。将沿海气压场、雨量场的气候预测结果用于分析、制作热带气旋登陆中国以及广东地区的时段、地段的气候预报,准确率达80%~90%。 相似文献
3.
曾琼 《成都信息工程学院学报》2006,21(4):484-487
等价性检验方法通常包括功能性和结构性的验证方法。分析了等价性检验的一般方法;并讨论了基于递归学习的组合电路等价性检验方法;算法利用直接蕴含和间接蕴含的方法,解决了布尔可满足问题。实验结果表明了该方法的有效性和可行性。 相似文献
1