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.

Short-term in situ/ex vivo study of the anticariogenic potential of a resin-modified glass-ionomer cement associated with adhesive systems

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Cariostatic effect of fluoride-containing restorative systems associated with dentifrices on root dentin

Objective. The aim of this in vitro study was to evaluate the interaction between two sources of fluoride (restorative systems and dentifrices) in inhibiting artificial root caries development. Methods. One hundred and eighty tooth segments were embedded in polyester resin, and sanded flat. Cylindrical cavities 1.0 mm-deep and 1.5 mm-diameter were prepared in root dentin and randomly restored by fluoride-containing restorative systems: Ketac-fil/Espe (Ke), Fuji II LC/GC Corp (Fj), F2000/3M (F2), Surefil/Dentsply (Su) or a control: Filtek Z250/3M (Z2). Ten experimental groups were made to test the association among the five restorative systems and two dentifrices: with F - (Sensodyne Baking Soda) or without F- (Sensodyne Original) (n = 18). After surface polishing, a 1 mm-wide margin around the restorations was demarcated and initial dentin surface Knoop microhardness values (KHNi) were obtained. The specimens were submitted to a pH-cycling model, and to applications of slurries of dentifrice. Afterwards the final dentin surface Knoop microhardness values (KHNf) were measured. Results. The differences between KHNi and KHNf, and the covariate KHNi were considered by the ANCOVA and Tukey's test (α = 0.05). The interaction between restorative system and dentifrice was statistically significant (p = 0.0026). All restorative systems provided some protection against artificial caries challenge when associated with the fluoride-containing dentifrice treatment. The means (standard deviation) of reductions in Knoop hardness values for systems associated with the fluoride-containing dentifrice were: Ke: 40.0(1.02)a, Fj: 41.9(1.02)b, F2: 43.3(1.04)c, Su: 43.5(1.00)c, Z2: 44.0(1.02)c; and with the non-fluoride-containing dentifrice were: Ke: 42.9(1.02)a, Fj: 44.7(1.01)b, F2: 45.2(1.09)bc, Su: 46.0(0.99)c, Z2: 46.6(0.99)c (statistical differences were expressed by different letters). Conclusion. The cariostatic effect shown by the fluoride-containing dentifrice could enhance that shown by Ketac-fil and Fuji II LC, and could mask that shown by F2000. © 2002 Elsevier Science Ltd. All rights reserved.

Effect of ceramic surface treatment on the shear bond strength of a resin cement to different ceramic systems

This study evaluated three surface treatments and their effects on the shear bond strength between a resin cement and one of three ceramics. The ceramic surfaces were evaluated with scanning electron microscopy (SEM ) as well. Specimens were treated with 50 μm aluminum oxide airborne particles, 10% hydrofluoric acid etching, or a combination of the two. Using a matrix with a center hole (5.0 mm × 3.0 mm), the ceramic bonding areas were filled with resin cement following treatment. The specimens were submitted to thermal cycling (1,000 cycles) and the shear bond strength was tested (0.5 mm/minute). The failure mode and the effect of surface treatment were analyzed under SEM . Data were submitted to ANOVA and a Tukey test (α = 0.05). Duceram Plus and IPS Empress 2 composite specimens produced similar shear bond strength results (p > 0.05), regardless of the treatment method used. Hydrofluoric acid decreased the shear bond strength of In-Ceram Alumina specimens. For all materials, surface treatments changed the morphological surface. All treatments influenced the shear bond strength and failure mode of the ceramic/resin cement composites.

Degree of conversion and hardness of two different systems of the vitrebond™ glass ionomer cement light cured with blue LED

This study investigated the physicochemical properties of the new formulation of the glass ionomer cements through hardness test and degree of conversion by infrared spectroscopy (FTIR). Forty specimens (n = 40) were made in a metallic mold (4 mm diameter × 2 mm thickness) with two resin-modified glass ionomer cements, Vitrebond™ and Vitrebond™ Plus (3M/ ESPE). Each specimen was light cured with blue LED with power density of 500 mW/cm2during 30 s. Immediately after light curing, 24h, 48h and 7 days the hardness and degree of conversion was determined. The Vickers hardness was performed by the MMT-3 microhardness tester using load of 50 gm force for 30 seconds. For degree of conversion, the specimens were pulverized, pressed with KBr and analyzed with FT-IR (Nexus 470). The statistical analysis of the data by ANOVA showed that the Vitrebond™ and Vitrebond™ Plus were no difference significant between the same storage times (p > 0.05). For degree of conversion, the Vitrebond™ and Vitrebond™ Plus were statistically different in all storage times after light curing. The Vitrebond™ showed higher values than Vitrebond™ Plus (p < 0.05). The performance of Vitrebond™ had greater results for degree of conversion than Vitrebond™ Plus. The correlation between hardness and degree of conversion was no evidence in this study.

Rice husk derived waste materials as partial cement replacement in lightweight concrete

In this study rice husk ash (RHA) and broiler bed ash from rice husk (BBA), two agricultural waste materials, have been assessed for use as partial cement replacement materials for application in lightweight concrete. Physical and chemical characteristics of RHA and BBA were first analyzed. Three similar types of lightweight concrete were produced, a control type in which the binder was just CEMI cement (CTL) and two other types with 10% cement replacement with, respectively, RHA and BBA. All types of similar lightweight concrete were prepared to present the same workability by adjusting the amount of superplasticizer. Properties of concrete investigated were compressive and flexural strength at different ages, absorption by capillarity, resistivity and resistance to chloride ion penetration (CTH method) and accelerated carbonation. Test results obtained for 10% cement replacement level in lightweight concrete indicate that although the addition of BBA conducted to lower performance in terms of the degradation indicative tests, RHA led to the enhancement of mechanical properties, especially early strength and also fast ageing related results, further contributing to sustainable construction with energy saver lightweight concrete.