×

UFL公司

swMATH ID: 11183
软件作者： Alns，Martin s。；Logg，Anders；克里斯蒂安·加德（Kristian B.lgaard）。；玛丽·罗根斯。；加思·N·威尔斯。
描述： 统一形式语言：偏微分方程弱公式的一种特定于域的语言。我们提出了统一形式语言（UFL），这是一种特定于域的语言，用于表示偏微分方程的弱形式，以实现数值逼近。UFL的特点包括支持变分形式和泛函、形式和表达式的自动微分、多域问题的任意函数空间层次、广义微分算子和柔性张量代数。凭借这些特性，UFL被用于以近数学符号轻松地表示复杂偏微分方程组的有限元方法，从而生成紧凑、直观和可读的程序。我们在这部作品中展示了语言及其结构。UFL的实现可以作为开源软件库免费获得。该库生成变分问题的抽象语法树表示，其他软件库使用这些表示生成具体的低级实现。本文给出了一些应用示例，并重点介绍了支持UFL的库。
主页： http://dl.acm.org/citation.cfm？doid=2594412.2566630
关键词： AD公司;DSEL公司;数字用户线;有限元法;产品开发工程师;算法微分;自动函数微分;离散化;领域特定语言;或爱因斯坦标记法;嵌入式语言;有限元法;功能性的;隐式求和;指數記數法;混合元素;偏微分方程;符号微分;张量代数;弱形式;弱配方
相关软件： FEniCS公司;PETSc公司;Firedrake公司;DOLFIN公司;SyFi系统;菲亚特;Gms小时;宠物4py;TSFC公司;蟒蛇;mpi4py;FFC公司;咖啡;github;MUMPS公司;交易.ii;DUNE公司;通用燃料电池;法国DUNE-FEM;PyOP2型
引用于： 93文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
统一形式语言：偏微分方程弱公式的一种特定于域的语言。 Zbl 1308.65175号
Alns，Martin s。;安德斯·洛格;克里斯蒂安·加德（Kristian B.lgaard）。;玛丽·罗格内斯（Marie E.Rognes）。;加思·N·威尔斯。
2014
全部的 前5名

213位作者引用

7 科林·约翰·科特
7 大卫·卡门斯基
6 罗伯特·柯比。
6 劳伦斯·米切尔
6 玛丽·伊丽莎白·罗杰斯
4 安德烈亚斯·德纳。
4 帕特里克·法雷尔（Patrick E.Farrell）。
4 西蒙·冯克（Simon W.Funke）。
4 大卫·A·哈姆。
4 罗伯特·科伦
三 尤里·巴齐列夫斯
三 圣埃芬·皮埃尔·阿兰·博尔达斯
三 肖恩·布雷克林
三 约翰·埃文斯（John A.Evans）。
三 杰克·S·黑尔。
三 Mats G.拉尔森。
三 安德斯·洛格
三 詹姆斯·麦迪森。
三 安德烈·马辛
三 安德鲁·T·T·麦克雷。
三 卡利亚纳·纳克沙特拉拉。
三 斯蒂芬·施密特
三 加思·N·威尔斯。
2 尼古拉·博莱
2 克里斯托弗·约翰·巴德
2 塞缪尔·伯布拉
2 帕特里克·埃米特·法雷尔
2 托马斯·吉布森。
2 罗兰·赫尔佐格
2 韩国函馆。
2 法比奥·卢波里尼
2 穆勒，艾克·赫尔曼
2 莫妮卡·奈达
2 安德烈亚斯·波茨赫卡
2 克里斯蒂安·罗德
2 杰玛·希普顿
2 安德鲁·约翰（Andrew John Wathen）
2 弗洛里安·韦奇松
2 项，如
2 赵，韩
1 亚德里安森，西格丽德
1 Josefin Ahlkrona
1 马丁·桑德夫
1 Anitescu，Cosmin公司
1 澳大利亚，罗伯托·费德里科
1 杰拉德·米歇尔·阿瓦努
1 弗朗西斯·阿兹纳兰。
1 罗伯托·巴拉里尼
1 大卫·巴罗利
1 彼得·巴斯蒂安
1 Beex，Lars A.A。
1 戈奥尔盖·特奥多·贝尔恰（Gheorghe-Teodor Bercea）
1 凯·伯格曼
1 罗尼·伯格曼
1 杰克·D·贝特里奇。
1 菲利普·伯肯
1 马库斯·布拉特
1 简·布莱希塔
1 汉斯·乔治·博克
1 乍得布里顿
1 拉斐尔·布勒
1 埃里克·伯曼
1 克莱尔·伯拉格
1 巴斯卡利亚，古斯塔沃·卡洛斯
1 曹健
1 苏莱曼·岑吉奇
1 贾斯汀·张
1 陈，陈
1 陈林
1 弗兰茨·乔利
1 苏珊·克劳斯
1 阿兰，卡特斯
1 克林顿·N·道森。
1 卡斯滕·迪贝尔
1 拉贝迪夫
1 多尔根·S·多肯。
1 尼尔斯·阿恩·德雷尔
1 托马斯·杜布斯
1 邓宁，伊恩
1 科尔内尔·埃曼
1 克里斯托弗·埃尔德雷德
1 克里斯蒂安·恩格尔
1 莫里斯·法比恩。
1 安德鲁·弗莱彻。
1 卢卡·福马吉亚
1 雷内·弗里茨
1 詹妮弗·弗洛姆（Jennifer E.Fromm）。
1 迭戈·加贾多
1 克里斯蒂安·吉列尔莫·格伯哈特
1 吉列，安德鲁
1 本杰明·戈达德。
1 Daniel N.Goldberg。
1 杰拉德·J·戈尔曼。
1 索姆达塔·戈斯瓦米
1 格雷厄姆，伊万·G。
1 卡斯滕Gräser
1 克里斯托夫·格里宁格
1 郭宏伟
1 约翰尼·古兹曼
1 哈克，J.E。
……还有113位作者
全部的 前5名

34篇连载文章中引用

22 SIAM科学计算杂志
16 应用力学与工程中的计算机方法
8 计算机与数学及其应用
8 计算物理杂志
4 SMAI计算数学杂志
三 ACM数学软件汇刊
2 应用数学与计算
2 应用数学建模
2 计算地球科学
1 计算机和流体
1 计算机物理通信
1 反问题
1 数学分析与应用杂志
1 计算数学
1 国际工程数值方法杂志
1 数值数学
1 应用数学季刊
1 SIAM控制与优化杂志
1 计算力学
1 渐近分析
1 科学计算杂志
1 国际计算机数学杂志
1 SIAM应用数学杂志
1 SIAM审查
1 数学编程。A系列B系列
1 优化方法和软件
1 非线性科学与数值模拟中的通信
1 宇宙论与天体粒子物理学杂志
1 欧洲应用和工业数学系列（ESAIM）：数学建模和数值分析
1 计算物理中的通信
1 GEM-国际地球数学杂志
1 国际工程科学与应用数学进展杂志
1 应用数学与计算交流
1 计算与理论传输杂志
全部的 前5名

22个领域被引用

73 数值分析（65-XX）
38 流体力学（76-XX）
25 偏微分方程（35-XX）
18 可变形固体力学（74-XX）
12 计算机科学（68至XX）
10 地球物理学（86-XX）
8 变分法与最优控制；最优化（49至XX）
6 运筹学、数学规划（90-XX）
三 整体分析，流形分析（58至XX）
三 统计力学，物质结构（82-XX）
三 生物学和其他自然科学（92-XX）
2 动力系统和遍历理论（37至XX）
2 光学、电磁理论（78-XX）
1 常微分方程（34-XX）
1 近似和展开（41至XX）
1 功能分析（46倍X倍）
1 概率论与随机过程（60-XX）
1 经典热力学，传热（80-XX）
1 量子理论（81-XX）
1 相对论和引力理论（83至XX）
1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文