程序分析方法
更新时间:-- | 阅读量: 108

由于计算机科学的进展,推动了功能强的程序分析方法的发展。这些方法使得有可能研究...评价程序抽象的和具体的复杂性，以及对某些功能描述说明提供程序的正确性证明等。程序分析方法也可用于程序优化方面。

搜索到与“ 程序分析方法”相关的文献共 1条

EEMDAN的CORS站高程时间序列分析方法
针对整体经验模态分解(EEMD)方法对连续运行参考站(CORS)高程时间序列分解结果整体平均时,噪声未能完全消除的问题,该文引入一种噪声自适应整体经验模态分解(EEMDAN)方法,在经验模态分解(EM...

《测绘科学》 2020年02期关键词: "CORS站高程时间序列"," EEMDAN"," 正交指数"," 均方根误差" 收藏