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.

Static analysis for checking data format compatibility of programs

Large software systems are developed by composing multiple programs. If the programs manip-ulate and exchange complex data, such as network packets or files, it is essential to establish that they follow compatible data formats. Most of the complexity of data formats is associated with the headers. In this paper, we address compatibility of programs operating over headers of network packets, files, images, etc. As format specifications are rarely available, we infer the format associated with headers by a program as a set of guarded layouts. In terms of these formats, we define and check compatibility of (a) producer-consumer programs and (b) different versions of producer (or consumer) programs. A compatible producer-consumer pair is free of type mismatches and logical incompatibilities such as the consumer rejecting valid outputs gen-erated by the producer. A backward compatible producer (resp. consumer) is guaranteed to be compatible with consumers (resp. producers) that were compatible with its older version. With our prototype tool, we identified 5 known bugs and 1 potential bug in (a) sender-receiver modules of Linux network drivers of 3 vendors and (b) different versions of a TIFF image library.

Gel-coated ion-exchange resin: A new kinetic model

Regenerable 'gel-coated' cationic resins with fast sorption kinetics and high sorption capacity have application potential for removal of trace metal ions even in large-scale operations. Poly(acrylic acid) has been gel-coated on high-surface area silica (pre-coated with ethylene-vinyl acetate copolymer providing a thin barrier layer) and insolubilized by crosslinking with a low-molecular-weight diepoxide (epoxy equivalent 180 g) in the presence of benzyl dimethylamine catalyst at 70 degrees C, In experiments performed for Ca2+ sorption from dilute aqueous solutions of Ca(NO,),, the gel-coated acrylic resin is found to have nearly 40% higher sorption capacity than the bead-form commercial methacrylic resin Amberlite IRC-50 and also several limes higher rate of sorption. The sorption on the gel-coated sorbent under vigorous agitation has the characteristics of particle diffusion control with homogeneous (gel) diffusion in resin phase. A new mathematical model is proposed for such sorption on gel-coated ion-exchange resin in finite bath and solved by applying operator-theoretic methods. The analytical solution so obtained shows goad agreement with experimental sorption kinetics at relatively low levels (< 70%) of resin conversion.

Effect of Temperature Variation on Sister Chromatid Exchange Frequency in Cultured Human Lymphocytes

The effect of temperature variation on sister chromatid exchange (SCE) frequencies in human lymphocytes was studied. An increase as well as decrease in incubation temperature of cells leads to a higher frequency of sister chromatid exchanges than in cultures grown at 37°C. In addition, it was observed that mitotic: index and cell cycle duration were affected by low temperature.

Oxidative extraction and ion-exchange of lithium in Li2MoO3: synthesis of Li2âxMoO3 and H2MoO3

It is shown that lithium can be oxidatively extracted from Li2MoO3 at room temperature using Br2 in CHCl3. The delithiated oxides, Li2â��xMoO3 (0 < x â�¤ 1.5) retain the parent ordered rocksalt structure. Complete removal of lithium from Li2MoO3 using Br2 in CH3CN results in a poorly crystalline MoO3 that transforms to the stable structure at 280�°C. Li2MoO3 undergoes topotactic ion-exchange in aqueous H2SO4 to yield a new protonated oxide, H2MoO3.

A measure of logical complexity of programs

The research in software science has so far been concentrated on three measures of program complexity: (a) software effort; (b) cyclomatic complexity; and (c) program knots. In this paper we propose a measure of the logical complexity of programs in terms of the variable dependency of sequence of computations, inductive effort in writing loops and complexity of data structures. The proposed complexity mensure is described with the aid of a graph which exhibits diagrammatically the dependence of a computation at a node upon the computation of other (earlier) nodes. Complexity measures of several example programs have been computed and the related issues have been discussed. The paper also describes the role played by data structures in deciding the program complexity.

HNbWO6 and HTaWO6: Novel oxides related to ReO3 formed by ion exchange of rutile-type LiNbWO6 and LiTaWO6

Both LiNbWO6 and LiTaWO6 undergo ion exchange in hot aqueous H2SO4 yielding the hydrates HMWO6 · H2O (M = Nb or Ta). The reaction is accompanied by a structural transformation from the rutile to the ReO3 structure. The cell constants are a = 3.783(3)Å for HNbWO6 · H2O and a = 3.785(5)Å for HTaWO6 · H2O. The ReO3 structure is retained by the dehydration products HMWO6 and MWO5.5 as well. HMWO6 phases yield H1+xMWO6 hydrogen bronzes on exposure to hydrogen in the presence of platinum catalyst.