Concrete with triphasic conductive materials for self-monitoring of cracking development subjected to flexure

In this study, the macro steel fiber (SF), carbon fiber (CF) and nano carbon black (NCB) as triphasic conductive materials were added into concrete, in order to improve the conductivity and ductility of concrete. The influence of NCB, SF and CF on the post crack behavior and conductivity of concrete was explored. The effect of the triphasic conductive materials on the self-diagnosing ability to the load–deflection property and crack widening of conductive concrete member subjected to bending were investigated. The relationship between the fractional change in surface impedance (FCR) and the crack opening displacement (COD) of concrete beams with conductive materials has been established. The results illustrated that there is a linear relationship between COD and FCR.

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.

Real-time monitoring of progression towards renal failure in primary care patients

First published online: December 16, 2014.