Search Results for "numerical"

...MFront is based on C++ and provides several domain specific languages which were designed to simplify the implementations of new material properties, mechanical behaviours and simple material models. A particular focus was made on mechanical behaviours which are by essence more complex and may have significant impact on the numerical performances of mechanical simulations. Various performance benchmarks show that the code generated using MFront is in most cases on par or better than other implementations, generally written in Fortran. For mechanical behaviours, MFront introduces interfaces for various finite element or FTT solvers (Cast3M, Code-Aster, ZeBuLoN, Abaqus, Europlexus, AMITEX_FFT, etc..). ...

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.