台积电

TSFC:一个结构保持形式的编译器。表单编译器对偏微分方程的弱形式进行高级描述,并生成执行有限元装配的低级代码。本文提出了两阶段表单编译器(TSFC),它是一种新的表单编译器,其主要动机是尽可能长时间地保持输入表达式的结构。这有助于在尽可能高的抽象级别上应用优化。TSFC的特点是一种新的、结构保持的方法,用于分离不连续Galerkin问题中局部张量的子块。这使我们能够在编译过程中比其他表单编译器保留更长的表达式张量结构。这在一定程度上也是通过一种两阶段的方法来实现的,该方法将第一阶段的有限元结构降低到张量代数,与第二阶段的张量操作的调度分离开来。TSFC还可以有效地遍历复杂的表达式,实验结果表明,即使对于高度复杂的表单,也具有良好的编译时性能。


zbMATH中的参考文献(参考文献23条,1标准件)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. Kamensky,David:使用FEniCS和tIGAr进行流固耦合的开源浸入式地球测量分析(2021)
  2. 威廉姆斯,J.G。;韦松,F。;Turney,B.W。;沃特斯公司。;Moulton,D.E.:循环流中更快冲刷的形状优化(2021年)
  3. 齐默尔曼,亚历山大G。;Kowalski,Julia:对流耦合相变焓形式的混合有限元:验证并应用于二维基准的开放软件(2021)
  4. Alberto Paganini,Florian Wechsung:Fireshape:Firedrake的形状优化工具箱(2020)阿尔十四
  5. 巴齐列夫,尤里;卡门斯基,大卫;乔吉奥斯,穆萨尼迪斯;Shende,Shaunak:固体中基于残余的冲击捕捉(2020)
  6. 埃文斯,约翰A。;卡门斯基,大卫;Bazilevs,Yuri:具有离散无发散子尺度的变分多尺度建模(2020)
  7. 维默,戈洛A。;科林J.科特。;Bauer,Werner:旋转浅水方程的节能迎风兼容有限元格式(2020)
  8. 法雷尔,帕特里克E。;米切尔,劳伦斯;Florian Wechsung:高雷诺数下3D静止不可压缩Navier-Stokes方程的增广拉格朗日预处理程序(2019)
  9. 吉布森,托马斯H。;麦克雷,安德鲁T.T。;科林J.科特。;米切尔,劳伦斯;Ham,David A.:地球物理流的兼容有限元方法。使用Firedrake实现自动化(2019)
  10. 乔沙哈尼,医学硕士。;张杰。;Nakshartrala,K.B。;Knepley,M.G.:四场双孔渗模型的可组合块体解算器(2019年)
  11. 卡门斯基,大卫;Bazilevs,Yuri:\ textsctIGAr:自动化等几何分析与\textscFEniCS(2019)
  12. 柯比,罗伯特C。;米切尔,劳伦斯:一般映射有限元的代码生成(2019)
  13. 巴德,克里斯J。;麦克雷,安德鲁T.T。;Cotter,Colin J.:球体上最佳传输网格的缩放和倾斜度(2018)
  14. 张,贾斯汀;费宾,莫里斯S。;克内普利,马修G。;Mills,Richard T.:使用时间精度尺寸(TAS)频谱分析的有限元方法对比研究(2018)
  15. 米克洛斯,霍莫利亚;米切尔,劳伦斯;卢波里尼,法比奥;大卫A.哈姆:TSFC:一种结构保持形式编译器(2018)
  16. Kirby,Robert C.:有限元变换的一般方法(2018)
  17. 麦克雷,安德鲁T.T。;科林J.科特。;Budd,Chris J.:使用有限元在平面和球体上基于最优传输的网格自适应(2018)
  18. 希普顿,J。;吉布森,T.H。;Cotter,C.J.:球体上非线性旋转浅水方程的高阶兼容有限元格式(2018)
  19. Thomas H.Gibson,Lawrence Mitchell,David A.Ham,Colin J.Cotter:Slate:将Firedrake的特定领域抽象扩展到地球科学及其他领域的混合求解器(2018)阿尔十四
  20. 卢波里尼,法比奥;大卫·汉姆。;Kelly,Paul H.J.:有限元积分环优化算法(2017)