Partition Energy Absorption of Axially Crushed Aluminum Foam-Filled Hat Sections

The "interaction effect" between aluminum foam and metal column that takes place when foam-filled hat sections (top-hats and double-hats) are axially crushed was investigated in this paper. Based on experimental examination, numerical simulation and analytical models, a systemic approach was developed to partition the energy absorption quantitatively into the foam filler component and the hat section component, and the relative contribution of each component to the overall interaction effect was therefore evaluated. Careful observation of the collapse profile found that the crushed foam filler could be further divided into two main energy-dissipation regions: densified region and extremely densified region. The volume reduction and volumetric strain of each region were empirically estimated. An analytical model pertinent to the collapse profile was thereafter proposed to find the more precise relationship between the volume reduction and volumetric strain of the foam filler. Combined the superfolding element model for hat sections with the current model according to the coupled method, each component energy absorption was subsequently derived, and the influence of some controlling factors was discussed. According to the finite element analysis and the theoretical modeling, when filled with foam, energy absorption was found to be increased both in the hat section and the foam filler, whereas the latter contributes predominantly to the interaction effect. The formation of the extremely densified region in the foam filler accounts for this effect.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.