Influence of cristalline structure of two minerals clays of type 1/1 on their pozzolanic power

Two clayey materials, one provided by a patner in mineral sector and the other coming from Balengou (West Region Cameroon) were subject of a comparative study in order to evaluate the influence of their crystalline structure on their pozzolanic property. These two natural materials were preliminary enriched in clay minerals by wet sieving and the fractions obtained are denoted K and H respectively. K and H were calcinated at 700 °C, with a heating rate of 5 °C/min and 10 hours dwell at the peak temperature, the products obtained were named MK and MH. Samples K, H, MK and MH were physicochemically characterized by the chemical (ICP), thermal(TGA/DTA) and mineralogical (DRX and Spectrometry IR) analyses together with the measurement of specific surface (BET), crystallinity and the pouzzolanicity test. The results confirmed K as a kaolinitic and H halloysic clay. The kaolinite and the halloysite respectively presented in these clayey materials exhibited a poor crystallinity, but the degree of disorder is higher in K than in H. These results were largely affected by the significant fraction of gibbsite in kaolinitic clay K. At the crude state, the pozzolanic activity of the material H is weak compared with that of K, but the heat treatment makes largely improve this property for both samples.

Object-Oriented Legacy System Trace-based Logic Testing

When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself. Our approach reifies the execution traces and uses logic programming to express tests on them. Thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. The resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.

Microwave remote sensing of stratospheric trace gases using digital Fast Fourier Transform spectrometers

The Institute of Applied Physics observes middle atmospheric trace gases, such as ozone and water vapour, by microwave radiometry. We report on the comparison of measurements using a novel digital Fast Fourier Transform and accousto optical spectrometers. First tests made on ground are presented as well as first experience about the use of such spectrometers under aircraft conditions.