KMS Of Academy of mathematics and systems sciences, CAS
模式伴随化的基本规则及代价分析 | |
程强1; 张林波1![]() | |
2004-01-01 | |
Source Publication | 中国科学e辑技术科学
![]() |
ISSN | 1006-9275 |
Volume | 34Issue:6Pages:601 |
Abstract | 从程序语法结构而不是从具体问题本身出发,提出了基于最小程序行为分解的模式伴随化方法.此方法无论在算法设计上还是在软件实现上均更具普遍性,并具有许多独特的优点.它保留了断点存储技术在减少浮点计算量和降低存储开销方面的优点,同时克服了其仅仅适用于计算过程均匀可分假设的局限性.首先给出了模式伴随化实现的基本规则,详细介绍了基于最小程序行为分解的模式伴随化方法.然后,基于自动微分(AD)基本假设定义了可分程序空间和微分代价函数,得到了两个反映计算微分代价的基本常数σ和μ.在计算过程均匀可分性假设下,讨论了断点存储在浮点计算量和空间存储开销上的最优实现,证明了深度划分在这两个方面同时具有对数复杂性的结论.最后,详细论证了基于最小程序行为分解的模式伴随化方法在浮点计算量和空间存储开销两个方面同时具有过程引用和划分深度依赖性. |
Language | 英语 |
Document Type | 期刊论文 |
Identifier | http://ir.amss.ac.cn/handle/2S8OKBNM/45862 |
Collection | 计算数学与科学工程计算研究所 |
Affiliation | 1.中国科学院数学与系统科学研究院 2.中国科学院大气物理研究所 |
Recommended Citation GB/T 7714 | 程强,张林波,王斌. 模式伴随化的基本规则及代价分析[J]. 中国科学e辑技术科学,2004,34(6):601. |
APA | 程强,张林波,&王斌.(2004).模式伴随化的基本规则及代价分析.中国科学e辑技术科学,34(6),601. |
MLA | 程强,et al."模式伴随化的基本规则及代价分析".中国科学e辑技术科学 34.6(2004):601. |
Files in This Item: | There are no files associated with this item. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment