Un système de types pour CHR

http://www710.univ-lyon1.fr/~csolnonNous proposons un système de types général pour le langage des Constraint Handling Rules (CHRs), un langage de règles de réécriture destiné à l'implantation de solveurs de contraintes. Les CHRs étant en fait une extension de haut niveau d'un langage hôte, tel que Prolog ou Java, le système de types est ainsi paramétré par le système de types du langage hôte. Nous montrons la cohérence du système de types pour les CHRs par rapport à leur sémantique opérationnelle. Nous étudions également le cas particulier où le langage hôte est un langage de programmation en logique avec contraintes, typé avec le système de types prescriptif que nous avons développé dans nos précédents travaux. En particulier nous montrons que le système résultant est cohérent avec le modèle d'exécution étendu CLP+CHR. Ce système est implanté à travers une extension du logiciel TCLP de typage des programmes logiques avec contraintes. Nous exposons nos résultats expérimentaux sur la vérification des types de solveurs et programmes utilisant les CHRs, dont le logiciel TCLP lui-même

RQL : un langage " à la SQL " pour découvrir des règles à partir des données

National audienceRQL (pour Rule Query Language) est un langage de requêtes " à la SQL " qui étend et généralise les dépendances fonctionnelles 1 à de nouvelles catégories de règles. RQL apporte aux analystes de données un outil pratique pour découvrir les implications logiques entre attributs d'une base de données. Ces implications peuvent mettre en évidence des problèmes de qualité de données ou de nouvelles corrélations inattendues entre les attributs. Le traitement de ces requêtes RQL est basé sur une technique de réécriture qui délègue un maximum de calculs au SGBD sous-jacent. Cette contribution vise à renforcer le lien entre la fouille de données et les bases de données et de faciliter l'utilisation de techniques de fouille par des analystes ou des étudiants habitués au SQL

Action palliative par le convertisseur statique en cas de défaillance d'un générateur PAC modulaire de puissance

International audienceLa montée en puissance des piles à combustible se heurte à des difficultés d'ordre mécanique et fluidique, limitant l'assemblage en série de cellules unitaires pour les piles de forte puissance. Aussi, à l'heure actuelle, est-il plus aisé de concevoir des générateurs pile à combustible associant plusieurs piles unitaires, dits " multi-stack ". L'approche multi-stack permet en outre de gérer d'éventuelles défaillances pouvant intervenir sur l'une des piles en fonctionnement. Cet article présente des actions de soulagement de la pile défaillante possibles par intervention sur les convertisseurs statiques de puissance d'interface et permettant le rétablissement de cette pile défaillante vers son état sain

Architecture de convertisseur statique tolérante aux pannes pour générateur pile à combustible modulaire de puissance-traction 30kW

Dans l objectif d une augmentation en puissance des piles à combustible pour satisfaire les besoins énergétiques des applications embarquées, une solution consiste à augmenter la taille des assemblages. Dès lors, des problèmes de disparités fluidique, thermique et électrique peuvent survenir dans le cœur des piles et conduire ainsi à l apparition de défaut. La pile à combustible, de par sa nature de source électrique basse tension fort courant, requiert d être couplée au réseau électrique embarqué par l intermédiaire d un convertisseur statique. Ce dernier peut alors être employé pour agir de façon corrective sur la pile et aussi de corriger les défaillances qui en sont liées. Dans cette perspective, le convertisseur doit avoir en permanence un retour sur l état de santé de la pile. Pour cela, une méthode de détection et d'identification de défaut de type noyage et d assèchement pour une pile du type PEMFC a été approfondie. Cette méthode simple, économique en capteurs, se base sur la mesure de 3 tensions de cellule judicieusement sélectionnées et localisées sur la pile. Ainsi, l utilisation de l information spatiale , qui correspond à la position de la mesure de tension dans la pile permet d identifier les défauts. Le principe de la détection localisée nous amène alors à considérer le concept de pile segmentée qui consiste à séparer électriquement la pile en 3 parties de façon à ce que des convertisseurs associés puissent agir électriquement sur chaque segment. L action peut être du type tout ou rien, ou contrôlée. Cette dernière offre davantage de degrés de liberté, et est moins contraignante pour la pile d un point de vue électrique. Pour choisir comment réaliser cette action, une étude comparative de plusieurs topologies de convertisseur est effectuée. Les structures alimentées en courant répondent au mieux aux contraintes électriques d une PEMFC et sont donc privilégiées, de même que la nécessité d une isolation galvanique imposée par la segmentation de la pile. Au final, une topologie de BOOST isolé résonant est apparue comme étant la topologie répondant au mieux à l ensemble des critères (plage de fonctionnement, performances énergétiques, nombre de composants). L ensemble convertisseur global intègre ainsi trois structures unitaires qui permettent d'offrir une modularité, une action indépendante sur chaque segment et de garantir une disponibilité du système grâce à un fonctionnement dégradé. Pour cela, la stratégie de commande de l ensemble convertisseur intègre les informations issues de la méthode de détection. La thèse se termine avec le dimensionnement complet d un pré-prototype du convertisseur avec le choix des composants actif et passifs, et du système de refroidissement associé.In the objective of fuel cell power increase in order to satisfy energetic requirements for embedded applications, a solution consists in increasing the size of fuel cell stack assemblies. As possible consequence, fluidic or thermal disparity problems may occur in the fuel cell core and lead to the appearance of faults. The fuel cell, which is a low voltage-high current electrical source, needs to be connected to the on-board electrical network thanks to a static converter. This latter can be used in order to perform a corrective action in the aim of reducing disparities in the stack and also correcting resulting faults. In this perspective, the converter should permanently get information about fuel cell state of health. Hence, a fault detection and identification method for PEMFC has been explored. This method which is simple and requires only few sensors is based on 3 voltage measurements judiciously selected and localized over the stack. Using spatial information which corresponds to the position of the sensors, allows to identify some characteristic faults. The principle of the localized fault detection leads to consider the segmentation concept for the fuel cell, which in our case is electrically split into three parts and allows an independent control of each segment by the power converter. Electrical action can be all or nothing or moderated ones. The latter offers more degree of freedom, and is less constraining from an electrical point of view. In order to execute the action, study of multiple power converter topologies have been done. Among the candidate topologies, current structures are preferred, as well as the necessity of a galvanic isolation required by the segmentation concept. The resonant isolated boost is the adopted structure; as it meets at best the whole criteria. Thus the global converter assembly is composed of three single structures which offer modularity, independent action on each segment, and continuity of service thanks to degraded modes. The detection method is hence implemented in the converter control strategy. This Ph.D. thesis ends with the complete sizing of a power converter pre-prototype together with technological choices for the active, passive and associated cooling components.PARIS11-SCD-Bib. électronique (914719901) / SudocSudocFranceF

Privacy-Aware Web Service Protocol Replaceability

ISBN: 0-7695-2924-0International audienceBusiness protocols are becoming a necessary part of Web services description. Many works investigate mechanisms for analyzing the compatibility and the substitution (i.e., replaceability) of Web services based on their functional properties. In this paper, we focus on the replaceability analysis. Whether a service can replace another depends not only on their functional properties but also on non functional requirements (e.g., privacy policies). We propose a privacy aware protocol replaceability approach to extend the earlier work of Web services replaceability by privacy properties. We introduce a rule-based privacy model and we extend business protocols, leading to what we call Private Business Protocols. Finally, a private replaceability analysis of private business protocols is discussed. We mainly investigate compatibility issues, that is whether one private business protocol can support the same set of conversations with respect to the privacy requirements

Electrical architecture for high power segmented PEM Fuel Cell in vehicle application

ABSTRACT In the objective of power increase for transport applications or on-board auxiliaries systems, long fuel cell stacks may be subject to disparities (fluidics, temperature) and can be the cause of possible failures. Coupled with a fault detection strategy, the power converter associated with the fuel cell can act to manage the fault. This article is about power converter topologies applied to a segmented high power fuel cell. The fuel cell generator is a 3-part segmented Polymer Electrolyte Membrane (PEM) fuel cell. Each fuel cell segment can be controlled independently according to its state of health (SoH). The converter topology has to be simple, compact, reliable and with a high efficiency. The resonant isolated boost as converter "technology brick", allowing soft switching is a candidate topology to meet the technical specifications of the multi-port fuel cell-converter system

Fully Automatic Lesion Localization and Characterization: Application to Brain Tumors Using Multiparametric Quantitative MRI Data

International audienceWhen analyzing brain tumors, two tasks are intrinsically linked, spatial localization and physiological characterization of the lesioned tissues. Automated data-driven solutions exist, based on image segmentation techniques or physiological parameters analysis, but for each task separately, the other being performed manually or with user tuning operations. In this work, the availability of quantitative magnetic resonance (MR) parameters is combined with advanced multivariate statistical tools to design a fully automated method that jointly performs both localization and characterization. Non trivial interactions between relevant physiological parameters are captured thanks to recent generalized Student distributions that provide a larger variety of distributional shapes compared to the more standard Gaussian distributions. Probabilistic mixtures of the former distributions are then considered to account for the different tissue types and potential heterogeneity of lesions. Discriminative multivariate features are extracted from this mixture modelling and turned into individual lesion signatures. The signatures are subsequently pooled together to build a statistical fingerprint model of the different lesion types that captures lesion characteristics while accounting for inter-subject variability. The potential of this generic procedure is demonstrated on a data set of 53 rats, with 36 rats bearing 4 different brain tumors, for which 5 quantitative MR parameters were acquired

Y a-t-il une lecture symbolique de l’ornement ?

Il reste encore largement d’usage d’opposer les « beaux-arts » – et leur dérivé supposément décloisonné qu’est « l’art contemporain » – au décor, à l’ornement, et aux « objets d’art ». Tandis que les premiers, déterminés par un statut « libéral », en ce qu’ils véhiculent d’un sens, sont chargés d’une vertu signifiante, les seconds occuperaient le champ d’une mise en forme certes artistique – notamment par leur recours à des techniques sophistiquées – mais dénuée de signification. Une telle op..

Research response to coronavirus disease 2019 needed better coordination and collaboration: a living mapping of registered trials

Objectives: Researchers worldwide are actively engaging in research activities to search for preventive and therapeutic interventions against coronavirus disease 2019 (COVID-19). Our aim was to describe the planning of randomized controlled trials (RCTs) in terms of timing related to the course of the COVID-19 epidemic and research question evaluated. Study Design and Setting: We performed a living mapping of RCTs registered in the WHO International Clinical Trials Registry Platform. We systematically search the platform every week for all RCTs evaluating preventive interventions and treatments for COVID-19 and created a publicly available interactive mapping tool at https://covid-nma.com to visualize all trials registered. Results: By August 12, 2020, 1,568 trials for COVID-19 were registered worldwide. Overall, the median ([Q1–Q3]; range) delay between the first case recorded in each country and the first RCT registered was 47 days ([33–67]; 15–163). For the 9 countries with the highest number of trials registered, most trials were registered after the peak of the epidemic (from 100% trials in Italy to 38% in the United States). Most trials evaluated treatments (1,333 trials; 85%); only 223 (14%) evaluated preventive strategies and 12 postacute period intervention. A total of 254 trials were planned to assess different regimens of hydroxychloroquine with an expected sample size of 110,883 patients. Conclusion: This living mapping analysis showed that COVID-19 trials have relatively small sample size with certain redundancy in research questions. Most trials were registered when the first peak of the pandemic has passed