Recent Research in Structural Health Monitoring

Roctest Group believes in the importance of maintaining a close contact with the scientific community active in fields close to our activities domains, in particular smart structures, structural engineering, sensing and fiber optic sensors. These contacts allow Roctest SMARTEC Telemac to remain at the front of scientific progress and to contribute to the diffusion of the monitoring culture worldwide. Our research and development team actively contributes in the research community, attending conferences and regularly publishing in the scientific literature. we support academic research by participating in joint research projects and by regularly welcoming graduate and undergraduate students for stages and exchange programs.

Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Dielectric and electrical conductivity properties of multi-stage spark plasma sintered HA-CaTiO3 composites and comparison with conventionally sintered materials

One of the different issues limiting the wider application of monolithic hydroxyapatite (HA) as an ideal bone replacement material is the lack of reasonably good electrical transport properties. The comprehensive electrical property characterization to evaluate the efficacy of processing parameters in achieving the desired combination of electroactive properties is considered as an important aspect in the development of HA-based bioactive material. In this perspective, the present work reports the temperature (RT-200 degrees C) and frequency (100 Hz-1 MHz) dependent dielectric properties and AC conductivity for a range of HA-CaTiO3 (HA-CT) composites, densified using both conventional pressureless sintering in air as well as spark plasma sintering in vacuum. Importantly, the AC conductivity of spark plasma sintered ceramics similar to upto 10(-5) (Omega cm)(-1)] are found to be considerably higher than the corresponding pressureless sintered ceramics similar to upto 10(-8) (Omega cm)(-1)]. Overall, the results indicate the processing route dependent functional properties of HA-CaTiO3 composites as well as related advantages of spark plasma sintering route. (C) 2013 Elsevier Ltd. All rights reserved.