Cette thèse propose un nouveau type de systèmes de ré-écriture, appelé les systèmes de réécriture fonctionnels. Nous montrons que notre modèle a la puissance d'expression des systèmes de ré-écriture et qu'il est bien adapté à l'étude de propriétés de sûreté et de propriétés de logique temporelle de modèles.Nous avons mis en évidence une sous classe de systèmes fonctionnels, les élémentaires et les élémentaires à droite, préservant la puissance d'expression des systèmes fonctionnels et des techniques d'accélération des calculs aboutissant à un outil de vérification symbolique efficace.Dans la partie expérimentale, nous avons comparé notre outil, d'une part avec des outils de ré-écriture tels que Timbuk, Maude et TOM, d'autre part avec des outils de vérification tels que SPIN, NuSMV, SMART, HSDD. Nos benchmarks démontrent l'efficacité des systèmes fonctionnels élémentaires pour la vérification de modèles.

Il y a de nombreuses manières d’aborder l’étude des systèmes dynamiques. De manière générale, on munit un espace initial de structures adaptées et on s’intéresse au comportement moyen des itérés d’une application qui préserve les structures initiales. Les propriétés intéressantes peuvent être par exemple, d’origine topologique, mesurable, algébrique ou encore différentiable. La théorie ergodique est principalement concentrée sur les systèmes dynamiques mesurés. D’autre part, une autre branche de la théorie ergodique s’intéresse à des questions dites de représentation des systèmes dynamiques mesurés.Un des aspects de cette théorie est de lier les systèmes dynamiques mesurés aux systèmes dynamiques topologiques. On s’intéressera plus particulièrement au lien entre les systèmes dynamiques topologiques,mesurés et algébriques. Les nilsystèmes ont pris ces dernières années une nouvelle dimension en théorie ergodique. Ils généralisent très naturellement les translations sur des groupes abéliens compacts, et en particulier, les rotations du cercle. On fera un lien partiel entre les propriétés algébriques et symboliques d’une famille bien choisie de nilsystèmes. On s’intéressera notamment à la notion d’induction pour de tels systèmes / There are many ways to approach the study of dynamical systems. In general, one equips the originalspace with an appropriate structure, and is interested in the average behavior of a map which preservesthis structure. For example, the interesting properties could be of topological, measurable, algebraicor differentiable origin. Ergodic theory is mainly concerned with dynamical systems with an invariantmeasure (measured dynamical system). Another branch of ergodic theory studies questions about therepresentation of measured dynamical systems. One aspect of this theory is to connect measured dynamicalsystems with topological dynamical systems. More specifically, we will be interested in theconnection between topological, measured and algebraic dynamical systems.Recently nilsystems have become important in ergodic theory. They naturally generalize translations ofcompact abelian groups, and in particular circle rotations. We will give a partial connection betweenalgebraic and symbolic properties of a well chosen family of nilsystems. We are particularly interestedin induction of such systems.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Depuis les Journées de Juin de 2013 jusqu'à l’empêchement de Dilma Rousseff en 2016, plusieurs événements ont marqué la vie publique nationale. L'intense activité politique et les diverses manifestations dans les rues ont suscité une large couverture journalistique. Dans ce scénario de débats à propos du futur du Brésil, l’attention était consacré à l’utilisation de symboles réferents à l’identité nationale. Ces symboles étaient visibles dans certaines manifestations populaires, mais surtout dans les produits médiatiques représentant les événements politiques, renforcés par leur proximité avec la Coupe du Monde de la FIFA 2014 et les Jeux Olympiques de 2016 au Brésil. Que signifie-t-il l'usage de ce type de contenu dans ce contexte ? Pourquoi les médias donnent autant d’attention à ce sujet-là ? L'objectif de cette recherche est d'analyser l'action des médias dans le but de construire une idée de Nation et une conception d’identité nationale. Pour comprendre comment les médias se situent dans ce contexte, il faut considérer que son activité implique des disputes pour le pouvoir symbolique et pour le pouvoir économique. Ils s’utilisent des notions d’information et de communication pour faire vivre une entreprise, ce qui semble être le point principal. Diffuser un contenu symbolique, c'est diffuser des ressources de signification qui servent à construire des sens à propos du monde. Si ce sens est utilisé pour établir ou maintenir certaines relations de domination - dans des circonstances particulières - on s’y vérifie la présence d'une idéologie. Est-ce le cas des médias brésiliens ? Diffusent-ils une idée de Nation ? Existe-t-il un objectif commercial ou un idéal commercial (implicitement ou non) dans ses publications ? Afin de clarifier ces questions, nous avons fait une recherche historique sur les médias au Brésil, ainsi qu’une analyse de la section appelée Cartas ao Leitor (Lettres au Lecteur), au magazine Veja, publiées pendant quelques événements de cette période-là. Si on considère son lien étroit avec la vie politique et institutionnelle du pays, nous pouvons comprendre que les médias se place dans les tentatives des entrepreneurs brésiliens de se devenir un groupe hégémonique. Il est possible de déduire que la logique néolibérale compose les significations proposées à propos de notre nation. Construites au fur et à mesure que le discours est prononcé, ces significations sont guidées par la relation que les médias essayent d’établir avec son public (le consommateur direct et le peuple, dans son ensemble), ainsi que par les événements qui ont lieu dans la vie publique du pays, en exposant une vision de monde qui semble être étroitement liée à son institution en tant qu’entreprise capitaliste. / A partir das Jornadas de Junho, em 2013, até o impeachment de Dilma Rousseff, em 2016, uma série de eventos marcou a vida pública nacional. A intensa atividade política e os diversos protestos nas ruas suscitaram uma ampla cobertura jornalística. Neste cenário de discussões a respeito do que se desejava para o Brasil, chamava atenção a intensa utilização de símbolos ligados, de alguma forma, à identidade nacional. Eram visíveis em algumas manifestações populares. Mas apareceram com veemência nos produtos midiáticos que retratavam os acontecimentos políticos, reforçados pela proximidade com a Copa do Mundo de Futebol de 2014 e os Jogos Olímpicos de 2016, sediados no Brasil. O que o uso desse conteúdo simbólico pode significar nesse contexto? Por que tamanha ênfase da mídia? De modo geral, o objetivo deste trabalho é analisar a atuação da mídia no sentido de produzir uma ideia de nação e uma concepção de identidade nacional. Para compreendermos como ela se situa nesse contexto, é preciso considerar que sua atividade envolve as disputas pelo poder simbólico e pelo poder econômico. Ela se utiliza das noções de informação e comunicação para fazer viver uma empresa, e aí parece estar o ponto principal. Pois divulgar conteúdo simbólico é divulgar recursos de significação que servem para a construção do sentido a respeito do mundo. E se esse sentido for utilizado para estabelecer ou sustentar determinadas relações de dominação, em circunstâncias particulares, teremos a utilização de uma ideologia. Mas este é o caso da mídia brasileira? Ela disseminaria uma ideia de nação? Haveria finalidade comercial ou ideal empresarial (implicitamente ou não) projetado em suas publicações? A fim de esclarecer tais questões, foi feito um levantamento histórico da atuação da mídia no Brasil e foram analisadas as Cartas ao Leitor da revista Veja, publicadas durante alguns eventos do período mencionado. Considerando a sua íntima ligação com a vida política e institucional do país, compreendemos que ela se coloca nas tentativas do empresariado brasileiro de tornar-se grupo hegemônico. É possível inferir que a lógica neoliberal compõe as significações propostas a respeito de nossa nação. Erguidas na medida em que o discurso é construído, têm como guia a relação que tenta estabelecer com o público (consumidor direto e o povo como um todo) e os acontecimentos da vida pública do país, expondo uma visão de mundo que parece estreitamente relacionada à sua instituição enquanto empresa capitalista.

 la fin du Moyen Âge les fleurs sont fréquemment représentées dans les tapisseries, les manuscrits enluminés et les tableaux. L’objectif de l’étude est d’établir qu’il ne s’agit pas d’un simple procédé décoratif. Les fleurs, support naturel de la couleur, constituent un système symbolique par analogie dont la fonction est de guider le spectateur dans sa lecture de l’image. La construction des images en réseaux signifiants avec la flore symbolique accompagne un comportement nouveau, la Devotio Moderna, sous l’influence des ordres Mendiants, notamment les Dominicains. L’objectif est de guider le fidèle lors de ses prières. Les imagiers utilisent également ce système pour représenter les rois français Valois qui souhaitent proclamer leur lien privilégié avec Dieu. L’étude de ce système symbolique, contenu et structure, nous permet de mieux comprendre la mentalité médiévale avec sa façon particulière de penser le monde. / At the end of the Middle Ages flowers are frequent in tapestries, manuscripts and paintings. The aim of this study is to prove they are not just decorative items but that they have their own function in images. These flowers, especially by means of their colours, make up a symbolical system aiming at guiding the reader to understand the inner sense of symbolical images. This special way of composing images is concomitant with a new way of praying God, the Devotio Moderna, under the supervision of preachers, especially the Dominicans. The image-makers also use these new patterns to picture the French Valois kings in order to assert their alleged special relationship with God. The study of this symbolical system, contents and structure, enable us to understand better the particular medieval way of thinking the world.

No description available.

Le concept classique d’ «efficacité symbolique» de Claude Lèvi-Strauss aide à l’interprétation des formulations de Sigmund Freud et de Jacques Lacan sur le processus humanisant de symbolisation dans lequel, à partir de la fonction fondamentale de l’ancêtre, la jouissance est limitée par les lois du langage. D’importantes recherches psychanalytiques ont constaté des altérations dans la culture, desquelles résultent une perte progressive de la fonction de l’ancêtre et, par conséquent, la fragilisation de l’efficacité symbolique qu’elle soutient, provoquant la prévalence de certains traits psychopathologiques en tant qu’effets de conditions spécifiques de la culture contemporaine. Dans cette thèse, je cherche à savoir si les initiatives éducationnelles, développées au sein des écoles, peuvent provoquer des effets d’efficacité symbolique parmi leurs éduqués et leurs éducateurs. Pour cela, je présente des découpages d’initiatives éducationnelles que j’ai analysés sous l’angle de la théorie psychanalytique. Comme méthodologie de recherche, je me suis inspiré de la construction du cas, méthode de rédaction de recherche psychanalytique dans laquelle le psychanalyste, volontairement, ne reproduit pas la réalité objective de son analysant, mais élabore des hypothèses métapsychologiques, dépendantes de son propre inconscient et de son propre transfert - de la même manière, j’assume les récits des initiatives éducationnelles et les hypothèses interprétatives en tant que formulations personnelles. Je me suis inspiré aussi du concept d’acte, plus spécifiquement de l’acte analytique formulé par Jacques Lacan, dans le sens où, bien plus que d’offrir des voies déjà tracées, l’acte implique une certaine transgression et création relatives au style de chaque psychanalyste, au parcours de chaque psychanalyse et à un pari sur ses effets. Quant au chercheur, inspiré par l’acte analytique, il créé et transgresse conformément à son style et aux spécificités de sa recherche – il parie lui aussi sur ces effets de manière que, en renonçant à la mythique « capture » de l’objet à être recherché, ceux-ci ne pourront être perçus que dans un a posteriori. Je conclus donc que, au sein des écoles, bien plus que la transmission de connaissances objectives, des actes éducatifs, soutenus par des éducateurs qui admettent le manque inhérent à tout savoir, offrent des espaces de parole d’une certaine historicité et ainsi, renvoient aux références à l’ancêtre, provoquant potentiellement des effets subjectivants d’efficacité symbolique, cette dernière étant comprise comme l’efficacité de l’acceptation de la perte inhérente à la condition humaine / O clássico conceito de “eficácia simbólica” de Claude Lèvi-Strauss auxilia na interpretação das formulações de Sigmund Freud e Jacques Lacan acerca do processo humanizante de simbolização, em que, a partir da função fundamental do ancestral, o gozo é limitado pelas leis da linguagem. Importantes pesquisas psicanalíticas constatam alterações na cultura que implicam num progressivo esvaziamento da função do ancestral e, consequentemente, na fragilização da eficácia simbólica por ela sustentada, promovendo a prevalência de certos traços psicopatológicos, enquanto efeitos de condições específicas da cultura contemporânea. Nesta tese, procuro investigar se iniciativas educacionais, desenvolvidas no âmbito das escolas, podem promover efeitos de eficácia simbólica em seus educandos e educadores. Para tanto, apresento recortes de iniciativas educacionais que são por mim analisadas à luz da teoria psicanalítica. Enquanto metodologia de pesquisa, me inspirei na construção do caso, método de redação da pesquisa psicanalítica em que o psicanalista, assumidamente, não retrata a realidade objetiva de seu analisante, mas, sim, constrói hipóteses metapsicológicas, sujeitas ao seu próprio inconsciente e a sua própria transferência - da mesma forma, assumo os relatos de iniciativas educacionais e as hipóteses interpretativas enquanto construções minhas. Inspirei-me, ainda, no conceito de ato, mais especificamente no ato analítico, formulado por Jacques Lacan, no sentido de que, mais do que proporcionar caminhos pré-determinados, o ato pressupõe uma certa transgressão e criação, relativas ao estilo de cada psicanalista, ao percurso de cada psicanálise e a uma aposta em seus efeitos. Já o pesquisador, inspirado no ato analítico, cria e transgride de acordo com seu estilo e com as especificidades de sua pesquisa – ele aposta, também, em seus efeitos de forma que, renunciando à mítica “captura” do objeto a ser pesquisado, estes somente poderão ser percebidos num a posteriori. Concluo que, no âmbito das escolas, mais do que a transmissão de conhecimentos objetivos, atos educativos sustentados por educadores que aceitam a falta inerente a qualquer saber, promovem espaços de fala, de uma certa historicidade e, assim, implicam em referências à ancestralidade produzindo, potencialmente, efeitos subjetivantes de eficácia simbólica, entendida, esta, como a eficácia da assunção da perda intrínseca à condição humana.

Dans ce travail nous nous intéressons aux systèmes dynamiques du point de vue de l'entropie. Nous rappellons tout d'abord le formalisme des structures d'entropie introduit par T.Downarowicz. Dans ce cadre on donne en particulier une preuve élémentaire du principe variationnel pour l'entropie de queue et on généralise certaines structures d'entropie aux endomorphismes.<br>Dans un deuxième temps, nous reprenons l'approche semi-algébrique de Y. Yomdin et M. Gromov pour contrôler la dynamique locale des applications de classe $C^r$. On présente une preuve complète du lemme algébrique de Gromov, qui est un point clé de la théorie de Yomdin. Aussi nous déduisons de nouvelles applications dynamiques de cette théorie : d'une part nous bornons l'entropie de queue mesurée en fonction de l'exposant de Lyapounov ; d'autre part nous généralisons une formule due à J.Buzzi pour l'entropie k-dimensionnelle d'un produit d'applications de classe $C^{\infty}$.<br>On s'intéresse enfin à la théorie des extensions symboliques due à M.Boyle et T.Downarowicz pour les applications $C^r$ et affines par morceaux du plan. On exhibe en particulier des exemples de dynamique $C^r$ de l'intervalle ayant une grande entropie d'extension symbolique. Nous donnerons aussi une borne de l'entropie d'extensions symboliques pour les applications affines par morceaux du plan.