R. Delmas - Academia.edu (original) (raw)

Papers by R. Delmas

Research paper thumbnail of Searching for Cluster Decay of 232Th: A Chemical Separation Scheme for Sodium-24 from Thorium

Research paper thumbnail of Measurements of anthropogenic radionuclides in environmental samples

Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, 1994

Measurements of anthropogenic 12gI and 41Ca in two Greenland fim cores spanning the years 1935 to... more Measurements of anthropogenic 12gI and 41Ca in two Greenland fim cores spanning the years 1935 to 1989 have been performed by accelerator mass spectrometry. The two sets of data points measured for tzgI show a discrepancy and prevent definitive conclusions. One of the sets indicates no large increase of 1291 concentrations in contrast to precipitation at lower latitudes. Data on the 41Ca profile are preliminary and show a few points markedly above background. The feasibility of detection of g0Sr in the environment by accelerator mass spectrometry is studied and first results are reported.

Research paper thumbnail of DALculus – Theory and Tool for Development Assurance Level Allocation

Lecture Notes in Computer Science, 2011

ABSTRACT The Development Assurance Level (DAL) indicates the level of rigor of the development of... more ABSTRACT The Development Assurance Level (DAL) indicates the level of rigor of the development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.

Research paper thumbnail of A Categorical Formalisation of a Component Calculus Dedicated to Avionics

Research paper thumbnail of Formal verification of critical aerospace software

Research paper thumbnail of Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006

In previous work, we defined a component oriented framework dedicated to the specification of emb... more In previous work, we defined a component oriented framework dedicated to the specification of embedded systems in the aeronautics domain. A component is defined as a formal entity with three internal layers together with a collection of models defined in domain-oriented views. A categorical framework has been proposed to provide a unified representation of the component calculus as well as the various formal models used for the analysis of the system. In this paper, we present an implementation of this categorical framework using the EXPRESS data modelling language. EXPRESS is used to give an operational representation of the formalisation, which is quite different from classical implementations of category theory based approaches.

Research paper thumbnail of SYNTHESIS AND ION EXCHANGE PROPERTIES OF VARIOUS FORMS OF MANGANESE DIOXIDE FOR CATIONS OF THE I AND II GROUPS

Solvent Extraction and Ion Exchange, 1997

... Analysis ofthe Samples The contents of alkali metals and manganese were measured by neutron a... more ... Analysis ofthe Samples The contents of alkali metals and manganese were measured by neutron activation analysis at CEN Saclay (France) using the facilities of the Pierre Sue Laboratory. ... Chern., ~ 1634 (1967). ... 5. K.Ooi, Y.Miyai, S.Katoh, Solvent Extr.Ion Exch., ~ 561 (1987). ...

Research paper thumbnail of Neutron activation analysis applied to the study of heavy metal marine pollution observed through bioaccumulation in macroscopic algae near El Jadida, Morocco

Journal of Radioanalytical and Nuclear Chemistry, 2007

The heavy metals bio-accumulation ability of algae was studied along the North Atlantic Morrocan ... more The heavy metals bio-accumulation ability of algae was studied along the North Atlantic Morrocan coast. Instrumental neutron activation analysis was used, to determine concentrations of various elements. The k 0 standardization method was used. Some interferences corrections, particularly due to high concentrations of uranium were applied. The quality of the method was checked by using the CRM 140, a Fucus

Research paper thumbnail of Multielement analytical procedure coupling INAA, ICP-MS and ICP-AES: Application to the determination of major and trace elements in sediment samples of the Bouregreg river (Morocco)

Journal of Radioanalytical and Nuclear Chemistry, 2008

Instrumental neutron activation analysis (INAA), inductively coupled plasma-mass spectrometry (IC... more Instrumental neutron activation analysis (INAA), inductively coupled plasma-mass spectrometry (ICP-MS) and inductively coupled plasma-atomic emission spectrometry (ICP-AES) were used for the determination of major and trace elements in sediment samples of the Bouregreg river (Morocco). The reliability of the results was checked, by using IAEA Soil-7 certified reference material. Results obtained by the three techniques were compared to control digestions efficiencies. A general good agreement was found between INAA and both ICP-MS and ICP-AES after alkaline fusion (ICPf). The ICP-MS technique used after acid attack (ICPa) was satisfactory for a few elements. A principal component analysis (PCA) has been used for analyzing the variability of concentrations, and defining the most influential sites with respect to the general variation trends. Three groups of elements could be distinguished. For these groups a normalization of concentrations to the central element concentration (that means Mn, Si or Al) is proposed.

Research paper thumbnail of Heavy Metals Pollution of the Atlantic Marine Environment by the Moroccan Phosphate Industry, as Observed through their Bioaccumulation in Ulva Lactuca

Water, Air, and Soil Pollution, 2007

The Moroccan phosphate industry releases large amounts of heavy metals in the Atlantic Ocean in t... more The Moroccan phosphate industry releases large amounts of heavy metals in the Atlantic Ocean in the surroundings of two places: Safi and Jorf Lasfar. The major waste, called phosphogypsum and composed of calcium sulphate and other additional salts, is introduced into sea water in particulate form. After dissolution of the particles, heavy metal concentrations can be influenced near the release point. Two multi-element analytical techniques were used to measure 47 element concentrations in various materials involved in the study of the phosphate pollution: Inductively Coupled Plasma Mass Spectrometry Water Air Soil Pollut (2007) 178:267-285

Research paper thumbnail of Searching for Cluster Decay of 232Th: A Chemical Separation Scheme for Sodium-24 from Thorium

Research paper thumbnail of Measurements of anthropogenic radionuclides in environmental samples

Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, 1994

Measurements of anthropogenic 12gI and 41Ca in two Greenland fim cores spanning the years 1935 to... more Measurements of anthropogenic 12gI and 41Ca in two Greenland fim cores spanning the years 1935 to 1989 have been performed by accelerator mass spectrometry. The two sets of data points measured for tzgI show a discrepancy and prevent definitive conclusions. One of the sets indicates no large increase of 1291 concentrations in contrast to precipitation at lower latitudes. Data on the 41Ca profile are preliminary and show a few points markedly above background. The feasibility of detection of g0Sr in the environment by accelerator mass spectrometry is studied and first results are reported.

Research paper thumbnail of DALculus – Theory and Tool for Development Assurance Level Allocation

Lecture Notes in Computer Science, 2011

ABSTRACT The Development Assurance Level (DAL) indicates the level of rigor of the development of... more ABSTRACT The Development Assurance Level (DAL) indicates the level of rigor of the development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.

Research paper thumbnail of A Categorical Formalisation of a Component Calculus Dedicated to Avionics

Research paper thumbnail of Formal verification of critical aerospace software

Research paper thumbnail of Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006

In previous work, we defined a component oriented framework dedicated to the specification of emb... more In previous work, we defined a component oriented framework dedicated to the specification of embedded systems in the aeronautics domain. A component is defined as a formal entity with three internal layers together with a collection of models defined in domain-oriented views. A categorical framework has been proposed to provide a unified representation of the component calculus as well as the various formal models used for the analysis of the system. In this paper, we present an implementation of this categorical framework using the EXPRESS data modelling language. EXPRESS is used to give an operational representation of the formalisation, which is quite different from classical implementations of category theory based approaches.

Research paper thumbnail of SYNTHESIS AND ION EXCHANGE PROPERTIES OF VARIOUS FORMS OF MANGANESE DIOXIDE FOR CATIONS OF THE I AND II GROUPS

Solvent Extraction and Ion Exchange, 1997

... Analysis ofthe Samples The contents of alkali metals and manganese were measured by neutron a... more ... Analysis ofthe Samples The contents of alkali metals and manganese were measured by neutron activation analysis at CEN Saclay (France) using the facilities of the Pierre Sue Laboratory. ... Chern., ~ 1634 (1967). ... 5. K.Ooi, Y.Miyai, S.Katoh, Solvent Extr.Ion Exch., ~ 561 (1987). ...

Research paper thumbnail of Neutron activation analysis applied to the study of heavy metal marine pollution observed through bioaccumulation in macroscopic algae near El Jadida, Morocco

Journal of Radioanalytical and Nuclear Chemistry, 2007

The heavy metals bio-accumulation ability of algae was studied along the North Atlantic Morrocan ... more The heavy metals bio-accumulation ability of algae was studied along the North Atlantic Morrocan coast. Instrumental neutron activation analysis was used, to determine concentrations of various elements. The k 0 standardization method was used. Some interferences corrections, particularly due to high concentrations of uranium were applied. The quality of the method was checked by using the CRM 140, a Fucus

Research paper thumbnail of Multielement analytical procedure coupling INAA, ICP-MS and ICP-AES: Application to the determination of major and trace elements in sediment samples of the Bouregreg river (Morocco)

Journal of Radioanalytical and Nuclear Chemistry, 2008

Instrumental neutron activation analysis (INAA), inductively coupled plasma-mass spectrometry (IC... more Instrumental neutron activation analysis (INAA), inductively coupled plasma-mass spectrometry (ICP-MS) and inductively coupled plasma-atomic emission spectrometry (ICP-AES) were used for the determination of major and trace elements in sediment samples of the Bouregreg river (Morocco). The reliability of the results was checked, by using IAEA Soil-7 certified reference material. Results obtained by the three techniques were compared to control digestions efficiencies. A general good agreement was found between INAA and both ICP-MS and ICP-AES after alkaline fusion (ICPf). The ICP-MS technique used after acid attack (ICPa) was satisfactory for a few elements. A principal component analysis (PCA) has been used for analyzing the variability of concentrations, and defining the most influential sites with respect to the general variation trends. Three groups of elements could be distinguished. For these groups a normalization of concentrations to the central element concentration (that means Mn, Si or Al) is proposed.

Research paper thumbnail of Heavy Metals Pollution of the Atlantic Marine Environment by the Moroccan Phosphate Industry, as Observed through their Bioaccumulation in Ulva Lactuca

Water, Air, and Soil Pollution, 2007

The Moroccan phosphate industry releases large amounts of heavy metals in the Atlantic Ocean in t... more The Moroccan phosphate industry releases large amounts of heavy metals in the Atlantic Ocean in the surroundings of two places: Safi and Jorf Lasfar. The major waste, called phosphogypsum and composed of calcium sulphate and other additional salts, is introduced into sea water in particulate form. After dissolution of the particles, heavy metal concentrations can be influenced near the release point. Two multi-element analytical techniques were used to measure 47 element concentrations in various materials involved in the study of the phosphate pollution: Inductively Coupled Plasma Mass Spectrometry Water Air Soil Pollut (2007) 178:267-285