Dans cette thèse nous proposons un cadre formel complet pour l'analyse des systèmes temporisés, avec l'accent mis sur la valeur pratique de l'approche. Nous décrivons des systèmes comme des automates temporisés et nous exprimons les propriétés en logiques temps-réel. Nous considérons deux types d'analyse. Vérification : étant donnés un système et une propriété, vérifier que le système satisfait la propriété. Synthèse de contrôleurs : étant donnés un système et une propriété, restreindre le système pour qu'il satisfasse la propriété. Pour rendre l'approche possible malgré la difficulté théorique des problèmes, nous proposons : Des abstractions pour réduire l'espace d'états concret en un espace abstrait beaucoup plus petit qui, pourtant, préserve toutes les propriétés qui nous intéressent. Des techniques efficaces pour calculer et explorer l'espace d'états abstrait. Nous définissons des bisimulations et simulations faisant abstraction du temps et nous étudions les propriétés qu'elles préservent. Pour les bisimulations, l'analyse consiste à générer d'abord l'espace abstrait, et ensuite l'utiliser pour vérifier des propriétés sur l'espace concret. Pour les simulations, la génération et la vérification se font en même temps (à-la-volée). Un algorithme à-la-volée est aussi développé pour la synthèse de contrôleurs. Pour aider l'utilisateur à sa compréhension du système, nous produisons des séquences diagnostiques concrètes. Nous avons implanté nos méthodes dans Kronos, l'outil d'analyse temps-réel de Verimag, et nous avons traité un nombre d'études de cas réalistes parmi lesquelles le protocole FRP-DT de réservation rapide de débit pour les réseaux ATM (dans le cadre d'une coopération scientifique avec le CNET), le protocole de détection de collisions dans un réseaux à accès multiple de Band&Olufsen, l'ordonnancement de tâches temps-réel périodiques, la cohérence et l'ordonnancement des documents multimédia, ainsi qu'un nombre d'études de cas benchmarks, telles que le protocole d'exclusion mutuelle de Fischer, les protocoles de communication CSMA/CD et FDDI.

.

Depuis la présentation en 1981 de l'étude des fluctuations cardiaques en employant l'analyse spectrale par Akselrod, de nombreuses applications basées sur cette technique ont été développées, que ce soit en utilisation clinique ou en recherche. Deux composantes spectrales sont extraites des modulations du rythme cardiaque et sont, selon les auteurs, relatives aux activités sympathique et parasympathique du système nerveux autonome. Cependant, la définition de ces bandes de fréquences sont fortement dépendantes de l'âge des sujets étudiés et l'application de cette méthode doit être réalisée sous des conditions parfaitement définies et dans des cas précis. Le développement de nouvelles techniques d'exploration des modulations des activités du système nerveux autonome pouvant être adapté à différents sujets pourrait permettre de généraliser l'étude des paramètres cardiorespiratoires.<br />Dans cette étude, nous avons mis en relation une méthode d'analyse géométrique du rythme cardiaque avec cette méthode spectrale et également développé une autre méthode, basée sur un codage symbolique de la variabilité cardiorespiratoire. Cette dernière méthode, liée à une estimation du taux d'entropie pour la détermination de la longueur du modèle à employer pour l'étude d'un sujet, donne une valeur de la coordination entre les rythmes cardiaques et respiratoires.<br />Appliquées chez des adolescents épileptiques traités par stimulation vagale, ces trois méthodes ont montré des modifications des activités du système nerveux autonome. De plus, dans cette partie, nous avons pu démontrer la non fiabilité des résultats issues de la méthode spectrale chez des sujets jeunes en conservant les paramètres d'origines. Les méthodes géométrique et symbolique ont enfin été exploitées pour l'étude d'adultes et de nouveaux nés présentant des crises. Les paramètres d'enregistrements ne permettant pas d'obtenir des résultats précis sur l'analyse du système nerveux chez l'enfant, des propositions pour les améliorer ont été faites et de futures conclusions potentiellement intéressantes concernant la compréhension du développement des crises sont attendues.

Cette thèse examine les dimensions symboliques des politiques de tourisme culturel et patrimonial. Elle est fondée sur des enquêtes multisites (ville et village de Touraine, salons et congrès de tourisme) et sur l'étude de la littérature institutionnelle et promotionnelle locale, nationale, européenne et internationale. Je n'envisage pas le tourisme culturel comme un " secteur touristique " : ses pratiques sont marginales d'un point de vue financier et l'expression " tourisme culturel " ne permet pas de les appréhender dans leur complexité. Je considère le tourisme culturel comme une notion institutionnelle et je m'interroge sur son succès sémantique. La doctrine du tourisme culturel instituée par les institutions internationales se présente comme le bon flux, opposé au tourisme de masse. Pour les professionnels de la culture et du tourisme, les congrès et les salons de tourisme culturel constituent un lieu commun de production et de diffusion des normes de discours et d'exposition. Afin de faire venir le tourisme, les collectivités créent des réseaux, rebaptisent leur territoire, adaptent l'histoire, fabriquent des images identifiantes. Ma thèse est que les politiques de tourisme culturel participent d'un désir de reconnaissance par une altérité qui, pour être efficace, doit rester abstraite. L'altérité touristique est artificielle et normative comme le sont les identités représentées. Toutefois, certaines personnes parviennent à bricoler les images produites pour inventer leur communauté. La recherche évoque également les relations ambiguës entre tourisme et ethnographie. Je suggère de lever cette part d'ombre afin de permettre une anthropologie politique du tourisme, phénomène devenu un élément majeur de nos représentations du monde.

Au croisement de l’anthropologie médicale, de la communication, du design industriel et des nouvelles technologies de l’information, ce mémoire se penche sur les difficultés communicatives rencontrées par le personnel médical et les patients de provenances culturelles variées dans le milieu des urgences hospitalières à Montréal. Dans l’optique d’améliorer l’échange au poste de triage, la réflexion porte principalement sur la pertinence et les caractéristiques d’un support visuel d’appoint. Elle aborde la problématique par l’étude des concepts de perception, de compréhension, d’interprétation et de représentation graphique sous les angles théoriques de la communication visuelle (Benjamin, Berger, Dibi-Huberman), de la sémiologie du discours social (Verón) et du jeu herméneutique (Gadamer). Les systèmes symboliques de cent cinquante images, illustrant sur Internet trois symptômes propres à la gastro-entérite, ont été analysés d’après une méthodologie mixte quantitative et qualitative afin d’identifier leurs sens dénotatifs et connotatifs. Les résultats appuient le recours à des images pour contourner les barrières langagières et révèlent l’existence d’une culture médicale visuelle internationale dont le code iconographique est hybride et pluriculturel. Ces nouvelles informations indiquent des critères de performance et des hypothèses concernant les changements occasionnés par l’ajout d’un support visuel dans la dynamique communicationnelle de l’ETC. La recherche ouvre aussi une piste vers l’étude herméneutique du produit en design industriel. / At the crossroads of anthropology, communicational and technology approach, this dissertation aims to provide a vision of the emergency room where cultural differences between the medical staff and the patients confront themselves creating communicational difficulties. To overcome the linguistic barriers, a visual support is considered as an alternative solution. In this way, the problematic is seen through the concepts of perception, comprehension, interpretation and graphic representation witch are examined by the visual culture, semiotic and hermeneutic theories. The symbolic systems of 150 images illustrating three gastro-enteritis symptoms have been analyzed following a quantitative and qualitative methodology in order to reveal their denotative and connotative significations. The results showed the existence of a new visual culture that presents a hybrid and pluricultural iconographic code. Based on these findings, new hypothesis concerning the impact of a visual support on the communicational dynamic could be proposed.

Au Québec, entre 2002-2003 et 2012-2013, le taux de sortie sans diplôme ni qualification en formation générale des jeunes aurait atteint une diminution de 6,9 points. Alors qu’il se situait à 22,2 % une décennie plus tôt, ce taux s’établissait à 15,3 % en 2012-2013 (MÉLS, 2014). Malgré cette diminution appréciable du taux annuel de décrochage, l’abandon des études avant l’obtention d’un diplôme d’études secondaires ou d’une qualification équivalente continue d’être une préoccupation importante dans le monde scolaire en raison des conséquences qui en émanent (MÉES, 2015). Qu’elles soient liées au jeune qualifié de décrocheur ou à la société, les études portant sur les conséquences s’attardent principalement aux problèmes économiques (participation moins active à la société de production), sanitaires (développement plus fréquent de problèmes physiques et de santé mentale) et sociaux (adaptation sociale déficitaire et déviance) qui découlent du décrochage scolaire (Janosz, 2000; Blaya, 2010). Le phénomène du décrochage scolaire est aussi étudié en fonction des normes transgressées. Qu’il soit question de la description typologique des jeunes à risque de décrocher, de l’étude des facteurs de risque de quitter prématurément l’école ou de l’institutionnalisation du discours sur le phénomène, le décrochage scolaire est analysé comme un geste inapproprié posé par un jeune qui ne répond pas positivement aux conventions sociales (Bernard, 2011). Le jeune ayant quitté prématurément l’école se retrouve ainsi automatiquement placé en situation de déviance par rapport à une norme qui valorise la diplomation et la poursuite des études. Les données statistiques et les écrits sur les conséquences liées au décrochage scolaire ou sur la déviance ne nous permettent cependant pas d’accéder au point de vue du jeune qualifié de décrocheur. C’est en raison de cette lacune que ce présent mémoire a sollicité la participation de jeunes ayant quitté prématurément l’école secondaire afin qu’ils se livrent sur leur expérience. En prenant appui sur l’interactionnisme symbolique, ce mémoire tente de comprendre comment est vécue la situation de décrochage scolaire en fonction de l’analyse que les participants font de leur expérience. Huit jeunes ont ainsi été invités à raconter, lors d’un entretien individuel de type « récit de vie », leurs perceptions quant à la situation de décrochage qui leur est attribuée et quant aux conséquences qu’ils en dégagent. L’analyse des différents discours a permis de faire ressortir que les participants ont rencontré de nombreuses adversités en amont de leur fréquentation scolaire qui ont créé des besoins spécifiques chez eux. Une inadéquation sévère entre leurs besoins personnels et ceux de l’institution scolaire serait un des éléments déclencheurs de l’arrêt prématuré de leurs études. Une inadéquation qui les exclut du système scolaire et qui les pousse à rejeter l’école à force d’y vivre des situations insupportables. Leurs besoins n’atteignant pas les objectifs fixés par l’école, les jeunes ont perdu l’espoir de trouver un sens à leurs études. Aujourd’hui, les participants à cette étude prennent conscience des conséquences qu’ils ont vécues ou qu’ils continuent de vivre depuis leur sortie de l’école. Ils rencontreraient des lacunes sur le savoir et le savoir-faire, auraient accumulé un déficit de motivation, présenteraient une faible estime de soi, vivraient des situations de stigmatisation et de marginalisation, éprouveraient des difficultés d’intégration sociale et socioprofessionnelle et auraient développé un manque de confiance en l’avenir. / In Quebec, between 2002-2003 and 2012-2013, the rate of teenagers leaving high school without the full completion of the general program has dropped by 6.9 points. Presenting itself to be 22.2% a decade ago, it stood at 15.3% in 2012-2013 (MÉLS, 2014). Despite a considerable decrease in the annual dropout rate, this phenomenon remains an important preoccupation in education because of its numerous consequences for the teenager and society (MÉES, 2015). Studies on this matter have identified consequences on several levels, being economical (less active in society’s production), sanitary (more frequent development of physical and mental health problems) and social (poor social adaptation and deviance) (Blaya, 2010; Janosz, 2000). The phenomenon of early school leaving is also studied as a transgression of social norms. Wether it’s studies on the typological description of at risk youth, the risk factors of dropping out or the institutionalized speech on the matter, from this point of view, dropping out is analysed as an inacceptable response to social conventions (Bernard, 2011). Therefore, the teenager who quits school prematurely is automatically considered a deviant since his actions have disobeyed social norms. Many studies on the consequences of this phenomenon as well as it’s statistical data are present in the literature, but unfortunately, the point of view of teenagers labeled as dropouts is not brought forward. In light of this observation, this thesis solicited the participation of teenagers who left high school prematurely to offer them the space to describe their experience. Based on symbolic interactionism, this thesis tries to understand the experience of dropping out according to the teenager’s point of view. In an individual interview using a life narrative method, eight teenagers were invited to deliver their perception on the dropout label which they were attributed and the consequences that resulted. The analysis of the participant’s narratives highlight the numerous adversities they went through during their school years and the individualized needs that resulted. Their narratives show the severe inadequate response by the school institution to their individual needs as a trigger to their premature leave. Living through frequent unbearable situations due to this inadequate response pushed them to be excluded from the school system and to reject school. Unfortunately, the participant's needs were not part of the school’s fixed objectives leaving them to lose hope in finding a sense to their schooling. The participants of this study now realise the consequences they have lived and live to this day since they quit school. They present shortcomings in their knowledge, an accumulated lack of motivation, poor self-esteem, situations of stigmatisation and marginalisation, difficulties integrating socially and professionally and finally, they have developed a lack of confidence in what their future holds.

Cette recherche analyse les formes de sociabilité des jeunes des classes populaires dans les différents champs de socialisation (la famille, l’école, le travail). Pas toujours dévoilée comme telle, la violence - symbolique et parfois physique - est présente dans les principales institutions définies comme champs de socialisation. Au centre de ce travail, sont analysés les modes d’organisation sociale construits par les jeunes en réaction au principe d’une triple disqualification : familiale, scolaire, professionnelle. Cette violence structurelle subie faite de multiples dominations, rejets, humiliations, exclusions, discriminations, est déterminante dans un contexte de chômage de masse, de précarité, et de désaffiliation. Cette situation est caractérisée par le développement d’un processus de plus en plus prégnant d’enclavement et de ségrégation sociale et spatiale. Ce processus, sans cesse révélé par les formes de révoltes collectives depuis trois décennies, ne trouve pas de véritable débouché politique. Face à cette désorganisation structurelle, les jeunes du quartier se sont construit, de génération en génération, un monde à la fois virtuel et réel à partir du quartier, de la rue. Cet univers fonctionne alors comme champ de socialisation avec son langage, sa culture, ses solidarités, sa hiérarchie, sesconcurrences et ses violences agies et subies. / This research analyses the different forms of sociability among the youth from popular social class into different scopes of socialization (e.g. family, school, labour). Although not always unveiled, violence – symbolical and sometimes physical – is present in these main institutions defined as fields of socialization. This research is centred on the analysis of thesocial organization modes created by youth in reaction to a triple disqualification mainly: family, educational and professional. This undergoing structural violence – made of numerous dominations, rejections, humiliations, exclusions and discriminations – is decisive in the context of massive unemployment, precariousness and disaffiliation. This situation is characterized by the development of an increasingly stressful process of enclosure and social/spatial segregation. This process, incessantly revealed by mass rebellion formed over three decades, does not find a genuine political opening.Facing this structural chaos, the youth of these projects built themselves – generation after generation – a real and virtual world, coming from the slums and the street. This world is then functioning as a scope of socialization with its language, culture, solidarities, hierarchy, competition and undergoing violence.

Une étude de terrain a été accomplie dans le milieu associatif immigrant féminin de Montréal afin d’investiguer le rôle que peut avoir la participation à une association de femmes immigrantes quant à l’intégration de celles-ci à leur nouvelle société. Deux associations ont été ciblées pour cette étude : le Centre Femmes du monde à Côte-des-Neiges et le Comité des femmes des communautés culturelles, issu de la Fédération des femmes du Québec. Le premier est un organisme communautaire de quartier et le second, un groupe de défense et de revendication de droits des femmes immigrantes, à l’échelle de la province. Une période d’observation participante s’échelonnant de février 2007 à juin 2008 ainsi que 21 entrevues individuelles auprès de participantes ont été réalisées. L’analyse de ces données montre que la participation contribue, d’une manière tantôt similaire, tantôt distincte à l’intérieur des deux espaces de participation, à différentes dimensions de l’intégration des participantes : l’adaptation fonctionnelle, l’intégration sociale et plus particulièrement l’intégration symbolique. L’aspect symbolique de l’intégration, discuté en profondeur dans ce mémoire, sous-tend les idées de développement d’un sentiment d’appartenance et de reconnaissance sociale à la fois individuelle et collective des femmes immigrantes à l’intérieur de leur nouvelle société. / Fieldwork was carried out in immigrant women’s associations in Montreal to investigate the role of participation of immigrant women in such associations for their integration to their new society. Two associations have been targeted for this study: a neighborhood community association, the Centre Femmes du monde à Côte-des-Neiges, and the Comité des femmes des communautés culturelles of the Fédération des femmes du Québec, a group that defends immigrant women’s rights, at the provincial level. Participant observation was done between February 2007 and June 2008, and a series of 21 individual interviews were completed. Analysis of the data shows that participation in both associations contributes, in similar yet distinct ways, to various aspects of the participants’ integration to the host society: functional adaptation, social integration and, in particular, symbolic integration. This symbolic aspect of integration, which is extensively discussed throughout the thesis, underlies the development of a feeling of belonging and of individual and collective social recognition of immigrant women in their new society.

Le nationalisme basque est apparu voilà maintenant deux siècles, cependant, il ne connait un retentissement mondial que depuis environ cinquante ans avec la création de l’ETA (Euskadi Ta Askatasuna, Pays basque Et Liberté). Fondée pour combattre le régime franquiste, cette organisation est aujourd’hui considérée comme un groupe terroriste par l’ensemble de la communauté internationale. L’organisation va être, toutefois, à la base d’une prise de conscience nationale basque sur la question de l’appartenance à un même peuple et, aujourd’hui, la lutte pour l’autodétermination du Pays basque fait écho tant sur le territoire espagnol que français. Ce mouvement nationaliste, bien qu’indissociable entre le sud et le nord, prendra tout de même des modes d’expression différents même si le nationalisme basque restera toujours rattachée à une violence politique. Le présent terrain de recherche a alors permis de récolter les « perceptions subjectives » de la population basque sur cette violence politique et ainsi, de dégager une violence de la part des Etats espagnol et français. Cette violence d’Etat est principalement caractérisée par une violence symbolique mais elle ira parfois jusqu’à une violence physique. Ainsi, bien plus que les contextes historiques et institutionnels distincts des Etats espagnol et français, c’est la violence disparate des ces deux Etats qui est le facteur de distinction de la violence nationaliste constatée sur le territoire français et espagnol. / Basque nationalism has emerged several centuries ago, however, it experienced a global resonance only since the last fifty years with the formation of the armed Basque nationalist and separatist organization Euskadi Ta Askatasuna (ETA). Formed to fight the Franco regime, the organization is now considered as a terrorist group by the entire international community. The organization will, however, raise a Basque national consciousness on the question of belonging to the same people, and today, the conflict for self-determination for the Basque country echoes back in both the Spanish and French territories. This nationalist movement is indissociable between south and north. Different modes of expression are still observed even if the Basque nationalism will always be linked to political violence. The present research work allowed to apprehend the "subjective perceptions" of the Basque population on this political violence and, thus, to highlight a violence from both Spanish and French States. This State violence is mainly characterized by a symbolic violence but it will sometimes lead to physical violence. Therefore, much more than the separate historical and institutional contexts Spanish and French States, the un-harmonized State violence is the distinguishing factor of nationalist violence experienced on French and Spanish territories.

Le tableau de Jean-Baptiste Belin de Fontenay intitulé Vase d’or, fleurs et buste de Louis XIV est le morceau de réception que le peintre a présenté à l’Académie royale de peinture et de sculpture en 1687. Malheureusement peu étudié, ce tableau n’en comporte pas moins trois problématiques très intéressantes. Tout d’abord, il rassemble trois genres de peinture dans une seule composition : la nature morte, le portrait et la peinture d’histoire, illustrés respectivement par les fleurs, le buste du roi et la pièce d’armure. L’association de ces trois genres dans un tableau de nature morte est peu commune dans la peinture française du 17e siècle. Il est donc nécessaire de vérifier s’il existe un lien entre les fleurs, l’image de Louis XIV et l’armure. Ensuite, le contraste entre la polychromie des fleurs et la monochromie de la sculpture et de l’ameublement est frappante ; il est possible de lier ce contraste au phénomène des débats entre le dessin et la couleur de l’Académie royale de peinture et de sculpture à la deuxième moitié du 17e siècle. D’ailleurs, les fleurs, qui n’étaient pas le sujet central dans le programme original de Le Brun, deviennent le sujet principal du tableau et occupent une place plus importante que le buste de Louis XIV. Cette modification n’a cependant pas choqué les juges de l’Académie puisque la toile a été acceptée sans contestation. Elle amène donc à s’interroger sur la hiérarchie des genres de peinture qui est la doctrine officielle de l’Académie royale de peinture et de sculpture de l’époque. Le noyau de la recherche consiste à vérifier si les fleurs n’occupent qu’une simple fonction décorative ou si elles peuvent être associées à des symboles. Notre recherche examine d’abord l’utilisation des symboles floraux dans la culture française du 17e siècle. Par la suite, elle étudie cette utilisation dans le domaine politique, à savoir que les fleurs pourraient être liées à la louange de Louis XIV. Enfin, elle analyse les domaines artistiques et esthétiques, c’est-à-dire la façon dont le tableau reflète, par l’utilisation des symboles floraux, l’évolution des théories de l’art, la hiérarchie des genres de peinture et les débats du dessin et de la couleur, en France, durant la deuxième moitié du 17e siècle. / The painting by Jean-Baptiste Belin de Fontenay, Vase d’or, fleurs et buste de Louis XIV, is a reception piece of the french academician painter to the Académie royale de peinture et de sculpture in 1687. Unfortunately having been little studied, this painting reveals three very interesting issues. First of all, it contain three kind of painting in one composition: still life, portrait and history painting, illustrated respectively by the flowers, the bust of Louis XIV and the piece of armor. The combination of these three types in a still life is uncommon in the 17th century French painting. It is therefore necessary to check if there is a link between the flowers, the picture of Louis XIV and the armor. Then, the contrast between the polychrome of the flowers and the monochrome of the sculpture and furniture is striking, it is possible to associate this contrast to the phenomenon of the debates between drawing and color of the Académie royale de peinture et de sculpture during the second half of the 17th century. Moreover, the flowers, which were not the central subject in the original program of Le Brun, become the main subject of the table and occupy a more important place than the bust of Louis XIV. This change has not shocked the judges of the Academy since the painting was accepted without question. It therefore leads to think about the hierarchy of genres of painting, which was the official doctrine of the Académie royale de peinture et de sculpture at the time. The core of this research is to see if the flowers occupy a mere decorative function, or whether they may be associated with symbols. Our research will verify the employ of floral symbols in French culture of the 17th century and then developed this employ not only in the political field, which means the flowers are in praise of Louis XIV, but also in the aesthetics domain, that is to say how the painting reflects by employing floral symbols the evolution of the theories of art in France during the second half of the 17th century, the hierarchy of genres of painting and the debates between drawing and color.