Handling causality and schedulability when designing and prototyping cyber-physical systems

Software and Systems Modeling - Cyber physical systems are built upon digital and analog circuits, making it necessary to handle different models of computation during their design and verification...     

Photocatalytic degradation of a phenylurea, chlortoluron, in water using an industrial titanium dioxide coated media

The degradation of an herbicide, chlortoluron, by UV/TiO₂ photocatalysis in water using industrial titanium dioxide coated non-woven paper was studied. The influence of parameters such as adsorption capacity, initial concentration and TiO₂ implementation (coated or in suspension) was investigated. The results emphasize the importance of operational conditions and reactor geometry on the kinetic degradation rate. The analysis of the first organic by-products suggests that a hydroxyl radical attack occurs on the phenyl ring and methyl groups of the chlortoluron before the opening of the aromatic ring. The fate of hetero-atoms has been investigated. The fates of the two nitrogen atoms in the molecule are different, not only did it depend on their initial oxidation degree, as both had the same oxidation degree, but also on the initial oxidation state of neighboring carbons. The chlorine atoms were completely released as chloride ions. The study of the influence of the oxygen concentration showed the importance of the oxygen mass transfer when designing an industrial photocatalytic reactor. An original calculation process was carried out to evaluate the adsorption constant of oxygen over the whole photocatalysis period and not only in the initial conditions as previously provided. This work points out the necessity of extending the understanding of the efficiency of chlortoluron removal or of the removal of various complex pesticide mixtures found in agricultural wastewater, using alternative, more industrially realistic, reactors.     

Reconstructing the 3D shape and bone mineral density distribution of the proximal femur from dual-energy X-ray absorptiometry

The accurate diagnosis of osteoporosis has gained increasing importance due to the aging of our society. Areal bone mineral density (BMD) measured by dual-energy X-ray absorptiometry (DXA) is an established criterion in the diagnosis of osteoporosis. This measure, however, is limited by its two-dimensionality. This work presents a method to reconstruct both the 3D bone shape and 3D BMD distribution of the proximal femur from a single DXA image used in clinical routine. A statistical model of the combined shape and BMD distribution is presented, together with a method for its construction from a set of quantitative computed tomography (QCT) scans. A reconstruction is acquired in an intensity based 3D-2D registration process whereby an instance of the model is found that maximizes the similarity between its projection and the DXA image. Reconstruction experiments were performed on the DXA images of 30 subjects, with a model constructed from a database of QCT scans of 85 subjects. The accuracy was evaluated by comparing the reconstructions with the same subject QCT scans. The method presented here can potentially improve the diagnosis of osteoporosis and fracture risk assessment from the low radiation dose and low cost DXA devices currently used in clinical routine.     

Un environnement de conception de systèmes distribués basé sur UML

This paper introduces a new environment for developing distributed systems. It is based on theTurtle uml profile. Analysis and design phases, described in previous papers, have been extended with an additional deployment phase. In this new step,Turtle components are deployed over hardware execution nodes, and nodes are connected together throughout links,Turtle deployment diagrams are given a formal semantics inRt-lotos, therefore following the approach used forTurtle analysis and design diagrams. Moreover, the paper presents a Java code generator which outputs appropriate Java code forTurtle deployment diagrams. This code is automatically deployable on networks because it implements node communication using network protocols such asUdp orRmi. ttool, the turtle toolkit has been extended to support these new diagrams and code generators. The attack of protected data exchanged throughout securedHttp sessions serves as example.     

Behavioural models for distributed Fractal components

This paper presents a formal behavioural specification framework for specifying and verifying the correct behaviour of distributed Fractal components. The first contribution is a parameterised and hierarchical behavioural model called pNets that serves as a low-level semantic framework for expressing the behaviour of various classes of distributed languages and as a common internal format for our tools. Then, we use this model to define the generation of behavioural models for applications ranging from sequential Fractal components, to distributed objects, and finally to distributed components. Our models are able to characterise both functional and non-functional behaviours and the interaction between the two concerns. Finally, this work has resulted in the development of tools allowing the non-expert programmer to specify the behaviour of his components and (semi)automatically verify properties of his application.     

Highly Conductive Poly(3,4‐ethylenedioxythiophene):Poly (styrenesulfonate) Films Using 1‐Ethyl‐3‐methylimidazolium Tetracyanoborate Ionic Liquid

Highly conductive poly(3,4‐ethylenedioxythiophene):poly(styrenesulfonate) (PEDOT:PSS) films are obtained using ionic liquids as additives. Upon adding 1‐ethyl‐3‐methylimidazolium tetracyanoborate (EMIM TCB) to the conducting polymer, the conductivity increases to 2084 S cm^?1; this is attributed to the phase separation of PSS leading to a structural change in the film. A comparative study with 1‐butyl‐3‐methyl imidazolium tetrafluoroborate (BMIM BF₄) shows that EMIM TCB gives higher conductivity and transmittance and can be regarded as one of the most promising additives for the preparation of indium tin oxide (ITO)‐free organic devices using PEDOT:PSS/EMIM TCB as electrodes.     

Ligand‐Free Synthesis of Aluminum‐Doped Zinc Oxide Nanocrystals and their Use as Optical Spacers in Color‐Tuned Highly Efficient Organic Solar Cells

The color of polymer solar cells using an opaque electrode is given by the reflected light, which depends on the composition and thickness of each layer of the device. Metal‐oxide‐based optical spacers are intensively studied in polymer solar cells aiming to optimize the light absorption. However, the low conductivity of materials such as ZnO and TiO₂ limits the thickness of such optical spacers to tenths of nanometers. A novel synthesis route of cluster‐free Al‐doped ZnO (AZO) nanocrystals (NCs) is presented for solution processing of highly conductive layers without the need of temperature annealing, including thick optical spacers on top of polymer blends. The processing of 80 nm thick optical spacers based on AZO nanocrystal solutions on top of 200 nm thick polymer blend layer is demonstrated leading to improved photocurrent density of 17% compared to solar cells using standard active layers of 90 nm in combination with thin ZnO‐based optical spacers. These AZO NCs also open new opportunities for the processing of high‐efficiency color tuned solar cells. For the first time, it is shown that applying solution‐processed thick optical spacer with polymer blends of different thicknesses can process solar cells of similar efficiency over 7% but of different colors.     

A generalist herbivore in a specialist mode Metabolic,sequestrative, and defensive consequences

Adults of a generalist herbivore, the lubber grasshopper,Romalea guttata, can be converted to functional specialists by feeding them exclusively on catnip,Nepeta cataria. No obvious adverse effects on adult development resulted from this enforced monophagy. Notwithstanding the fact thatR. guttata has had no coevolutionary relationship with this Eurasian mint, it readily sequesters compounds that are identical to or derived from the terpenoid lactones that are characteristic ofN. cataria. R. guttata appears to both biomagnify minor allelochemicals and to sequester metabolites of theNepeta terpenes in its paired defensive glands. The levels of autogenously produced phenolics are not affected by feeding onN. cataria and the defensive secretions of catnip-fed grasshoppers are more repellent to ants than those of wild-fed acridids. Metabolites of theN. cataria monoterpenes are sequestered in the defensive glands when catnip is added to the natural diet ofR. guttata. The ability of a generalist,R. guttata, to facilely bioaccumulate a potpourri of foreign allelochemicals when feeding in a specialist mode is analyzed in terms of its biochemical, physiological, and functional significance. Sequestration is examined as a response to the enteric effronteries represented by the phytochemicals that can be characteristic of the overload in a monophagous diet.     

Structural and Functional Characterization of 4-Hydroxyphenylacetate 3-Hydroxylase from Escherichia coli

The hydroxylation of phenols into polyphenols, which are valuable chemicals and pharmaceutical products, is a challenging reaction. The search for green synthetic processes has led to considering microorganisms and pure hydroxylases as catalysts for phenol hydroxylation. Herein, we report the structural and functional characterization of the flavin adenine dinucleotide (FAD)-dependent 4-hydroxyphenylacetate 3-monooxygenase from Escherichia coli, named HpaB. It is shown that this enzyme enjoys a relatively broad substrate specificity, which allows the conversion of a number of non-natural phenolic compounds, such as tyrosol, hydroxymandelic acid, coumaric acid, hydroxybenzoic acid and its methyl ester, and phenol, into the corresponding catechols. The reaction can be performed by using a simple chemical assay based on formate as the electron donor and the organometallic complex [Rh(bpy)Cp*(H₂O)]²⁺ (Cp*: 1,2,3,4,5-pentamethylcyclopentadiene, bpy: 2,2′-bipyridyl) as the catalyst for FAD reduction. The availability of a crystal structure of HpaB in complex with FAD at 1.8 Å resolution opens up the possibility of the rational tuning of the substrate specificity and activity of this interesting class of phenol hydroxylases.     

Hydraulic behaviour of a representative structural volume for containment buildings

For particular structures like containment buildings of nuclear power plants, the study of the hydraulic behaviour is of great concern. These structures are indeed the third barrier used to protect the environment in case of accidents. The evolution of the leaking rate through the porous medium is closely related to the changes in the permeability during the ageing process of the structure. It is thus essential to know the relation between concrete degradation and the transfer property when the consequences of a mechanical loading on the hydraulic behaviour have to be evaluated. A chained approach is designed for this purpose. The mechanical behaviour is described by an elastic plastic damage formulation, where damage is responsible for the softening evolution while plasticity accounts for the development of irreversible strains. The drying process is evaluated according to a non-linear equation of diffusion. From the knowledge of the damage and the degree of saturation, a relation is proposed to calculate the permeability of concrete. Finally, the non-homogeneous distribution of the hydraulic conductivity is included in the hydraulic problem which is in fact the association of the mass balance equation for gas phase and Darcy law. From this methodology, it is shown how an indicator for the hydraulic flows can be deduced.