Diagnostic, opacité et test de conformité pour des systèmes récursifs

L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous essayons ici d'étendre ces travaux à des modèles infinis. Dans cette thèse, nous nous intéressons à quelques problèmes dans lesquels un système est observé de façon incomplète. Dans ce cas, il est impossible d'accéder à certaines informations internes. La diagnosticabilité d'une propriété donnée consiste à vérifier qu'à l'exécution du système, un observateur sera en mesure de déterminer avec certitude que la propriété est vérifiée par le système. L'opacité consiste, réciproquement, à déterminer qu'un doute existera toujours. Une autre application concerne la génération de cas de test. Une fois encore, on considère qu'un observateur n'accède qu'à une partie des événements se produisant dans le système (en général les entrées et les sorties). À partir d'une spécification, on produit automatiquement des cas de test, qui ont pour but de détecter des non-conformités (elles même formalisées de façon précise). Ces trois problèmes ont été étudiés pour des modèles finis. Dans cette thèse, nous étendons leur étude aux modèles récursifs, pour cela nous avons introduit notre propre modèle, les RTS, qui sont une généralisation des automates à pile, et d'autres modèles de la récursivité. Nous adaptons ensuite les techniques utilisées sur des modèles finis, qui servent à résoudre les problèmes qui nous intéressent.An effective way to ensure the proper functioning of a computer system is to represent it by using mathematical models . Many studies have been conducted using finite automata as models, in this thesis we try to extend these works to infinite models. We focus on three problems in which a system is partially observed. In this case, it is impossible to access certain internal informations. Diagnosability of a given property consist in checking, that, during the execution of the system, an observer will be able to determine with certainty that the property is verified by the system. Conversely, the opacity consists in determining if a doubt will always exist. Another application is the generation of test cases. Once again, we consider that an observer accesses only some events of the system (typically the inputs and outputs): from a specification, we automatically generate test cases, which are designed to detect non-conformance. These three problems have been studied for finite models. In this thesis, we extend their study to recursive models. For this purpose, we have introduced a new model, the RTS, which are a generalization of pushdown automata and other models of recursion. In order to solve problems of interest, we adapt the techniques used in finite models.RENNES1-Bibl. électronique (352382106) / SudocSudocFranceF

Le mouvement dans le langage : une représentation littéraire de l'indicible

Ce mémoire présente une réflexion sur la mise en récit de l’indicible. Essentiellement insaisissable parce qu’inexprimable et / ou inexprimé, son étude consiste en une tentative de le démasquer, et de comprendre quelle(s) architecture(s) littéraires en permettent la révélation. Cette analyse approfondira le sens littéral des textes : il s’agira d’en investiguer les différentes interprétations possibles afin d’en définir le noyau originel. Cette entreprise ne peut s’effectuer que de manière indirecte, le sens totalisant ne s’inscrivant jamais dans l’instant présent. De ce fait, le médium artistique du langage se trouvera au centre de ma recherche, notamment avec le concept de la Différance derridienne comme point d’ancrage. L’indicible sous-tend nécessairement un mouvement précédant le texte et allant au-delà de celui-ci, signifiant une impossibilité d’arriver en présence de l’événement traumatique, ou du référent originel. Le mouvement même du discours, de sa structure, génère et fait ressurgir l’indicible. Je penserai le langage (et les mouvements le constituant) comme socle de l’indicible : ironiquement, il en est à la fois la source (soulignant son incapacité à produire une représentation du réel) et ce qui en permet le dévoilement. Nous nous concentrerons sur trois formes d’indicible, à travers trois œuvres distinctes : les conséquences d’un traumatisme et ses temporalités (W ou le souvenir d’enfance, George Perec), la mise en image des affects (L’Écume des jours, Boris Vian), et le récit de soi (Orlando, Virginia Woolf). Ces trois cas de figure témoignent – malgré leurs divergences thématiques – d’une déstructuration de la temporalité, de l’espace et du langage, signifiant l’inaptitude de l’écriture normative à retranscrire le réel, ainsi qu’une remise en question des codes littéraires traditionnels.This master’s thesis explores the narratives poetics of what in French is called the indicible – a noun that, in English translation, hovers between the “unsayable” (i.e., that for which there is no precise or prehensible language) and the “unspeakable” (i.e.; that which concerns affects that are not easily expressed). As a thematic or affective content that slides between the inexpressible and unexpressed, the indicible generates various literary architectures of indirect story-telling. The goal of this thesis is to illuminate these innovative signifying structures. Accordingly, the analytical project that unfolds here is a necessary movement beyond and beneath the literal thematics of the texts. Within a range of possible interpretations, the text will reveal something of its original conception, its traumatic mark or primal scene. Language as an artistic medium is the essential focus of this work – language, or discourse, as a matrix informed by Jacques Derrida’s model of Différance is, above all, a theory of the movement of narrative or expository language in time. The very movement of discourse around a thematic project – that of bearing witness, of conceptualizing desire, or of mapping identity – is itself generative of the unsayable. Ironically, language is at once the matrix of representation’s limits and incapacities, and the medium of its unveiling and illumination. This mémoire explores three distinct narrative examples of the unsayable by way of three radically different texts : trauma and its temporalities (W, of the memory of childhood, by George Perec), the image-structure of the affects (Froth on the Daydream, by Boris Vian), and the gendered metamorphosis of the self (Orlando: a biography, by Virginia Woolf). Although these narratives vary in form, subject, and thematic content, they collectively dismantle the linear sequence of events and the familiar contours of space; they deconstruct the referential certainties of language; and they point to the limitations of traditional narrative codes in the encounter with reality and the real

Diagnostic en ligne des systèmes à événements discrets complexes : approche mixte logique/probabiliste

Today's manufacturing systems are challenged by increasing demand diversity and volume that result in short product life cycles with the emergence of high-mix low-volume production. Therefore, one of the main objectives in the manufacturing domain is to reduce cycle time (CT) while ensuring product quality at reduced cost. In such competitive environment, product quality is ensured by introducing more rigorous controls at each production step that results in extended cycle times and increased production costs. This can be reduced by introducing R2R (run to run) loops where control on the product quality is carried out after multiple consecutive production steps. However, product quality drift, detected by metrology at the end of run-to-run loop, results in stopping respective sequence of production equipment. The manufacturing systems are equipped with sensors that provide basis for real time monitoring and diagnosis; however, placement of these sensors is constrained by its structure and the functions they perform. Besides this, these sensors cannot be placed across the equipment due to associated big data analyses challenge. This also results in non-observable components that limit our ability to support effective real time monitoring and fault diagnosis initiatives. Consequently, production equipment in R2R loop are stopped upon product quality drift detection at the inspection step. It is because of the fact that we are unable to diagnose that which equipment or components are responsible for the product quality drift. As a result, production capacities are reduced not because of faulty equipment or components but due to our inability for efficient and effective diagnosis.In this scenario, the key challenge is to diagnose faulty equipment and localize failure(s) against these unscheduled equipment breakdowns. Moreover, the situation becomes more complex if the potential failure(s) is unknown and requires experts' intervention before corrective maintenance can be applied. In addition to this, new failures can emerge as a consequence of different failures and associated delay in its localization and detection. Therefore, success of the manufacturing domain, in such competitive environment, depends on quick and more accurate fault isolation, detection and diagnosis. This paper proposes a methodology that exploits historical data over unobserved equipment components to reduce search space of potential faulty components followed by more accurate diagnosis of failures and causes. The key focus is to improve the effectiveness and efficiency of real time monitoring of potential faulty components and causes diagnoses.This research focuses on potential diagnosis using Logical Diagnosis model (Deschamps et al., 2007) which that offers real time diagnosis in an automated production system. This reduces the search space for faulty equipment from a given production flow and optimizes the learning step for the subsequent BN. The BN model, based on the graphical structure, received from Logical Diagnosis model then computes joint and conditional probabilities for each node, to support corrective maintenance decisions upon scheduled and unscheduled equipment breakdowns. The proposed method enables real time diagnosis for corrective maintenance in fully or semi-automated manufacturing systems.Les systèmes de production auquel nous nous intéressons ici sont caractérisés par leur haut niveau de flexibilité et leur fort niveau d'incertitude lié par exemple à la forte variabilité de la demande, le haut niveau des technologies produites, un flux de production stressant, la présence d'opérateurs humains, de produits, etc. Le domaine de l'industrie du semi-conducteur est un exemple caractéristique de ce type de systèmes. Ces systèmes caractérisent également des équipements nombreux et couteux, des routes de produits diverses, voire même réentrantes sur un même équipement, des équipements de métrologie produits, etc.La présence non systématique d'équipements de métrologie en sortie de chacun des équipements de production (Patterson et al, 2005) rend ce système encore davantage complexe. Cela a en effet pour conséquences des problématiques inéluctables de propagations de défaillances au travers du flux de produits, défaillances qui ne pourront être détectées plus tard qu'au travers d'un arrêt d'équipement non programmé ou alors lors d'un contrôle produit sur un équipement de métrologie. Pour faire face à une telle complexité, un modèle de structure de commande hiérarchique et modulaire est généralement en premier lieu préconisé, il s'agit du modèle CIM (Jones et al, 1990). Ce modèle consiste à décomposer dans un premier temps le système de pilotage en 5 niveaux de commande allant de la couche capteurs/actionneurs en passant par le contrôle-commande et la supervision. Nous nous intéresserons ici plus particulièrement aux trois derniers niveaux temps réels de ce modèle. En effet, lorsqu'une défaillance est détectée au niveau le plus bas de cette pyramide de commande, il s'agit de mettre en place un mécanisme permettant de localiser, en temps réel et de manière efficace, la ou les origines possibles d'une telle défaillance, qu'elle soit propagée, ou non afin de fournir au système d'aide à la décision les informations importantes pour guider l'opérateur humain dans sa phase de maintenance corrective et ainsi contribuer à réduire le temps d'arrêts d'équipements ; l'origine ou la cause de l'arrêt pouvant être l'équipement lui-même (panne de capteur, d'actionneur, déréglage…) ou une mauvaise maintenance, ou encore une recette mal qualifié, etc…L'idée générale que nous défendons ici consiste à s'appuyer sur le mécanisme de génération en ligne du modèle d'historique des opérations exécutées réduit à celles suspectes pour identifier la structure du réseau Bayésien correspondant au modèle de diagnostic ; et de mener par la suite le calcul des probabilités du modèle Bayésien résultant afin de déterminer les candidats à visiter en premier (notion de score) et ainsi contribuer à optimiser la prise de décision pour la maintenance corrective.L'approche générale se veut donc à la croisée d'une approche déterministe et une probabiliste dans un contexte dynamique. Au-delà de ces propositions méthodologiques, nous avons développé une application logicielle permettant de valider notre proposition sur un cas d'étude de la réalité. Les résultats sont particulièrement encourageants et ont fait l'objet de publications des conférences internationales et la soumission dans la revue International Journal of Risk and Reliability

Mesure et modélisation du comportement de matériaux diélectriques irradiés par faisceau d'électrons

Dans leurs usages courants comme isolants électriques, les matériaux solides organiques sont constitutifs aussi bien des câbles de transport d'énergie électrique, des circuits de commande et de conversion de puissance que des composants (micro)électroniques ou des systèmes embarqués (revêtement thermique des satellites, batteries d'accumulateurs...). La diversité des contraintes d'utilisation auxquelles ils sont soumis (champ électrique, rayonnement, température, humidité...) les prédisposent à emmagasiner des charges en leur sein, susceptibles d'affecter la fiabilité des systèmes qui en dépendent. L'un des moyens communément mis en œuvre pour étudier le comportement électrique de ces charges est la mesure de la distribution spatio-temporelle des charges d'espace, en soumettant le diélectrique à une différence de potentiel continue à travers deux électrodes. Cette méthode ne permet cependant pas toujours de distinguer clairement la contribution des charges dues à la génération, d'une part, et celles dues aux phénomènes de transport, d'autre part. Cette étude propose une approche alternative, consistant à déposer sous vide des charges (électrons) au sein de l'isolant par le biais d'un faisceau d'électrons, à une position connue et en quantité maîtrisée, en prenant en compte d'autres processus physiques liés à l'implantation d'électrons afin de prévoir et modéliser le comportement de ces matériaux irradiés. Des films de PolyEthylène basse densité (PEbd), préparés par thermomoulage, ont été irradiés par un faisceau d'électrons de 80 keV avec un flux de 1 nA/cm2. Les mesures de charge d'espace par la méthode Electro-Acoustique Pulsée (PEA), réalisées d'abord in-situ, puis ex-situ sous polarisation électrique DC, confirment une localisation effective de charges au sein du matériau. Les résultats sous polarisation électrique après irradiation mettent en évidence une importante présence de charges positives dans la zone irradiée du diélectrique. Les caractérisations électriques des films PEbd irradiés montrent un comportement complètement différent de celui d'un même matériau non-irradié, laissant penser à une modification de la structure chimique du matériau. Des mesures physico-chimiques (spectroscopie infra-rouge, Photoluminescence et Analyse Enthalpique Différentielle-DSC) sur ces films PEbd irradiés, ne montrent pas une dégradation significative de la structure chimique du diélectrique qui expliquerait le comportement électrique observé sous polarisation post-irradiation. Des mesures complémentaires montrent le comportement réversible du PEbd irradié puis polarisé, qui serait uniquement lié à la présence des charges générées par le faisceau. Les données expérimentales de cette étude ont parallèlement alimenté un modèle numérique de transport de charges, développé pour tenir compte des contraintes sous irradiation. Ce modèle a permis de reproduire les résultats d'implantation de charge par faisceau d'électrons in-situ ainsi que la majorité des processus électriques observés sur du PEbd irradié puis polarisé. Il confirme l'impact de la charge déposée par faisceau d'électrons sur le comportement sous polarisation et permet de conclure quant à l'origine des charges positives observées post-irradiation, qui seraient dues aussi bien aux phénomènes d'injection aux électrodes qu'à la création de paires électrons/trous par le faisceau d'électrons pendant l'irradiation.In their common uses as electrical insulators, organic solid materials are constitutive of electric power transmission cables, power control and conversion circuits as well as (micro) electronic components or embedded systems (thermal coating of satellites, batteries of accumulators, etc.). Under various constraints of use (electric field, radiation, temperature, humidity ...) they can accumulate charges in their bulk which could affect the reliability of the systems in which they are employed. One of the commonly used means to study the electrical behavior of these charges is to measure the spatiotemporal distribution of charges by subjecting the dielectrics to a continuous potential difference between two electrodes. However, this method does not always allow clearly distinguishing the contribution of charges due to generation on the one hand and the one due to transport phenomena on the other hand. This study proposes an alternative approach, consisting in generating charges (electrons) within the electrical insulation using an electron-beam under vacuum. The charges are hence deposited at a known position and in a controlled quantity. Other physical processes related to the implantation of electrons must then be taken into account in order to predict and model the behavior of these irradiated materials. Low-density polyethylene (LDPE) films, prepared by thermal molding, were irradiated by a 80 keV electron-beam with a current flux of 1 nA/cm2. Space charge measurements using the Pulsed Electro-Acoustic (PEA) method, performed first in-situ and then ex-situ under DC electrical polarization, confirm an effective localization of charges within the material. The results under electrical polarization after irradiation show an important amount of positive charges in the irradiated zone of the dielectric. The electrical characterizations of irradiated LDPE films show a completely different behavior compared to the same non-irradiated material, suggesting a modification of the chemical structure of the material. Physico-chemical measurements (infrared spectroscopy, Photoluminescence and Differential Scanning Calorimetry-DSC) on these irradiated PEbd films do not show a significant degradation of the chemical structure of the dielectric which would explain the observed electrical behavior under post-irradiation polarization. Additional measurements show the reversible behavior of the irradiated then polarized PEbd, which would be only related to the presence of the charges generated by the beam. The experimental data of this study have simultaneously fed a numerical model of charge transport, developed to take into account the irradiation constraints. This model allows reproducing the in-situ results of charge implantation by the electron beam as well as the majority of the electrical processes observed on irradiated and polarized LDPE. It confirms the impact of the electron-beam deposited charge on the behavior under polarization and allows concluding on the origin of the positive charges observed after irradiation, which would be due to injection at the electrodes as well as to the creation of electron-hole pairs by the electron-beam during irradiation

Le Conte insolite francais au XX siecle

The study concerns the category of short fiction oscillating between the fantastic and the marvellous and it points out the existence of a new type of tale in the twentieth century French literature. The term “uncanny tale” is in not frequent in critical discourse, though some theoreticians, like M. Guiomar, J.-B. Renard and J. Goimard, have been interested in the concept of the uncanny. The aim of this study is to characterize the essential features of the uncanny tale and advance a definition of the category on the basis of short fictions of G. Apollinaire, M. Aymé, G.-O. Châteaureynaud, P. Gripari, M. Schneider, J. Supervielle, B. Vian or M. Yourcenar, not to mention the most famous authors. Reading and examining the uncanny tale or short stories, which classification remains ambiguous, accentuate two aspects: how the uncanny is created and how it should be read. The formation of the uncanny universe consists of choosing its particular figures, time and space. The perception of this category is subject to the reader’s knowledge of culture codes and intertextuality of the uncanny tales

Analyse prospective de la rémunération des auteurs, artistes-interprètes et producteurs à l'ère de la numérisation

Les auteurs analysent les conséquences financières, présentes et à venir, de la révolution provoquée par les nouveaux moyens de communication de masse (chaînes de télévision câblées, lecteurs de DVD, Internet, etc.) dans la diffusion des oeuvres protégées par le droit de la propriété littéraire et artistique auprès d'un public de plus en plus vaste. Ils décrivent successivement l'extension continue de la notion d'oeuvre protégée, l'augmentation concomitante des revenus des droits patrimoniaux et les problèmes posés par la protection de ces droits contre le « piratage » (lois Hadopi), et enfin les perspectives de gestion de ces droits par le biais de nouvelles licences légales gérées par des Sociétés de Perception et de Répartition des Droits (SPRD).Licences légales ; Lois Hadopi ; OEuvres protégées ; Piratage ; Propriété littéraire et artistique ; SPRD

Analyse prospective de la rémunération des auteurs, artistes-interprètes et producteurs à l’ère de la numérisation

The authors analyse the present and coming financial consequences of the revolution caused by the new communication media (TV broadcast, DVD, internet…) towards the diffusion of literary and artistic works protected by intellectual property laws to an increasingly larger public. They successively describe the ongoing extension of the sense of protected works, the concomitant increase of incomes of property rights and the problems raised by the protection of these rights against piracy (Hadopi law), and finally the management perspectives of these rights by means of new legal licences controlled by companies in charge of collecting and distributing royalties (Sociétés de Perception et de Répartition des Droits - SPRD).Companies in Charge of Collecting and Distributing Royalties; Hadopi Laws; Intellectual Property; Legal Licences; Piracy; Protected Works