École normale supérieure de Cachan

About: École normale supérieure de Cachan is a education organization based out in Cachan, Île-de-France, France. It is known for research contribution in the topics: Decidability & Finite element method. The organization has 2717 authors who have published 5585 publications receiving 175925 citations.

Regulation of a PWM rectifier in the unbalanced network state using a generalized model

Abstract: This study concerns the modeling and control of a pulse-width-modulated (PWM) rectifier in the case of network variations. The aim is to limit and stabilize variations of DC output voltage and line currents in such circumstances. Network variations can result in costly damage to power converters and their loads but a power converter such as the PWM rectifier, using cascade digital control, offers many capabilities to stabilize the system with optimized control. A generalized model of the PWM rectifier is first presented using the Clarke notation in order to separate the positive and negative sequences. The model is also extended to the harmonics. The cases of harmonic disturbance and an unbalanced network are then analyzed and an optimized regulation is presented for the latter case, validating the generalized model. Experimental results are proposed. The line current compensation loop method coupled with identification of network parameters offers a good solution to stabilize the PWM rectifier in an unbalanced network.

Analysis of an electronic voting protocol in the applied pi calculus

Abstract: Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of implemented systems have demonstrated the importance of formally verifying the underlying voting protocols. The applied pi calculus is a formalism for modelling such protocols, and allows us to verify properties by using automatic tools, and to rely on manual proof techniques for cases that automatic tools are unable to handle. We model a known protocol for elections known as FOO 92 in the applied pi calculus, and we formalise three of its expected properties, namely fairness, eligibility, and privacy. We use the ProVerif tool to prove that the first two properties are satisfied. In the case of the third property, ProVerif is unable to prove it directly, because its ability to prove observational equivalence between processes is not complete. We provide a manual proof of the required equivalence.

Cutaneous manifestations in patients with mastocytosis: Consensus report of the European Competence Network on Mastocytosis; the American Academy of Allergy, Asthma & Immunology; and the European Academy of Allergology and Clinical Immunology

Abstract: Cutaneous lesions in patients with mastocytosis are highly heterogeneous and encompass localized and disseminated forms. Although a classification and criteria for cutaneous mastocytosis (CM) have been proposed, there remains a need to better define subforms of cutaneous manifestations in patients with mastocytosis. To address this unmet need, an international task force involving experts from different organizations (including the European Competence Network on Mastocytosis; the American Academy of Allergy, Asthma & Immunology; and the European Academy of Allergology and Clinical Immunology) met several times between 2010 and 2014 to discuss the classification and criteria for diagnosis of cutaneous manifestations in patients with mastocytosis. This article provides the major outcomes of these meetings and a proposal for a revised definition and criteria. In particular, we recommend that the typical maculopapular cutaneous lesions (urticaria pigmentosa) should be subdivided into 2 variants, namely a monomorphic variant with small maculopapular lesions, which is typically seen in adult patients, and a polymorphic variant with larger lesions of variable size and shape, which is typically seen in pediatric patients. Clinical observations suggest that the monomorphic variant, if it develops in children, often persists into adulthood, whereas the polymorphic variant may resolve around puberty. This delineation might have important prognostic implications, and its implementation in diagnostic algorithms and future mastocytosis classifications is recommended. Refinements are also suggested for the diagnostic criteria of CM, removal of telangiectasia macularis eruptiva perstans from the current classification of CM, and removal of the adjunct solitary from the term solitary mastocytoma.

Fast Nonconvex Nonsmooth Minimization Methods for Image Restoration and Reconstruction

Abstract: Nonconvex nonsmooth regularization has advantages over convex regularization for restoring images with neat edges. However, its practical interest used to be limited by the difficulty of the computational stage which requires a nonconvex nonsmooth minimization. In this paper, we deal with nonconvex nonsmooth minimization methods for image restoration and reconstruction. Our theoretical results show that the solution of the nonconvex nonsmooth minimization problem is composed of constant regions surrounded by closed contours and neat edges. The main goal of this paper is to develop fast minimization algorithms to solve the nonconvex nonsmooth minimization problem. Our experimental results show that the effectiveness and efficiency of the proposed algorithms.

Surface-induced charge state conversion of nitrogen-vacancy defects in nanodiamonds

Abstract: We present a study of the charge state conversion of single nitrogen-vacancy (NV) defects hosted in nanodiamonds (NDs). We first show that the proportion of negatively charged ${\text{NV}}^{\ensuremath{-}}$ defects, with respect to its neutral counterpart ${\text{NV}}^{0}$, decreases with the size of the ND. We then propose a simple model based on a layer of electron traps located at the ND surface which is in good agreement with the recorded statistics. By using thermal oxidation to remove the shell of amorphous carbon around the NDs, we demonstrate a significant increase in the proportion of ${\text{NV}}^{\ensuremath{-}}$ defects in 10 nm NDs. These results are invaluable for further understanding, control, and use of the unique properties of negatively charged NV defects in diamond.