Search Results for "finite element in java"

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL).

The Free Finite Element Package is a library which contains numerical methods required when working with finite elements. The goal of FFEP is to provide basic functions for approximating the solution of elliptic and parabolic PDEs in 2D. Until 2016 FFEP was developed using C. Science 2016 the language was switched to GNU Octave with some C Mex-Functions.

...As in CAD softwares, the geometry of the model is defined by a NURBS representation of the structure. Indeed, the user can upload geometries imported from a CAD environment. Based on such a representation, ArchNURBS performs the elastic isogeometric finite element analysis and the collapse limit analysis of the structure. It is possible to include in the analysis the presence of Fiber-Reinforced Polymers (FRP) extrados and intrados strips. A comprehensive descritpion of ArchNURBS is given in "ArchNURBS: NURBS-Based Tool for the Structural Safety Assessment of Masonry Arches in MATLAB", A. ...