La réflexion porte sur la façon dont, grâce au langage, le monde perçu est conçu, catégorisé et nommé. Dans un premier temps, le cadre théorique et la problématique de recherche sont posés par un rappel critique des compréhensions classiques de la catégorie nominale et l’exposé des propositions linguistiques sur la production du sens dans la nomination et son organisation prototypicale. Une attention particulière est ensuite accordée à la relativité linguistique et à l’opposition entre termes «concrets» et «abstraits» retenus comme procédures d’investigation. L’analyse porte sur le vocabulaire de l’eau dans trois langues (français, russe, anglais) tel qu’il apparaît à travers des échantillons pris dans deux registres du discours, littéraire et scientifique, et dans les trois langues. L’examen de ce corpus conduit à la confrontation des sens repérés et à l’élaboration d’une esquisse de la représentation prototypicale de l’eau. / The reflection focuses on how the world is categorized and named through our language. Firstly, theoretical framework is defined by a critical reminder of traditional comprehension of the category. We develop our reflection on the production of meaning and the prototype organization issues. A particular attention is given to linguistic relativity and opposition between terms considered as «concrete» and «abstract». Our analysis focuses on water vocabulary in three languages (French, Russian and English) as it appears through the samples taken from two types of discourse, literary and scientific. The study suggests a confrontation of identified meanings in order to develop a sketch of the prototypical water representation.

L’approche synchrone aux systèmes réactifs, où le temps global est une séquence d’instants discrets, a été proposée afin de faciliter la conception des systèmes embarqués critiques. Des systèmes synchrones sont souvent réalisés sur des architectures asynchrones pour des raisons de performance ou de contraintes physiques de l’application. Une répartition d’un système synchrone sur une architecture asynchrone nécessite des protocoles de communication et de synchronisation pour préserver la sémantique synchrone. En pratique, les protocoles peut avoir un coût important qui peut entrer en conflit avec les contraintes de l’application comme, par exemple, la taille de mémoire disponible, le temps de réaction, ou le débit global.L’approche quasi-synchrone utilise des composants synchrones avec des horloges indépendantes. Les composants communiquent par échantillonnage de mémoire partagée ou par des tampons FIFO. On peut exécuter un tel système de façon synchrone, où toutes les horloges avancent simultanément, ou de façon asynchrone avec moins de contraintes sur les horloges, sans ajouter des protocoles .Plus les contraintes sont relâchées, plus de comportements se rajoutent en fonction de l’entrelacement des tics des horloges. Dans le cas de systèmes flots de données, un comportement est différent d’un autre si les valeurs ou le cadencement ont changé. Pour certaines classes de systèmes l’occurrence des déviations est acceptable, tant que la fréquence de ces événements reste bornée.Nous considérons des limites dures sur la fréquence des déviations avec ce que nous appelons les exigences faiblement dures, par exemple, le nombre maximal d’éléments divergents d’un flot par un nombre d’éléments consécutifs.Nous introduisons des limites de dérive sur les apparitions relatives des paires d’événements récurrents comme les tics d’une horloge, l’occurrence d’une différence,ou l’arrivée d’un message. Les limites de dérive expriment des contraintes entre les horloges, par exemple, une borne supérieure de deux tics d’une horloge entre trois tics consécutifs d’une autre horloge. Les limites permettent également de caractériser les exigences faiblement dures. Cette thèse présente des analyses pour la vérification et l’inférence des exigences faiblement dures pour des programmes de flots de données synchrones étendu avec de la communication asynchrone par l’échantillonnage de mémoire partagée où les horloges sont décrites par des limites de dérive. Nous proposons aussi une analyse de performance des systèmes répartis avec de la communication par tampons FIFO, en utilisant les limites de dérive comme abstraction. / The synchronous approach to reactive systems, where time evolves by globally synchronized discrete steps, has proven successful for the design of safetycriticalembedded systems. Synchronous systems are often distributed overasynchronous architectures for reasons of performance or physical constraintsof the application. Such distributions typically require communication and synchronizationprotocols to preserve the synchronous semantics. In practice, protocolsoften have a significant overhead that may conflict with design constraintssuch as maximum available buffer space, minimum reaction time, and robustness.The quasi-synchronous approach considers independently clocked, synchronouscomponents that interact via communication-by-sampling or FIFO channels. Insuch systems we can move from total synchrony, where all clocks tick simultaneously,to global asynchrony by relaxing constraints on the clocks and withoutadditional protocols. Relaxing the constraints adds different behaviors dependingon the interleavings of clock ticks. In the case of data-flow systems, onebehavior is different from another when the values and timing of items in a flowof one behavior differ from the values and timing of items in the same flow ofthe other behavior. In many systems, such as distributed control systems, theoccasional difference is acceptable as long as the frequency of such differencesis bounded. We suppose hard bounds on the frequency of deviating items in aflow with, what we call, weakly-hard requirements, e.g., the maximum numberdeviations out of a given number of consecutive items.We define relative drift bounds on pairs of recurring events such as clockticks, the occurrence of a difference or the arrival of a message. Drift boundsexpress constraints on the stability of clocks, e.g., at least two ticks of one perthree consecutive ticks of the other. Drift bounds also describe weakly-hardrequirements. This thesis presents analyses to verify weakly-hard requirementsand infer weakly-hard properties of basic synchronous data-flow programs withasynchronous communication-by-sampling when executed with clocks describedby drift bounds. Moreover, we use drift bounds as an abstraction in a performanceanalysis of stream processing systems based on FIFO-channels.

Une base de données est au service de plusieurs catégories d'utilisateurs ayant chacune sa vision personnelle et évolutive des différentes sortes d'objets d'un univers. L'application systématique du concept d'abstraction a permis de dégager la notion d'objet pouvant être vu selon différentes facettes, appartenir à plusieurs ensembles et/ou relations, tout en demeurant unique. Ces objets sont spécifiés à l'aide de p-types, concept défini dans le cadre des types abstraits algébriques. La définition d'un p-type est modulaire et évolutive; une vue du p-type est caractérisée par des fonctions attributs et des contraintes d'intégrité. Les contraintes étudiées sont les dépendances entre valeurs d'attributs d'une occurrence d'un p-type (DIA) et les dépendances inter-objets (DIO). L'analyse statique de ces contraintes permet de garantir leur cohérence et de minimiser les vérifications dynamiques

L'objectif de ce travail est la conception et la réalisation d'un Système de Gestion de Base de Données Relationnel (SGBDR) intégrant les concepts et la technologie "objets". Le principe de notre approche est d'étendre les domaines relationnels aux types abstraits (ADT) et revient à coupler de façon relativement faible les concepts et mécanismes objets au modèle et à un système relationnels. Cela introduit des problèmes de modélisation et d'optimisation nouveaux qui restent à étudier. Dans un premier temps, le modèle de données et les caractéristiques de l'extension sont définis. La notion de type abstrait est introduite pour exprimer de nouveaux domaines : un ADT définit une structure de données et un ensemble de méthodes (fonctions) qui constituent son unique interface de manipulation. Un mécanisme d'héritage simple est offert. Des constructeurs sont disponibles pour définir la structure de données d'un type ; on introduit ainsi la notion d'objet complexe. Le concept de partage, associé à l'identité d'objet, est un apport important de ce travail. Le langage associé au modèle est une extension de SQL appelée ESQL ; le langage d'écriture des méthodes actuellement disponible est une extension de C. La mise en oeuvre d'un tel système consiste à développer les composants nécessaires au support d'objets et à les intégrer à un noyau de SGBDR existant. Elle permet de mettre en évidence trois modules principaux. Le gestionnaire de types est un complément du gestionnaire de catalogue relationnel qui gère les définitions d'ADT. Le gestionnaire de méthodes regroupe un ensemble de fonctions allant de la compilation à l'exécution. Le gestionnaire d'objets assure le stockage et la manipulation des objets complexes (instances d'ADT) ; cette partie à notamment permis d'étudier des techniques évoluées de stockage d'objets.

L'objet d'étude de ce mémoire est le « geste esthétique », c'est-à-dire la valeur de l'acte gestuel dans le domaine des arts. L'idée du « geste anthropologique » est le point de départ pour comprendre son caractère utilitaire, social et dialogique. Sa faculté d'être, à travers le « mimage », un moyen de connaissance par l'appréhension du réel a permis à l'homme de créer au fil de son existence des outils et des techniques efficaces. Le geste est donc un moyen qui a facilité le développement de nos connaissances en matérialisant l'évolution du savoir-faire humain. Cependant, en plus de cette fonction utilitaire, il possède également une valeur affective qui manifeste l'expression de l'être humain. L'homme se communique avec ses semblables en s'exprimant par le langage autant que par son corps, à travers le geste. L'interaction par le dialogue, qui se compose aussi bien de la parole que de l'engagement corporel, nous transforme en une espèce sociale et nous différencie des animaux. Je définis le « geste esthétique » comme un acte possédant une valeur expressive auquel s'incorpore une dimension créative. Dans ce sens, le geste n'est plus seulement un accomplissement communicatif envers quelqu'un d'autre ou bien un acte utilitaire pour produire quelque chose, mais un « vouloir faire » innovateur, une intervention artistique qui nous met en représentation et établie un dialogue avec le spectateur. Le « geste esthétique » peut fonctionner de plusieurs manières dans le contexte de la production de l'oeuvre d'art. Je distingue trois modes d'engagement gestuel: 1) la représentation libre et spontanée qui n'est pas définie a priori par un sujet; 2) la représentation mimétique du geste qui est résolument construite a posteriori par une idée; 3) et un troisième processus qui se situe dans une synthèse de « l'entre-deux ». Afin d'exemplifier ces trois modes expressifs, je reprends diverses manifestations artistiques qui exposent le fonctionnement de la gestuelle esthétique. En premier lieu, je reprends l'idée de la libération expressive du geste à travers l'automatisme pictural dans la peinture moderne de Jackson Pollock, passant par le style performatif de l'automatiste québécois Marcel Barbeau pour arriver à l'interprétation dansée du geste pictural d'Henri Michaux par la chorégraphe Marie Chouinard. Ensuite, je travaille sur la question de la fonction mimétique de la gestuelle chez le mime. D'abord je précise le concept de la « mimésis » chez Platon et Aristote et postérieurement je l'applique aux conditions des deux figures principales du mime contemporain: Marcel Marceau et Étienne Decroux. Finalement, j'analyse le cas de la danse contemporaine à partir de la mise en scène « Luna » de la chorégraphe Ginette Laurin, comme une synthèse de l' « entre-deux » gestuel, car la danse se situe entre le geste « aisthétique » qui explore les capacités kinesthésiques du corps et la théâtralisation du geste dansé. Julia Kristeva a signalé la domination du discours verbal qui exclut la portée expressive du geste, ce mémoire tente précisément de constater l'importance du système sémantique gestuel à partir d'une étude interdisciplinaire sur l'art. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Geste, Esthétique, Expression corporelle, Automatisme et mimésis.

Les travaux de cette thèse s'inscrivent dans la théorie des automates et des langages formels. ils peuvent se diviser en deux parties qui donnent également deux visions différentes de manipuler les langages dans la théorie des automates. La première partie s'intéresse à la notion de dérivation des expressions qui permet de faire passer le formalisme des quotients de langages au niveau des expressions rationnelles. en particulier cette thèse étudie les termes dérivés cassés d'une expression rationnelle. ces termes dérivés cassés permettent, sous certaines circonstances, et à l'aide d'autres opérations, une réversibilité de la transformation d'un automate en une expression rationnelle. Dans la seconde partie, la théorie des automates est utilisée pour traiter des problèmes sur les systèmes de numération. les systèmes de numération représentent des nombres par des mots. il est possible d'utiliser des automates et des transducteurs afin d'être capable de 'compter' sur un langage rationnel représentant les entiers. plus précisément ces automates sont étudiés pour le cas des systèmes de numération abstraits qui associent à chaque entier un mot d'un langage rationnel, ordonné par l'ordre radiciel. dans un tel système, la fonction qui permet de calculer le mot suivant est une fonction co-séquentielle par morceaux, c'est-à-dire qu'il suffit de lire deux fois le mot d'entrée de la droite vers la gauche pour qu'une machine calcule son image.

Diss.--Aachen--Technische Hochschule, 1989.

Diss.--Fachbereich Geschichtswissenschaften--Berlin--Freie Universität, 1990.

Th. 3e cycle--Inform.--Nancy 1, 1980. N°: 111.

La fenêtre transparente d’une oeuvre ouverte sur le monde a été érigée comme un modèle de la représentation zolienne par une critique qui, tout en dénonçant la transitivité comme une utopie littéraire naïve, n’en a pas moins validé la pertinence pour comprendre la démarche de Zola. La fenêtre condamnée interroge le passage de ce motif en un symbole métadiscursif validant la théorie de la transitivité, au regard de son actualisation dans le cycle romanesque des Rougon-Macquart. Celle-ci plaide contre toute attente pour un dysfonctionnement de ce « technème » de la description, et donc pour une esthétique beaucoup moins tournée vers la transparence qu’elle ne le prétend elle-même bien souvent. De cette idée naît l’examen d’une possible esthétique de l’opacité de la représentation zolienne, se plaisant à perturber tous lesrelais usuels de la fiction romanesque réaliste (miroirs, enquêteurs et autres artistes réalistes…). Le naturalisme zolien semble ainsi davantage commandé par le modèle de la perversion voyeuriste, consciente de l’inaccessibilité de son désir (rendre compte du réel), qu’elle entretiendrait afin d’en cacher la fatale déception. Cette réalité inatteignable illustréepar le cycle des Rougon-Macquart conforterait dès lors l’assimilation de l’oeuvre zolienne à des théories en apparence bien éloignées de l’image caricaturale du naturalisme, celle d’un réel conçu comme une illusion chez Taine et Schopenhauer, ou encore celle d’une oeuvre fétiche nécessairement subordonnée à l’artifice, refermée sur la projection subjective de l’artiste, dans une préfiguration étonnante des recherches de la poétique mallarméenne et despremiers tenants de l’abstraction picturale. / TTransparent panes of glass and wide-open windows are some of the common models Zola’s critics have set up to emphasise the will of transitivity in his art. Although they denounce this idea as a literary utopia, it is still used as a pertinent key to understand Zolian fictional processes. La fenêtre condamnée questions the promotion of the “transparent window” to a metadiscursive symbol of Zolian transitivity by analysing its actualization in the Rougon- Macquart cycle. The study points out an astonishing dysfunction of this supposed “adjunct” of description in the novels, pleading for a totally different aesthetic pattern : an aesthetic of opaqueness, attacking all means of depicting objective reality (windows panes, mirrors,investigators, realistic artists...). Therefore, Zolian naturalism benefits from being understood as a metaphoric voyeurist perversion. Like Peeping Tom, Zola’s fiction acknowledges its desire to be out of reach, but its maintains it in order to avoid disappointment. This idea of an inaccessible reality makes Zolian writing very close to theories apparently far from thecaricature of naturalism : world and reality as an illusion in Taine and Schopenhauer’s theses ; work of art as an artefact or a fetish, enclosed for the projection of a subjective mind, foreshadowing avant-gardist researches in Mallarmé’s poetry, or pioneering abstract paintings