-
Least Squares Finite Element Method for Hepatic Sinusoidal Blood Flow
Authors:
Fleurianne Bertrand,
Lena Lambers,
Tim Ricken
Abstract:
The simulation of complex biological systems such as the description of blood flow in organs requires a lot of computational power as well as a detailed description of the organ physiology. We present a novel Least-Squares discretization method for the simulation of sinusoidal blood flow in liver lobules using a porous medium approach for the liver tissue. The scaling of the different Least-Square…
▽ More
The simulation of complex biological systems such as the description of blood flow in organs requires a lot of computational power as well as a detailed description of the organ physiology. We present a novel Least-Squares discretization method for the simulation of sinusoidal blood flow in liver lobules using a porous medium approach for the liver tissue. The scaling of the different Least-Squares terms leads to a robust algorithm and the inherent error estimator provides an efficient refinement strategy.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
Initial Conflicts for Transformation Rules with Nested Application Conditions
Authors:
Leen Lambers,
Fernando Orejas
Abstract:
We extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs. We first show that for rules with ACs, conflicts are in general neither inherited from a bigger context any more, nor is it possible to find a finite and complete subset of finite conflicts as illustrated for the category of graphs. We define initial conflicts to be special so-call…
▽ More
We extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs. We first show that for rules with ACs, conflicts are in general neither inherited from a bigger context any more, nor is it possible to find a finite and complete subset of finite conflicts as illustrated for the category of graphs. We define initial conflicts to be special so-called symbolic transformation pairs, and show that they are minimally complete (and in the case of graphs also finite) in this symbolic way. We show that initial conflicts represent a proper subset of critical pairs again. We moreover demonstrate that (analogous to the case of rules without ACs) for each conflict a unique initial conflict exists representing it. We conclude with presenting a sufficient condition illustrating important special cases for rules with ACs, where we do not only have initial conflicts being complete in a symbolic way, but also find complete (and in the case of graphs also finite) subsets of conflicts in the classical sense.
△ Less
Submitted 10 May, 2020;
originally announced May 2020.
-
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques
Authors:
Reiko Heckel,
Leen Lambers,
Maryam Ghaffari Saadat
Abstract:
The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Transformation Systems (GTSs). In addition to a comparison of native and translation-based techniques in this area, we explore design choices for the latter, s.a. choice of logic and encoding method, which have a considera…
▽ More
The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Transformation Systems (GTSs). In addition to a comparison of native and translation-based techniques in this area, we explore design choices for the latter, s.a. choice of logic and encoding method, which have a considerable impact on the overall quality and complexity of the analysis. We substantiate our arguments by citing literature on application of theorem provers, model checkers, and SAT/SMT solver in GTSs, and conclude with a general discussion from a software engineering perspective, including comments from the workshop participants, and recommendations on how to investigate important design choices in the future.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
