The properties of fly ash based geopolymer mortars made with dune sand

Geopolymer cement utilises industrial by-products and is associated with low CO2 emissions. The use of dune sand as fine aggregate could reduce the environmental impact of mining activities. The present study is to examine the feasibility of using dune sand in geopolymer-based construction materials. The geopolymer mortars made with dune sand (DSM) were prepared by using alkali activators of different cations(Na, K and Na/K). In order to compare, the corresponding geopolymer mortars made with normal sand (NSM) were also prepared. It was found that dune sand has little influence on the strength of geopolymer mortars, especially for K based mortars. However, the alkali cation has significant influence on the compressive strength of geopolymer mortars. This influence was found to be correlated to porosity. Low compressive strength is associated with high porosity. For all investigated alkali cations, the tensile strengths of DSM compare favourably to those predicted by the relevant Standards for construction materials. Based on the experimental results, Australian dune sand can be used as fine aggregate for the production of geopolymer based construction materials.

The properties of fly ash based geopolymer mortars made with dune sand

This paper reports the properties of fly ash based geopolymer mortars made with dune sand. The geopolymer mortars of different cation type, namely sodium based (Na), potassium based (K) and a mixed Na/K, were prepared with dune sand (DS) and river sand (RS). The corresponding geopolymer pastes were also prepared. A series of tests including compressive strength, modulus of elasticity, splitting tensile strength, microanalysis (using scanning electron microscopy), porosity (using mercury intrusion porosimetry), sorptivity and air void (using section analysis method) were carried out. The results showed a strong correlation between strength and porosity of geopolymeric materials. The addition of DS had influences on the chemical compositions and physical properties of geopolymer mortars. These influences were dependent on the type of cation. Based on the results of mechanical properties, DS can be utilised as the fine aggregate for the production of geopolymer based construction material.

Investigation of hybridized polyurethane, glass fibre reinforced cement and steel laminate in structural floor plate systems

Sandwich components have emerged as light weight, efficient, economical, recyclable and reusable building systems which provide an alternative to both stiffened steel and reinforced concrete. These components are made of composite materials in which two metal face plates or Glassfibre Reinforced Cement (GRC) layers are bonded and form a sandwich with light weight compact polyurethane (PU) elastomer core. Existing examples of product applications are light weight sandwich panels for walls and roofs, Sandwich Plate System (SPS) for stadia, arena terraces, naval construction and bridges and Domeshell structures for dome type structures. Limited research has been conducted to investigate performance characteristics and applicability of sandwich or hybrid materials as structural flooring systems. Performance characteristics of Hybrid Floor Plate Systems comprising GRC, PU and Steel have not been adequately investigated and quantified. Therefore there is very little knowledge and design guidance for their application in commercial and residential buildings. This research investigates performance characteristics steel, PU and GRC in Hybrid Floor Plate Systems (HFPS) and develops a new floor system with appropriate design guide lines.

Static and dynamic performance of lightweight hybrid composite floor plate system

In the modern built environment, building construction and demolition consume a large amount of energy and emits greenhouse gasses due to widely used conventional construction materials such as reinforced and composite concrete. These materials consume high amount of natural resources and possess high embodied energy. More energy is required to recycle or reuse such materials at the cessation of use. Therefore, it is very important to use recyclable or reusable new materials in building construction in order to conserve natural resources and reduce the energy and emissions associated with conventional materials. Advancements in materials technology have resulted in the introduction of new composite and hybrid materials in infrastructure construction as alternatives to the conventional materials. This research project has developed a lightweight and prefabricatable Hybrid Composite Floor Plate System (HCFPS) as an alternative to conventional floor system, with desirable properties, easy to construct, economical, demountable, recyclable and reusable. Component materials of HCFPS include a central Polyurethane (PU) core, outer layers of Glass-fiber Reinforced Cement (GRC) and steel laminates at tensile regions. This research work explored the structural adequacy and performance characteristics of hybridised GRC, PU and steel laminate for the development of HCFPS. Performance characteristics of HCFPS were investigated using Finite Element (FE) method simulations supported by experimental testing. Parametric studies were conducted to develop the HCFPS to satisfy static performance using sectional configurations, spans, loading and material properties as the parameters. Dynamic response of HCFPS floors was investigated by conducting parametric studies using material properties, walking frequency and damping as the parameters. Research findings show that HCFPS can be used in office and residential buildings to provide acceptable static and dynamic performance. Design guidelines were developed for this new floor system. HCFPS is easy to construct and economical compared to conventional floor systems as it is lightweight and prefabricatable floor system. This floor system can also be demounted and reused or recycled at the cessation of use due to its component materials.

A strong lightweight authentication protocol for low-cost RFID systems

RFID is an important technology that can be used to create the ubiquitous society. But an RFID system uses open radio frequency signal to transfer information and this leads to pose many serious threats to its privacy and security. In general, the computing and storage resources in an RFID tag are very limited and this makes it difficult to solve its secure and private problems, especially for low-cost RFID tags. In order to ensure the security and privacy of low-cost RFID systems we propose a lightweight authentication protocol based on Hash function. This protocol can ensure forward security and prevent information leakage, location tracing, eavesdropping, replay attack and spoofing. This protocol completes the strong authentication of the reader to the tag by twice authenticating and it only transfers part information of the encrypted tag’s identifier for each session so it is difficult for an adversary to intercept the whole identifier of a tag. This protocol is simple and it takes less computing and storage resources, it is very suitable to some low-cost RFID systems.

Lightweight Formal Methods for the Development of High-Assurance Networking Systems

We survey several of the research efforts pursued by the iBench and snBench projects in the CS Department at Boston University over the last half dozen years. These activities use ideas and methodologies inspired by recent developments in other parts of computer science -- particularly in formal methods and in the foundations of programming languages -- but now specifically applied to the certification of safety-critical networking systems. This is research jointly led by Azer Bestavros and Assaf Kfoury with the participation of Adam Bradley, Andrei Lapets, and Michael Ocean.

Improving the Accessibility of Lightweight Formal Verification Systems

In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, broad accessibility has not been a priority in the design of formal verification tools that can provide these benefits. We propose a few design criteria to address these issues: a simple, familiar, and conventional concrete syntax that is independent of any environment, application, or verification strategy, and the possibility of reducing workload and entry costs by employing features selectively. We demonstrate the feasibility of satisfying such criteria by presenting our own formal representation and verification system. Our system’s concrete syntax overlaps with English, LATEX and MediaWiki markup wherever possible, and its verifier relies on heuristic search techniques that make the formal authoring process more manageable and consistent with prevailing practices. We employ techniques and algorithms that ensure a simple, uniform, and flexible definition and design for the system, so that it easy to augment, extend, and improve.

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.

Investigation on drop penetration and wetting characteristics of powder-liquid systems in relation to the mixing of acrylic bone cement

This study investigated methyl methacrylate – polymethyl methacrylate powder bed interactions through droplet analyses, using model fluids and commercially available bone cement. The effects of storage temperature of liquid monomer and powder packing configuration on drop penetration time were investigated. Methyl methacrylate showed much more rapid imbibition than caprolactone due to decrease in both contact angle and fluid viscosity. Drop penetration of caprolactone through polymethyl methacrylate increased with decrease in bed macro-voids and increase in bulk density as predicted by the modified constant drawing area penetration model and confirmed by drop penetration images. Linear relationships were found between droplet mass and drawing area with imbibition time. Further experiments showed gravimetric analysis of the polymerised methyl methacrylate – polymethyl methacrylate matrix under various storage temperatures correlated with Reynolds number and Washburn analyses. These observations have direct implications for the design of mixing and delivery systems for acrylic bone cements used in orthopaedic surgery.

Using geopolymer to minimise metals leaching from brown coal fly ash

Fly ash is generated from combustion of brown coal in power stations. The majority of fly ash is removed by electrostatic precipitators (ESP) and finally disposed into the landfill as prescribed wastes. A method was studied to add clay materials to the brown coal fly ash in order to form the so-called geopolymer network, which is effective at stopping the metal contents from leaching, and have minimum impact to the environment. The experiments were conducted parallel on leached fly ash and dry precipitator fly ash. The ratios of fly ash and added clay materials were varied to determine the effects of different compositions on leaching rates. Both X-ray diffraction analysis and scanning electron microscopy images showed that as the percentage of fly ash was increased, the formation of geopolymer is reduced. Eighteen metals and heavy metals were targeted during the leaching tests and the leachate samples were analysed using ICP-AES and ICP-MS. It was found that the reduction of metal leaching was achieved by adding up to 60% of fly ash to form the geopolymer like structure. Significant reductions were observed for calcium, strontium and barium. Leached fly ash achieved better stabilisation than dry precipitator fly ash for major elements. It's hard to quantify its effects on trace metals leaching due to their ultra low concentration in the fly ash. The samples spiked with trace metals of lead, zinc, mercury and barium showed remarkable reduction in leaching.