软件搜索-zbMATH Open

TSFC公司

swMATH编号：	20272
软件作者：	米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆
描述：	TSFC：一个结构表示形式编译器。表单编译器对偏微分方程的弱形式进行高级描述，并生成执行有限元装配的低级代码。在本文中，我们提出了两阶段表单编译器（TSFC），这是一种新的表单编译器，其主要动机是尽可能长时间地保持输入表达式的结构。这有助于在尽可能高的抽象级别上应用优化。TSFC具有一种新颖的结构保护方法，用于分离不连续Galerkin问题中形式对局部张量子块的贡献。这使我们能够在编译过程中比其他形式编译器更长时间地保留表达式的张量结构。这在一定程度上也是通过两阶段方法实现的，该方法将第一阶段有限元结构降阶到张量代数与第二阶段这些张量操作的调度分离开来。TSFC还可以有效地遍历复杂的表达式，实验评估表明，即使对于高度复杂的形式，它也具有良好的编译时性能。
主页：	https://arxiv.org/abs/1705.03667
相关软件：	Firedrake公司;PETSc公司;UFL公司;宠物4py;咖啡;FEniCS公司;mpi4py;菲亚特;PyOP2型;DOLFIN公司;蟒蛇;菲亚特;MUMPS公司;自由Fem++;FInAT公司;github;交易.ii;Gms小时;冠军;tIGAr（美国通用汽车公司）
引用于：	23文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
TSFC：一个结构表示形式编译器。 Zbl 1388.68020号霍莫利亚，米克洛斯;劳伦斯·米切尔;法比奥·卢波里尼;大卫·A·哈姆。	2018

6	科林·约翰·科特
5	劳伦斯·米切尔
4	大卫·A·哈姆。
4	大卫·卡门斯基
4	安德鲁·T·T·麦克雷。
3	尤里·巴齐列夫斯
2	克里斯托弗·约翰·巴德
2	贾斯汀·张
2	托马斯·H·吉布森。
2	Joshaghani，医学硕士。
2	罗伯特·柯比。
2	马修·克内普利。
2	法比奥·卢波里尼
2	弗洛里安·韦奇松
1	彼得·巴斯蒂安
1	沃纳·鲍尔
1	戈奥尔盖·特奥多·贝尔恰（Gheorghe-Teodor Bercea）
1	巴勃罗·布鲁贝克。
1	托马斯·杜布斯
1	克里斯托弗·埃尔德雷德
1	约翰·埃文斯（John A.Evans）。
1	莫里斯·法比恩。
1	帕特里克·埃米特·法雷尔
1	Heß，Reneé
1	霍莫利亚，米克洛斯
1	保罗·H·J·凯利。
1	多米尼克·肯普夫
1	朱莉娅·科瓦尔斯基
1	伊瓦格洛斯·克里西基斯
1	理查德·特兰·米尔斯
1	德里克·莫尔顿（Derek E.Moulton）。
1	乔治·穆萨尼迪斯
1	缪兴，斯蒂芬
1	卡利亚纳·纳克沙特拉拉。
1	Rivière，比阿特丽斯M。
1	申德、肖纳克
1	杰玛·希普顿
1	B.W.特纳。
1	沃特斯，莎拉·路易丝
1	戈洛·A·威默。
1	亚历山大·齐默尔曼。