The new microplane model M6f for fiber reinforced concrete features several improvements over the earlier versions: (i) An explicit volumetric-deviatoric split to no split transition formulation in tension which eliminates spurious contraction under tension that the earlier models suffered; (ii) tension-compression load cycles are now correctly simulated using the loading/unloading rules prescr...

Semantics preserving compilation of low-level C programs is challenging because their semantics is implementation defined according to the C standard. This paper presents the proof of an enhanced and more concrete memory model for the CompCert C compiler which assigns a definite meaning to more C programs. In our new formally verified memory model, pointers are still abstract but are nonetheles...

The purpose of this study is to determine what type of preventative maintenance for a concrete parking structure will produce the maximum economic benefit. Existing models for concrete deterioration are analyzed for their accuracy in predicting the service lives of concrete structures and a model appropriate for concrete parking structures is selected. The selected model is modified to account ...

Research on the performance of recycled concrete as building material in the current world is an important subject. Given the complex composition of recycled concrete, conventional methods for forecasting slump scarcely obtain satisfactory results. Based on theory of nonlinear prediction method, we propose a recycled concrete slump prediction model based on geometric semantic genetic programmin...

Model of a Specific Company's Architecture Concrete Model of a Company Application UML Class Model CORBA IDL Profile A Profile extends UML and provides a consistent way to generate code from a UML model J2EE/EJB Profile Concrete Model of a Company Application EJB code OMG UML Specification Enterprise Architecture Group Maintains Company Architecture Software Developers Create Specific Appliatio...

A methodology has been developed for characterising the mechanical behaviour of concrete, based on the damaged plasticity model, enriched with a user subroutine (V)USDFLD in order to capture better the ductility of the material under moderate confining pressures. The model has been applied in the context of the international benchmark IRIS_2012, organised by the OECD/NEA/CSNI Nuclear Energy Age...

Bacillus subtilus, a mineral precipitating microorganism, when introduced into concrete produces calcium carbonate crystals which seals the micro cracks and pores in the concrete. This process imparts high strength and durability to bacteria treated concrete along with enhancement in other mechanical properties. In order to study one such mechanical property, the stress-strain behavior of bacte...

The paper presents a new analytical model to study the evolution of radial cracking around a corroding steel reinforcement bar embedded in concrete. The concrete cover for the corroding rebar is modelled as a thick-walled cylinder subject to axisymmetrical displacement constraint at the internal boundary generated by expansive corrosion products. A bilinear softening curve reflecting realistic ...

Syntax Tree Concrete Syntax Model Abstract Syntax Model instance of instance of Textual Representation Parser input output Context-Free Grammar e.g. BNF Conceptual Model Textual Representation Parser Abstract Syntax Graph Concrete Syntax Model Abstract Syntax Model instance of instance of