塔夫

Fortran程序源代码转换工具Fortran AD-95。TAF支持AD的正向和反向模式和自动稀疏检测(ASD)来检测Jacobians的稀疏结构。TAF规范化代码并应用控制流分析。TAF应用程序内数据依赖和过程间数据流分析。给定指定的顶级例程的自变量和因变量,TAF确定所有活动例程和变量,并仅为这些例程和变量生成派生代码。


zbMATH参考文献(79篇文章引用,1标准件)

显示79个结果中的1到20个。
按年份排序(引用)
  1. Mohanamuraly,P.;Hascoët,L.;Müller,J.-D.:播种和邻接零晕分区平行科学代码(2020)
  2. Maddison,James R.;Goldberg,Daniel N.;Goddard,Benjamin D.:高阶偏微分方程约束导数信息的自动计算(2019年)
  3. Baydin,Atılım Güneş;Pearlmutter,Barak A.;Radul,Alexey Andreyevich;Siskind,Jeffrey Mark:《机器学习中的自动微分:一项调查》(2018年)
  4. Dilgen,Cetin B.;Dilgen,Sumer B.;Fuhrman,David R.;Sigmund,Ole;Lazarov,Boyan S.:湍流拓扑优化(2018)
  5. Hück,Alexander;Bischoff,Christian;Sagebaum,Max;Gauger,Nicolas R.;Jurgelucks,Benjamin;Larour,Eric;Perez,Gilberto:ISSM冰盖模型算法微分工具的可用性案例研究(2018年)
  6. Stück,Arthur:非结构Navier-Stokes方法中Green-Gauss梯度格式的双重一致性研究(2017)
  7. Paul Tallunli;Glandon,S.Ross;Sarshar,Arash;Sandu,Adrian:偏微分方程矩阵自由时间积分的雅可比向量积分析(2017)
  8. 廖文元:弹性全波形反演问题的伴随雅可比型迭代法(2015)
  9. Naumann,Uwe;Lotz,Johannes;Leppkes,Klaus;Towara,Markus:数值方法的算法微分:非线性方程参数化系统的切线和伴随解算器(2015)
  10. 雷利,杰克;萨马拉纳亚克,萨米萨;戴尔莫纳什,玛丽亚劳拉;克里切尼,瓦利德;戈廷,保罗;巴恩,亚历山德拉M.:基于离散标量守恒定律网络的伴随优化及其在协调匝道测量中的应用(2015)
  11. Stück,Arthur:Navier-Stokes方程通量一致性和强壁边界条件的伴随观点(2015)
  12. Cioaca,Alexandru;Sandu,Adrian:4D Var数据同化中计算观测影响的低秩近似(2014)
  13. Cioaca,Alexandru;Sandu,Adrian:改善4D Var数据同化系统性能的优化框架(2014)
  14. Hogan,Robin J.:C++中使用表达式模板的快速反向模式自动微分(2014)
  15. Anniçloska,Anno-Loska;Anno-Loska;Anno-Loska-sea模型;Anno-Francois-Lema;2014年;Anno-Martin-Lema-free-ocean-solver)
  16. Maddison,J.R.;Farrell,P.E.:瞬态有限元模型的快速发展和连接(2014)
  17. Cioaca,Alexandru;Sandu,Adrian;de Sturler,Eric:《4D Var数据同化中计算观测影响的有效方法》(2013)
  18. Fang,F.;Pain,C.C.;Navon,I.M.;Cacuci,D.G.;Chen,X.:有效计算灵敏度的独立集微扰法及其在数据同化和有限元浅水模型中的应用(2013)
  19. Gratton,Serge;Gürol,Selime;Toint,Philippe L.:二次惩罚非线性最小二乘问题在对偶空间中的预处理和全局化共轭梯度(2013)
  20. Stück,Arthur;Rung,Thomas:粘性有限体积压力修正方法的伴随补充(2013)