Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we examine how to specify and implement a concrete example following this cycle. We show that indeed it is feasible and we present how FoCaL features fit with software best practises like modularity, reuse, fault confinem...

In this paper we propose a novel method of adding turbulence to low-res. smoke simulation. We consider the physical properties of such low-res. simulation and add turbulence only to the appropriate position where the value of the energy cascade ratio is judged as physically correct. Our method can prevent noise in the whole region of fluid surfaces which appeared with previous methods. We also ...

Current concrete technology has made higher concrete grades more affordable to mid and high-rise buildings; hence its use has been increasing in the late years as it allows for smaller cross-sections, reduction of the structure’s weight, improve durability, among other benefits. However, it is known that brittleness of plain concrete increases with the strength; therefore, some national codes h...

Many disposal concepts currently show that concrete is an effective confinement material used in engineered barrier systems (EBS) at a number of low-level radioactive waste (LLW) disposal sites. Cement-based materials have properties for the encapsulation, isolation, or retardation of a variety of hazardous contaminants. The reactive chemical transport model of HYDROGEOCHEM 5.0 was applied to s...

The construction industry generates a considerable amount of waste. Faced with this undesirable situation, the ready-mix concrete sector, in particular, has invested energy and resources into reusing its own waste in its production process as it works towards the goal of more sustainable construction. This study examines the feasibility of incorporating two types of concrete waste, which curren...