SyFi is an open source C++ library for defining and using variational forms and finite elements based on symbolic representations of polygonal domains, degrees of freedom and polynomial spaces. Once the finite elements and variational forms are defined, they are used to generate efficient C/C++ code.

The paper describes the research activities conducted on the 13 century Rognosa tower in San Gimignano (Siena, Italy), the historic town inscribed on the Unesco World Heritage List in 1990. A structural nonlinear analysis of the tower has been performed via the freeware finite element code NOSA. The finite element mesh of the tower has been generated using a three-dimensional digital model of t...

The objective of this paper is to provide the theoretical background and illustrative examples for elastic buckling analysis of cold-formed steel members with general boundary conditions as implemented in the forthcoming update to CUFSM. CUFSM is an open source finite strip elastic stability analysis program freely distributed by the senior author. Although the finite strip method presents a ge...

This paper oescribes our oesi9n and implementation of ;m expert system for computer performance evaluation (CPR). We explain objectives in designing an expert system for CPE •. 6xplain why a specific expert system development shell was selected, describe the structure of the expert system that resulted f>::om the design. ano provide examples of the rules comprising the expert system. An operati...

Although computer-aided engineering (CAE) technologies are a critical component to the engineering design process, their effective integration into design processes continues to be awkward. This has been particularly true of more advanced simulation technologies such as finite element analysis. Developments over the past decade on technologies like the automatic generation of finite element mes...

In recent years, significant progress has been made in the area of EEG/MEG source imaging. Source imaging on simple spherical models has become increasingly efficient, with consistently reported accuracy of within 5mm. In contrast, source localization on realistic head models remains slow, with sub-centimeter accuracy being the exception rather than the norm. A primary reason for this discrepan...

In this paper, the trend of FEM which is one of core tools of CAE and the future of CAE are examined in terms of TRIZ concept. This observation leads to the necessity of engineering creativity. This paper reports our successful experiences of implementing systematic innovation tools into engineering design classes. Also potential revolutionary change of engineering education is hinted by extend...

We prove that unary formal topologies are exponentiable in the category of inductively generated formal topologies. From an impredicative point of view, this means that algebraic dcpos with a bottom element are exponentiable in the category of open locales.

ABSTRACT Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especially finite element analysis. Unfortunately, defeaturing also results in analysis errors that are not easily quantifiable within the current theoretical framework. In this paper, we provide a rigorous theory for sw...

The goal of the Open Knee project is to provide a freely available and open source finite element representation of the knee for predictive simulations of joint loading and its effects on the underlying tissue structures. The model, as presented in here, is a work in progress and distributed as is. It can be utilized for learning finite element analysis in joint biomechanics; to understand the ...