Le fonctionnement des systèmes cellulaires est largement conditionné par leurs topologies, c'est-à-dire les compartiments (caractérisés chacun par un type) qui les composent et les dispositions relatives les uns par rapport aux autres de ces compartiments. Cependant, on constate généralement une relative faiblesse dans la prise en compte de la topologie dans certains outils à base de règles pour la modélisation des processus biologiques, ces outils intégrant par ailleurs de bonnes capacités de simulation et d'analyse de modèles. Les travaux présentés dans cette thèse proposent une approche de modélisation qui consiste à définir les modèles en considérant d'une part un ensemble de règles génériques traduisant les comportements des types de compartiments en fonction des molécules et d'autre part l'abstraction d'une compartimentation cellulaire par un graphe d'échanges qui donne en particulier les voisinages existant entre les différents compartiments. Ces deux éléments sont couplés, ce qui permet d'obtenir un modèle intermédiaire qui est le résultat de l'instanciation des règles génériques en fonction des contraintes issues du graphe d'échanges. La traduction de ce modèle intermédiaire vers le langage de règles d'un outil cible (choisi entre BIOCHAM et PATHWAY LOGIC) constitue la dernière étape de modélisation et permet d'utiliser les capacités de simulation et d'analyse de modèles de cet outil. / The functioning of cellular systems is widely conditioned by their topology, that is compartments (characterized each by a type) which compose them and the relative position of these compartments with regard to the others. However, we notice generally a relative weakness in the consideration of the topology in certain tools for the rule-based modeling of biological processes, these tools integrating besides good capacities of models simulation and analysis. The works presented in this thesis propose an approach which consists in defining the models by considering on one hand a set of generic rules translating the behavior of the types of compartments according to molecules and on the other hand the abstraction of a cellular compartmentation by an exchanges graph which gives in particular the neighborhood existing between the various compartments. These two elements are coupled, what allows the obtention of an intermediate model which is the result of the instantiation of the generic rules according to the constraints stemming from the exchanges graph. The translation of this intermediate model towards the language of rules of a target tool (chosen between BIOCHAM and PATHWAY LOGIC) constitutes the last stage of the modeling and allows using the capacities of simulation and analysis of the chosen tool.

La maîtrise de l'information technique se situe au centre des préoccupations actuelles des entreprises. Les réglementations de plus en plus contraignantes et la concurrence forte demandent une rigueur et une réactivité accrue pour répondre aux demandes des clients. L'amélioration de la qualité des produits et la réduction des cycles et des coûts passent par la mise en oeuvre de règles et de moyens de gestion des données techniques tout au long de leur cycle de vie. Cependant, la mise en place d'une solution de gestion du cycle de vie de produit (PLM ou Product Lifecycle Management) reste un exercice difficile. En effet, les problématiques auxquelles les éditeurs et les intégrateurs des applications PLM doivent faire face proviennent du caractère spécifique inhérent aux projets clients, même si la plupart des besoins fonctionnels sont souvent génériques. La complexité croissante des données et le besoin de systèmes évolutifs et flexibles imposent aux éditeurs des applications PLM de capitaliser les connaissances liées à l'ingénierie de leurs produits. Le but de ce travail de recherche consiste à définir un cadre de modélisation et des méthodes de déploiement qui permettent à l'intégrateur de spécifier, concevoir, réaliser et faire évoluer rapidement les applications PLM en prenant en compte les spécificités des clients. L’étude effectuée chez LASCOM sur le progiciel Advitium a consisté, à partir d'un ensemble d'applications PLM existantes, à mettre en place une démarche de « Reverse Engineering » qui a permis de formaliser les concepts nécessaires à la gestion des données techniques, et les spécificités liées à la gestion de configurations de produits. / Monitoring the technical information is one of the main preoccupations of the companies. Indeed, the increasingly constraining regulations and the higher competition level require being more rigorous and reactive to the customers’ requests. The product quality improvement and the reduction of costs and of cycles require applying rules and means of technical data management. However, the installation of a PLM (Product Lifecycle Management) solution remains a difficult exercise in order to take into account the complexity and the diversity of the customer requirements. The issues faced by both editors and integrators of PLM applications arise from the specific aspect of customers’ projects, even though most functional needs are often generic. The increasing data complexity and the need for flexible and scalable systems require PLM applications editors to capitalize knowledge related to their products engineering and to rationalize the working methods of design and development teams. This research work is interested in defining a modeling framework and deployment methods to help the integrator to specify, design, implement and make PLM applications evolve quickly by taking into account the customers’ specificities. The study carried out at LASCOM on the Advitium software package, consisted in setting a step of reverse engineering which made it possible to formalize the concepts needed for technical data management, and the specifics related to the product configuration management. This fundamental stage made possible to validate the handled concepts.

Le texte poétique devient, au XXe siècle, de plus en plus difficile à définir. Il a perdu plusieurs attributs qui aidaient autrefois à le caractériser (vers, rimes, parallélismes), et ne se laisse pas non plus circonscrire par le biais du lyrisme : bon nombre de poètes, en effet, ont abandonné le programme de la "poésie pure" pour renouer avec un art descriptif, narratif ou argumentatif. Dès lors, faut-il considérer que l'organisation poétique n'est qu'une structure de surface qui se surajoute à un type de texte de base, en entraînant certaines conséquences sur le plan sémantique et grammatical ? N'existe-t-il pas malgré tout des propriétés typiques de l'oeuvre poétique, qui permettent d'instaurer un rapport tout à fait particulier entre le lecteur, le langage et le monde ? Nous avons voulu nous pencher sur ces questions en explorant le phénomène de l'hétérogénéité discursive chez quelques poètes francophones du XXe siècle. Nous constaterons que ceux-ci n'hésitent pas à décrire, à raconter ou à argumenter, mais nous verrons aussi que la poésie tend à transfigurer les schémas de base auxquels elle s'allie, si bien qu'un récit en vers n'est pas du tout semblable à son homologue en prose. C'est par cet angle d'approche que nous espérons contribuer à faire mieux comprendre le mystère poétique, qui déroute terriblement les jeunes lecteurs.

Cette thèse constitue une contribution au génie logiciel appliqué à la programmation d'automates. Elle est née d'abord du simple besoin concret d'une bonne librairie de manipulation d'automate ouverte, efficace, extensible et simple d'utilisation. A priori, la programmation générique en C++ semblant la plus adaptée à ces besoins (son originalité par rapport à la programmation purement objets, vient de ce qu'elle impose des contraintes sur les temps de calcul des opérations), le but était d'étendre ces techniques de programmation et leurs domaines d'application aux automates puis aux machines à états en général tout en rendant la librairie plus abordable grâce à la programmation générative et des composants actifs. Ce travail couvre de plus un besoin d'étude sur la programmation par patron en C++ : faisabilité, pouvoir d'expression et efficacité. Cette thèse espère apporter une solution viable à la programmation générique d'automates avec des concepts novateurs, une implémentation sous forme de librairie C++ ouverte et une expérimentation de programmation générative généralisant les résultats obtenus à l'ensemble des machines dont la structure est basée sur celle d'un graphe.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Dans le cadre de la manipulation et de la description du contenu des documents, mes travaux de thèse consistent à étudier la modélisation générique de documents multimédia par des métadonnées. Nous proposons une approche qui consiste à l'homogénéisation des structures de représentation de tels documents facilitant leur traitement final sans avoir recours aux contenus multimédia eux-mêmes. Nous avons proposé la structuration de ces métadonnées dans des documents XML appelés « méta-documents ». Ces méta-documents représentent une structure supplémentaire par rapport à d'éventuelles structures logiques ou physiques rédigées par les auteurs des documents. Nous avons étendu les méta-documents en intégrant des descripteurs sémantiques définis selon le besoin de l'utilisateur et des relations spatiales et temporelles. Au niveau de l'interrogation des documents multimédia, nous avons proposé un outil d'aide à la formulation graphique de requêtes XQuery en utilisant les métadonnées et en intégrant les relations spatio-temporelles entre ces métadonnées.

Dans cette thèse, nous proposons un cadre générique d'optimisation de requêtes dans les environnements hétérogènes répartis. Nous proposons un modèle générique de description de sources (GSD), qui permet de décrire tous les types d'informations liées au traitement et à l'optimisation de requêtes. Avec ce modèle, nous pouvons en particulier obtenir les informations de coût afin de calculer le coût des différents plans d'exécution. Notre cadre générique d'optimisation fournit les fonctions unitaires permettant de mettre en œuvre les procédures d'optimisation en appliquant différentes stratégies de recherche. Nos résultats expérimentaux mettent en évidence la précision du calcul de coût avec le modèle GSD et la flexibilité de notre cadre générique d'optimisation lors du changement de stratégie de recherche. Notre cadre générique d'optimisation a été mis en œuvre et intégré dans un produit d'intégration de données (DVS) commercialisé par l'entreprise Xcalia - Progress Software Corporation. Pour des requêtes contenant beaucoup de jointures inter-site et interrogeant des sources de grand volume, le temps de calcul du plan optimal est de l'ordre de 2 secondes et le temps d'exécution du plan optimal est réduit de 28 fois par rapport au plan initial non optimisé.

Les langues des signes se distinguent fondamentalement des langues orales sur le plan de la modalité d'expression. La modalité visuo-spatiale a un impact sur la structure des langues des signes, tant au niveau phonologique, morphosyntaxique, sémantique que discursif. Le fait de pouvoir situer des éléments lexicaux dans l'espace discursif pour l'établissement des relations est une caractéristique qui distingue les langues des signes des langues orales. Les signeurs de la LSQ disposent de diverses stratégies d'association spatiale, manuelles et non manuelles, leur permettant de mettre en place les conditions requises à la mise en relation des éléments. Les stratégies manuelles sont i) l'utilisation du signe POINTÉ dirigé vers un locus et ii) l'articulation d'un nom directement sur un locus. Les stratégies non manuelles consistent à produire, simultanément à l'articulation du nom i) une inclinaison du tronc vers un locus et ii) un regard dirigé vers un locus. Ces quatre stratégies d'association spatiale peuvent être utilisées seules ou de façon combinée pour situer un nom (concret, abstrait ou propre). L'objectif principal de cette thèse est de décrire les contextes syntaxiques et pragmatiques à l'intérieur desquels ces quatre stratégies agissent, en plus d'expliquer la variation d'utilisation de ces dernières. La revue de la littérature présentée aux chapitres 1, 2 et 3 nous permet dans un premier temps d'exposer l'importance de l'utilisation de l'espace dans la construction du message et dans la transmission de l'information, tant dans une langue des signes que dans un contexte pragmatique impliquant une langue orale. Elle nous amène à faire la critique de théories basées essentiellement sur la linéarité d'expression des éléments. En adoptant plutôt un modèle basé sur les interfaces physiologiques et perceptuelles (Bouchard, 2002 ; en préparation), nous mettons davantage en lumière les différents moyens offerts par la langue, sans considérer comme universelle la production linéaire temporelle des éléments. Le chapitre 3 présente les problèmes théoriques engendrés par la notion de définitude. Ceci nous amènera à mettre en perspective les limites de la notion de définitude avec une théorie plus unifiée, celle de l'accessibilité cognitive des éléments discursifs (Ariel, 1990). Cette théorie, qui place le contexte pragmatique au centre de son analyse, propose que le choix de certaines marques grammaticales permet le repérage d'entités déjà introduites ou non dans le discours. Dans cette thèse, nous montrons que la présence ou l'absence d'association spatiale de noms et de loci en LSQ a un impact sur les plans sémantique, morphosyntaxique et discursif. Nous proposons qu'elle a un impact au niveau morphosyntaxique lors de la construction de la matrice spatiale permettant de situer les éléments qui entretiennent une relation de dépendance. Au niveau sémantique, elle permet l'encodage de la spécificité et de la généricité des référents dénotés par les noms, alors qu'au niveau pragmatique, elle participe à l'encodage du degré d'accessibilité cognitive des éléments pour l'interlocuteur. L'analyse que nous proposons aux chapitres 4, 5 et 6 présente une description de la distribution, de la fonction et de l'interprétation sémantique des quatre stratégies d'association spatiale. Les stratégies non manuelles, lorsqu'elles sont distribuées distinctement, permettent l'anticipation de la distribution des rôles thématiques (l'inclinaison du tronc permet d'identifier l'agent, et le regard permet d'identifier le patient). Lorsqu'elles sont utilisées comme seules stratégies avec un nom, elles permettent de marquer le caractère hautement accessible du référent. Les stratégies manuelles permettent quant à elles l'encodage de la spécificité d'un référent, en plus d'indiquer à l'interlocuteur que les entités ne sont pas accessibles cognitivement. Ces mêmes stratégies permettent également de marquer la saillance d'un élément (référent, proposition, événement) par rapport à un autre, lorsqu'elles sont produites dans leur variante accentuée. L'analyse fonctionnelle et sémantique des quatre stratégies montre finalement une systématicité dans le recours à l'association spatiale, non seulement à l'intérieur du SN, mais à tous les niveaux de structure de la langue. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Langue des signes québécoise, Nom, Espace, Spécificité, Généricité, Définitude.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.