35 research outputs found
Measurement of the dispersion of air and of refractive index anomalies by wavelength- dependent nonlinear interferometry
We carry out wavelength-dependent second harmonic interference experiments using thin films of an organic dye as nonlinear optical sources. While the measured difference of refractive index between the fundamental and second harmonic wavelengths follows the theoretical expectation for air in a wide spectral region, anomalous dispersion is observed when the second harmonic light lies in the absorption band of the dye. The sensitivity of the technique to small refractive index variations may prove useful for sensing applications as well as for testing models of light dispersion in weakly dispersing and absorbing media.Preprin
The staging of gastritis with the olga system in the italian setting. histological features and gastric cancer risk
BACKGROUND: Recently OLGA (Operative Link on Gastritis Assessment) classification has been proposed to identify high-risk forms of gastritis that can evolve in gastric cancer (stages III and IV). Helicobacter pylori infection and age older than 40 have been considered as independent risk factor for high-risk OLGA stages
(User-friendly) formal requirements verification in the context of ISO26262
Abstract In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known to be difficult to use, one of the main challenges raised by these ISO26262 requirements is to find cost-effective approaches for being compliant with them. This paper proposes an approach for requirements formal verification where formal methods, languages, and tools are only minimally exposed to the user, and are integrated into one of the commonly used system modeling environments based on SysML. This approach does not require particular expertise in formal methods still allowing to apply them. Hence, personnel training costs and development costs should be kept limited. The proposed approach has been implemented as a plugin of the Topcased environment. Although it is limited to discrete system models, it has been successfully experimented on an industrial use case
Measurement of the dispersion of air and of refractive index anomalies by wavelength- dependent nonlinear interferometry
We carry out wavelength-dependent second harmonic interference experiments using thin films of an organic dye as nonlinear optical sources. While the measured difference of refractive index between the fundamental and second harmonic wavelengths follows the theoretical expectation for air in a wide spectral region, anomalous dispersion is observed when the second harmonic light lies in the absorption band of the dye. The sensitivity of the technique to small refractive index variations may prove useful for sensing applications as well as for testing models of light dispersion in weakly dispersing and absorbing media