Self-monitoring of freeze–thaw damage using triphasic electric conductive concrete

The effect of freeze–thaw cycles on concrete is of great importance for durability evaluation of concrete structures in cold regions. In this paper, damage accumulation was studied by following the fractional change of impedance (FCI) with number of freeze–thaw cycles (N). The nano-carbon black (NCB), carbon fiber (CF) and steel fiber (SF) were added to plain concrete to produce the triphasic electrical conductive (TEC) and ductile concrete. The effects of NCB, CF and SF on the compressive strength, flexural properties, electrical impedance were investigated. The concrete beams with different dosages of conductive materials were studied for FCI, N and mass loss (ML), the relationship between FCI and N of conductive concrete can be well defined by a first order exponential decay curve. It is noted that this nondestructive and sensitive real-time testing method is meaningful for evaluating of freeze–thaw damage in concrete.

Innovative method for the continuous monitoring of concrete viscoelastic properties since early ages: concept and pilot experiments

The experimental evaluation of viscoelastic properties of concrete is traditionally made upon creep tests that consist in the application of sustained loads either in compression or in tension. This kind of testing demands for specially devised rigs and requires careful monitoring of the evolution of strains, whereas assuring proper load constancy. The characterization of creep behaviour at early ages offers additional challenges due to the strong variations in viscoelastic behaviour of concrete during such stages, demanding for several testing ages to be assessed. The present research work aims to assist in reducing efforts for continuous assessment of viscoelastic properties of concrete at early ages, by application of a dynamic testing technique inspired in methodologies used in polymer science: Dynamic Mechanical Analyses. This paper briefly explains the principles of the proposed methodology and exhibits the first results obtained in a pilot application. The results are promising enough to encourage further developments.

Monitoring the early stiffness development in epoxy adhesives for structural strengthening

The present work aimed to assess the early-age evolution of E-modulus of epoxy adhesives used for Fibre-Reinforced Polymer (FRP) strengthening applications. The study involved adapting an existing technique devised for continuous monitoring of concrete stiffness since casting, called EMM-ARM (Elasticity Modulus Measurement through Ambient Response Method) for evaluation of epoxy stiffness. Furthermore, monotonic tensile tests according to ISO standards and cyclic tensile tests were carried out at several ages. A comparison between the obtained results was performed in order to better understand the performance of the several techniques in the assessment of stiffness of epoxy resins. When compared to the other methodologies, the method for calculation of E-modulus recommended by ISO standard led to lower values, since in the considered strain interval, the adhesive had a non-linear stress–strain relationship. The EMM-ARM technique revealed its capability in clearly identifying the hardening kinetics of epoxy adhesives, measuring the material stiffness growth during the entire curing period. At very early ages the values of Young׳s modulus obtained with quasi-static tests were lower than the values collected by EMM-ARM, due to the fact that epoxy resin exhibited a significant visco-elastic behaviour.

Quantitative image analysis as a tool for Yarrowia lipolytica dimorphic growth evaluation in different culture media

Yarrowia lipolytica, a yeast strain with a huge biotechnological potential, capable to produce metabolites such as γ-decalactone, citric acid, intracellular lipids and enzymes, possesses the ability to change its morphology in response to environmental conditions. In the present study, a quantitative image analysis (QIA) procedure was developed for the identification and quantification of Y. lipolytica W29 and MTLY40-2P strains dimorphic growth, cultivated in batch cultures on hydrophilic (glucose and N-acetylglucosamine (GlcNAc) and hydrophobic (olive oil and castor oil) media. The morphological characterization of yeast cells by QIA techniques revealed that hydrophobic carbon sources, namely castor oil, should be preferred for both strains growth in the yeast single cell morphotype. On the other hand, hydrophilic sugars, namely glucose and GlcNAc caused a dimorphic transition growth towards the hyphae morphotype. Experiments for γ-decalactone production with MTLY40-2P strain in two distinct morphotypes (yeast single cells and hyphae cells) were also performed. The obtained results showed the adequacy of the proposed morphology monitoring tool in relation to each morphotype on the aroma production ability. The present work allowed establishing that QIA techniques can be a valuable tool for the identification of the best culture conditions for industrial processes implementation.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.