摘要
模式伴随是自动微分领域中的重要内容之一.基于最小程序行为分解讨论了模式伴随的基本原理和方法,为自动伴随工具的设计与实现提供了基本的理论依据.运用这种方法得到的伴随模式不仅在计算时间、空间存储开销以及代码的复杂性3个方面取得了比较理想的结果,而且在软件实现上较简单.还讨论了树形结构最小程序行为的伴随化方法.
基金
国家杰出青年科学基金(批准号49825109)
国家重点基础研究发展规划(G19999032801)
国家优秀重点实验室专项基金(49823002)
中国科学院重要创新方向(KZCXZ 2-208)资助项目