Theory and Techniques of Convergence of Topological Transformation Group Actions

n this dissertation, we present new set functions called strongly limit and strongly prolongation limit sets. We show the new sets, especially strongly prolongation limit sets, characterize proper action under an arbitrary setting. That is, we characterize proper action for wider class of proper ܩ-spaces. Also, we show the new version of the sets could be derived from strongly exceptional sets which have been used as a good technique for the characterization of a proper maps. Moreover, we review properties of well-known limit sets and prolongations and properties for the new version of limit sets under an arbitrary setting on a ܩ-space ܺ. Next, we give characterizations for a proper action and a locally proper action using the new set functions and some relevant areas where one could use these sets to describe some topological properties for a space ܺ or algebraic properties for a group ܩ acting on ܺ. Following the technique of limit sets, we present a new version of action as weaker forms of the proper action called ݓ -actions using convergence techniques. This approach yields new directions for the proof of some existing theorems which are then given as well as come counter-examples. We give some applications for our weaker forms and how convergence techniques could be fruitful to explain the relations among certain notions in the theory of ܩ-spaces. Finally, according to our weaker forms, we characterize the notion of enough slice that has presented by H. Biller using ݓ -Cartan action

H2 Control for Improved Stability of Multi-area Electric Power System with High Levels of Inverter-Based Generation

Increased generation capacity from non-dispatchable energy resources such as wind and solar has created challenges to ensuring the reliable delivery of electric power. This research develops a systematic three-step method of assessing the reliability of electric power systems under a variety of different possible fault conditions to ensure that overall system stability is preserved in a manner the meets regulatory requirements. The first step is a risk-based reliability method (RBRM) that accounts for the probability of a line outage versus the severity of impact. This allows system planners to judiciously allocate expenses for reliability improvements based on the greatest economic benefit. The second approach is the synchrophasor validation method (SVM) which allows system planners and analysis to develop accurate models of electric power system behavior. This improves the decision making capability for implementing new system designs and equipment choices. The third new area is the development of norm-based wide-area control methods that optimize system stability and reliability based on the statistical characteristics found in the first two steps. This norm-based approach includes calculating optimal values for parameters of flexible ac transmission system (FACTS) devices and high voltage direct current (HVDC) links in order to have results within the regulatory requirements of the North American Electric Reliability Corporation (NERC). Power flow and frequency criteria are used to verify conformance with the regulations. These criteria are evaluated under N-1-1 conditions in two reduced order models to demonstrate the ability of the norm-based wide-area controller to maintain performance of these systems within acceptable ranges. The obtained simulation results confirm the benefits of the proposed technique in meeting regulatory requirements under conditions of N-1-1 contingencies in electric power systems with large amounts of renewable energy resources

Composition Adaptative et Vérification Formelle de Logiciel en Informatique Ubiquitaire

National audienceL’informatique ubiquitaire est un nouveau paradigme pour caractériser l’ensemble des objets intelligents et communicants. Il est utilisé aujourd’hui dans la plupart des domaines et systèmes critiques.Cette classe d’applications nécessite un contrôle et une vérification permanents de ses applications et composants pour éviter les conséquences dramatiques d’un disfonctionnement.Un composant critique doit toujours être en écoute des changements de son environnement, en particulier des fonctionnalités mise à disposition par les autres composants et doit vite s’y adapter.Le but de ce projet est donc de garantir une adaptation automatique et continue à ces changements. Le mécanisme d’adaptation doit à son tour permettre une vérification formelle et une validation

Snake Venom Peptides: Promising Molecules with Anti-Tumor Effects

International audienc

COMPARAISON ENERGETIQUE ET EXERGETIQUE DE SYSTEMES DE DESSALEMENT

National audienceDans certaines zones du monde, l'eau potable n'est pas une ressource abondante et est produite par des systèmes de dessalement. Par ailleurs, les ressources en énergie doivent être rationalisées. Les performances des systèmes de dessalement sont difficiles à comparer car les technologies peuvent être très différentes et faire appel à des procédés thermiques, électriques ou mécaniques, membranaires ou non. L'exergie correspond à l'énergie mécanique potentiellement produite par une quantité de chaleur, une quantité d'énergie chimique ou électrique. L'énergie mécanique est considérée comme une forme pure d'exergie. Cette étude émane d'une étude bibliographique menée dans le cadre d'un projet de couplage d'une machine frigorifique avec un système de dessalement. Cet article présente les quantités d'exergie consommée et les indices de comparaison usuels (GOR, Gained Output Ratio et PR, Performance Ratio) pour différents systèmes de dessalement testés dans notre laboratoire ou dont les données ont été récoltées dans la littérature. Les systèmes étudiés dans cet article sont des installations d'osmose inverse, de distillation membranaire, de distillation multiple-effet et un distillateur solaire. Les résultats montrent que la distillation membranaire présente des caractéristiques intéressantes, notamment dans le cadre d'un couplage avec une source de chaleur à basse température

Semaine d'Etude Mathématiques et Entreprises 6 : Représentation des fonctions de réponse radiométrique

Ce rapport rassemble les différentes pistes de réponses apportées au problème posé par l'entreprise Kolor lors de la 6ème Semaine d'Étude Maths-Entreprises de juin 2013. Le problème porte sur la représentation de fonctions de réponse radiométrique utilisées dans de nombreux logiciels de manipulation de photographies. Une grande partie du travail effectué a consisté à comprendre le problème et ses enjeux afin de le formaliser de façon mathématique. Après une description formelle des outils envisagés, nous les évaluons par rapport aux contraintes du problème afin de déterminer leurs avantages et inconvénients. D'un point de vue pratique, les outils sont présentés dans l'objectif d'être éventuellement développés et intégrés à un logiciel existant. Nous avons donc tenté, dans la mesure du possible, de prendre en compte la simplicité de ces outils que ce soit du côté développement ou du côté utilisation. Ce rapport s'articule en six parties. Après une description pratique du problème, nous en détaillons les principales caractéristiques. Dans une troisième partie, nous décrivons les trois outils envisagés. Les deux parties suivantes constituent l'étude des outils par rapport aux contraintes du problème. Finalement nous donnons une conclusion de cette étude

Composition sure dans les intergiciels pour l'internet des objets

International audienceThe Internet of Things (IoT) connects sensors, actuators and autonomous objects interacting with each other. These devices are represented by web services. Web services composition often involves conflicts between systems having access to shared devices. In our component-based middleware, our solution allows managing access to shared devices, by generating specific constraint components which guarantee the respect of some predefined composition and adaptation constraints. IoT environments are dynamic; our solution ensures adaptation to its changes by using new generated constraint components and inhibitors to deal with the appearance and disappearance of devices/applications. The main contribution in this work is the definition of a new language DCL (Description Constraint Language) that helps to generate our constraint components by describing generic constraints that must be verified on accesses to shared devices. The whole approach and its associated tools rely on the synchronous paradigm, since it has a well-established formal foundation allowing automatic proofs, and interface with most model-checkers. We can then prove and guarantee a safe composition at runtime for our IoT applications.L'internet des objets connecte des capteurs, des actuateurs et des objets autonomes interagissant les uns avec les autres. Ces dispositifs sont représentés par des services web. La composition des services web doit souvent faire face à des des conflits entre les systèmes ayant accès à des dispositifs partagés. Dans notre intergiciel basé sur une approche composant, notre solution résoud le problème d'accès aux dispositifs partagés en générant des composants spécifiques qui garantissent le respect de contraintes prédéfinies d'adaptation et de composition. L'environnement de l'Internet des choses est dynamique; notre solution assure l'adaptation aux changements en utilisant de nouveaux composants de contrainte et des inhibiteurs qui permettent de prendre en compte l'apparence et la disparition des dispositifs et des applications. La principale contribution de ce travail est la définition du langage DCL (Description Contrainte Language) qui permet de générer automatiquement des composants de contrainte par description de contraintes génériques qui doivent être vérifiées sur les accès aux dispositifs partagés. Notre approche et les outils qui en découle repose sur le paradigme synchrone car c'est un modèle bien fondé qui permet de faire des preuves automatiques et s'interface avec la plupart des model checkers. Nous pouvons ainsi prouver et garantir une composition sure de nos applications dans le domaine de l'internet des choses