Search Results for "finite element analysis"

This project contains a set of libraries implementing a Java 1.0 - Java 17 Parser with advanced analysis functionalities. The project binaries are available in Maven Central. We strongly advise users to adopt Maven, Gradle or another build system for their projects. If you are not familiar with them we suggest taking a look at the maven quickstart projects. Since Version 3.5.10, the JavaParser project includes the JavaSymbolSolver.

AtomicJ is an application for analysis of force microscopy recordings, including images and force curves. It allows for fast and reliable processing of single force curves and force maps, providing estimation of the mechanical properties of the sample. AtomicJ supports a wide range of contact mechanics models, including the models for blunt tips, the corrections for the effect of finite sample thickness, models of adhesive contact and models of spherical indentation of hyperelastic material. ...

Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for...

Kalypso is an open source application for geospatial modelling and simulation. It is primarily developed to be a user friendly tool for GIS-based modelling and simulation of hydrological and hydraulic numerical models.

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 toolbox intends to leverage the NuSMV model checker. Models...

Impact is an explicit Finite Element Program Suite which simulates dynamic impact events. It has a range of elements, contact handling and different material laws. Models can be created, solved and analyzed with the included pre- and postprocessor. Impact is based on an Explicit Time stepping algorithm. These kind of codes are used to simulate dynamic phenomena such as car crashes and similar, usually involving large deformations.

FPA-CAD is an application developed to support the measurement of the functional size of the code according to the FPA method of IFPUG. FPA-CAD draws each of the elements of the FPA method. FPA-CAD calculate automatically FPs of each element drawn. FPA-CAD built a report with the results of the project that has been measured

SemaRule Navigator is an Integrated Suite of Open-Source and Free-License Software, placing Semantic and Text Analysis Technologies in the toolbox of Researchers, Students, and Enterprises.

CPViz is an open-source visualization toolkit for finite domain constraint programming. It provides visualization for search trees, variables and global constraints through a post-mortem analysis of trace logs.

Visualization of finite state machines as a network graph. Accepted input files at the moment are: net files exported from xfst (Xerox Finite-State Tool) and lexc files (Finite-State Lexicon Compiler).

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.

musicomp is a program which most important element is an evolutionary algorithm which uses data mining methods as a fitness function to generate monophone melodies.

The ADFC code is a computational fluid dynamics (CFD) C++ solver for incompressible viscous flow over 2D and 3D geometries. It uses finite element and the characteristic method on unstructured meshes to solve Navier-Stokes equations.

Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.

FeapUI gives a graphical easy-to-use interface to the fem (finite element method) programm FEAP by R.L. Taylor (www.ce.berkeley.edu/~rlt/). FeapUI runs on Linux/Unix and Windows with java. This gives you more "Feaping" and lesser maual reading.