Les réseaux de Petri et leurs extensions constituent un formalisme très connu pour la modélisation de la spécification des systèmes à évènements discrets temps réel. Pour ces systèmes, les exigences de vérification et de validation sont indispensables pour garantir leur bon fonctionnement car la moindre erreur peut entrainer des conséquences catastrophiques. Pour analyser le comportement du système, il est courant de construire le graphe d’états (ou espace d’états) qui énumère de façon exhaustive les différents états accessibles.Ce graphe permet de vérifier des propriétés génériques comme le caractère borné, l’accessibilité, la terminaison, la vivacité, l’absence de blocage, etc. Mais la construction de cet espace d’états est confrontée au problème d’explosion combinatoire du nombre d’états lié à la complexité et à la concurrence du système.L’une des alternatives pour contenir cette combinatoire est de conserver uniquement les ordres partiels entre les évènements. Le dépliage est une technique d’ordre partiel adaptée à la vérification, au diagnostic et à la planification. Cette thèse contribue à l’étude du dépliage des réseaux de Petri et, plus particulièrement,apporte une contribution au dépliage des réseaux de Petri avec des arcs de reset. De plus, le dépliage explicite les exécutions possibles du système qui sont, par définition, des processus. Il s’agit plus précisément des processus de branchement qui diffèrent des processus classiques. Ainsi, nous proposons une algèbre adaptée aux processus de branchement issus du dépliage des réseaux de Petri. / Petri nets and their extensions are a well-known formalism for modeling the specification of discrete events systems real-time. For these systems, the demands of verification and validation are essential to ensure their smooth functioning because the least error can lead to catastrophic consequences. To analyze the behavior of the system, it is common to construct the stategraph (or state space) which lists exhaustively the different accessible states. This graph allows to check the generic properties such as boundedness, accessibility, termination, vivacity, the absence of blocking, etc. But building this state space is confronted with the problem of combinatorial explosion of the number of states related to the complexity and concurrence of the system. One of the alternatives to contain this combination is to keep only partial orders between events. Unfolding is a partial order adapted to technical verification, diagnosis and planning. This thesis contributes to the study of the unfolding of Petri nets and, in particular, his contributes to the unfolding of Petri nets with reset arcs. Moreover, the unfolding explains the possible executions of the system which are, by definition, the processes. This is specifically the branching processes that differ from conventional processes. Thus, we propose an algebra adapted to the branching process from unfolding of Petri nets.

L'objet de la présente étude est d'étudier, de comprendre et de maîtriser les différentes propriétés électriques de contacts électriques constitués de membranes souples en carbone, qui commutent sur des pistes métalliques d'un circuit imprimé. Ces contacts sont de plus en plus utilisés dans l'automobile car ils possèdent des propriétés mécaniques intéressantes vis-à-vis du ressenti de l'utilisateur, tout en permettant une bonne durée de vie. Dans un premier temps, les paramètres électriques et mécaniques de ces contacts sont caractérisés, les phénomènes de commutation sur divers type de charges sont étudiés et l'influence de contaminants et de la corrosion sur la conduction électrique sont examinés. L'évolution des résistances d'isolement en présence d'humidité est quantifiée. Dans un second temps, une approche de fiabilité est réalisée : l'évolution des paramètres électriques et mécaniques de ces contacts est étudiée lorsqu'ils sont soumis à des stress environnementaux, en particulier la chaleur humide. Les principaux modes d'endommagement sont étudiés. Nous montrons en particulier que les défaillances mécaniques proviennent essentiellement du polymère, et les défaillances électriques proviennent plutôt du circuit imprimé. L'influence d'un revêtement doré côté circuit imprimé, pour différentes épaisseurs, est également étudiée. Notre travail se poursuit par une étude un peu plus fondamentale sur les phénomènes de commutation en présence de matériaux en carbone. Au cours de ce travail novateur, les signatures optiques sont examinées lors de la coupure du courant. Un phénomène baptisé « glowing » est mis en évidence ; les limites en courant et en tension entre « glowing » et arcage électrique sont données, et les phénomènes comparés par rapport aux phénomènes de commutation dans les contacts de type métal – métal. L'étude se termine par un bilan synthétique concernant l'utilisation de contacts comprenant une pastille en carbone, avec leurs avantages et leurs limitations. / The purpose of this study is to explore, understand and master the different electrical properties of electrical contacts made of flexible carbon membranes, which switch on metal tracks on a printed circuit board. These contacts are increasingly used in the automobile because they have interesting mechanical properties for the user, while providing a good reliability. At first, the electrical and mechanical parameters of these contacts are characterized, the switching phenomena on various types of loads are studied and the influence of contaminants and corrosion on the electrical conduction is examined. The evolution of insulation resistance in the presence of moisture is quantified. In a second step, an approach to reliability is achieved: the evolution of electrical and mechanical parameters of these contacts is studied when subjected to environmental stresses, especially moist and heat. The main types of damage are considered. We show in particular that mechanical failures come mainly from polymer and electrical failures from the PCB. The influence of a gold-plated printed for different thicknesses system side, is also studied. Our work continues with a slightly more fundamental study on switching phenomena in the presence of carbon materials. In this pioneering work, the optical signatures are discussed at the current break. A phenomenon called "glowing" is highlighted; limits current and voltage between "glowing" and electrical arcing are given, and compared with respect to the phenomena switching phenomena in metal contacts - type metal. The study concludes with a summary review on the use of contacts comprising a carbon pill, with their advantages and limitations.

Texte remanié de: Th. doct--Art et archéologie--Paris-Sorbonne, 1997. / Bibliogr. p. 289-295. Index.

Thèse de doctorat : Sciences et ingénierie des matériaux : Vandoeuvre-les-Nancy, INPL : 2006. / Titre provenant de l'écran-titre. Bibliogr.

Thèse de doctorat : Histoire de l'art et archéologie : Nancy 2 : 2006. / Bibliogr.

No description available.

Thesis (M.S.)--University of Hawaii at Manoa, 2006. / Includes bibliographical references (leaves 78-83). / ix, 83 leaves, bound ill., map 29 cm

Thesis (M.Sc.(Earth Science Practice & Management))--University of Pretoria, 2003. / Abstract in English. Includes bibliographical references.

Thesis (Ph. D.)--University of California, Santa Barbara, 1997. / Vita. Includes bibliographical references (leaves 242-248).

Thesis (Ph. D.)--University of Alberta, 2010. / Title from pdf file main screen (viewed on June 28, 2010). A thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Geophysics, Department of Physics, University of Alberta. Includes bibliographical references.