Search Results for "finite element in java"

The main goal of this project was developing phase-field simulations of lithium dendrite growth with FEniCS programmed in Python. The problem was based in the grand potential-based model of Zijian Hong and Venkatasubramanian Viswanathan (https://doi.org/10.1021/acsenergylett.8b01009) . Some simpler examples were developed before for a first approach with FEniCS: heat equation and combustion model.

The package allows to work with scalar arrays as usual collections. The problem with a scalar array Java templates don't support scalar types as generic parameters. Java code working with collection interfaces such as List or Collection is inapplicable for arrays. Some libraries supply methods to work with object array. These methods are generic and built-in types int, boolean, long, short, byte, double, float suffer. The number of scalar type is small and finite. ...

Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.